LOGICA (LM)

DOCENTE: MARCELLO FRIXIONE E DANIELE PORELLO
ANNO: 2015-2016
SSD: M-FIL/02
CFU: 6

PERIODO: Annuale
AULAWEB:
ATTIVATO DA: METODOLOGIE FILOSOFICHE (2015-2016)

Programma

Programma per gli studenti che utilizzano l'insegnamento per 6 cfu

Introduzione alla logica modale
- Mondi possibili e strutture di Kripke
- Logica modale proposizionale
- I sistemi di logica modale aletica
- La logica modale deontica
- Logiche epistemiche e onniscienza logica
- Logiche modali e intelligenza artificiale
- Logiche modali per agenti

Bibliografia per gli studenti che utilizzano l'insegnamento per 6 cfu

Materiali didattici e indicazioni bibliografiche verranno forniti all’inizio del corso.
Gli studenti non frequentanti sono pregati di mettersi in contatto con i docenti.

Metodi di Accertamento

Esame orale

Obbiettivi 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.

Curriculum Docente

Marcello Frixione insegna logica e filosofia delle scienze cognitive presso l’Università degli Studi di Genova. I suoi interessi di ricerca si situano nel settore delle scienze cognitive e della filosofia delle scienze cognitive. Ha pubblicato vari lavori su riviste scientifiche internazionali, ed alcuni libri in lingua italiana.