Logic: proofs and meaning (PhD)
Prerequisiti
Basic knowledge of first-order logic: semantics and proof theory.
Programma
Module 3:
Advanced themes in logic: axioms and rules. Seminars and discussions.
Obiettivi formativi
The aim is to introduce students to advanced themes in logic.
Riferimenti bibliografici
Monographs and articles will be indicated during lectures.
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 |