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:

    I condemn Christianity. I raise against the Christian church the most terrible accusation that any accuser has ever uttered. It is to me the ultimate conceivable corruption. It has possessed the will to the final corruption that is even possible. The Christian church has left nothing untouched by its depravity: it has turned every value into a disvalue, every truth into a falsehood, every integrity into a vileness of the soul.
    Friedrich Nietzsche (1844–1900)

    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)