Die Studentinnen und Studenten erhalten eine Einführung in die Logik. Motiviert durch Überlegungen zu informellen Folgern werden speziellaussagenlogische prädidaktenlogissche Sprachen aufgebaut. Für die 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.
