Author： Cieśliński Cezary
Publisher： Springer Publishing Company
ISSN： 0022-3611
Source： Journal of Philosophical Logic, Vol.39, Iss.3, 2010-06, pp. : 325-337
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
By a classical result of Kotlarski, Krajewski and Lachlan, pathological satisfaction classes can be constructed for countable, recursively saturated models of Peano arithmetic. In this paper we consider the question of whether the pathology can be eliminated; we ask in effect what generalities involving the notion of truth can be obtained in a deflationary truth theory (a theory of truth which is conservative over its base). It is shown that the answer depends on the notion of pathology we adopt. It turns out in particular that a certain natural closure condition imposed on a satisfaction class—namely, closure of truth under sentential proofs—generates a nonconservative extension of a syntactic base theory (Peano arithmetic).
Related content
Deflationary Truth and the Liar
By Simmons K.
Journal of Philosophical Logic, Vol. 28, Iss. 5, 1999-10 ,pp. :
Access to resources
Recommend
A Deflationary Metaphysics of Morality
Acta Analytica, Vol. 25, Iss. 3, 2010-09 ,pp. :
A Deflationary Theory Of Diachronic Identity
Australasian Journal of Philosophy, Vol. 90, Iss. 1, 2012-03 ,pp. :
Alethic vs Deflationary Functionalism
International Journal of Philosophical Studies, Vol. 20, Iss. 1, 2012-02 ,pp. :
By Beall JC
Australasian Journal of Philosophy, Vol. 79, Iss. 2, 2001-06 ,pp. :