602014 Formal Logic

winter semester 2015/2016 | Last update: 22.06.2015 Place course on memo list
602014
Formal Logic
SE 2
5
weekly
annually
German

Advanced knowledge in formal logic, basic knowledge on topics in the philosophy of logic and the philosophy of mathematics.

Introduction to formal proof methods and their application for the foundations of mathematics.

Introduction to Gödel's incompleteness theorems and discussion of classical positions in the philosophy of mathematics, in particular constructivist positions.

Students' presentations, reading, discussion.

Assignments: presentation plus (short) end-term paper.

George Boolos: The Unprovability of Consistency; Cambridge UP 1979.

(Additional literature to be introduced in class.)

Basic knowledge in formal logic.

not applicable
08.10.2015
Group 0
Date Time Location
Thu 2015-10-08
13.45 - 15.15 4DG14 SR 4DG14 SR
Thu 2015-10-15
13.45 - 15.15 4DG14 SR 4DG14 SR
Thu 2015-10-22
13.45 - 15.15 4DG14 SR 4DG14 SR
Thu 2015-10-29
13.45 - 15.15 4DG14 SR 4DG14 SR
Thu 2015-11-05
13.45 - 15.15 4DG14 SR 4DG14 SR
Thu 2015-11-12
13.45 - 15.15 4DG14 SR 4DG14 SR
Thu 2015-11-19
13.45 - 15.15 4DG14 SR 4DG14 SR
Thu 2015-11-26
13.45 - 15.15 4DG14 SR 4DG14 SR
Thu 2015-12-03
13.45 - 15.15 4DG14 SR 4DG14 SR
Thu 2015-12-10
13.45 - 15.15 4DG14 SR 4DG14 SR
Thu 2015-12-17
13.45 - 15.15 4DG14 SR 4DG14 SR
Thu 2016-01-14
13.45 - 15.15 4DG14 SR 4DG14 SR
Thu 2016-01-21
13.45 - 15.15 4DG14 SR 4DG14 SR
Thu 2016-01-28
13.45 - 15.15 4DG14 SR 4DG14 SR
Thu 2016-02-04
13.45 - 15.15 4DG14 SR 4DG14 SR