An axiomatic approach to self-referential truth

DOI10.1016/0168-0072(87)90073-XzbMath0634.03058OpenAlexW2058556119MaRDI QIDQ1096626

Harvey M. Friedman, Michael Sheard

Publication date: 1987

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(87)90073-x

zbMATH Keywords

liar paradoxtruth predicatePeano ArithmeticBar Induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30) Relative consistency and interpretations (03F25)

Related Items

One hundred years of semantic paradox ⋮ Relative Truth Definability of Axiomatic Truth Theories ⋮ THE COPERNICAN MULTIVERSE OF SETS ⋮ STRONG HOMOMORPHISMS, CATEGORY THEORY, AND SEMANTIC PARADOX ⋮ Supervaluation-style truth without supervaluations ⋮ CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION ⋮ Autonomous progression and transfinite iteration of self-applicable truth ⋮ A system of complete and consistent truth ⋮ On cut-elimination arguments for axiomatic theories of truth ⋮ A feasible theory of truth over combinatory algebra ⋮ Truth, reflection and hierarchies ⋮ The Friedman-Sheard programme in intuitionistic logic ⋮ Higher-order logic and disquotational truth ⋮ CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS ⋮ A theory of formal truth arithmetically equivalent to ID₁ ⋮ The disjunction and existence properties for axiomatic systems of truth ⋮ MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD ⋮ Conditionals in theories of truth ⋮ A proof-theoretic account of classical principles of truth ⋮ The paradox of the knower revisited ⋮ The two halves of disjunctive correctness ⋮ TRUTH AND FEASIBLE REDUCIBILITY ⋮ Herzberger's limit rule with labelled sequent calculus ⋮ Disquotational truth and analyticity ⋮ CLASSICAL DETERMINATE TRUTH I ⋮ Conceptual engineering for truth: aletheic properties and new aletheic concepts ⋮ A logic of abstraction related to finite constructive number classes ⋮ Paradoxes of logical equivalence and identity ⋮ Truth without standard models: some conceptual problems reloaded ⋮ Classes and truths in set theory ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ Montague's paradox, informal provability, and explicit modal logic ⋮ REVISION REVISITED ⋮ About Truth and Types ⋮ \(\mathrm{IKT}^\omega\) and Łukasiewicz-models ⋮ Deflationary truth and the ontology of expressions ⋮ NOTES ONω-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES ⋮ No future ⋮ A note on the theory of positive induction, \({{\text{ID}}^*_1}\) ⋮ An ordinal analysis for theories of self-referential truth ⋮ Truth as translation. Part B ⋮ The knower paradox in the light of provability interpretations of modal logic ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ Feferman and the Truth ⋮ Possible-worlds semantics for modal notions conceived as predicates ⋮ A note on the unprovability of consistency in formal theories of truth ⋮ Axiomatizing Kripke's theory of truth ⋮ Reference and truth ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism ⋮ Saving the truth schema from paradox ⋮ EQUIVALENCES FOR TRUTH PREDICATES

Cites Work

• Unnamed Item
• Unnamed Item
• Truth and paradox
• Outline of a Theory of Truth
• The Logic of Provability
• A survey of proof theory