602014 Formale Logik
Wintersemester 2015/2016 | Stand: 22.06.2015 | LV auf Merkliste setzen602014
Formale Logik
SE 2
5
wöch.
jährlich
Deutsch
Aneignung fortgeschrittener Kenntnisse der formalen Logik sowie grundlegender Kenntnisse in der Philosophie der Logik und der Philosophie der Mathematik.
Vermittlung und Besprechung logischer Beweisverfahren und ihrer Anwendung in den Grundlagen der Mathematik; einführende Darstellung des Gödelschen Unvollständigkeitsresultats; Diskussion unterschiedlicher philosophischer Ansätze in der Logik und der Mathematik, mit besonderer Berücksichtigung konstruktivistischer Auffassungen.
Vortrag, Referate, Diskussion
schriftlich und mündlich
George Boolos: The Unprobability of Consistency; Cambridge UP 1979.
(Weitere Literatur wird im Seminar angegeben.)
Basiskenntnisse in Formaler Logik
08.10.2015
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Do 08.10.2015
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||
|
Do 15.10.2015
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||
|
Do 22.10.2015
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||
|
Do 29.10.2015
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||
|
Do 05.11.2015
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||
|
Do 12.11.2015
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||
|
Do 19.11.2015
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||
|
Do 26.11.2015
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||
|
Do 03.12.2015
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||
|
Do 10.12.2015
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||
|
Do 17.12.2015
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||
|
Do 14.01.2016
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||
|
Do 21.01.2016
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||
|
Do 28.01.2016
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||
|
Do 04.02.2016
|
13.45 - 15.15 | 4DG14 SR 4DG14 SR | ||