THE POWER OF NAIVE TRUTH
DOI10.1017/S1755020320000167OpenAlexW3038168570MaRDI QIDQ5065142FDOQ5065142
Authors: Hartry Field
Publication date: 18 March 2022
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020320000167
fixed pointtruthpredicativityproof-theoretic strengthSaul KripkeKFLeon HorstenPKFschematic theorySolomon FefermanVolker Halbach
Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- Saving truth from paradox
- Outline of a Theory of Truth
- Title not available (Why is that?)
- AXIOMS FOR DETERMINATENESS AND TRUTH
- Reflecting on incompleteness
- Axiomatizing Kripke's theory of truth
- The simple consistency of a set theory based on the logic CSQ
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Calculus of Partial Predicates and Its Extension to Set Theory I
- A fixed point theorem for the weak Kleene valuation scheme
- Indicative conditionals, restricted quantification, and naive truth
- On the costs of nonclassical logic
- Iterated reflection over full disquotational truth
- Provably true sentences across axiomatizations of Kripke's theory of truth
- Title not available (Why is that?)
- Title not available (Why is that?)
- Truth in a Logic of Formal Inconsistency: How classical can it get?
Cited In (4)
This page was built for publication: THE POWER OF NAIVE TRUTH
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5065142)