260005 Formale Methoden der Philosophie (V) (SoSe 2024)

In allen Bereichen der aktuellen Philosophie spielen formale Instrumente und Theorien eine Rolle. Alle Studierenden der Philosophie sollten zumindest mit den Grundideen der wichtigsten dieser Ansätze vertraut sein. Die Vorlesung wird zentrale formale Mittel aus der Theoretischen und der Praktischen Philosophie vorstellen. Die Vorlesung wird die folgenden Themenblöcke umfassen:

(0) Deduktive Argumente (Grundideen und Wiederholung)
(1) Induktives Schließen, Wahrscheinlichkeit und Bayes
(2) Entscheidungstheorie
(3) Spieltheorie
(4) Mengen – Relationen – Funktionen
(5) Modallogik

Im Kurs werden wir Kernelemente der jeweiligen Theorien entwickeln und diskutieren. Dieses formale Arbeiten ist kein Selbstzweck, sondern dient dazu, Ihr Verständnis für die Theoriebildung, ihre Bedeutung und ihre Konsequenzen zu entwickeln.

Der Kurs besteht aus einer Vorlesung und aus Tutorien, in denen die Übungsaufgaben besprochen und Lösungszettel herausgeben werden. Sie müssen sich auf jeden Fall für die Vorle-und separat für eines der Tutorien anmelden. Die Tutorientermine sind: (1) Di 12-14h, (2) Mi 10-12h.

Der Kurs Logik 2 baut nicht auf den Kurs Logik 1 auf. Die in der Logik 1 erworbenen formallogischen Vorkenntnisse sind hilfreich für die Logik 2, aber nicht notwendig. Die basalen formal-logischen Mittel, die wir für den aktuellen Kurs brauchen, werden wir im Laufe der Vorlesung neu einführen.

Alle Materialien für den Kurs werden zu Veranstaltungsbeginn über den Moodle Kurs der Veranstaltung bereitgestellt.

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.

Hinweis für Studierende des Profils 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.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Formallogische Grundkenntnisse, z.B. aus der Vorlesung „Einführung in die Logik“, sind von Vorteil, werden allerdings nicht vorausgesetzt.