NOTES ONω-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES

DOI10.1017/S1755020313000269zbMath1331.03039OpenAlexW1978574403MaRDI QIDQ5414139

Lavinia Picollo, Eduardo Alejandro Barrio

Publication date: 2 May 2014

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

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

zbMATH Keywords

second-order arithmetictheories of truthomega-consistency

Mathematics Subject Classification ID

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

Related Items (5)

CLASSICAL DETERMINATE TRUTH I ⋮ A Yabloesque paradox in epistemic game theory ⋮ Truth without standard models: some conceptual problems reloaded ⋮ Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic ⋮ Sorites, Curry and Suitable Models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theories of truth without standard models and Yablo's sequences
• Notes on naive semantics
• How truthlike can a predicate be? A negative result
• An axiomatic approach to self-referential truth
• Alternative revision theories of truth
• Truth and paradox
• A system of complete and consistent truth

This page was built for publication: NOTES ONω-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES