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

Read more about Truth Predicate:  See Also

Famous quotes containing the words truth and/or predicate:

    And the truth becomes a hole, something one has always known,
    A heaviness in the trees, and no one can say
    Where it comes from, or how long it will stay
    A randomness, a darkness of one’s own.
    John Ashbery (b. 1927)

    The predicate of truth-value of a proposition, therefore, is a mere fictive quality; its place is in an ideal world of science only, whereas actual science cannot make use of it. Actual science instead employs throughout the predicate of weight.
    Hans Reichenbach (1891–1953)