Zurück
| Semester | Herbstsemester 2012 |
| Angebotsmuster | unregelmässig |
| Dozierende | Giovanni Sommaruga (giovanni.sommaruga@unibas.ch, BeurteilerIn) |
| Inhalt | Die Modallogik ist vielleicht die am häufigsten in der Philosophie verwendete Logik. In zahlreichen Diskussionen der analytischen Philosophie ist deren Kenntnis vorausgesetzt. Eine Grundkenntnis dieser Logik soll in dieser Vorlesung vermittelt werden. Bei dieser Vorlesung geht es um eine eher technische Einführung primär in die aussagenlogische Modallogik. Nach einer kurzen Einleitung werden in einem 1. Teil zuerst die syntaktischen Aspekte von Systemen der Modallogik und deren Axiomatisierbarkeit, sodann die semantischen Aspekte von Modellen, Wahrheit, Gültigkeit, von Filtrationen und kanonischen Modellen, und schliesslich die metalogischen Eigenschaften von modallogischen Systemen, nämlich die Korrektheit, Vollständigkeit und Entscheidbarkeit kurz besprochen. Der 2. Teil handelt von Standardmodellen und normalen Systemen der Modallogik, sowie von deren Korrektheit, Vollständigkeit und Entscheidbarkeit. Der 3. und letzte Teil bietet eine Kürzesteinführung in die prädikatenlogische Modallogik. Diese Vorlesung wird von Übungen begleitet. |
| Literatur | B. Chellas, Modal Logic; R. Girle, Possible Worlds; M. Fitting and R. Mendelsohn, First Order Modal Logic |
| Teilnahmebedingungen | Gute Vorkenntnisse der formalen Logik |
| Unterrichtssprache | Deutsch |
| Einsatz digitaler Medien | kein spezifischer Einsatz |
| HörerInnen willkommen |
| Intervall | Wochentag | Zeit | Raum |
|---|
Keine Einzeltermine verfügbar, bitte informieren Sie sich direkt bei den Dozierenden.
| Module |
Modul Probleme der Theoretischen Philosophie (Bachelor Studienfach: Philosophie) Modul Theoretische Philosophie (Master Studienfach: Philosophie) |
| Leistungsüberprüfung | Leistungsnachweis |
| An-/Abmeldung zur Leistungsüberprüfung | Anmelden: Belegen; Abmelden: nicht erforderlich |
| Wiederholungsprüfung | eine Wiederholung, Wiederholung zählt |
| Skala | Pass / Fail |
| Wiederholtes Belegen | beliebig wiederholbar |
| Zuständige Fakultät | Philosophisch-Historische Fakultät, studadmin-philhist@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Philosophie |