Examination procedure
Oral exam.
Prerequisites
No previous knowledge of logic is required.
Syllabus
Module 1
The notion of proof from a logical perspective: natural deduction and operational meaning of connectives.
Module 2
Introduction to proof theory: Gentzen systems and their properties. The problem of the consistency of arithmetic.
Bibliographical references
Module 1:
- Course notes.
- Further references will be given during the course.
Module 2:
- Course notes.
- A. Troelstra, H. Schwichtenberg, Basic Proof Theory, Cambridge University Press, 2000 (selected chapters).
- Further references will be given during the course.