(HS/OS) Logik für Fortgeschrittene: Vollständigkeit und Unvollständigkeit
Dozent:innen: Dr. Nick HaverkampKurzname: HS/OS Logik
Kurs-Nr.: 05.127.190
Kurstyp: Seminar
Voraussetzungen / Organisatorisches
Das Seminar findet in Präsenz statt und schließt inhaltlich an den regelmäßig in der Philosophie angebotenen Kurs zur Einführung in die moderne Logik an. Gute bis sehr gute Kenntnisse und Kompetenzen in der elementaren Logik sind daher unbedingt erforderlich für einen erfolgreichen Besuch des Fortgeschrittenenkurses.Für den Nachweis der aktiven Teilnahme gibt es vier schriftliche Tests in Präsenz über die behandelten Seminarinhalte, von denen drei bestanden werden müssen. Die Tests finden in der 4., 7., 10. und 13. Woche der Vorlesungszeit statt (6.5., 27.5., 17.6., 8.7.).
Die Modulprüfung findet als mündliche Prüfung statt.
Inhalt
Der Fortgeschrittenenkurs soll im inhaltlichen Anschluss an die Logik-Einführungsveranstaltung einen Einblick in zentrale weiterführendeTheoriebestände der modernen Logik geben. Dazu gehören (i) Ergänzungen zur elementaren Logik, (ii) das grundlegende metalogische Theorem der Vollständigkeit der Prädikatenlogik erster Stufe, sowie (iii) Gödels zentrale metalogische Theoreme der Unvollständigkeit formaler Systeme, die widerspruchsfrei und hinreichend stark sind.Termine
| Datum (Wochentag) | Zeit | Ort |
|---|---|---|
| 15.04.2025 (Dienstag) | 16:15 - 17:45 | 00 008 SR 06 9125 - Bausparkasse Mainz |
| 22.04.2025 (Dienstag) | 16:15 - 17:45 | 00 008 SR 06 9125 - Bausparkasse Mainz |
| 29.04.2025 (Dienstag) | 16:15 - 17:45 | 00 008 SR 06 9125 - Bausparkasse Mainz |
| 06.05.2025 (Dienstag) | 16:15 - 17:45 | 00 008 SR 06 9125 - Bausparkasse Mainz |
| 13.05.2025 (Dienstag) | 16:15 - 17:45 | 00 008 SR 06 9125 - Bausparkasse Mainz |
| 20.05.2025 (Dienstag) | 16:15 - 17:45 | 00 008 SR 06 9125 - Bausparkasse Mainz |
| 27.05.2025 (Dienstag) | 16:15 - 17:45 | 00 008 SR 06 9125 - Bausparkasse Mainz |
| 03.06.2025 (Dienstag) | 16:15 - 17:45 | 00 008 SR 06 9125 - Bausparkasse Mainz |
| 10.06.2025 (Dienstag) | 16:15 - 17:45 | 00 008 SR 06 9125 - Bausparkasse Mainz |
| 17.06.2025 (Dienstag) | 16:15 - 17:45 | 00 008 SR 06 9125 - Bausparkasse Mainz |
| 24.06.2025 (Dienstag) | 16:15 - 17:45 | 00 008 SR 06 9125 - Bausparkasse Mainz |
| 01.07.2025 (Dienstag) | 16:15 - 17:45 | 00 008 SR 06 9125 - Bausparkasse Mainz |
| 08.07.2025 (Dienstag) | 16:15 - 17:45 | 00 008 SR 06 9125 - Bausparkasse Mainz |
| 15.07.2025 (Dienstag) | 16:15 - 17:45 | 00 008 SR 06 9125 - Bausparkasse Mainz |