Central and East European
Society for Phenomenology

Repository | Book | Chapter

184219

Typed and untyped disquotational truth

Cezary Cieśliński

pp. 307-320

Abstract

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.

Publication details

Published in:

Achourioti Theodora, Galinon Henri, Martínez Fernández José, Fujimoto Kentaro (2015) Unifying the philosophy of truth. Dordrecht, Springer.

Pages: 307-320

DOI: 10.1007/978-94-017-9673-6_15

Full citation:

Cieśliński Cezary (2015) „Typed and untyped disquotational truth“, In: T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the philosophy of truth, Dordrecht, Springer, 307–320.