ISFIProfessore Associato di Logica e Filosofia della Scienza (M/FIL-02) presso la Facoltà di Economia dell’Università Cattolica di Milano.
Mi occupo, in generale, dei rapporti tra sapere formale e tematiche filosofiche classiche, specialmente ontologiche ed epistemologiche. In particolare, mi sono interessato della rilevanza ontologica dei sistemi di logica di ordine superiore, della caratterizzazione del dominio dei numeri naturali, della formalizzazione del nesso di conseguenza logica e della trattazione formale del predicato di verità.
Attualmente i miei percorsi di ricerca riguardano: sistemi di logica pragmatica e degli atti illocutori; caratterizzazione del nesso di grounding concettuale e principi di astrazione; modelli di logica temporale per la discussione della compatibilità tra onniscienza e libertà.