Truth
In his 1975 article "Outline of a Theory of Truth", Kripke showed that a language can consistently contain its own truth predicate, which was deemed impossible by Alfred Tarski, a pioneer in the area of formal theories of truth. The approach involves letting truth be a partially defined property over the set of grammatically well-formed sentences in the language. Kripke showed how to do this recursively by starting from the set of expressions in a language which do not contain the truth predicate, and defining a truth predicate over just that segment: this action adds new sentences to the language, and truth is in turn defined for all of them. Unlike Tarski's approach, however, Kripke's lets "truth" be the union of all of these definition-stages; after a denumerable infinity of steps the language reaches a "fixed point" such that using Kripke's method to expand the truth-predicate does not change the language any further. Such a fixed point can then be taken as the basic form of a natural language containing its own truth predicate. But this predicate is undefined for any sentences that do not, so to speak, "bottom out" in simpler sentences not containing a truth predicate. That is, " 'Snow is white' is true" is well-defined, as is " ' "Snow is white" is true' is true," and so forth, but neither "This sentence is true" nor "This sentence is not true" receive truth-conditions; they are, in Kripke's terms, "ungrounded."
Read more about this topic: Saul Kripke
Famous quotes containing the word truth:
“It is commonly said ... that ridicule is the best test of truth; for that it will not stick where it is not just. I deny it. A truth learned in a certain light, and attacked in certain words, by men of wit and humour, may, and often doth, become ridiculous, at least so far, that the truth is only remembered and repeated for the sake of the ridicule.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“I learned early to understand that there is no such condition in human affairs as absolute truth. There is only truth as people see it, and truth, even in fact, may be kaleidoscopic in its variety. The damage such perception did to me I have felt ever since ... I could never belong entirely to one side of any question.”
—Pearl S. Buck (1892–1973)
“Who says that fictions only and false hair
Become a verse? Is there in truth no beauty?
Is all good structure in a winding stair?
May no lines pass, except they do their duty
Not to a true, but painted chair?”
—George Herbert (1593–1633)