Jump to content

Truth predicate

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Challenger.rebecca (talk | contribs) at 15:29, 1 September 2016. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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

See also