Typed and Untyped Disquotational Truth
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.
KeywordsConservativeness Disquotation T-schema
This work was supported by a grant number N N101 170438 by the Polish Ministry of Science and Education (MNiSW).
- 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
- Horwich, P. (1990). Truth. Oxford: Basil Blackwell.Google Scholar
- Kaye, R. (1991). Models of Peano arithmetic. Oxford: Clarendon.Google Scholar
- 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