Weak and strong theories of truth

DOI10.1023/A:1011902222652zbMath0987.03052OpenAlexW1531193504MaRDI QIDQ5951913

Michael Sheard

Publication date: 8 January 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1011902222652

zbMATH Keywords

Peano arithmeticproof-theoretic strengthaxiomatic theories of truthGödel numberingself-referential truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items (6)

MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD ⋮ A proof-theoretic account of classical principles of truth ⋮ Theories of truth without standard models and Yablo's sequences ⋮ Truth without standard models: some conceptual problems reloaded ⋮ An ordinal analysis for theories of self-referential truth ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08

This page was built for publication: Weak and strong theories of truth