Back
Semester | fall semester 2020 |
Course frequency | Every fall 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. |
Bibliography | Tba |
Admission requirements | 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. |
Language of instruction | German |
Use of digital media | No specific media used |
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 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 |