Truth predicate

Truth predicate

In formal theories of truth, a truth predicate is a fundamental concept based on the sentences of a formal language as interpreted logically. That is, it formalizes the concept that is normally expressed by saying that a sentence, statement, or idea "is true."


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • truth-predicate — The predicate ‘is true’ thought of as applicable to the sentences of a language. See truth definition …   Philosophy dictionary

  • Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality …   Wikipedia

  • truth definition — A definition of the predicate ‘…is true’ for a language that satisfies convention T, the material adequacy condition laid down by Tarski . The definition of truth provided by Tarski s methods is a recursive definition, enabling us to say for each …   Philosophy dictionary

  • Truth — • Defines ontological, logical, and moral truth Catholic Encyclopedia. Kevin Knight. 2006. Truth     Truth     † …   Catholic encyclopedia

  • predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus …   Universalium

  • Truth-value semantics — In formal semantics, truth value semantics is an alternative to Tarskian semantics. It has been primarily championed by Ruth Barcan Marcus, H. Leblanc, and M. Dunn and N. Belnap. It is also called the substitution interpretation (of the… …   Wikipedia

  • Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… …   Wikipedia

  • predicate — A predicate is any expression that is capable of connecting with one or more singular terms to make a sentence. A predicate expresses a condition that the entities referred to may satisfy, in which case the resulting sentence will be true. For… …   Philosophy dictionary

  • predicate — I UK [ˈpredɪkət] / US noun [countable] Word forms predicate : singular predicate plural predicates linguistics the part of the sentence that contains the verb and its object or complements and gives more information about the subject, for example …   English dictionary

  • Predicate (logic) — Sometimes it is inconvenient or impossible to describe a set by listing all of its elements. Another useful way to define a set is by specifying a property that the elements of the set have in common. The notation P(x) is used to denote a… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”