Rationale behind truth values

The numbers you use essentially don't matter. But if you want to represent your $2^4$ truth functions (see Wikipedia) using arithmetic, then $0,1$ come in handy. This is because their properties of being the additive and multiplicative neutral element simplifies some computations.

You can represent the functions using any numbers, really. If $a$ can be a number representing $\text{true}$ or another number representing $\text{false}$, then

$$\text{NOT}(a):=\text{true}+\text{false}-a$$

works out for defining the negation. For example

$$\text{NOT}(\text{true}):=\text{true}+\text{false}-\text{true}=\text{false}.$$

Here follows a nice graphic showing all the general constructions. As examples, the use of $\{0,1\}$ and also $\{-1,1\}$ is demonstated. Notice how using $0$ "for $\text{false}$" eliminates all the terms involving the number $s_0$, making the $\{0,1\}$ column specifically short and simple for computations.

enter image description here


I wouldn't be surprised if a version of this convention goes back to Boole himself, in his algebra of classes. I believe he used $0$ for the empty class and $1$ for the class of "everything". (This was before the set-theoretic paradoxes made people queasy about the class of everything.) Under the natural correspondence between classes and functions to "true" and "false" (where a class $C$ corresponds to the function sending elements of $C$ to "true" and "everything" else to "false"), these would be the constant "false" function for $0$ and the constant "true" function for $1$. So it was natural and convenient to identify the truth values with these numbers.