Zurück
Semester | Frühjahrsemester 2019 |
Angebotsmuster | Jedes Frühjahrsem. |
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 (deontische Logik, epistemische Logik, doxastische Logik, usw.). |
Teilnahmebedingungen | Erfolgter Besuch des Grundkurses Logik (Logik I) oder äquivalente Kenntnisse; mit Vorteil erfolgter Besuch des Kurses Logik II (zur fortgeschrittenen PL1) oder äquivalente Kenntnisse. |
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 |
Hinweise zur Leistungsüberprüfung | Schriftliche Prüfung am Ende des Semesters |
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 |