Books on Amazon
|Paradoxes||Horwich I 114
Liar/Paradox/Tarski: arises when we assume that the language contains the names of the expressions, and semantic terms such as "true" - then the language is Def - "semantically closed". - I 115 Such languages can be eliminated even in the sciences, in which semantic terms are essential.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
P. Horwich (Ed.)
Theories of Truth Aldershot 1994