In this course we will explore a wide range of alternative logical systems for modelling different
phenomena. We will look at the semantics and proof theory for modal logics (the logic of
possibility and necessity), intuitionistic logic (the logic of constructive mathematics), “gappy”
logics (where some truth values are underdetermined), the logic of paradox (where paradoxes
can be true without the logic being trivial), deontic logic (the logic of actions and obligations),
and dynamic epistemic logic (logics for tracking our knowledge in a changing epistemic
environment). For each we will look at the philosophical motivations and payoffs that the logic
has, as well as strengths and weaknesses of the formalisation.
- Trainer/in: Fenner Stanley Tanswell