[WiSe 2024/25] Logik II (Philosophical Logic)

Tanswell, Fenner

LV-Nr.: 3130 L 011

BA-KulT PHIL 2 (nur als SE-Komponente des Moduls)

MA-TGWT PHIL 1

BA KulT FW 4 / MA-PHIL FW 25

Nebenfach Philosophie für Mathematik Kernmodul

 

IV                                Logik II (Philosophical Logic)

Di. 14-16

Anmeldung über ISIS

Raum: H 7112

Beginn: 15.10.2024

 

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.