Semantic Theory of Truth - Origin

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:

    Someone had literally run to earth
    In an old cellar hole in a byroad
    The origin of all the family there.
    Thence they were sprung, so numerous a tribe
    That now not all the houses left in town
    Made shift to shelter them without the help
    Of here and there a tent in grove and orchard.
    Robert Frost (1874–1963)

    There are certain books in the world which every searcher for truth must know: the Bible, the Critique of Pure Reason, the Origin of Species, and Karl Marx’s Capital.
    —W.E.B. (William Edward Burghardt)

    We have got rid of the fetish of the divine right of kings, and that slavery is of divine origin and authority. But the divine right of property has taken its place. The tendency plainly is towards ... “a government of the rich, by the rich, and for the rich.”
    Rutherford Birchard Hayes (1822–1893)