Deflationary truth and the ontology of expressions
The existence of a close connection between results on axiomatic truth and the analysis of truth-theoretic deflationism is nowadays widely recognized. The first attempt to make such link precise can be traced back to the so-called conservativeness argument due to Leon Horsten, Stewart Shapiro and Jeffrey Ketland: by employing standard Gödelian phenomena, they concluded that deflationism is untenable as any adequate theory of truth leads to consequences that were not achievable by the base theory alone. In the paper I highlight, as Shapiro and Ketland, the irreducible nature of truth axioms with respect to their base theories. But, I argue, this does not immediately delineate a notion of truth playing a substantial role in philosophical or scientific explanations. I first offer a refinement of Hartry Field’s reaction to the conservativeness argument by distinguishing between metatheoretic and object-theoretic consequences of the theory of truth and address some possible rejoinders. In the resulting picture, truth is an irreducible tool for metatheoretic ascent. How robust is this characterizaton? I test it by considering: (i) a recent example, due to Leon Horsten, of the alleged explanatory role played by the truth predicate in the derivation of Fitch’s paradox; (ii) an essential weakening of theories of truth analyzed in the first part of the paper.
KeywordsTruth theoretic deflationism Axiomatic theories of truth Conservativeness argument Relative interpretability
This work was supported by the Art and Humanities Research Council UK AH/H039791/1 and by the Analysis Trust. I would like to thank Martin Fischer, Volker Halbach, Richard Heck, Leon Horsten, Jeffrey Ketland and two anonymous referees for their comments and suggestions.
- Enayat, A., & Visser, A. (2013). New constructions of satisfaction classes. Logic Preprints Series. Utrecht: University of Utrecht.Google Scholar
- Fischer, M., & Horsten, L. (2015). The expressive power of truth. The Review of Symbolic Logic. doi: 10.1017/S1755020314000392.
- Halbach, V., & Horsten, L. (2005). The deflationist’s axioms for truth. In J. C. Beall & B. Armour-Garb (Eds.), Deflationism and paradox (pp. 203–217). Oxford: Oxford University Press.Google Scholar
- Heck, R. (2004). Truth and disquotation. Synthese, 142, 317–352.Google Scholar
- Heck, R. (2015). Consistency and the theory of truth. The Review of Symbolic Logic. doi: 10.1017/S1755020314000549.
- Horsten, L. (1995). The semantical paradoxes, the neutrality of truth and the neutrality of the minimalist theory of truth. In P. Cortois (Ed.), The many problems of realism (Studies in the General Philosophy of Science: Vol. 3) (pp. 173–187). Tilburg: Tilburg University Press.Google Scholar
- Horsten, L. (2012). The Tarskian turn: Deflationism and axiomatic truth. Cambridge: MIT Press.Google Scholar
- Leigh, G., & Nicolai, C. (2013). Axiomatic truth, syntax and metatheoretic reasoning. The Review of Symbolic Logic, 4, 613–626.Google Scholar
- McGee, V. (2006). In praise of a free lunch: Why disquotationalists should embrace compositional semantics. In T. Bolander, et al. (Eds.), Self reference. Stanford: CSL Publications.Google Scholar
- Nicolai, C. (2014). Truth, deflationism and the ontology of expressions. An axiomatic study. DPhil Thesis, Oxford.Google Scholar
- Nicolai, C. (2015). A note on typed truth and consistency assertions. Journal of Philosophical Logic. doi: 10.1007/s10992-015-9366-6.
- Shapiro, S. (1998). Truth and proof: Through thick and thin. Journal of Philosophy, 95, 493–521.Google Scholar
- Shapiro, S. (2002). Deflation and conservation. In V. Halbach & L. Horsten (Eds.), Principles of Truth. Frankfurt: Dr. Hänsel-Hohenhausen.Google Scholar
- Tarski, A. (1956a). The concept of truth in formalized languages. In H. J. Woodger (Trans., Ed.), Logic, semantic, metamathematics: Papers of Alfred Tarski from 1922–1938 (pp. 152–278). Oxford: Clarendon Press.Google Scholar