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 wöchentlich
Datum 02.03.2021 – 01.06.2021
Zeit Dienstag, 14.15-16.00 - Online Präsenz -
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 Vesalianum Seiteneingang, Grosser Hörsaal (EO.16)
Dienstag 13.04.2021 14.15-16.00 Uhr Vesalianum Seiteneingang, Grosser Hörsaal (EO.16)
Dienstag 20.04.2021 14.15-16.00 Uhr Vesalianum Seiteneingang, Grosser Hörsaal (EO.16)
Dienstag 27.04.2021 14.15-16.00 Uhr Vesalianum Seiteneingang, Grosser Hörsaal (EO.16)
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 Vesalianum Seiteneingang, Grosser Hörsaal (EO.16)
Dienstag 18.05.2021 14.15-16.00 Uhr Vesalianum Seiteneingang, Grosser Hörsaal (EO.16)
Dienstag 25.05.2021 14.15-16.00 Uhr Vesalianum Seiteneingang, Grosser Hörsaal (EO.16)
Dienstag 01.06.2021 14.15-16.00 Uhr Vesalianum Seiteneingang, Grosser Hörsaal (EO.16)
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