An axiomatic approach to self-referential truth
From MaRDI portal
Publication:1096626
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
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 ID1, 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
