Die Studierenden erhalten eine Einführung in die Metalogik. Sie lernen, die im Modul „Einführung in die Logik“ eingeübten Fertigkeiten theoretisch zu reflektieren. Für aussagenlogische und prädikatenlogische Sprachen werden formale, z.B. 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.
Die Tutorien zur Vorlesung werden ebenfalls über diesen Moodle-Kurs organisiert.
- Kursverantwortliche/r: Ben Jähnert
- Kursverantwortliche/r: Karl-Georg Niebergall
- Kursverantwortliche/r: Alex Radev
- Kursverantwortliche/r: Justin Wachsmund
Semester: WiSe 2021/22