|"Everything he said is true": logical problem of self-reference within a domain. See also completeness, truth, paradoxes.|
Books on Amazon
Everything he said/Strawson/Cohen: E.g. - what the policeman said is true - here "true" is not needed to make a statement - with that the paradoxes disappear - solution: mere presupposition that a statement was made - if we would make no statements with that, paradoxes would ever disappear - CohenVsStrawson: a judge could take this as evidence of the character of the policemen - but it is not.
Horwich I 216
Everything he said/Cohen: E.g. - for all p. if the police officer claims that p, then p - "here paradoxes may again arise" - analog to the truth paradox - paradox/logical form/Cohen: can occur when in (p):(x).f(p.x)>. ~ p. this expression can occur as a whole as the value of p.
Einzelding und logisches Subjekt Stuttgart 1972
Analyse und Metaphysik München 1994
Die Grenzen des Sinns Frankfurt 1981
P. Horwich (Ed.)
Theories of Truth Aldershot 1994