261020 Einführung in die formale Logik mit Tutorium (V) (SoSe 2004)

Die formale Logik hat in weiten Bereichen der zeitgenössischen Philosophie einen hohen Stellenwert. Für Philosophiestudenten sind Logikkenntnisse deshalb unabdingbar. Aber auch in anderen Wissenschaften als der Philosophie bedient man sich der formalen Logik als Hilfsmittel (z. B. in der Linguistik). Außerdem schult die Beschäftigung mit der Logik die Fähigkeiten, klar und folgerichtig zu denken und schlüssig zu argumentieren, die auch außerhalb wissenschaftlicher Bereiche nützlich sind.
Diese Veranstaltung soll in die elementare Logik einführen. Für die Teilnahme sind keine Vorkenntnisse erforderlich. Zum Stoffumfang werden die Aussagenlogik und Bereiche der Prädikatenlogik 1. Stufe gehören. Ein Leistungsnachweis wird aufgrund bearbeiteter Übungsbögen und einer 90-minütigen Klausur bzw. drei 30-minütigen Kurzklausuren ausgestellt.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Bereitschaft zur regelmäßigen Teilnahme und genauen Einhaltung der Abgabetermine.

Literaturangaben

Wird zu Beginn der Vorlesung bekannt gegeben.