OBIETTIVI FORMATIVI

Introdurre alcuni temi avanzati di logica, con particolare attenzione alle relazioni che sussistono con problemi inerenti varie discipline filosofiche, quali semantica, ontologia e metafisica.

OBIETTIVI FORMATIVI (DETTAGLIO) E RISULTATI DI APPRENDIMENTO

Obiettivi dell'insegnamento sono:

• Consolidare le competenze di logica classica apprese durante il corso di studio triennale.
• Approfondire i calcoli logici: calcoli assiomatici, deduzione naturale oppure calcolo dei sequenti.
• Approfondire la semantica della logica dei predicati del primo ordine, la nozione di teoria e la nozione di modello del primo ordine, familiarizzare con alcuni esempi di teorie formali; 
• Approfondire le nozioni chiave delle logiche modali (sistemi normali, semantica di Kripke, teoria della corrispondenza, limiti della semantica di Kripke).
• Avvicinarsi ad alcuni temi di ricerca approfondendo sistemi logici usati in logica filosofica, rappresentazione della conoscenza, ontologia, semantica formale o in intelligenza artificiale. 

Al termine dell'insegnamento, si dovrà essere in grado di:

• Comprendere gli aspetti tecnici della logica proposizionale e dei predicati. 
• Comprendere e applicare gli strumenti messi a disposizione dei calcoli logici visti.
• Comprendere i teoremi di correttezza e completezza relativi ai calcoli logici visti.
• Comprendere gli aspetti essenziali di alcune logiche non-classiche.
• Comprendere e utilizzare i concetti chiave della logica modale.
• Saper approfondire alcuni testi più recenti in logica filosofica, rappresetnazione della conoscenza, ontologia formale, semantica formale, o intelligenza artificiale. 

PREREQUISITI

L'insegnamento è pensato come un approfondimento dell'insegnamento di logica del corso triennale in filosofia. 

Si daranno quindi già per acquisite la conoscenza della logica classica proposizionale e della logica dei predicati del primo ordine.

Il corso è pertanto consigliato solo agli studenti che possiedono già tali conoscenze. 

MODALITA' DIDATTICHE

Le lezioni si terranno auspicabilmente in presenza. Chi non frequenta è tenuto a contattare il docente per decidere il programma d'esame e per accedere a materiali didattici aggiuntivi. 

L'insegnamento consiste di due parti. 

La prima parte dell'insegnamento prevede lezioni frontali tenute dal docente e momenti di esercitazioni individuali e in gruppo supervisionati dal docente. 

La seconda parte dell'insegnamento prevede presentazioni, progetti, e discussioni in aula.

Durante il corso, compatibilmente con le risorse e i tempi disponibili, potrebbero essere invitati esperti esterni a tenere seminari su temi specifici.

Occorre iscriversi ad Aulaweb, dove saranno caricati materiali utili per il corso.

PROGRAMMA/CONTENUTO

L'insegnamento si divide in due parti:

1) approfondimenti di logica proposizionale e dei predicati, calcoli logici, introduzione alla logica modale, introduzione e discussione di temi di logiche non-classiche;

2) presentazione di sistemi logici per avvicinarsi ad alcuni temi di ricerca logica in ambito di logica filosofica, rappresentazione della conoscenza, semantica formale, ontologia formale, o intelligenza artificale. 

Prima parte:

• Calcoli assiomatici e teoremi di correttezza e completezza;
• Teorie e modelli del primo ordine.
• Deduzione naturale e calcoli dei sequenti.
• Temi di logiche non-classiche.
• Introduzione alle logiche modali. 
• Semantica di Kripke e teoria della corrispondenza.
• Sistemi di logica modale: logiche aletiche, deontiche, epistemiche, agentive. 
• Limiti della semantica di Kripke. 

Seconda parte:

• Presentazione a carattere seminariale di alcuni articoli per avvicinarsi ai temi di ricerca recenti. 

TESTI/BIBLIOGRAFIA

I materiali necessari saranno forniti e resi disponibili su aula web: dispense, slides, articoli di approfondimento.

In alternativa al materiale relativo alla prima parte, o per approfondimenti:

Per la parte di logica proposizionale e dei predicati e per i calcoli logici assiomatici:

• E. Mendelson. Introduzione alla logica matematica. Bollati Boringhieri. (capitolo 1 e 2 fino a 2.6).

Oppure:

• D. Palladino. Logica e teorie formalizzate, Carocci, (Capitoli 1  e 2).

Per la parte di introduzione alla logica modale:

• ​B. Chellas, Modal Logic: An Introduction, Cambridge: Cambridge University Press.

oppure

•  Frixione M., Iaquinto S., Vignolo M., Introduzione alle logiche modali, Laterza.

Per la seconda parte seminariale del corso:

 Un articolo da approfondire tra quelli che verranno decisi a lezione e resi disponibili su Aulaweb.

Per chi NON frequenta: 

oltre ai testi elencati sopra, occorre concordare il programma e il tema di approfondimento con il docente.

L'elenco dei testi potrebbe subire modifiche e quindi è consigliabile, prima dell'acquisto o del prestito, di attendere l'avvio delle lezioni e la
presentazione del programma da parte del docente.