Logica - Logica e mondi possibili (Ordinario)
Prerequisiti
Nessun prerequisito è richiesto.
Programma
Modulo 1:
Introduzione alla logica classica proposizionale: linguaggio formale e sintassi. Semantica: tavole di verità, tautologie classiche notevoli. Cenni alla logica del primo ordine: formalizzazioni e metodo dei tableaux.
Introduzione alle logiche modali. Semantica relazionale per le logiche modali: teoria della corrispondenza. Metodi di prova per logiche modali (tableaux). Correttezza, completezza e decidibilità.
Modulo 2:
Introduzione alla logica intuizionistica: dimostrazioni costruttive. Semantica relazionale per la logica intuizionistica. Rapporti tra logica classica e logica intuizionistica. Proprietà metalogiche. Cenni a logiche intermedie. Interpretazione modale di logiche costruttive. Cenni ad altre logiche non classiche (polivalenti e sottostrutturali).
Obiettivi formativi
Modulo 1
Introdurre gli studenti alla logica classica e successivamente alle logiche modali e alla loro semantica.
Modulo 2
Approfondire la conoscenza delle logiche non classiche concentrandosi sulla logica intuizionistica e sui rapporti tra differenti sistemi.
Riferimenti bibliografici
Per la logica classica:
- A. Cantini, P. Minari, Introduzione alla logica, Mondadori Education Le Monnier, 2009 (capitoli scelti).
- Dispense fornite dal docente.
- Articoli indicati a lezione.
Per la logica modale:
- E. Orlandelli, G. Corsi, Corso di logica modale proposizionale, Carocci, 2019 (capitoli scelti).
- Dispense fornite dal docente.
- Articoli indicati a lezione.
Per la logica intuizionistica:
- Dispense fornite dal docente.
- Articoli indicati a lezione.
Ulteriori riferimenti bibliografici saranno forniti a lezioni.
Moduli
| Modulo | Ore | CFU | Docenti |
|---|---|---|---|
| Modulo 1: Introduzione alla logica (per ordinari) | 20 | 3 | Matteo Tesi |
| Modulo 2: Modalità e intuizionismo (per ordinari e PhD) | 20 | 3 | Matteo Tesi |