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:

• D.Poulot, R.Wrigley, “The Birth of Heritage: ’le moment Guizot’”, Oxford Art Journal, Vol. 11, No 2(1988) pp 40-56
• M.Špikić, Anatomija kulturnog spomenika, Zagreb 2008.
• M.Špikić, Humanisti i starine, Zagreb 2005.
• T.Marasović, Zaštita graditeljskog nasleća. Istorijski pregled sa hrestomatijom, Split 1983.
• J.Jokileto, A History of Arhitectural Conservation, UNESCO 2005.
• O. Impey – A. MacGregor, ed., The Origins of Museums. The Cabinet of Curiosities in Sixteenth- and Seventeenth-Century Europe, Oxford 19872.
• V. Han, Razvoj zbirki i muzeja od 13. do 19. veka na teritoriji Jugoslavije, Tkalčićev zbornik II, Zagreb 1958.