Im Proseminar, das ein Semester dauert, werden folgende Fähigkeiten ausgebildet: die Kenntnis der formalen Sprache der Prädikatenlogik 1. Stufe PL1; das Übersetzen von der natürlichen Sprache in PL1 und umgekehrt; die Analyse von Argumenten und deren Prüfung auf logische Gültigkeit; die Beherrschung verschiedener zentraler logischer Begriffe wie logische Wahrheit, logische Konsequenz, logische Äquivalenz, tautologische Konsequenz usw.; das Erkennen von Mehrdeutigkeit in einem deutschsprachigen Satz und dessen Übersetzung in verschiedene eindeutige PL1-Sätze.
- Docente: Laure Monin
- Docente: Giovanni Sommaruga
- Docente: Nathan Wegmann