Editing Semantic theory of truth (section)

==Origin==

The [[semantic]] conception of truth, which is related in different ways to both the [[correspondence theory of truth|correspondence]] and [[deflationary theory of truth|deflationary]] conceptions, is due to work by [[Poland|Polish]] [[logic]]ian [[Alfred Tarski]]. Tarski, in "On the Concept of Truth in Formal Languages" (1935), 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 [[Kurt Gödel]] used in his [[Gödel's incompleteness theorems|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.