Introduction to proof-theory (Ordinario)
Prerequisiti
No prerequisites are required to attend the course.
Programma
Module 1: What is a logical proof?
Elements of the history of logic: hypotheses on the origin of the syllogism.
The notion of a formal system and logical calculus.
Classical propositional logic: natural deduction and sequent calculus.
Intuitionistic logic.
Modal logics.
Substructural logics.
Classical first-order logic.
Cut elimination strategies.
Module 2: Logical Information
The problem of the analyticity of logic: themes from the history of philosophy and the history of logic.
The paradox of information and logic.
Obiettivi formativi
The educational objective of a course is to enable participants to learn its contents. This course is no exception.
Riferimenti bibliografici
Papers indicated during the lessons.
Handouts
A. S. Troelstra, H. Schwichtenberg, Basic Proof Theory. Cambridge University Press, 2000.
Moduli
| Modulo | Ore | CFU | Docenti |
|---|---|---|---|
| Modulo 1: Che cos'e una dimostrazione logica? (per ordinari) | 20 | 3 | Mario Piazza |
| Modulo 2: Logica e informazione (per ordinari e PhD) | 20 | 3 | Mario Piazza |