Theory of Deduction

Pre-requisites: Master course Logic.

Course objectives: Student should become acquainted with the basic results of proof theory – the most interesting branch of logic from the point of view of philosophy.

Course description: Main results of general proof theory, normal form theorems in natural deduction, cut-elimination in sequent systems, Curry-Howard correspondence, basic concepts of categorial proof theory.

Learning Outcomes: Students have become acquainted with the basic results of proof theory.

Literature/Reading:

• G. Gentzen, Untersuchungen über das logische Schließen; engleski prevod: Investigations into logical deduction, u The Collected Papers of Gerhard Gentzen, postoje i francuski i ruski prevodi
• Neka poglavlja iz D. Prawitz, Natural Deduction: A Proof-Theoretical Study (Almqvist & Wiksell, Stockholm, 1965)
• Neka poglavlja iz A.S. Troelstra and H. Schwichtenberg, Basic Proof Theory (Cambridge University Press, second edition, 2000)
• Neka poglavlja iz K. Došen and Z. Petrić, Proof-Theoretical Coherence (College Publications, London, 2004)