Obiettivi formativi
La Logica Formale come una
sorta di "analisi logica" dei linguaggi naturali e dei ragionamenti in essi
espressi.
La Logica S4 proposizionale.
Prerequisiti
Logica Proposizionale Classica soprattutto nel suo aspetto semantico.
Contenuti dell'insegnamento
Oggetto del corso il superamento della Logica Classica (già vista dagli Studenti nei Corsi Triennali) con breve excursus su Logica (proposizionale) Modale
Programma esteso
1) Interpretazioni intuitive, traduzione (in una interpretazione) nel metalinguaggio di ogni formula ben formata, proposizioni della stessa forma e ragionamenti validi in virtù della forma delle premesse e della conclusione
2) Sintassi naturale e modelli di Kripke per l'S4
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
- - -