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:

    Familiarity breeds contempt. How accurate that is. The reason we hold truth in such respect is because we have so little opportunity to get familiar with it.
    Mark Twain [Samuel Langhorne Clemens] (1835–1910)

    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)