Studia Logica

, Volume 68, Issue 1, pp 89–101

Weak and Strong Theories of Truth

  • Michael Sheard

DOI: 10.1023/A:1011902222652

Cite this article as:
Sheard, M. Studia Logica (2001) 68: 89. doi:10.1023/A:1011902222652


A subtheory of the theory of self-referential truth known as FS is shown to be weak as a theory of truth but equivalent to full FS in its proof-theoretic strength.

truth FS 

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Michael Sheard
    • 1
  1. 1.Department of MathematicsSt. Lawrence UniversityCanton

Personalised recommendations