When.com Web Search

Search results

  1. Results From The WOW.Com Content Network
  2. Semantic theory of truth - Wikipedia

    en.wikipedia.org/wiki/Semantic_theory_of_truth

    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 incompleteness theorems .

  3. Truth-conditional semantics - Wikipedia

    en.wikipedia.org/wiki/Truth-conditional_semantics

    This approach to semantics is principally associated with Donald Davidson, and attempts to carry out for the semantics of natural language what Tarski's semantic theory of truth achieves for the semantics of logic. [1] Truth-conditional theories of semantics attempt to define the meaning of a given proposition by explaining when the sentence is ...

  4. Truth - Wikipedia

    en.wikipedia.org/wiki/Truth

    The semantic theory of truth has as its general case for a given language: 'P' is true if and only if P. where 'P' refers to the sentence (the sentence's name), and P is just the sentence itself. Tarski's theory of truth (named after Alfred Tarski) was developed for formal languages, such as formal logic.

  5. J. L. Austin - Wikipedia

    en.wikipedia.org/wiki/J._L._Austin

    In the posthumously published Sense and Sensibilia (the title is Austin's own, and wittily echoes the title of Sense and Sensibility, Jane Austen's first book, just as his name echoes hers), [26] Austin criticizes the claims put forward by A. J. Ayer's The Foundations of Empirical Knowledge (1940), and to a lesser extent, H. H. Price's ...

  6. Deflationary theory of truth - Wikipedia

    en.wikipedia.org/wiki/Deflationary_theory_of_truth

    In philosophy and logic, a deflationary theory of truth (also semantic deflationism [1] or simply deflationism) is one of a family of theories that all have in common the claim that assertions of predicate truth of a statement do not attribute a property called "truth" to such a statement.

  7. T-schema - Wikipedia

    en.wikipedia.org/wiki/T-schema

    The T-schema ("truth schema", not to be confused with "Convention T") is used to check if an inductive definition of truth is valid, which lies at the heart of any realisation of Alfred Tarski's semantic theory of truth. Some authors refer to it as the "Equivalence Schema", a synonym introduced by Michael Dummett. [1]

  8. Category:Theories of truth - Wikipedia

    en.wikipedia.org/wiki/Category:Theories_of_truth

    Main page; Contents; Current events; Random article; About Wikipedia; Contact us

  9. Truth condition - Wikipedia

    en.wikipedia.org/wiki/Truth_condition

    Truth conditions of a sentence do not necessarily reflect current reality. They are merely the conditions under which the statement would be true. [1] More formally, a truth condition makes for the truth of a sentence in an inductive definition of truth (for details, see the semantic theory of truth).