Skip to main content
    • Aa
    • Aa


  • 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
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

K Barwise . (1975). Admissible Sets and Structures, Perspectives in Mathematical Logic. Berlin: Springer Verlag.

J Burgess . (1986). The truth is never simple. Journal for Symbolic Logic, 51(3), 663681.

K Devlin . (1984). Constructibility, Perspectives in Mathematical Logic. Berlin, Heidelberg: Springer Verlag.

H Field . (2003). A revenge-immune solution to the semantic paradoxes. Journal of Philosophical Logic, 32(3), 139177.

J. D. Hamkins , & A Lewis . (2000). Infinite time Turing machines. Journal of Symbolic Logic, 65(2), 567604.

H Herzberger . (1982a). Naive semantics and the Liar paradox. Journal of Philosophy, 79, 479497.

H Herzberger . (1982b). Notes on naive semantics. Journal of Philosophical Logic, 11, 61102.

S Kripke . (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690716.

S Simpson . (1999). Subsystems of Second Order Arithmetic, Perspectives in Mathematical Logic. Berlin: Springer.

P. D Welch . (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? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 16 *
Loading metrics...

Abstract views

Total abstract views: 184 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 21st August 2017. This data will be updated every 24 hours.