Für aussagenlogische und prädikatenlogische Sprachen werden formale, speziell modelltheoretische, Semantiken angegeben; diese werden für Definitionen von „logische Folgerung“ verwendet. Herleitbarkeit und logische Folgerung werden abstrakt untersucht und ihr Zusammenhang wird behandelt. Die dabei gewonnenen Kompetenzen werden für die Analyse von philosophischen Texten und Argumenten eingesetzt.
- Kursverantwortliche/r: Anna Fichtlscherer
- Kursverantwortliche/r: Ben Jähnert
- Kursverantwortliche/r: Karl-Georg Niebergall
- Kursverantwortliche/r: Alex Radev
- Kursverantwortliche/r: Jongsung Song
- Kursverantwortliche/r: Hannah Theis
Semester: WiSe 2024/25