Axioms for grounded truth

DOI10.1017/S1755020313000282MaRDI QIDQ2940867zbMATH OpenFDO

Authors Thomas Schindler

Publication date 21 January 2015

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

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

zbMATH Keywords

grounded truth

Mathematics Subject Classification ID

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

Recommendations

• Axiomatizing Kripke's theory of truth
• Provably true sentences across axiomatizations of Kripke's theory of truth
• Friedman and the axiomatization of Kripke's theory of truth
• Editorial introduction
• Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth

Cites work

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

Cited in

(26)

• An axiomatic approach to self-referential truth
• A simple axiomatizable theory of truth
• Unified grounding
• Provably true sentences across axiomatizations of Kripke's theory of truth
• Axiomatic theories of partial ground. I: The base theory
• Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth
• Notes on Leitgeb's Ruitenburg
• On cut-elimination arguments for axiomatic theories of truth
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• A note on typed truth and consistency assertions
• Relative Truth Definability of Axiomatic Truth Theories
• Friedman and the axiomatization of Kripke's theory of truth
• AXIOMS FOR DETERMINATENESS AND TRUTH
• Notes on Formal Theories of Truth
• A graph-theoretic analysis of the semantic paradoxes
• Truths, inductive definitions, and Kripke-Platek systems over set theory
• A disquotational theory of truth as strong as \(Z_2^-\)
• scientific article; zbMATH DE number 6307931 (Why is no real title available?)
• Feferman and the Truth
• Axiomatizing Kripke's theory of truth
• What mathematical theories of truth should be (and can be)
• Weak and strong theories of truth
• AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
• CLASSICAL DETERMINATE TRUTH I
• Some notes on truths and comprehension
• Reference and truth

This page was built for publication: Axioms for grounded truth

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2940867)