A guide to truth predicates in the modern era

DOI10.2307/2275927zbMath0811.03001OpenAlexW2167240463MaRDI QIDQ4314690

Michael Sheard

Publication date: 1 May 1995

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

Full work available at URL: https://doi.org/10.2307/2275927

zbMATH Keywords

axiomatic approacheslanguages containing their own truth-predicatesmodel-theoretic approachespost-Tarskian accounts of truth

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03)

Related Items (11)

Relative Truth Definability of Axiomatic Truth Theories ⋮ Truth and the Liar ⋮ MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD ⋮ Revision without revision sequences: circular definitions ⋮ Periodicity and reflexivity in revision sequences ⋮ Conceptual engineering for truth: aletheic properties and new aletheic concepts ⋮ AXIOMS FOR DETERMINATENESS AND TRUTH ⋮ No future ⋮ An ordinal analysis for theories of self-referential truth ⋮ On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set ⋮ Tarski on ``essentially richer metalanguages

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intensional mathematics
• A theory of formal truth arithmetically equivalent to ID₁
• Addendum to “The truth is never simple”
• Outline of a Theory of Truth

This page was built for publication: A guide to truth predicates in the modern era