Truth value

Truth value

In logic and mathematics, a logical value, also called a truth value, is a value indicating the extent to which a proposition is true.In classical logic, the only possible truth values are true and false.However, other values are possible in other logics:
fuzzy logic and other forms of multi-valued logic use more truth values than simply true and false.

Algebraically, the set {true, false} forms a two-element Boolean algebra. Other kinds of algebras may be used as sets of truth values in non-classical logics: for instance, intuitionistic logic uses Heyting algebras.

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

* The truth value of a proposition is shown using 0s and 1s.:True = 1:False = 0

ee also

* Boolean domain
* Degrees of truth
* False dilemma
* Fuzzy logic
* Logical connective
* Multivalued logic
* Relativism
* Slingshot argument
* Negation

External links

* [http://plato.stanford.edu/entries/logical-constants/ Article on logical constants] at the Stanford Encyclopedia of Philosophy

* [http://math.andrej.com/2005/05/16/how-many-is-two/ Weblog entry "How many is two?"] by Andrej Bauer discussing the relationship between truth values in intuitionistic logic and topos theory on the one hand and classical logic on the other.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • truth value — noun (logic) The truth or falsity of a statement • • • Main Entry: ↑truth …   Useful english dictionary

  • truth-value — /troohth val yooh/, n. Logic. the truth or falsehood of a proposition: The truth value of 2 + 2 = 5 is falsehood. [1915 20] * * * ▪ logic       in logic, truth (T or 1) or falsity (F or 0) of a given proposition or statement. Logical connectives …   Universalium

  • truth-value — In classical logic a proposition may be true or false. If the former, it is said to take the truth value true, and if the latter the truth value false. The idea behind the term is the analogy between assigning a propositional variable one or… …   Philosophy dictionary

  • truth value — loginė reikšmė statusas T sritis informatika apibrėžtis ↑Reikšmė, kuria nusakoma viena iš dviejų būsenų: ↑tiesa arba ↑netiesa. Taigi yra tik dvi loginės reikšmės. Jos žymimos įvairiai: žodžiais tiesa ir netiesa, angliškais žodžiais TRUE ir FALSE… …   Enciklopedinis kompiuterijos žodynas

  • truth-value — ˈ ̷ ̷ˌ ̷ ̷(ˌ) ̷ ̷ noun Etymology: translation of German wahrheitswert : either the truth or the falsehood of a proposition or statement; sometimes : one of the interpreted or uninterpreted values attached to a formula in a many valued logic * * * …   Useful english dictionary

  • truth-value — truth′ val ue n. pho the truth or falsehood of a logical proposition within a given set of conditions • Etymology: 1915–20 …   From formal English to slang

  • Truth-value link — The principle of truth value links is a concept in metaphysics discussed in debates between philosophical realism and anti realism. Philosophers who appeal to truth value links in order to explain how individuals can come to understand parts of… …   Wikipedia

  • Truth-value semantics — In formal semantics, truth value semantics is an alternative to Tarskian semantics. It has been primarily championed by Ruth Barcan Marcus, H. Leblanc, and M. Dunn and N. Belnap. It is also called the substitution interpretation (of the… …   Wikipedia

  • truth-value — noun Date: 1903 the truth or falsity of a proposition or statement …   New Collegiate Dictionary

  • truth value — noun Logic the attribute assigned to a proposition in respect of its truth or falsehood, which in classical logic has only two possible values (true or false) …   English new terms dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”