180010 UE M-03 Übung zum Grundkurs Logik (2024S)

Inhalte:
Durch Präsentation und Diskussion von Übungsbeispielen wird in dieser Lehrveranstaltung (LV) das Verständnis der in der zugehörigen Vorlesung ‘Grundkurs Logik’ vermittelten Methoden und Begriffe gefestigt und vertieft.
Im Zentrum der LV werden die Grundlagen der klassischen Aussagenlogik und der klassischen Prädikatenlogik erster Stufe, wie sie in der zugehörigen Vorlesung ‘Grundkurs Logik’ präsentiert werden, stehen. Nach einer einführenden Diskussion des Verhältnisses von Rhetorik, formaler Logik, informaler Logik, und Philosophie, werden insbesondere folgende Themen besprochen: formale Sprachen und deduktive Systeme; die formale Sprache der Aussagenlogik (AL) und der Prädikatenlogik erster Stufe (PL); aussagenlogische und prädikatenlogische Formalisierung; Semantik der AL und der PL (Modelle, Wahrheit in einem Modell); semantischer Folgerungsbegriff für die AL und PL; formale Ableitungskalküle für die AL und PL (Kalkül des natürlichen Schließens) sowie entsprechende syntaktische Folgerungsbegriffe; Metatheorie der AL und PL (Korrekheit und Vollständigkeit, im Fall der PL eventuell auch Kompaktheitssatz und Satz von Löwenheim‐Skolem). Darüber hinaus sollen, in Abhängigkeit von den thematischen Schwerpunkten, die in der Vorlesung ‘Grundkurs Logik’ gesetzt werden, weitere philosophisch relevante Logiken (Modallogik, Mehrwertige Logiken, eventuell Prädikatenlogik zweiter Stufe) sowie ausgewählte Themen der Geschichte und Philosophie der Logik besprochen werden.

Ziele:
Das Hauptziel der LV besteht darin, das Verständnis der in der zugehörigen Vorlesung ‘Grundkurs Logik’ eingeführten Begriffe und Methoden durch Übungen und Diskussion zu festigen und zu vertiefen, und den Studierenden ein umfassendes Bild des Werts der formalen Logik für die Philosophie zu vermitteln.

Methoden:
Jede LV‐Einheit ist zweigeteilt. Im ersten Teil jeder Einheit werden die jeweils vorzubereitenden Übungsbeispiele besprochen. Einzelne Übungsbeispiele werden dazu von Studierenden präsentiert und danach gemeinsam diskutiert. Im zweiten Teil jeder Einheit werden durch Vortrag des LV‐Leiters die Inhalte vorgestellt, die für das Lösen des jeweils nächsten Übungsblattes erforderlich sind.
Um gewissen Ängsten gegenüber formalen Methoden und Begriffsbildungen vorzubeugen, ist es dem LV‐Leiter ein besonderes Anliegen, kleinschrittig vorzugehen und im ständigen Austausch mit den Studierenden eine offene und konstruktive Atmosphäre zu schaffen, in der Fragen und Diskussionen (im Rahmen des Möglichen) ausdrücklich erwünscht sind.

Die Übung dient dazu, sich mit dem Stoff der Vorlesung anhand konkreter Beispiele auseinanderzusetzen. Dazu werden wöchentlich selbständig Aufgaben zu lösen sein. Jene Aufgaben, die die Studierenden bereit sind zu präsentieren, werden von diesen in einer Kreuzerlliste (moodle) eingetragen. Auf Basis dieser Liste werden dann Studierende ausgewählt, welche die jeweiligen Beispiele in der Übung präsentieren. Diese Ergebnisse werden dann gemeinsam besprochen.

Am Ende einer Einheit wird vom Lehrveranstaltungsleiter noch einmal der Stoff, auf welchem die nächsten Übungsbeispiele aufbauen, präsentiert.

Die UE ‚Übung zum Grundkurs Logik‘ begleitet die im selben Semester stattfindende Vorlesung ‚Grundkurs Logik‘ und ist auf Studierende am Anfang des Philosophiestudiums ausgerichtet, die über keine Vorkenntnisse der Logik verfügen. In Abstimmung mit der Vorlesung 'Grundkurs Logik' werden die folgenden Themen behandelt:

1. Syntax und Semantik der Aussagenlogik
2. Einführung in die Mengenlehre
3. Syntax und Semantik der Prädikatenlogik 1. Stufe
4. Einführung in die Syntax und Semantik der modalen Aussagenlogik

Im Zentrum der UE steht die Vertiefung der Vorlesungsthemen durch konkrete, praktische Übungsaufgaben. Ziel der UE ist es, (i) den Gebrauch formaler Methoden in der Philosophie zu motivieren und einen ersten Zugang dazu zu schaffen, (ii) der Erwerb von Routine im Umgang mit formalen Sprachen, Definitionen, und Beweisen.

Im ersten Teil der UE werden wöchentlich vorzubereitenden Übungsaufgaben in Kleingruppen und im Plenum besprochen. Dabei wird gezielt auf Schwierigkeiten und Probleme bei der Lösung eingegangen. Studierende sind angehalten selbst Ihre Lösungswege vorzustellen und einander zu korrigieren. Im zweiten Teil der UE werden unter Bezugnahme auf die Vorlesung jeweils die Inhalte für das nächste Übungsblatt durch die Übungsleitung vorgestellt, jeweils unterstützt durch kleine Aufgaben, die in Einzel- oder Partnerarbeit zu erledigen sind.

The aim of this course is to get a practical grasp of the content of the lecture VO M-03 'Fundamentals of Logic'. Hence, we are going to focus on exercises. I will be giving you weekly exercise sheets to solve in order for you to get accustomed to dealing with formal languages, definitions and proofs.