truth predicate
Смотреть что такое "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… … Wikipedia
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
