Obiettivi formativi
1 - Conoscenza sia pur minimale dell'Intuizionismo;
2 - l'S4 come strumento per l'obiettivo precedente
Prerequisiti
Logica Proposizionale Classica sia nel suo aspetto semantico che in quello sintattico
Contenuti dell'insegnamento
Oggetto del corso il superamento della Logica Classica (già vista dagli Studenti nei Corsi Triennali) con breve excursus su Logica (proposizionale) Intuizionista e Logica (proposizinale) Modale
Programma esteso
1) Sintassi naturale e modelli di Kripke per l'S4
2) Sintassi naturale e modelli di Kripke per l'Intuizionismo proposizionale
3) (solo se il tempo a disposizione lo permette): Traduzione
Bibliografia
Le dispense relative al Corso verranno inviate via e-mail ai singoli Studenti
Metodi didattici
Lezioni frontali
Modalità verifica apprendimento
Esame orale finale
Altre informazioni
- - -