Università Cattolica del Sacro Cuore

Logica e filosofia della logica

i) Sistemi dell'aritmetica da Q a PA2.


ii) Teoria della verità e Teoremi di incompletezza: analisi delle teorie assiomatiche della verità; teorie deflazioniste della verità e teoria assiomatica della verità secondo Tarski; argomento della conservatività; Analisi della verità delle proposizioni gödeliane.


iii) Analisi di alcune forme di intuizione matematica (forme legate a evidenze di tipo finitista e forme legate all'evidenza dei principi di astrazione) con l'obiettivo di mostrare l'emergenza delle forme di secondo tipo su quelle di primo tipo. Intendiamo che un sistema di evidenze è emergente rispetto ad altri sistemi di evidenze quando le teorie che sono giustificabili sulla base del primo sistema sono irriducibili alle teorie che sono giustificabili sulla base degli altri sistemi presi in considerazione.


iv) Estensioni modali della logica classica: logica modale, deontica, epistemica e delle logiche alternative alla logica classica: logica intuizionistica e minimale.


v) Trattazione formale della Legge di Hume, della prova ontologica, dell'Elenchos, dell'Inferenza Pratica.


vi) Elaborazione di una logica del predicato d'esistenza e dell'essenza (Struttura ontologica)