CLASSICAL DETERMINATE TRUTH I
From MaRDI portal
Publication:6203556
DOI10.1017/jsl.2023.49OpenAlexW4383295028MaRDI QIDQ6203556
Volker Halbach, Kentaro Fujimoto
Publication date: 5 April 2024
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/jsl.2023.49
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reference and truth
- Formal notes on the substitutional analysis of logical consequence
- What truth depends on
- How truthlike can a predicate be? A negative result
- Some remarks on extending and interpreting theories with a partial predicate for truth
- An axiomatic approach to self-referential truth
- Maximal consistent sets of instances of Tarski's schema (T)
- Supervaluation-style truth without supervaluations
- A system of complete and consistent truth
- Deflationism beyond arithmetic
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
- AXIOMS FOR GROUNDED TRUTH
- Relative Truth Definability of Axiomatic Truth Theories
- A theory of formal truth arithmetically equivalent to ID1
- How not to state T-sentences
- AXIOMS FOR DETERMINATENESS AND TRUTH
- Hilbert's program relativized; Proof-theoretical and foundational reductions
- Notes on Formal Theories of Truth
- Full Satisfaction Classes and Recursive Saturation
- Reflecting on incompleteness
- Disquotational truth and analyticity
- Outline of a Theory of Truth
- REFERENCE IN ARITHMETIC
- Hypatia's silence
- NOTES ONω-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES
This page was built for publication: CLASSICAL DETERMINATE TRUTH I