|Paradoxes: are contradictions within formally correct statements or sets of statements that lead to an existence assumption, which initially seemed plausible, to be withdrawn. Paradoxes are not errors, but challenges that may lead to a re-formulation of the prerequisites and assumptions, or to a change in the language, the subject domain, and the logical system. See also Russellian paradox, contradictions, range, consistency.|
Books on Amazon
|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