LOGICA (LM)

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

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

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
- Logica e ontologia

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

Marcello Frixione, Samuele Iaquinto, Massimiliano Vignolo, Introduzione alle logiche modali, ed. Laterza, 2016

Ulteriori materiali didattici verranno forniti durante il corso e resi disponibile su aulaweb. 

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.