Feferman and the Truth

DOI10.1007/978-3-319-63334-3_11MaRDI QIDQ5214789zbMATH OpenOpenAlexFDO

Authors Andrea Cantini, Kentaro Fujimoto, Volker Halbach

Publication date 5 February 2020

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-63334-3_11

zbMATH Keywords

axiomatic theories of truthdeterminate truthKripke-Feferman theoryramified truthreflective closure

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Relative consistency and interpretations (03F25) Second- and higher-order arithmetic and fragments (03F35) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• Truth and the Liar
• The truth and nothing but the truth
• Nothing but the truth
• Truth-bearers and the liar -- a reply to Alan Weir
• The opacity of truth
• The Truel
• Truth and disquotation
• scientific article; zbMATH DE number 1471255
• Truth and ignorance

Cites work

• A theory of formal truth arithmetically equivalent to ID₁
• An axiomatic approach to self-referential truth
• Autonomous progression and transfinite iteration of self-applicable truth
• Axiomatic theories of truth
• Axiomatizing Kripke's theory of truth
• AXIOMS FOR DETERMINATENESS AND TRUTH
• Axioms for grounded truth
• Classes and truths in set theory
• Finite Axiomatizability using additional predicates
• Four valued semantics and the Liar
• Friedman and the axiomatization of Kripke's theory of truth
• How not to state T-sentences
• scientific article; zbMATH DE number 5510998 (Why is no real title available?)
• scientific article; zbMATH DE number 3825796 (Why is no real title available?)
• scientific article; zbMATH DE number 3896843 (Why is no real title available?)
• scientific article; zbMATH DE number 3722625 (Why is no real title available?)
• scientific article; zbMATH DE number 50690 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• scientific article; zbMATH DE number 6307931 (Why is no real title available?)
• scientific article; zbMATH DE number 3225350 (Why is no real title available?)
• Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978.
• Logical frameworks for truth and abstraction. An axiomatic study
• Notes on Formal Theories of Truth
• Notes on naive semantics
• On reflection principles
• Outline of a Theory of Truth
• Proofs and computations
• Reflecting on incompleteness
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Relative Truth Definability of Axiomatic Truth Theories
• Revision revisited
• Saving truth from paradox
• Some remarks on extending and interpreting theories with a partial predicate for truth
• Subsystems of second order arithmetic
• Systems of Logic Based on Ordinals^†
• Systems of predicative analysis
• Systems of predicative analysis, II: Representations of ordinals
• The proof-theoretic analysis of transfinitely iterated fixed point theories
• The unfolding of non-finitist arithmetic
• Toward useful type-free theories. I
• Transfinite recursive progressions of axiomatic theories
• Truth and paradox
• Unfolding finitist arithmetic
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited in

(5)

• Feferman on foundations. Logic, mathematics, philosophy
• Reflecting and unfolding
• Hypatia's silence: truth, justification, and entitlement
• Predicativity and Feferman
• Formal notes on the substitutional analysis of logical consequence

This page was built for publication: Feferman and the Truth

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5214789)