Research

PUBLICATIONS AND PREPRINTS:


(2017) Iterated reflection over full disquotational truth
Submitted (PREPRINT). 

(2017) On implicit commitment for arithmetical theories and the semantic core (with Mario Piazza). 
Submitted. 

(2017) On expressive power over arithmetic
Forthcoming in M. Piazza and G. Pulcini (eds), Truth, Existence and Explanation -FilMat 2016 Studies in the Philosophy of Mathematics, Boston Studies in the Philosophy of Science, Springer. 

(2016) "Provably true sentences across axiomatizations of Kripke's theory of truth".
Studia Logica, online-first.

(2016) "Principles for object-linguistic consequence: from logical to irreflexive" (with Lorenzo Rossi).
Accepted for publication and forthcoming in the Journal of Philosophical Logic.

(2016) "On the Costs of Nonclassical Logic" (with Volker Halbach)
Journal of Philosophical Logic, online-first.

(2016) "Equivalences for Truth Predicates." 
In The Review of Symbolic Logic, online-first.

(2016) "Necessary Truths and Supervaluations."
Forthcoming in C. De Florio, A. Giordani (eds), From arithmetic to metaphysics. A path through philosophical logic. De Gruyter, Philosophical Analysis. 

(2016) "More on Systems of Truth and Predicative Comprehension." 
In Boccuni F. and Sereni A. (Eds),  Philosophy of Mathematics: Objectivity, Cognition and Proof. Boston Studies in the History and Philosophy of Science, Springer. Chapter 14  

(2015) "Deflationary Truth and the Ontology of Expressions."
Synthese 192(12): pp. 4031-4055

(2015) "A Note on Typed Truth and Consistency Assertions."
Journal of Philosophical Logic 45(1): pp. 89-119.

(2014)  "The Trace of the True: Deflationism, Syntax and Deductive Power."
(in Italian) Rivista di Filosofia Neoscolastica: 1(2014).
(ISSN: 18277926.  Link)

(2014) Truth, Deflationism and the Ontology of Expressions: An Axiomatic Study
DPhil Thesis. Oxford. 

(2013)  "Axiomatic Truth, Syntax and Metatheoretic Reasoning"  (with G. E. Leigh)
The Review of Symbolic Logic  6(4), pp. 613-636