Gupta_Truth

Gupta Truth 5.1 Introduction This section introduces the liar paradox and shows how it leads to seemingly absurd conclusions. These conclusions illustrate that the concept of truth may be problematic. A problem occurs when standard Tarski correspondence biconditionals (which are usually given as the paradigm scheme of what it means for something to be true) produce contradictions in cases of self-reference. Since self-reference occurs in languages with even the most basic expressive powers, the problem will extend to most languages. Meeting the challenge set by the liar paradox seems to require preserving the classical and intuitive logical inferences which the Tarski biconditionals warrant, while leaving the unproblematic applications of the “is true” predicate intact. Tarski developed a hierarchy of interpretations of the truth-predicate, each of which could not apply to applications of itself. Thus, to say of a sentence which contained the “is true” predicate for that level that it was true would require an extension of the language to a new level. This creates a meta-truth-predicate in the new level which applies to all the sentences which are true at lower levels. This solution was the standard answer to the problem for most of the twentieth century. Kripke and Woodruff showed that it was theories, sentences, true, extension, concept, language, fixed-point, revision, languages, truth-predicate, semantic, truth, set, ordering, new, natural, classical, cases, anti-extension, val, stages, stage, solution, since, sentence, self-reference, possible, paradox, least, idea, hypotheses, definitions, concepts, circular, assignments, way