|"Everything he said is true": logical problem of self-reference within a domain. See also completeness, truth, paradoxes.|
Books on Amazon
|Horwich I 336
Everything he said is true/Prosentential theory/CGB/Camp/Grover/Belnap: everything John says is true - for each proposition, when John says that it is true, then it is true - that can not be understood as - when John said that Snow is white, is true, then it is true that snow is white.
Because there is "it" from (4) understood as the anaphora (pronoun)
(4) For every proposition, if John said that it is true, it is true
rather the instances phrases like e.g. If John said that snow is white, then it is true that snow is white - here is "it is true" taken as the anaphora (and that is a pro sentence).
|Grover, D. L.
Gro I D. Grover A Prosentential Theory of Thruth Princeton New Jersey 1992
D.L.Grover, J.L.Kamp, N.D. Belnap
Philosophical Studies 27 (1) 73 – 125 (1975)
See external reference in the individual contributions.
P. Horwich (Ed.)
Theories of Truth Aldershot 1994