Back
Semester | spring semester 2019 |
Course frequency | Every spring sem. |
Lecturers | Giovanni Sommaruga (giovanni.sommaruga@unibas.ch, Assessor) |
Content | (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.). |
Admission requirements | Erfolgter Besuch des Grundkurses Logik (Logik I) oder äquivalente Kenntnisse; mit Vorteil erfolgter Besuch des Kurses Logik II (zur fortgeschrittenen PL1) oder äquivalente Kenntnisse. |
Language of instruction | German |
Use of digital media | No specific media used |
Course auditors welcome |
Interval | Weekday | Time | Room |
---|
No dates available. Please contact the lecturer.
Modules |
Modul: Probleme der Theoretischen Philosophie (Bachelor's degree subject: Philosophy) Modul: Theoretische Philosophie (Master's degree subject: Philosophy) |
Assessment format | record of achievement |
Assessment details | Schriftliche Prüfung am Ende des Semesters |
Assessment registration/deregistration | Reg.: course registration; dereg.: not required |
Repeat examination | one repetition, repetition counts |
Scale | Pass / Fail |
Repeated registration | as often as necessary |
Responsible faculty | Faculty of Humanities and Social Sciences, studadmin-philhist@unibas.ch |
Offered by | Fachbereich Philosophie |