Encyclopedia > Truth value

  Article Content

Truth value

In logic, a truth value, or truth-value, is a value indicating to what extent a statement is true.

In classical logic, the only possible truth values are true and false. However, other values are possible in other logics. A simple intuitionistic logic has truth values of true, false, and unknown; fuzzy logic and other forms of multi-valued logic also use more truth values than simply true and false.

Algebraically, the set {true,false} forms a simple Boolean algebra. Other Boolean algebras may be used as sets of truth values in multi-valued logic, while intuitionistic logic generalises Boolean algebras to Heyting algebras[?].

In topos theory, the subobject classifier[?] of a topos takes the place of the set of truth values.

This nomenclature is perhaps more consonant with usages that prevail in mathematics than with those of philosophy.

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article
Anna Karenina

... but, later that evening, Kitty rejects him in the expectation that Vronsky is about to propose to her. The following morning Stiva and Vronsky are at the station t ...

This page was created in 33.5 ms