La logica ha ottenuto in seno al pensiero occientale un posto di rilievo soprattutto in riferimento ai problemi fondativi relativi alla matematica. Tuttavia anche in riferimento a questi approfondimenti il campo disputabile della logica matematica si è allargato a produrre punti di vista alternativi come la logica intuizionista e altre logiche chiamate tipicamente non classiche. Accanto a questa dimensione si è avuta un crescente interesse per i linguaggi informatici di cui uno almeno prolog si basa precipuamente su linguaggi logici.

Il programma del corso esaminerà alcune problematiche relative alle logiche non classiche e alla teoria dell'intelligenza artificiale

Modalità didattiche

Lezioni frontali con esercitazioni di logica e di informatica.

Obblighi

Partecipazione ad almeno tre quarti delle ore di lezione.

Testi di studio

1. Di Caro A., In soccorso del barone. Scienze della società, itinerari, Liguori, Napoli 2005 (obbligatorio)
2. Palladino D., Palladino C., Logiche non classiche. Un'introduzione, Carrocci, Milano 2007 (suggerito)
3. Varzi A., Nolt J., Rohatyn D., Logica, McGraw-Hill, Milano 2004 (suggerito)

Modalità di
accertamento

Esame orale

Disabilità e DSA

Le studentesse e gli studenti che hanno registrato la certificazione di disabilità o la certificazione di DSA presso l'Ufficio Inclusione e diritto allo studio, possono chiedere di utilizzare le mappe concettuali (per parole chiave) durante la prova di esame.

A tal fine, è necessario inviare le mappe, due settimane prima dell’appello di esame, alla o al docente del corso, che ne verificherà la coerenza con le indicazioni delle linee guida di ateneo e potrà chiederne la modifica.

Modalità didattiche

Esame orale

Obblighi

Studio dei testi indicati.

Testi di studio

1. Di Caro A., In soccorso del barone. Scienze della società, itinerari, Liguori, Napoli 2005 (obbligatorio)
2. Fano V., Comprendere la scienza, Liguori, Napoli 2005
3. Palladino D., Palladino C., Logiche non classiche. Un'introduzione, Carrocci Milano 2007 (suggerito)
4. Varzi A., Nolt J., Rohatyn D., Logica, McGraw-Hill, Milano 2004 (suggerito)

Modalità di
accertamento

Esame orale

Disabilità e DSA

Le studentesse e gli studenti che hanno registrato la certificazione di disabilità o la certificazione di DSA presso l'Ufficio Inclusione e diritto allo studio, possono chiedere di utilizzare le mappe concettuali (per parole chiave) durante la prova di esame.

A tal fine, è necessario inviare le mappe, due settimane prima dell’appello di esame, alla o al docente del corso, che ne verificherà la coerenza con le indicazioni delle linee guida di ateneo e potrà chiederne la modifica.