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).
Onderwijsvorm
Werkcollege
Toetsing
Schriftelijk tentamen
Literatuur
G. Forbes, Modern Logic. Oxford: Oxford University Press, 1994.
Toegangseisen
Geen
Rooster
Aanmelden
Inschrijving via U-twist.
Informatie
dr. M.S. van der Schaar ( m.van.der.schaar@phil.leidenuniv.nl)
Opmerkingen
Deze cursus wordt voortgezet in het tweede semester (Logica II).