Logica: dalle dimostrazioni al significato (PhD)
Prerequisiti
Conoscenza della semantica e della teoria della dimostrazione per la logica del primo ordine.
Programma
Modulo 3:
Temi avanzati di logica: il problema del rapporto tra assiomi e regole. Discussione seminariale.
Obiettivi formativi
Introdurre il discente a temi avanzati di logica.
Riferimenti bibliografici
Testi e articoli saranno indicati a lezione.
Moduli
| Modulo | Ore | CFU | Docenti |
|---|---|---|---|
| Modulo 2: La struttura delle dimostrazioni (per ordinari e PhD) | 20 | 3 | Matteo Tesi |
| Modulo 3: Logica e informazione extra-logica (per PhD) | 20 | 3 | Matteo Tesi |