Skip to main content


  • P. D. WELCH (a1)

We show that the set of ultimately true sentences in Hartry Field's Revenge-immune solution model to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger's revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second-order number theory is needed to establish the semantic values of sentences in Field's relative consistency proof of his theory over the ground model of the standard natural numbers: -CA0 (second-order number theory with a -comprehension axiom scheme) is insufficient. We briefly consider his claim to have produced a ‘revenge-immune’ solution to the semantic paradoxes by introducing this conditional. We remark that the notion of a ‘determinately true’ operator can be introduced in other settings.

Corresponding author
Hide All
Barwise K. (1975). Admissible Sets and Structures, Perspectives in Mathematical Logic. Berlin: Springer Verlag.
Burgess J. (1986). The truth is never simple. Journal for Symbolic Logic, 51(3), 663681.
Devlin K. (1984). Constructibility, Perspectives in Mathematical Logic. Berlin, Heidelberg: Springer Verlag.
Field H. (2003). A revenge-immune solution to the semantic paradoxes. Journal of Philosophical Logic, 32(3), 139177.
Field H. (2008). Solving the Paradoxes, escaping revenge. In Beall J., editor, The Revenge of the Liar. Oxford: Oxford University Press, pp. 78144.
Gupta A., & Belnap N. (1993). The Revision Theory of Truth. Cambridge: MIT Press.
Hamkins J. D., & Lewis A. (2000). Infinite time Turing machines. Journal of Symbolic Logic, 65(2), 567604.
Herzberger H. (1982a). Naive semantics and the Liar paradox. Journal of Philosophy, 79, 479497.
Herzberger H. (1982b). Notes on naive semantics. Journal of Philosophical Logic, 11, 61102.
Kreutzer S. (2002). Partial fixed point logic on infinite structures. In Bradfield J., editor, Annual Conference of the European Association for Computer Science Logic (CSL), Vol. 2471, Lecture Notes in Computer Science. Berlin: Springer, pp. 337351.
Kripke S. (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690716.
Leitgeb H. (2006). On Field's ‘Solving the paradoxes, escaping revenge’. In Beall J., editor, The Revenge of the Liar. Oxford: Oxford University Press, pp. 159183.
McGee V. (1991). Truth, Vagueness, and Paradox: An Essay on the Logic of Truth. Indianapolis: Hackett.
Moschovakis Y. (1974). Elementary Induction on Abstract Structures, Vol. 77, Studies in Logic Series. Amsterdam, The Netherlands: North-Holland.
Rogers H. (1967). Recursive Function Theory, Higher Mathematics. New York: McGraw.
Simpson S. (1999). Subsystems of Second Order Arithmetic, Perspectives in Mathematical Logic. Berlin: Springer.
Welch P. D. (2000). Eventually infinite time Turing degrees: Infinite time decidable reals. Journal for Symbolic Logic, 65(3), 11931203.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *