Typed and Untyped Disquotational Truth

Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 36)


We present an overview of typed and untyped disquotational truth theories with the emphasis on their (non)conservativity over the base theory of syntax. Two types of conservativity are discussed: syntactic and semantic. We observe in particular that TB—one of the most basic disquotational theories—is not semantically conservative over its base; we show also that an untyped disquotational theory PTB is a syntactically conservative extension of Peano Arithmetic.


Conservativeness Disquotation T-schema 



This work was supported by a grant number N N101 170438 by the Polish Ministry of Science and Education (MNiSW).


  1. Beall, Jc. (2009). Spandrels of truth. Oxford: Oxford University Press.CrossRefGoogle Scholar
  2. Cieśliński, C. (2007). Deflationism, conservativeness and maximality. Journal of Philosophical Logic, 36, 695–705.CrossRefGoogle Scholar
  3. Cieśliński, C. (2010). Truth, conservativeness, and provability. Mind, 119, 409–422.CrossRefGoogle Scholar
  4. Cieśliński, C. (2011). T-equivalences for positive sentences. The Review of Symbolic Logic, 4, 319–325.CrossRefGoogle Scholar
  5. Field, H. (1994). Deflationist views of meaning and content. Mind, 103, 249–284.CrossRefGoogle Scholar
  6. Halbach, V. (2001). How innocent is deflationism? Synthese, 126, 167–194.CrossRefGoogle Scholar
  7. Halbach, V. (2009). Reducing compositional to disquotational truth. The Review of Symbolic Logic, 2, 786–798.CrossRefGoogle Scholar
  8. Halbach, V. (2011). Axiomatic theories of truth. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
  9. 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 of studies in the general philosophy of science (Vol. 3, pp. 173–187). Tilburg: Tilburg University Press.Google Scholar
  10. Horwich, P. (1990). Truth. Oxford: Basil Blackwell.Google Scholar
  11. Kaye, R. (1991). Models of Peano arithmetic. Oxford: Clarendon.Google Scholar
  12. Ketland, J. (1999).Deflationism and tarski’s paradise. Mind, 108, 69–94.CrossRefGoogle Scholar
  13. Ketland, J. (2010). Truth, conservativeness, and provability: Reply to Cieslinski. Mind, 119, 423–436.CrossRefGoogle Scholar
  14. McGee, V. (1992). Maximal consistent sets of instances of Tarski’s schema (T). Journal of Philosophical Logic, 21, 235–241.CrossRefGoogle Scholar
  15. McGee, V. (2006). In praise of the free lunch: Why disquotationalists should embrace compositional semantics. In V. F. Hendricks, S. A. Pedersen, & T. Bollander (Eds.), Self reference (pp. 95–120) Stanford: CSLI.Google Scholar
  16. Shapiro, S. (1998). Proof and truth: Through thick and thin. Journal of Philosophy, 95, 493–521.CrossRefGoogle Scholar
  17. Tennant, N. (2010). Deflationism and the Gödel-Phenomena: Reply to Cieslinski. Mind, 119, 437–450.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2015

Authors and Affiliations

  1. 1.University of WarsawWarsawPoland

Personalised recommendations