| Convention T: is part of the theory of truth by A. Tarski, which contains the demand that in the so-called W-schema Tr(x) <> p with the example instance "snow is white" is true, if and only if snow is white, the right side of the equivalence, is so that p is a translation of the expression x on the left side into the meta-language of the theory, whereby the meta-language must be inter alia rich enough to contain the predicate "is true". From this follows a derivability of arbitrarily many other instances of the schema._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |
