Logica: dalle dimostrazioni al significato (Ordinario)
Prerequisiti
Non è previsto alcun prerequisito.
Programma
Modulo 1
La nozione di prova da un punto di vista logico: deduzione naturale e significato operazionale dei connettivi.
Modulo 2
Introduzione alla teoria della dimostrazione: sistemi à la Gentzen e loro proprietà. Il problema della non-contraddittorietà dell'aritmetica.
Obiettivi formativi
Modulo 1:
Introdurre gli studenti alla logica attraverso la nozione di dimostrazione.
Modulo 2:
Approfondire temi di teoria della dimostrazione e le loro ricadute concettuali con particolare riferimento al lavoro di Gentzen.
Riferimenti bibliografici
Module 1:
- Dispense distribuite dal docente.
- Ulteriori riferimenti bibliografici saranno indicati a lezione.
Module 2:
- Dispense distribuite dal docente.
- A. Troelstra, H. Schwichtenberg, Basic Proof Theory, Cambridge University Press, 2000 (capitoli scelti).
- Ulteriori riferimenti bibliografici saranno indicati a lezione.
Moduli
| Modulo | Ore | CFU | Docenti |
|---|---|---|---|
| Modulo 1: Inferenze e significato (per ordinari) | 20 | 3 | Matteo Tesi |
| Modulo 2: La struttura delle dimostrazioni (per ordinari e PhD) | 20 | 3 | Matteo Tesi |