261028 Formale Logik (mit Tutorium) (V) (WiSe 2005/2006)

In der Logik geht es darum, die Gültigkeit von Argumenten zu untersuchen. Die moderne Logik bedient sich dazu einer systematischen Untersuchung der formalen Eigenschaften gültiger Argumente und wird deshalb auch als formale Logik bezeichnet. In der heutigen Philosophie hat die formale Logik oft zentrale Bedeutung und ist vielfach eine Grundvoraussetzung für das Verständnis zeitgenössischer philosophischer Argumente. Außerdem schult die Beschäftigung mit der Logik ganz allgemein die Fähigkeiten, klar und folgerichtig zu denken und schlüssig zu argumentieren. Zum Stoffumfang der Vorlesung gehören: die Grundzüge der Aussagenlogik und Prädikatenlogik 1. Stufe; die Analyse umgangssprachlicher Sätze mit aussagenlogischen und prädikatenlogischen Mitteln; die Beurteilung umgangssprachlicher Argumente mit aussagenlogischen und prädikatenlogischen Mitteln.
Da mit der Logik nur vertraut werden kann, wer sich den in der Vorlesung vorgetragenen Stoff durch das eigene Lösen von Übungsaufgaben wirklich aneignet, wird die Vorlesung von Tutorien begleitet, in denen Übungsaufgaben gestellt, vorgerechnet und besprochen werden.

Für eine Leistungsbescheinigung (im BA-Studiengang) wird eine regelmäßige Teilnahme, regelmäßige Bearbeitung der Übungsaufgaben sowie das Bestehen zweier Klausuren, erwartet.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Keine.

Literaturangaben

Wird zu Beginn des Semesters bekannt gegeben.