SluitenHelpPrint
Switch to English
Cursus: WY3V14008
WY3V14008
Voortgezette logica
Cursus informatie
CursuscodeWY3V14008
Studiepunten (EC)7,5
Cursusdoelen
To achieve "logical literacy"beyond intro logic: familiarity with standard techniques (e.g. proof theory, semantics, meta-theory, ...) and non-classical systems (modal logics, many-valued logics, ...) used in philosophy.
 
Inhoud
This course is part of the in-depth courses Taal, geest en wereld.

LAS and TCS students who follow this course as part of the core curriculum of their major, need to complete a compulsory preparation course/assignment. See for more information: https://tcs.sites.uu.nl/

We introduce the metalogical perspective, using classical propositional and predicate logic as an example. After that we study extensions and deviations from these logics from that perspective and discuss their philosophical motivation. In the second part of the course, we introduce modal logics (and related logics developed in the possible worlds framework) and study the most relevant ones for philosophical applications.
 
SluitenHelpPrint
Switch to English