Beschrijving
Voortbouwend op de kennis en vaardigheden verworven in de cursus Logica I, maakt de student nu kennis met een semantische en een bewijstheoretische methode voor de kwantorenlogica. Deze logica betreft een taalvorm waarin uitdrukkingen als ‘er is minstens één … ‘zodanig dat …’ en ‘voor elke … geldt dat …’ voorkomen. Het uitdrukkingsvermogen van deze taal is aanzienlijk groter dan dat van de taal van de voegwoordenlogica. Een aanzienlijk deel van de wiskunde valt bijvoorbeeld in deze taal te formuleren. De student zal echter ontdekken dat ook deze formele taal te beperkt is voor een adequate analyse van sommige interessante filosofische problemen. Daarvoor zijn weer rijkere talen nodig. De cursus eindigt met een schets van intensionele logica’s behorend bij dergelijke rijkere formele talen.
Onderwijsvorm
Werkcollege (2 uur) en tutorial (2 uur)
Toegangseisen
Logica I
Leerdoelen
Doelstellingen en eindtermen worden bij aanvang van de cursus op Blackboard geplaatst.
Literatuur
- Syllabus Logica voor Filosofen II
Toetsing
Schriftelijke tussentoets (35%)
Schriftelijke eindtoets (35%)
Afsluitend paper (30%)
Rooster
Zie Collegeroosters wijsbegeerte
Informatie
Dr. J.B.M. van Rijen ( j.b.m.van.rijen@phil.leidenuniv.nl )
Aanmelden
Inschrijving via U-twist, zie aanmeldingsprocedure
Blackboard
– ### Opmerkingen
Deze cursus is uitsluitend toegankelijk voor propedeusestudenten in traject 1 van de BA Wijsbegeerte. Deze studenten volgen tevens het tutorial Logica II.