Back
| Semester | spring semester 2020 |
| 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 |
|---|
No dates available. Please contact the lecturer.
| 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 |