Some remarks on extending and interpreting theories with a partial predicate for truth

DOI10.1007/BF00305492zbMath0629.03002OpenAlexW2057420885MaRDI QIDQ1093626

William N. Reinhardt

Publication date: 1986

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

Full work available at URL: https://doi.org/10.1007/bf00305492

zbMATH Keywords

liar paradoxtruthsemantic paradoxessemantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items

, , AND REINHARDT’S PROGRAM ⋮ Truth and the Liar ⋮ Truth, reflection and hierarchies ⋮ Levels of truth ⋮ Truth, partial logic and infinitary proof systems ⋮ A theory of formal truth arithmetically equivalent to ID₁ ⋮ MODALITY AND AXIOMATIC THEORIES OF TRUTH II: KRIPKE-FEFERMAN ⋮ Bicontextualism ⋮ Disquotational truth and analyticity ⋮ CLASSICAL DETERMINATE TRUTH I ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Truth and meaning ⋮ 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 ⋮ Minimalism and the generalisation problem: on Horwich's second solution ⋮ Deflationary truth and the ontology of expressions ⋮ On the costs of nonclassical logic ⋮ On meaningfulness and truth ⋮ AXIOMS FOR DETERMINATENESS AND TRUTH ⋮ A Kripkean approach to unknowability and truth ⋮ Feferman and the Truth ⋮ Axiomatizing Kripke's theory of truth ⋮ REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH ⋮ Property theory: The type-free approach \(v\). The Church approach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notes on naive semantics
• Necessity predicates and operators
• Truth and paradox
• Proper classes
• Toward useful type-free theories. I
• Outline of a Theory of Truth
• An extension of basic logic