260007 Formale Methoden (V) (SoSe 2026)

Formale Methoden spielen in allen Bereichen der aktuellen Philosophie eine wichtige Rolle. Die Vorlesung wird die folgenden Themenblöcke behandeln:

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

Im Kurs werden wir Kernelemente aus den jeweiligen Themenblöcke 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. Letztlich lernen Sie auf diese Weise, die formalen Elemente in aktuellen philosophischen Fachtexten kompetent zu lesen und zu verstehen.

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 Vorlesung und separat für eines der Tutorien anmelden. Die Anmeldung ist verpflichtend. Die Teilnahme - die wir dringend empfehlen - ist letztlich freiwillig. Die Tutorientermine sind: (1) ###, (2) ###.

Der Kurs „Formale Methoden“ baut NICHT auf den Kurs "Einführung in die Logik" auf. Alle benötigten formallogischen Mittel werden wir im Laufe der Vorlesung neu einführen. Allerdings hilft es natürlich, wenn Sie bereits über ein gewisses Grundverständnis einer formalen Herangehensweise verfügen; das wird die Arbeit einfacher gestalten.

Alle Materialien für den Kurs werden zu Veranstaltungsbeginn über den Lernraum-Plus der Veranstaltung bereitgestellt.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

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.