LOGICA (LM)

DOCENTE: MARCELLO FRIXIONE
ANNO: 2014-2015
SSD: M-FIL/02
CFU: 6

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

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 modali aletica
- La logica modale deontica
- Logiche epistemiche e onniscienza logica
- Cenni di logica modale predicativa

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

Le indicazioni bibliografiche verranno fornite all’inizio del corso. Materiali didattici integrativi verranno resi disponibili su aulaweb

Metodi di Accertamento

La verifica avverrà mediante esami orali.

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.