Modalità d'esame
<p>Esame orale.</p>
Prerequisiti
Nessun prerequisito è richiesto.
Programma insegnamento
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).
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.