260005 Formale Methoden in der Philosophie – Wahrscheinlichkeit, Nutzen, Notwendigkeit (V) (SoSe 2025)

In allen Bereichen der aktuellen Philosophie spielen formale Instrumente und Theorien eine Rolle. Jede Studentin/jeder Student der Philosophie sollte zumindest mit den Grundideen der wichtigsten dieser Ansätze bekannt 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 Tuto-rien, 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 Tutorienterminen werden in Kürze bekanntgegeben.

Der Kurs „Formale Methoden“ baut nicht auf den Kurs Einführung in die formale Logik auf. Die in der Einführung in die formale Logik erworbenen Vorkenntnisse sind hilfreich für unseren Kurs zu formalen Methoden, 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 Lernraum der Veranstaltung bereitgestellt.

Wichtig: Zur Vorlesung gibt es zwei Tutorien. Wenn Sie an der Vorlesung teilnehmen wollen, melden Sie sich bitte unbedingt auch für eines der Tutorien an. Die Anmeldung ist verpflichtend. Die Teilnahme - die wir dringend empfehlen - ist letztlich freiwillig.

260062 Formale Methoden in der Philosophie - Tutorium 1
Tzschacksch, Helena
Freitag, 10-12 Uhr, X-E0234
https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=523499377

260063 Formale Methoden in der Philosophie - Tutorium 2
Wille, Leonie
Mittwoch, 18-20 Uhr, X-E0-216
https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=523499617

Requirements for participation, required level

Es sind keine Vorkenntnisse notwendig.
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.
Hinweis für Studierende des Profils 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.