|"Everything he said is true": logical problem of self-reference within a domain. See also completeness, truth, paradoxes.|
Books on Amazon
|Horwich I 71
Particularisation/Ramsey: instead of "what he said is true": e.g. "The things that are considered as standing in a certain relation, actually stand in this relation" - ((s) This is still general.) - N.B.: then the "true" disappears - ((s)> Quine: truth serves the generalization) - Problem/Ramsey: that does not work in everyday language. - Solution/Ramsey: we need a Pro-sentence ((s) at the point at which otherwise a pronoun stands) - Pro-Sentence/everyday language: "Yes", "No".
F. P. Ramsey
The Foundations of Mathematics and Other Logical Essays 2013
P. Horwich (Ed.)
Theories of Truth Aldershot 1994