Deelnemers leren methoden en formele technieken om correcte en incorrecte redeneringen te kunnen onderscheiden; hiertoe worden de volgende soorten redeneringen behandeld: drogredeneringen; redeneringen waarbij het al dan niet geldig zijn afhangt van de relaties tussen proposities onderling (propositielogica) en redeneringen waarbij het al dan niet geldig zijn afhangt van de inwendige structuur van de proposities (predicatenlogica).
Method of instruction
Werkcollege
Examination
Schriftelijk tentamen
Required reading
G. Forbes, Modern Logic. Oxford: Oxford University Press, 1994.
Admission requirements
Geen
Timetable
Registration
Inschrijving via U-twist.
Information
dr. M.S. van der Schaar ( m.van.der.schaar@phil.leidenuniv.nl)
Remarks
Deze cursus wordt voortgezet in het tweede semester (Logica II).