Logica - Introduzione alla teoria della dimostrazione (Ordinario)
Prerequisiti
Non è richiesto alcun prerequisito per seguire il corso.
Programma
Modulo 1: Che cos'e una dimostrazione logica?
Elementi di storia della logica: ipotesi sull'origine del sillogismo.
La nozione di sistema formale e di calcolo logico.
La logica classica proposizionale: deduzione naturale e calcolo dei sequenti.
La logica intuizionista.
La logiche modali.
Le logiche sottostrutturali.
La logica classica del primo ordine.
Strategie di eliminazione del taglio.
Modulo 2: Logica e informazione
Il problema dell'analiticità della logica: temi dalla storia della filosofia e dalla storia della logica.
Paradosso dell'informazione e logica.
Obiettivi formativi
L'obiettivo formativo di un corso è far apprendere i suoi contenuti ai partecipanti. Questo corso non fa eccezione.
Riferimenti bibliografici
Articoli indicati a lezione.
Dispense
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 |