# Definition:Truth Value

This page has been identified as a candidate for refactoring of medium complexity.Disambiguate with Definition:Boolean Interpretation/Truth ValueUntil this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

## Definition

### Aristotelian Logic

In Aristotelian logic, a statement can be either true or false, and there is no undefined, in-between value.

Whether it is true or false is called its **truth value**.

Note that a statement's **truth value** may change depending on circumstances.

Thus, the statement:

*It is currently raining on the grass outside my window*

has the truth value false, whereas it had the truth value true last week.

The statement:

*I am listening to Shostakovich's 4th symphony*

is currently true, but that will last only for the next twenty minutes or so as I type.

The **truth values** true and false are usually represented in one of two ways:

There are advantages for both notations. In particular, the second lends itself to extending the discipline of logic into that of probability theory.

This article is complete as far as it goes, but it could do with expansion.Other logic typesYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Expand}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Sources

- 1944: Eugene P. Northrop:
*Riddles in Mathematics*... (previous) ... (next): Chapter One: What is a Paradox? - 1959: A.H. Basson and D.J. O'Connor:
*Introduction to Symbolic Logic*(3rd ed.) ... (previous) ... (next): Chapter $\text I$ Introductory: $3$. Logical Form - 1998: David Nelson:
*The Penguin Dictionary of Mathematics*(2nd ed.) ... (previous) ... (next): Entry:**truth value** - 2008: David Nelson:
*The Penguin Dictionary of Mathematics*(4th ed.) ... (previous) ... (next): Entry:**truth value**