Die Studentinnen und Studenten erhalten eine Einführung in die Logik. Motiviert durch Überlegungen zum informellen Folgern werden speziell aussagenlogische und prädikatenlogische Sprachen aufgebaut. Für diese wird „Herleitbarkeit" definiert und das Herleiten
im Kalkül wird eingeübt.
Übersetzungen zwischen formalen Sprachen und natürlicher Sprache werden behandelt. Die dabei gewonnenen Kompetenzen werden für die Analyse von philosophischen Texten und Argumenten eingesetzt.
- Kursverantwortliche*r: Ruben Heizmann (er)
- Kursverantwortliche*r: Ben Jähnert
- Kursverantwortliche*r: Arpad Konrad Georg Krause
- Kursverantwortliche*r: Karl-Georg Niebergall
- Kursverantwortliche*r: Sebastian Paasch
- Kursverantwortliche*r: Alex Radev
- Kursverantwortliche*r: Alex Nemo Radev
- Kursverantwortliche*r: Justin Wachsmund
Semester: SoSe 2021