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.
|
|
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.
|
|