Back
Semester | spring semester 2018 |
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. |
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) 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 Probleme der Theoretischen Philosophie (Bachelor's degree subject: Philosophy (Start of studies before 01.08.2013)) 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 |