Relative truth definability of axiomatic truth theories

The present paper suggests relative truth definability as a tool for comparing conceptual aspects of axiomatic theories of truth and gives an overview of recent developments of axiomatic theories of truth in the light of it. We also show several new proof-theoretic results via relative truth definability including a complete answer to the conjecture raised by Feferman in [13]. ?

[1]  Vann McGee.  Maximal consistent sets of instances of Tarski's schema (T) , 1992, J. Philos. Log..

[2]  Solomon Feferman,et al.  Hilbert's program relativized; Proof-theoretical and foundational reductions , 1988, Journal of Symbolic Logic.

[3]  Harvey M. Friedman,et al.  An axiomatic approach to self-referential truth , 1987, Ann. Pure Appl. Log..

[4]  Stephen G. Simpson,et al.  Subsystems of second order arithmetic , 1999, Perspectives in mathematical logic.

[5]  Michael Sheard.  A Guide to Truth Predicates in the Modern Era , 1994, J. Symb. Log..

[6]  Saul A. Kripke,et al.  Outline of a Theory of Truth , 1975 .

[7]  D. Davidson,et al.  The Folly of Trying to Define Truth , 1996, The Nature of Truth.

[8]  Volker Halbach.  A System of Complete and Consistent Truth , 1994, Notre Dame J. Formal Log..

[9]  Solomon Feferman,et al.  AXIOMS FOR DETERMINATENESS AND TRUTH , 2008, The Review of Symbolic Logic.

[10]  W. Pohlers.  Proof Theory: The First Step into Impredicativity , 2008 .

[11]  Andrea Cantini,et al.  Notes on Formal Theories of Truth , 1989, Math. Log. Q..

[12]  Vann McGee.  How truthlike can a predicate be? A negative result , 1985, J. Philos. Log..

[13]  A. H. Lachlan.  Full Satisfaction Classes and Recursive Saturation , 1981, Canadian Mathematical Bulletin.

[14]  John K. Truss,et al.  The Realm of Orinal Analysis , 1999 .

[15]  C. I. Lewis,et al.  The Semantic Conception of Truth and the Foundations of Semantics , 1944 .

[16]  Michael Rathjen,et al.  The role of parameters in bar rule and bar induction , 1991, Journal of Symbolic Logic.

[17]  Solomon Feferman,et al.  Systems of predicative analysis, II: Representations of ordinals , 1968, Journal of Symbolic Logic.

[18]  Solomon Feferman,et al.  Reflecting on incompleteness , 1991, Journal of Symbolic Logic.

[19]  Petr Hájek,et al.  Metamathematics of First-Order Arithmetic , 1993, Perspectives in mathematical logic.

[20]  Volker Halbach.  Truth and Reduction , 2000 .

[21]  Solomon Feferman,et al.  Does Reductive Proof Theory Have A Viable Rationale? , 2000 .

[22]  Leon Horsten,et al.  Axiomatizing Kripke's theory of truth , 2006, Journal of Symbolic Logic.

[23]  Solomon Feferman,et al.  Iterated Inductive Fixed-Point Theories: Application to Hancock's Conjecture , 1982 .

[24]  J Ketland,et al.  Deflationism and Tarski's paradise , 1999 .

[25]  Volker Halbach,et al.  REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH , 2009, The Review of Symbolic Logic.

[26]  Karl-Georg Niebergall,et al.  On The Logic Of Reducibility: Axioms And Examples , 2000 .

[27]  Cezary Cieslinski.  DEFLATIONISM, CONSERVATIVENESS AND MAXIMALITY , 2007, J. Philos. Log..

[28]  H. Kotlarski,et al.  Construction of Satisfaction Classes for Nonstandard Models , 1981, Canadian Mathematical Bulletin.

[29]  Solomon Feferman,et al.  Systems of predicative analysis , 1964, Journal of Symbolic Logic.

[30]  Volker Halbach,et al.  Conservative Theories of Classical Truth , 1999, Stud Logica.

[31]  Andrea Cantini.  A Theory of Formal Truth Arithmetically Equivalent to ID1 , 1990, J. Symb. Log..

[32]  Lev D. Beklemishev,et al.  Proof-theoretic analysis by iterated reflection , 2003, Arch. Math. Log..