In dieser Vorlesung werden grundlegende Kenntnisse der formalen Logik und Argumentationstheorie vermittelt und eingeübt. Studierende sollen in die Lage versetzt werden, mit Hilfe der Aussagen- und Prädikatenlogik Argumente auf ihre Gültigkeit zu prüfen.
