261022 Logik I (mit Tutorium) (V+Ü) (WiSe 2006/2007)

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 und besprochen werden.

Anforderungen für den Erwerb einer Leistungsbescheinigung bzw. eines Leistungsnachweises:
Der Erwerb einer Leistungsbescheinigung (im BA-Studiengang) oder eines Leistungsnachweises (im Magister- oder Lehramts-Studiengang) setzt regelmäßige Teilnahme an Vorlesung und Tutorium, regelmäßige Bearbeitung der Übungsaufgaben sowie das Bestehen der Abschlussklausur voraus.

Requirements for participation, required level

keine

Bibliography

Wird zu Beginn des Semesters bekannt gegeben.