Logica II

Course description Logica II
Year: 2010-2011
Catalog number: 5011VL2W
Teacher(s):
  • Dr. J.B.M. van Rijen
Language: Dutch
Blackboard: Unknown
EC: 5.0
Level: 200
Period: Semester 2, Block III, IV
  • Yes Elective choice
  • Yes Contractonderwijs
  • No Exchange
  • No Study Abroad
  • No Evening course
  • Yes A la Carte
  • No Honours Class

Toegangseisen

Logica I is afgerond.

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.

Leerdoelen

Doelstellingen en eindtermen worden bij aanvang van de cursus op Blackboard geplaatst.

Rooster

Zie Rooster BA Wijsbegeerte 2010-2011

Onderwijsvorm

Gecombineerd hoor-/werkcollege

Toetsing

  • Schriftelijke tussentoets (35%)
  • Schriftelijke eindtoets (35%)
  • Afsluitend paper (30%)

Blackboard

-

Literatuur

  • Syllabus Logica voor Filosofen II

Aanmelden

Inschrijving via uTwist, zie aanmeldingsprocedure

Aanmelden voor Toehoorderschap via: e.klumper@phil.leidenuniv.nl
Aanmelden voor Contractonderwijs via: e.klumper@phil.leidenuniv.nl

Contact

Dr. J.B.M. van Rijen : j.b.m.van.rijen@phil.leidenuniv.nl

Opmerkingen

-

Languages