ULTIMATE TRUTHVIS-À-VISSTABLE TRUTH

DOI10.1017/S1755020308080118zbMath1204.03016MaRDI QIDQ3580664

No author found.

Publication date: 13 August 2010

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

semantic paradoxes; comprehension axiom; subsystem of second-order arithmetic; determinately true operator; Field's revenge-immune solution model; Herzberger's revision sequence; stably true sentences; ultimately true sentences

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03C62: Models of arithmetic and set theory

03F35: Second- and higher-order arithmetic and fragments

Related Items

Guest editors' introduction, A disquotational theory of truth as strong as \(Z_2^-\), Periodicity and reflexivity in revision sequences, Paradoxes of logical equivalence and identity, Non-classical metatheory for non-classical logics, Adding a conditional to Kripke's theory of truth, Conditionals in theories of truth, Rethinking revision, Discrete Transfinite Computation, FIELD’S SAVING TRUTH FROM PARADOX: SOME THINGS IT DOESN’T DO, TRUTH, LOGICAL VALIDITY AND DETERMINATENESS: A COMMENTARY ON FIELD’SSAVING TRUTH FROM PARADOX, Some Comments and Replies

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notes on naive semantics
• Elementary induction on abstract structures
• A revenge-immune solution to the semantic paradoxes
• The truth is never simple
• Infinite time Turing machines
• Outline of a Theory of Truth
• Eventually infinite time Turing machine degrees: infinite time decidable reals