Zur Merkliste hinzufügen
Zurück

 

22790-01 - Vorlesung: Fortgeschrittene Prädikatenlogik 1. Stufe (Formale Logik II) 2 KP

Semester Frühjahrsemester 2020
Angebotsmuster Jedes Frühjahrsem.
Dozierende Giovanni Sommaruga (giovanni.sommaruga@unibas.ch, BeurteilerIn)
Inhalt 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.
Literatur Vorlesungsskript
J. Barwise, J. Etchemendy, Sprache, Beweis und Logik,
Bd. I und ev. Bd. II, Paderborn, mentis, 2006

 

Teilnahmebedingungen Nur für Studierende, die den Grundkurs Logische Propädeutik oder vergleichbare Kenntnisse in der Logischen Propädeutik vorweisen können.
Unterrichtssprache Deutsch
Einsatz digitaler Medien kein spezifischer Einsatz
HörerInnen willkommen

 

Intervall wöchentlich
Datum 18.02.2020 – 26.05.2020
Zeit Dienstag, 14.15-16.00 Kollegienhaus, Hörsaal 114
Datum Zeit Raum
Dienstag 18.02.2020 14.15-16.00 Uhr Kollegienhaus, Hörsaal 114
Dienstag 25.02.2020 14.15-16.00 Uhr Kollegienhaus, Hörsaal 114
Dienstag 03.03.2020 14.15-16.00 Uhr Fasnachtsferien
Dienstag 10.03.2020 14.15-16.00 Uhr Kollegienhaus, Hörsaal 114
Dienstag 17.03.2020 14.15-16.00 Uhr Kollegienhaus, Hörsaal 114
Dienstag 24.03.2020 14.15-16.00 Uhr Kollegienhaus, Hörsaal 114
Dienstag 31.03.2020 14.15-16.00 Uhr Kollegienhaus, Hörsaal 114
Dienstag 07.04.2020 14.15-16.00 Uhr Kollegienhaus, Hörsaal 114
Dienstag 14.04.2020 14.15-16.00 Uhr Kollegienhaus, Hörsaal 114
Dienstag 21.04.2020 14.15-16.00 Uhr Kollegienhaus, Hörsaal 114
Dienstag 28.04.2020 14.15-16.00 Uhr Kollegienhaus, Hörsaal 114
Dienstag 05.05.2020 14.15-16.00 Uhr Kollegienhaus, Hörsaal 114
Dienstag 12.05.2020 14.15-16.00 Uhr Kollegienhaus, Hörsaal 114
Dienstag 19.05.2020 14.15-16.00 Uhr Kollegienhaus, Hörsaal 114
Dienstag 26.05.2020 14.15-16.00 Uhr Kollegienhaus, Hörsaal 114
Module Modul: Probleme der Theoretischen Philosophie (Bachelor Studienfach Philosophie)
Leistungsüberprüfung Leistungsnachweis
Hinweise zur Leistungsüberprüfung Schriftliche Prüfung
An-/Abmeldung zur Leistungsüberprüfung Anmelden: Belegen; Abmelden: nicht erforderlich
Wiederholungsprüfung eine Wiederholung, Wiederholung zählt
Skala Pass / Fail
Wiederholtes Belegen beliebig wiederholbar
Zuständige Fakultät Philosophisch-Historische Fakultät, studadmin-philhist@unibas.ch
Anbietende Organisationseinheit Fachbereich Philosophie

Zurück