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:
“The real, then, is that which, sooner or later, information and reasoning would finally result in, and which is therefore independent of the vagaries of me and you. Thus, the very origin of the conception of reality shows that this conception essentially involves the notion of a COMMUNITY, without definite limits, and capable of a definite increase of knowledge.”
—Charles Sanders Peirce (1839–1914)
“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)
“High treason, when it is resistance to tyranny here below, has its origin in, and is first committed by, the power that makes and forever re-creates man.”
—Henry David Thoreau (1817–1862)