Add to watchlist
Back

 

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

Semester spring semester 2021
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
wöchentlich Tuesday 14.15-16.00 Kollegienhaus, Hörsaal 117

Dates

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

Back