THE POWER OF NAIVE TRUTH

DOI10.1017/S1755020320000167MaRDI QIDQ5065142zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

fixed pointKFLeon HorstenPKFpredicativityproof-theoretic strengthSaul Kripkeschematic theorySolomon FefermantruthVolker Halbach

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Many-valued logic (03B50)

Recommendations

• Non-deterministic conditionals and transparent truth
• Conservatively extending classical logic with transparent truth
• A proof-theoretic account of classical principles of truth
• Restriction by noncontraction
• Paths to triviality

Cites work

• A fixed point theorem for the weak Kleene valuation scheme
• Axiomatic theories of truth
• Axiomatizing Kripke's theory of truth
• AXIOMS FOR DETERMINATENESS AND TRUTH
• Friedman and the axiomatization of Kripke's theory of truth
• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• scientific article; zbMATH DE number 2150329 (Why is no real title available?)
• scientific article; zbMATH DE number 6307931 (Why is no real title available?)
• Indicative conditionals, restricted quantification, and naive truth
• Iterated reflection over full disquotational truth
• On the costs of nonclassical logic
• Outline of a Theory of Truth
• Provably true sentences across axiomatizations of Kripke's theory of truth
• Reflecting on incompleteness
• Saving truth from paradox
• The Calculus of Partial Predicates and Its Extension to Set Theory I
• The simple consistency of a set theory based on the logic CSQ
• Truth in a logic of formal inconsistency: how classical can it get?

Cited in

(9)

• scientific article; zbMATH DE number 1841820 (Why is no real title available?)
• The prescient power of indifference
• Systems for non-reflexive consequence
• Bicontextualism
• Well-behaved truth
• In defence of PKF
• Is the HYPE about strength warranted?
• On classical determinate truth
• Meta-classical non-classical logics

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)