On the status of reflection and conservativity in replacement theories of truth

DOI10.1215/00294527-2018-0004zbMath1406.03029OpenAlexW2811002465WikidataQ129649606 ScholiaQ129649606MaRDI QIDQ1782246

Jeffrey R. Schatz

Publication date: 19 September 2018

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1529978580

zbMATH Keywords

liar paradoxtruthphilosophical logicformal theories of truthreplacement principles

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of paradox
• Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
• Arithmetical Reflection and the Provability of Soundness
• Outline of a Theory of Truth