Im Seminar werden wir die Grundlagen der modalen Aussagenlogik kennenlernen und einüben. Zuerst werden wir uns anschauen, was genau die Modaloperatoren (Box und Diamant) semantisch von den aussagenlogischen Operatoren unterscheidet, und welche Rolle mögliche Welten dabei spielen. Anschließend werden wir uns einen Überblick über einige modallogische Systeme verschaffen und ein allgemeines Verfahren kennenlernen, mit dem wir überprüfen können, ob ein gegebener Schluss in einem gegebenen System gültig oder eine gegebene Formel in einem gegebenen System tautologisch ist. Abschließend werden wir das Verständnis der modallogischen Grundideen vertiefen, indem wir uns eine Erweiterung dieser Ideen vornehmen, die für ein spezielles Anwendungsgebiet konzipiert wurde.
Frequency | Weekday | Time | Format / Place | Period | |
---|---|---|---|---|---|
weekly | Mo | 8:30-10 (s.t.) | 07.10.2024-31.01.2025 |
Module | Course | Requirements | |
---|---|---|---|
23-CL-BaCL5 Vertiefungsmodul | Lehrveranstaltung 1 | Study requirement
|
Student information |
Lehrveranstaltung 2 | Study requirement
|
Student information | |
- | Graded examination | Student information | |
23-TXT-BaCL5 Vertiefungsmodul | Veranstaltung aus dem Vertiefungsbereich | Study requirement
|
Student information |
26-HM_TP4_SP Hauptmodul TP4: Sprachphilosophie | Seminar 1 | Study requirement
|
Student information |
Seminar 2 | Study requirement
|
Student information | |
- | 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.