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.
CITATION STYLE
Cieśliński, C. (2015). Typed and Untyped Disquotational Truth. In Logic, Epistemology, and the Unity of Science (Vol. 36, pp. 307–320). Springer Science and Business Media B.V. https://doi.org/10.1007/978-94-017-9673-6_15
Mendeley helps you to discover research relevant for your work.