The existence of a close connection between results on axiomatic truth and the analysis of truth-theoretic deflationism is nowadays widely recognized. The first attempt to make such link precise can be traced back to the so-called conservativeness argument due to Leon Horsten, Stewart Shapiro and Jeffrey Ketland: by employing standard Gödelian phenomena, they concluded that deflationism is untenable as any adequate theory of truth leads to consequences that were not achievable by the base theory alone. In the paper I highlight, (...) as Shapiro and Ketland, the irreducible nature of truth axioms with respect to their base theories. But, I argue, this does not immediately delineate a notion of truth playing a substantial role in philosophical or scientific explanations. I first offer a refinement of Hartry Field’s reaction to the conservativeness argument by distinguishing between metatheoretic and object-theoretic consequences of the theory of truth and address some possible rejoinders. In the resulting picture, truth is an irreducible tool for metatheoretic ascent. How robust is this characterizaton? I test it by considering: a recent example, due to Leon Horsten, of the alleged explanatory role played by the truth predicate in the derivation of Fitch’s paradox; an essential weakening of theories of truth analyzed in the first part of the paper. (shrink)

The main aim of our paper was to present three formal tools for comparing various axiomatic theories of truth. In Section 2 we aimed at showing that there are indeed many different approaches to defining a set of axioms for the notion of truth. In Section 3 we introduced three different \measures of strength" of axiomatic theories of truth, i.e. three reflexive and transitive relations on the set of axiomatic theories of truth. We have explained the intuition behind each of (...) them. The three relations were called : Fujimoto definability, model-theoretical strength, proof-theoretical strength. Then in the last section we described how they order the truth theories introduced in Section 2. We observed that theories made equivalent by the coarser relation can be strictly ordered by the next one. (shrink)

This paper is a follow-up to [4], in which a mistake in [6] was corrected. We give a strenghtening of the main result on the semantical nonconservativity of the theory of PT−with internal induction for total formulae${$, denoted by PT−in [9]). We show that if to PT−the axiom of internal induction forallarithmetical formulae is added, then this theory is semantically stronger than${\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}\left$. In particular the latter is not relatively truth definable in the former. Last but not (...) least, we provide an axiomatic theory of truth which meets the requirements put forward by Fischer and Horsten in [9]. The truth theory we define is based on Weak Kleene Logic instead of the Strong one. (shrink)

We show that a typed compositional theory of positive truth with internal induction for total formulae (denoted by PT tot ) is not semantically conservative over Peano arithmetic. In addition, we observe that the class of models of PA expandable to models of PT tot contains every recursively saturated model of arithmetic. Our results point to a gap in the philosophical project of describing the use of the truth predicate in model-theoretic contexts.