Docenti: dott. Matteo De Ceglie, IUSS Pavia

Numero ore: 16

Tipo di didattica: lezioni frontali

Programma:
Il punto di partenza del corso sono le conoscenze fornite agli studenti di Filosofia dai corsi di Istituzioni di Logica A/B e ai corsi di approfondimento dello IUSS, o le conoscenze di logica comuni a tutti i matematici e i fisici: logica proposizionale e del primo ordine; distinzione tra sintassi e semantica; proof system.
Il corso inizierà dimostrando i tre risultati metalogici principali: teoremi di completezza, compattezza e teorema di L owenheim-Skolem.
Le tre macroaree della logica (proof theory, model theory, recusion theory) riceveranno poi approfondimenti specifici dividendo le lezioni rimanenti del corso in gruppi, dando agli studenti le basi metodologiche e bibliografiche per approfondimenti ulteriori sulla base dei propri interessi.

Calendario:
10-17-24-31 marzo
1-8-22 aprile
6 maggio
ore 20.30 
AULA SANDRA BRUNI (eccetto 8 aprile, Biblioteca femminile)