Ha iniziato la sua attività di ricerca curando la traduzione italiana di "An Introduction to Modal Logic" di G.E.Hughes e M. J. Cresswell[1], che offriva per la prima volta al pubblico italiano una panoramica completa e aggiornata della logica intensionale. Ampliando questa linea di ricerca, ha pubblicato due antologie con lunghe introduzioni, una dedicata alla logica del tempo[2] e una dedicata alla logica condizionale[3]. A partire dalla fine degli anni '70 ha pubblicato una serie di articoli su riviste internazionali in cui viene introdotta una logica detta dell'implicazione consequenziale, il cui scopo e' riformulare le basi della logica detta connessiva[4] nel quadro della logica modale standard. Questa traduzione linguistica consente di assiomatizzare un certo numero di sistemi che risultano completi e decidibili mediante tableaux. Uno sviluppo verso una generalizzazione di questi risultati è stato conseguito in due articoli scritti in collaborazione con Timothy Williamson[5]. Altri temi di ricerca approfonditi nel campo della logica sono stati il problema della definizione della necessita' in termini di contingenza[6], l'applicazione di quadrati e cubi aristotelici alle nozioni modali[7], l'approccio alla modalità in termini di multimodalità, cioè mediante l'impiego di un linguaggio base avente come primitivi un numero arbitrariamente grande di operatori modali[8].
Nel campo della filosofia della scienza il tema su cui ha lavorato in modo preminente è stato quello della teoria controfattuale della causa, a cui ha dedicato articoli e libri destinati a un pubblico interessato all'epistemologia giudiziaria[9] Sempre in questo settore ha pubblicato un libro centrato sul problema della logica dell'abduzione[10], un capitolo del quale è dedicato all'analisi di un caso giudiziario controverso, il disastro di Ustica. Sul tema di Ustica ha poi pubblicato un volume che contiene una discussione metodologica delle indagini ancora aperte sul caso[11], in merito alle quali cura attualmente un blog.
Note
^Introduzione alla logica modale, Il Saggiatore, Milano,1973
