Back
Semester | fall semester 2017 |
Course frequency | Irregular |
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. |
Learning objectives | Den Inhalt der Vorlesung gut zu verstehen sowie das Beweisen zu lernen und zu üben: das informelle und das formale Beweisen, in der Junktorenlogik und in der Quantorenlogik. |
Bibliography | 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 (Start of studies before 01.08.2013)) 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 |