In allen Bereichen der Philosophie spielen formale Werkzeuge und Methoden eine wichtige Rolle. Jede Studentin der Philosophie/ein jeder Student der Philosophie sollte zumindest mit den Grundideen der wichtigsten dieser Instrumente bekannt sein. Die Vorlesung soll zentrale formale Mittel aus der Theoretischen und der Praktischen Philosophie vorstellen. Geplant sind vier Themenblöcke: (i) Mengen, Relationen und Funktionen, (ii) Wahrscheinlichkeit und induktives Schließen, (iii) Präferenzen und Entscheidungen und (iv) Modallogik und möglichen Welten.
Teilnahmevoraussetzungen sind solide formallogische Grundkenntnisse, in der Regel erworben in der Vorlesung "Logik I".
Mit formalen Methoden kann nur vertraut werden, wer sich den in der Vorlesung vorgetragenen Stoff durch das eigene Lösen von Übungsaufgaben aneignet. Daher wird die Vorlesung von Tutorien begleitet, in denen Übungsaufgaben gestellt und besprochen werden.
Die Tutorientermine sind: (1) MO 14-16, (2) MI 12-14
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.
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Mi | 14-16 | H1 | 03.04.-10.07.2019
not on: 5/1/19 / 6/5/19 |
einmalig am 05.06.2019 in X-E0-001 |
| one-time | Mi | 14:00-16:00 | X-E0-001 | 05.06.2019 | einmalig am 05.06.2019 in X-e0-001 |
| one-time | Mi | 16-18 | H1 | 10.07.2019 | |
| one-time | Mi | 18-20 | X-E1-203 | 09.10.2019 |
| Module | Course | Requirements | |
|---|---|---|---|
| 26-LOGIK Logic Logik | Formale Methoden in der Philosophie | Student information | |
| - | Ungraded examination Graded examination | Student information |
The binding module descriptions contain further information, including specifications on the "types of assignments" students need to complete. In cases where a module description mentions more than one kind of assignment, the respective member of the teaching staff will decide which task(s) they assign the students.
Voraussetzung für die Vergabe von 5 Leistungspunkten ist eine mindestens mit „ausreichend“ bewertete Klausur. Beide Vorlesungen des Logik-Moduls enden mit einer 90minütigen Klausur, die von der oder dem jeweiligen Lehrenden gestellt wird. Die bessere der beiden Klausuren wird als Modulnote gewertet, d.h. die schlechtere Note geht nicht in die Berechnung der Modulnote ein. Es müssen jedoch beide Klausuren bestanden werden.