Quote: prevent Liar's paradox by not using a semantically closed language with 'true' and "X is true iff p"; use metalanguage and object language

Quotation Skeleton

[A semantically closed language is one which includes] its expressions, also the names of these … language, [and the equivalences of the form (T) X is true if, and only if, p.] … [p. 53] [Because of the Liar's paradox] we decide not to use any … [p. 54] we have to use two different languages … field of semantics. … We shall refer to the first language as … the symbol 'p' in (T) [X is true if, and only if, p] stands for … [p. 55: For a satisfactory definition of truth, the metalanguage only needs to be essentially richer than the object language]   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: semantic truth; s iff p (34 items)
Topic: Liar's paradox and Russell's paradox (25 items)