Die Analyse von Argumenten steht im Zentrum des Philosophierens.
Logische Methoden ihrer formalen Rekonstruktion sind Gegenstand dieser
Vorlesung. Dabei geht es vor allem um die klassische Aussagen- und
Prädikatenlogik, die anhand eines Kalküls des natürlichen Schließens
erlernt werden soll. Ein kurzer Ausblick in Zeit- und Modallogik runden
die Einführung ab. Wöchentliche Übungsblätter werden in einem
begleitenden Tutorium besprochen.
- Dozent/in: Andreas Bender