REVISION REVISITED

Abstract This article explores ways in which the Revision Theory of Truth can be expressed in the object language. In particular, we investigate the extent to which semantic deficiency, stable truth, and nearly stable truth can be so expressed, and we study different axiomatic systems for the Revision Theory of Truth.

[1]  Michael Sheard.  Truth, Provability, and Naive Criteria , 2003 .

[2]  J. Beall.  Revenge of the liar : new essays on the paradox , 2007 .

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

[4]  Henryk Kotlarski,et al.  On the incompleteness theorems , 1994, Journal of Symbolic Logic.

[5]  Leon Horsten,et al.  The deflationist's axioms for truth , 2005 .

[6]  John P. Burgess,et al.  The truth is never simple , 1986, Journal of Symbolic Logic.

[7]  Raymond Turner,et al.  Logics of Truth , 1990, Notre Dame J. Formal Log..

[8]  Hartry Field,et al.  A Revenge-Immune Solution to the Semantic Paradoxes , 2003, J. Philos. Log..

[9]  Philip D. Welch,et al.  On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set , 2001, Bull. Symb. Log..

[10]  Leon Horsten,et al.  The Tarskian Turn , 2011 .

[11]  Ulf R. Schmerl.  A Fine Structure Generated by Reflection Formulas over Primitive Recursive Arithmetic , 1979 .

[12]  Philip D. Welch.  Truth, Logical Validity and Determinateness: a Commentary on field's Saving Truth from Paradox , 2011, Rev. Symb. Log..

[13]  Hartry Field.  Saving Truth From Paradox , 2008 .

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

[15]  Robert L. Martin.  Recent essays on truth and the liar paradox , 1984 .

[16]  Philip D. Welch,et al.  ULTIMATE TRUTH VIS-À-VIS STABLE TRUTH , 2008, The Review of Symbolic Logic.

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

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

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

[20]  Philip D. Welch,et al.  SOME OBSERVATIONS ON TRUTH HIERARCHIES , 2014, The Review of Symbolic Logic.

[21]  Peter Aczel etc.  HANDBOOK OF MATHEMATICAL LOGIC , 1999 .

[22]  N. Belnap,et al.  The Revision Theory of Truth , 1993 .

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

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

[25]  Sheard Michael,et al.  Axiomatic Theories of Truth , 2012 .