Origin
The semantic conception of truth, which is related in different ways to both the correspondence and deflationary conceptions, is due to work published by Polish logician Alfred Tarski in the 1930s. Tarski, in "On the Concept of Truth in Formal Languages", attempted to formulate a new theory of truth in order to resolve the liar paradox. In the course of this he made several metamathematical discoveries, most notably Tarski's undefinability theorem using the same formal technique as Kurt Gödel used in his incompleteness theorems. Roughly, this states that a truth-predicate satisfying convention-T for the sentences of a given language cannot be defined within that language.
Read more about this topic: Semantic Theory Of Truth
Famous quotes containing the word origin:
“Though I do not believe that a plant will spring up where no seed has been, I have great faith in a seed,—a, to me, equally mysterious origin for it.”
—Henry David Thoreau (1817–1862)
“Art is good when it springs from necessity. This kind of origin is the guarantee of its value; there is no other.”
—Neal Cassady (1926–1968)
“Good resolutions are useless attempts to interfere with scientific laws. Their origin is pure vanity. Their result is absolutely nil. They give us, now and then, some of those luxurious sterile emotions that have a certain charm for the weak.... They are simply cheques that men draw on a bank where they have no account.”
—Oscar Wilde (1854–1900)