AXIOMS FOR GROUNDED TRUTH

DOI10.1017/S1755020313000282zbMath1329.03024MaRDI QIDQ2940867

Thomas Schindler

Publication date: 21 January 2015

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

zbMATH Keywords

grounded truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Related Items

HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ CLASSICAL DETERMINATE TRUTH I ⋮ A disquotational theory of truth as strong as \(Z_2^-\) ⋮ A GRAPH-THEORETIC ANALYSIS OF THE SEMANTIC PARADOXES ⋮ Notes on Leitgeb's Ruitenburg ⋮ Some notes on truths and comprehension ⋮ Feferman and the Truth ⋮ Reference and truth

Cites Work

• Unnamed Item
• Unnamed Item
• What truth depends on
• Grounding, dependence, and paradox
• Truth and reduction
• Relative Truth Definability of Axiomatic Truth Theories
• A theory of formal truth arithmetically equivalent to ID₁
• Reflecting on incompleteness
• Outline of a Theory of Truth

This page was built for publication: AXIOMS FOR GROUNDED TRUTH