261009 Logik 1 (V) (WiSe 2013/2014)

In der Regel schließen wir eher instinktiv, und meist funktioniert das auch ganz gut. Aber manchmal ziehen wir falsche Schlüsse. Manchmal wissen wir nicht, was die richtige Schlussfolgerung wäre. In der Regel wissen wir im Alltag auch nicht, was eine Schlussfolgerung zu einer korrekten Schlussfolgerung macht, und wie man feststellt, ob sie es ist. Deshalb wird in der formalen Logik u. a. ausgearbeitet, wodurch logisch gültige Schlüsse charakterisiert sind. Gegenstand der Logik ist also das Argumentieren und die Logik selbst ist die Theorie des korrekten Schließens. Die aktive Beschäftigung mit formaler Logik in der Vorlesung, im Tutorium und bei den Hausaufgaben trainiert das kunstgerechte Argumentieren und verhilft zugleich zu einem besseren Verständnis des Charakters von Formal-wissenschaften und ihrer Rolle in den Naturwissenschaften und in der Philosophie. Themen sind Aussagenlogik (formale Sprache, Junktoren, aussagenlogische Schlussformen (Wahrheitstafeln und Kalkül des natürlichen Schließens)), Prädikatenlogik (formale Sprache, Semantik der Quantoren, Kalkül des natürlichen Schließens (Ausschnitte)), sowie Ausblicke auf nichtklassische Logiken und auf Probleme der Metalogik und der Philosophie der Logik. In der formalen Logik stehen Syntax und Semantik formaler Theorien im Mittelpunkt, wobei aber Anwendungen in der Wissenschaftstheorie und bei der rationalen Rekonstruktion philosophischer Texte im Blick bleiben.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Es sind keine Vorkenntnisse notwendig.

Hinweis für Studierende des Profils "Studienmodell 2011 - BA/NF (fw)":
Das Modul 26- Logik zählt zur Profilphase und kann, aber muss nicht studiert werden (siehe
FsB). Es wird empfohlen das Modul 26‐Logik im 3. - 6. Fachsemester zu studieren.
Hinweis für Studierende des Profils "Studienmodell 2011 - BA/NF (Gym/Ge)":
Das Modul 26-Logik zählt zur Profilphase und muss studiert werden. Es wird empfohlen das
Studium des Moduls 26-Logik im 3. Fachsemester aufzunehmen.

Literaturangaben

Nolt, J., Rohatyn, D., und A. Varzi (Hg.)(1998): LOGIC. Schaum’s Outline of Theory and Problems of Logic, New York: McGraw-Hill.