Back
Semester | spring semester 2021 |
Course frequency | Every spring sem. |
Lecturers | Giovanni Sommaruga (giovanni.sommaruga@unibas.ch, Assessor) |
Content | In dieser Vorlesung geht es um die Rolle der Beweise in der Logik, um informelle und formale Beweise, und schliesslich um Inhalt und Bedeutung des ersten substanziellen Resultats der modernen Logik, nämlich um Gödels Vollständigkeitssatz für die Logik 1. Stufe. |
Bibliography | Vorlesungsskript J. Barwise, J. Etchemendy, Sprache, Beweis und Logik, Bd. I und ev. Bd. II, Paderborn, mentis, 2006 |
Admission requirements | Nur für Studierende, die den Grundkurs Logische Propädeutik oder vergleichbare Kenntnisse in der Logischen Propädeutik vorweisen können. |
Language of instruction | German |
Use of digital media | No specific media used |
Course auditors welcome |
Interval | Weekday | Time | Room |
---|---|---|---|
wöchentlich | Tuesday | 14.15-16.00 | Kollegienhaus, Hörsaal 117 |
Date | Time | Room |
---|---|---|
Tuesday 02.03.2021 | 14.15-16.00 | - Online Präsenz -, -- |
Tuesday 09.03.2021 | 14.15-16.00 | - Online Präsenz -, -- |
Tuesday 16.03.2021 | 14.15-16.00 | - Online Präsenz -, -- |
Tuesday 23.03.2021 | 14.15-16.00 | - Online Präsenz -, -- |
Tuesday 30.03.2021 | 14.15-16.00 | - Online Präsenz -, -- |
Tuesday 06.04.2021 | 14.15-16.00 | - Online Präsenz -, -- |
Tuesday 13.04.2021 | 14.15-16.00 | - Online Präsenz -, -- |
Tuesday 20.04.2021 | 14.15-16.00 | - Online Präsenz -, -- |
Tuesday 27.04.2021 | 14.15-16.00 | - Online Präsenz -, -- |
Tuesday 04.05.2021 | 14.15-16.00 | Vesalianum Seiteneingang, Grosser Hörsaal (EO.16) |
Tuesday 11.05.2021 | 14.15-16.00 | Kollegienhaus, Hörsaal 117 |
Tuesday 18.05.2021 | 14.15-16.00 | Kollegienhaus, Hörsaal 117 |
Tuesday 25.05.2021 | 14.15-16.00 | Kollegienhaus, Hörsaal 117 |
Tuesday 01.06.2021 | 14.15-16.00 | Kollegienhaus, Hörsaal 117 |
Modules |
Modul: Probleme der Theoretischen Philosophie (Bachelor's degree subject: Philosophy) |
Assessment format | record of achievement |
Assessment details | Schriftliche Prüfung |
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 |