Philosophy Lexicon of Arguments

"Everything he said is true": logical problem of self-reference within a domain. See also completeness, truth, paradoxes.
Author Item Excerpt Meta data

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.
I 337
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.
Hor I
P. Horwich (Ed.)
Theories of Truth Aldershot 1994

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
Ed. Martin Schulz, access date 2017-05-23