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.