Weak and strong theories of truth
Studia Logica 68 (1):89-101 (2001)
Abstract
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.Reprint years
2004
DOI
10.1023/a:1011902222652
My notes
Similar books and articles
Weak and global supervenience are strong.Mark Moyer - 2008 - Philosophical Studies 138 (1):125 - 150.
About the proof-theoretic ordinals of weak fixed point theories.Gerhard Jäger & Barbara Primo - 1992 - Journal of Symbolic Logic 57 (3):1108-1119.
Various Concepts of “Supervenience” and Their Relations：A Comment on Kim’s Theory of Supervenience.Xiaoping Chen - 2011 - Frontiers of Philosophy in China 6 (2):316-333.
Analytics
Added to PP
2009-01-28
Downloads
67 (#180,460)
6 months
1 (#447,993)
2009-01-28
Downloads
67 (#180,460)
6 months
1 (#447,993)
Historical graph of downloads
Citations of this work
Theories of Truth without Standard Models and Yablo’s Sequences.Eduardo Alejandro Barrio - 2010 - Studia Logica 96 (3):375-391.
An ordinal analysis for theories of self-referential truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.
Omega-inconsistency without cuts and nonstandard models.Andreas Fjellstad - 2016 - Australasian Journal of Logic 13 (5).
Truth without standard models: some conceptual problems reloaded.Eduardo Barrio & Bruno Da Ré - 2018 - Journal of Applied Non-Classical Logics 28 (1):122-139.
References found in this work
An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.
How truthlike can a predicate be? A negative result.Vann McGee - 1985 - Journal of Philosophical Logic 14 (4):399 - 410.
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.
A theory of formal truth arithmetically equivalent to ID.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244 - 259.
