Contatto di riferimento: Giovanna Corsi
Partecipanti: Sara Negri - Università di Helsinki
Abstract:
La formalizzazione logica delle nozioni epistemiche e doxastiche presenta gia' a partire dalla monografia di Jaakko Hintikka del 1962 una sovrapposizione di elementi semantici e sintattici.
A partire da essa, si discuterà il problema dell'onniscienza e della monotonia a giustificazione di una generalizzazione della semantica dei mondi possibili; si presenterà quindi una metodologia per costruire sistemi di prova a partire da strutture a intorni. In particolare, verranno sviluppati una semantica ed un sistema di prova per un particolare tipo di logica doxastica, la "logic of conditional belief". Quest'ultima parte si basa su lavoro in collaborazione con Marianna Girlando, Nicola Olivetti e Vincent Risch.