Zur Merkliste hinzufügen
Zurück

 

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

Semester Frühjahrsemester 2021
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 Wochentag Zeit Raum
wöchentlich Dienstag 14.15-16.00 Kollegienhaus, Hörsaal 117

Einzeltermine

Datum Zeit Raum
Dienstag 02.03.2021 14.15-16.00 Uhr - Online Präsenz -, --
Dienstag 09.03.2021 14.15-16.00 Uhr - Online Präsenz -, --
Dienstag 16.03.2021 14.15-16.00 Uhr - Online Präsenz -, --
Dienstag 23.03.2021 14.15-16.00 Uhr - Online Präsenz -, --
Dienstag 30.03.2021 14.15-16.00 Uhr - Online Präsenz -, --
Dienstag 06.04.2021 14.15-16.00 Uhr - Online Präsenz -, --
Dienstag 13.04.2021 14.15-16.00 Uhr - Online Präsenz -, --
Dienstag 20.04.2021 14.15-16.00 Uhr - Online Präsenz -, --
Dienstag 27.04.2021 14.15-16.00 Uhr - Online Präsenz -, --
Dienstag 04.05.2021 14.15-16.00 Uhr Vesalianum Seiteneingang, Grosser Hörsaal (EO.16)
Dienstag 11.05.2021 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Dienstag 18.05.2021 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Dienstag 25.05.2021 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
Dienstag 01.06.2021 14.15-16.00 Uhr Kollegienhaus, Hörsaal 117
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