I have completed a Masters Degree at the Catholic University of Milan (2009) and a D.Phil at Somerville College, University of Oxford (2010-2013). I have also worked as a Post-Doctoral Researcher at the Faculty of Philosophy, University of Oxford supported by the AHRC Project "Inexpressibility and Reflection in the Formal Sciences" (2014) and by the Analysis Trust (2014/15).
My research interests are in logic and philosophical logic (formal theories of truth, predicate approaches to modality, formal theories of syntax and propositions, general theory of reductions), philosophy of mathematics (commitment of mathematical theories, mathematical explanation), metaphysics and philosophy of language (formal approaches to de re modality, truth-theoretic deflationism).
- (2016) More on Systems of Truth and Predicative Comprehension. Forthcoming in Boccuni F. and Sereni A. (Eds), Philosophy of Mathematics: Objectivity, Cognition and Proof. Boston Studies in the History and Philosophy of Science, Springer.
- (2015) Deflationary Truth and the Ontology of Expressions. Synthese. December 2015, Volume 192, Issue 12, pp 4031-4055. (DOI)
- (2015) A Note on Typed Truth and Consistency Assertions. The Journal of Philosophical Logic, (DOI)
- (2013) Axiomatic Truth, Syntax and Metatheoretic Reasoning (with G. E. Leigh). The Review of Symbolic Logic 6(4), pp. 613-636. Preprint. DOI.