Axiomatizing Kripke's theory of truth

DOI10.2178/jsl/1146620166zbMath1101.03005OpenAlexW2029977552MaRDI QIDQ5480633

Leon Horsten, Volker Halbach

Publication date: 3 August 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1146620166

zbMATH Keywords

liar paradoxpartial logicaxiomatic theory of truthreflective closure

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (41)

, , AND REINHARDT’S PROGRAM ⋮ One hundred years of semantic paradox ⋮ Relative Truth Definability of Axiomatic Truth Theories ⋮ Book review: Leon Horsten, The Tarskian turn. Deflationism and axiomatic truth. ⋮ THE POWER OF NAIVE TRUTH ⋮ Truth, partial logic and infinitary proof systems ⋮ Adding a conditional to Kripke's theory of truth ⋮ A proof-theoretic account of classical principles of truth ⋮ The paradox of the knower revisited ⋮ NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE ⋮ Systems for non-reflexive consequence ⋮ Revision without revision sequences: circular definitions ⋮ One step is enough ⋮ Metainferential reasoning on strong Kleene models ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Truth meets vagueness. Unifying the semantic and the soritical paradoxes ⋮ Bicontextualism ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ Provably true sentences across axiomatizations of Kripke's theory of truth ⋮ Norms of truth and logical revision ⋮ A note on contraction-free logic for validity ⋮ A robust non-transitive logic ⋮ MODELS OF POSITIVE TRUTH ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ REVISION REVISITED ⋮ McGee on Horwich ⋮ On the costs of nonclassical logic ⋮ Revision without revision sequences: self-referential truth ⋮ AXIOMS FOR DETERMINATENESS AND TRUTH ⋮ Feferman and the Truth ⋮ TRUTH, LOGICAL VALIDITY AND DETERMINATENESS: A COMMENTARY ON FIELD’SSAVING TRUTH FROM PARADOX ⋮ Cut elimination for systems of transparent truth with restricted initial sequents ⋮ Games for Truth ⋮ Reference and truth ⋮ Non-reflexivity and revenge ⋮ Formal notes on the substitutional analysis of logical consequence ⋮ Truth and the philosophy of mathematics ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH ⋮ AXIOMATIZING SEMANTIC THEORIES OF TRUTH?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some remarks on extending and interpreting theories with a partial predicate for truth
• An axiomatic approach to self-referential truth
• The disjunction and existence properties for axiomatic systems of truth
• Truth and reduction
• A system of complete and consistent truth
• The strong completeness of a system based on Kleene's strong three-valued logic
• Logical frameworks for truth and abstraction. An axiomatic study
• Notes on Formal Theories of Truth
• The Notion of Logical Consequence in the Logic of Inexact Predicates
• The Strong Completeness of a System for Kleene's Three‐Valued Logic
• Outline of a Theory of Truth
• The Calculus of Partial Predicates and Its Extension to Set Theory I
• Systems of predicative analysis
• On n-quantifier induction

This page was built for publication: Axiomatizing Kripke's theory of truth