Zurück
| Semester | Herbstsemester 2020 |
| Angebotsmuster | Jedes Herbstsemester |
| Dozierende | Giovanni Sommaruga (giovanni.sommaruga@unibas.ch, BeurteilerIn) |
| Inhalt | (1) Grundlegende Begriffe der Logik: Was ist ein axiomatisches logisches System? Worin besteht die Widerspruchsfreiheit, Korrektheit oder Vollständigkeit eines axiomatischen Systems? (2) Präsentation einer Anzahl von axiomatischen Systemen der aussagenlogischen Modallogik (MAL) (3) Einführung der Kripke Semantik von MAL und Präsentation einer Methode, um darin die Ungültigkeit ungültiger Formeln nachzuweisen (4) das Beweisen der Gültigkeit von gültigen Formeln in verschiedenen axiomatischen Systemen von MAL (5) Uminterpretation der spezifisch modallogischen Operatoren so, dass aus der Modallogik neue philosophische Logiken hervorgehen. |
| Literatur | Tba |
| Teilnahmebedingungen | Erfolgter Besuch des Grundkurses Logik (Logik I) oder äquivalente Kenntnisse; mit Vorteil erfolgter Besuch des Kurses Logik II (zur fortgeschrittenen PL1) Beschränkung Teilnehmerzahl: 20 Bei Überschreitung der unter den derzeitigen Bedingungen zugelassenen Plätze erfolgt die Teilnahmeauswahl nach Kriterien der Lehrenden. |
| Unterrichtssprache | Deutsch |
| Einsatz digitaler Medien | kein spezifischer Einsatz |
| 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 |