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

    Truth-conditional semantics is an approach to semantics of natural language that sees meaning (or at least the meaning of assertions) as being the same as, or reducible to, their truth conditions. This approach to semantics is principally associated with Donald Davidson , and attempts to carry out for the semantics of natural language what ...

  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. Category:Theories of truth - Wikipedia

    en.wikipedia.org/wiki/Category:Theories_of_truth

    View history; Tools. Tools. move to sidebar hide. Actions ... Semantic theory of truth; T. Tarski's undefinability theorem ... Wikipedia® is a registered trademark ...

  6. T-schema - Wikipedia

    en.wikipedia.org/wiki/T-schema

    The T-schema is often expressed in natural language, but it can be formalized in many-sorted predicate logic or modal logic; such a formalisation is called a "T-theory." [ citation needed ] T-theories form the basis of much fundamental work in philosophical logic , where they are applied in several important controversies in analytic philosophy .

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

  8. Semantics of logic - Wikipedia

    en.wikipedia.org/wiki/Semantics_of_logic

    The truth conditions of various sentences we may encounter in arguments will depend upon their meaning, and so logicians cannot completely avoid the need to provide some treatment of the meaning of these sentences. The semantics of logic refers to the approaches that logicians have introduced to understand and determine that part of meaning in ...

  9. Alfred Tarski - Wikipedia

    en.wikipedia.org/wiki/Alfred_Tarski

    Alfred Tarski (/ ˈ t ɑːr s k i /; Polish:; born Alfred Teitelbaum; [1] [2] [3] January 14, 1901 – October 26, 1983) was a Polish-American [4] logician and mathematician. [5] A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and ...