Argomenti di Ricerca
Logica
Tradizionalmente la logica si occupa delle argomentazioni razionali e delle loro condizioni di correttezza. Ma è anche una disciplina ponte fra l'ambito filosofico e quello scientifico, partecipando con Goedel e Turing al dibattito sui fondamenti della matematica, alla nascita dell'informatica.
Dimostrazione
Si studiano modelli rigorosi del ragionamento, indagandone caratteristiche strutturali e applicazioni a vari ambiti, dalla linguistica all'informatica.
Semantica
Si tratta di studiare teorie del significato - con le correlate nozioni di modello, verità, interpretazione - rispetto a modelli formali del linguaggio, di complessità e ricchezza espressiva crescenti, con applicazioni varie (logica, linguistica teorica, informatica, etc.).
Disponibile per
Conferenze Divulgative, Lezioni Nelle Scuole