261014 Logik I (S) (WiSe 2016/2017)

Die Vorlesung vermittelt die Grundlagen der formalen Logik (Aussagenlogik und Prädikatenlogik erster Stufe) und der Argumentationstheorie.

Themen der Vorlesung sind (u.a.):
• Grundbegriffe der formalen Logik (Argument, Gültigkeit, Schlüssigkeit, etc.)
• Natürliche und formale Sprachen, Formalisierung natürlichsprachiger Argumente
• Wahrheitsfunktionen und Wahrheitstafeln
• Kalkül des natürlichen Schließens

In den begleitenden Tutorien werden Übungsaufgaben bearbeitet und die Inhalte der Vorlesung erläutert und vertieft.

Requirements for participation, required level

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.

Bibliography

Ein Skript wird zu Semesterbeginn zur Verfügung gestellt.

Einen Überblick über zentrale Konzepte der formalen Logik können Sie sich (unter anderem) verschaffen in:
• Graham Priest (2000): Logic: A Very Short Introduction. Oxford, New York: Oxford University Press. [Dieses englischsprachige Büchlein ist kein Lehrbuch, sondern soll in erster Linie das Interesse an formaler Logik und ihren Anwendungsfeldern wecken. Zwar werden auch logische Grundbegriffe knapp eingeführt, der Fokus liegt jedoch auf logischen Rätseln und Paradoxien.]
• Wesley Salmon (1983): Logik. Stuttgart: Reclam. [Dieser etwas umfangreichere Reclam-Band behandelt Grundbegriffe der formalen Logik und Argumentationstheorie und führt sowohl in die deduktive als auch in die induktive Logik ein.]