Zurück
Semester | Frühjahrsemester 2017 |
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. |
Literatur | Tba |
Bemerkungen | Die Vorlesung eignet sich für HörerInnen, wenn diese den Grundkurs Logik besucht haben oder äquivalente Logikkenntnisse vorhanden sind. |
Teilnahmebedingungen | Erfolgter Besuch des Grundkurses Logik (Logik I) oder äquivalente Kenntnisse; mit Vorteil erfolgter Besuch des Kurses Logik II (zur fortgeschrittenen PL1) |
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 Probleme der Theoretischen Philosophie (Bachelor Studienfach: Philosophie (Studienbeginn vor 01.08.2013)) Modul Theoretische Philosophie (Master Studienfach: Philosophie (Studienbeginn vor 01.08.2013)) 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 |