Scheda
- Home
- Catalogo Corsi
- Scheda
Obiettivi: Il corso si propone di introdurre lo studente ai concetti e metodi della logica contemporanea.
Risultati di apprendimento: Al termine del corso lo studente sarà in grado di: presentare i concetti e i metodi principali della moderna logica formale; dimostrare padronanza della logica deduttiva; descrivere i risultati fondamentali relativi alla logica proposizionale e alla logica della quantificazione.
Contenuti: Il corso prevede lo studio dei linguaggi formalizzati, l’esposizione della sintassi e della semantica per il calcolo degli enunciati e il calcolo dei predicati. Calcolo degli enunciati: Formule proposizionali. Interpretazione vero-funzionale. Tavole di verità. Equivalenza logica. Soddisfacibilità. Validità. Tautologie. Conseguenza logica. Tableaux semantici enunciativi. Teoremi di correttezza e completezza (decidibilità).
Calcolo predicativo: Relazioni e predicati. Formule predicative. Interpretazioni. Soddisfacibilità. Validità. Tableaux semantici predicativi. Correttezza e completezza (indecidibilità).
Metodologia: La didattica è erogata attraverso lezioni frontali ed esercitazioni pratiche condotte in interazione con gli studenti, dedicate all’esposizione degli elementi teorici e alla loro applicazione. Per la natura introduttiva dell’insegnamento non sono presupposte competenze propedeutiche.
Modalità di valutazione: La verifica finale degli apprendimenti attesi è effettuata con esame orale ed esecuzione contestuale di esercizi scritti secondo le linee fornite a lezione, nelle dispense e nei capitoli dei volumi indicati in bibliografia. I criteri di valutazione sono ispirati al soddisfacimento dei Descrittori di Dublino.
D. PALLADINO, Corso di Logica. Introduzione elementare al calcolo dei predicati. Roma, Carocci, 2010; A. VARZI – J. NOLT – D. ROHATYN, Logica. Milano, McGraw-Hill, 20072; P. FRASCOLLA, Introduzione alla logica. Dalla teoria dell’argomentazione alla logica formale. Bologna, Il Mulino, 2014; C. MARLETTI – E. MORICONI – M. MARIANI, Argomenti di logica. Pisa, Pisa University Press, 2016.