ULTIMATE TRUTHVIS-À-VISSTABLE TRUTH

DOI10.1017/S1755020308080118zbMath1204.03016OpenAlexW2154274947MaRDI QIDQ3580664

No author found.

Publication date: 13 August 2010

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

Full work available at URL: https://doi.org/10.1017/s1755020308080118

zbMATH Keywords

semantic paradoxescomprehension axiomsubsystem of second-order arithmeticdeterminately true operatorField's revenge-immune solution modelHerzberger's revision sequencestably true sentencesultimately true sentences

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35)

Related Items

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, Periodicity and reflexivity in revision sequences, Paradoxes of logical equivalence and identity, A disquotational theory of truth as strong as \(Z_2^-\), Some Comments and Replies, Guest editors' introduction, INEFFABILITY AND REVENGE, SOME OBSERVATIONS ON TRUTH HIERARCHIES: A CORRECTION, 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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item