In logic, the law of excluded middle (or the principle of excluded middle) is the third of the three classic laws of thought. It states that for any proposition, either that proposition is true, or its negation is.
The law is also known as the law (or principle) of the excluded third (or of the excluded middle), or, in Latin, principium tertii exclusi. Yet another Latin designation for this law is tertium non datur: "no third (possibility) is given".
The earliest known formulation is Aristotle's principle of non-contradiction, first proposed in On Interpretation, where he says that of two contradictory propositions (i.e. where one proposition is the negation of the other) one must be true, and the other false. He also states it as a principle in the Metaphysics book 3, saying that it is necessary in every case to affirm or deny, and that it is impossible that there should be anything between the two parts of a contradiction. The principle was stated as a theorem of propositional logic by Russell and Whitehead in Principia Mathematica as:
The principle should not be confused with the principle of bivalence, which states that every proposition is either true or false, and has only a semantical formulation.
Read more about Law Of Excluded Middle: Classic Laws of Thought, Analogous Laws, Examples, Criticisms
Famous quotes containing the words law of, law, excluded and/or middle:
“It is the way unseen, the certain route,
Where ever bound, yet thou art ever free;
The path of Him, whose perfect law of love
Bids spheres and atoms in just order move.”
—Jones Very (18311880)
“In a democracyeven if it is a so-called democracy like our white-élitist onethe greatest veneration one can show the rule of law is to keep a watch on it, and to reserve the right to judge unjust laws and the subversion of the function of the law by the power of the state. That vigilance is the most important proof of respect for the law.”
—Nadine Gordimer (b. 1923)
“It may be the first in what I trust will be a rapidly growing and influential genrethe novel designed on purpose to be excluded from the Booker short-list.”
—Angela Carter (19401992)
“In the middle years of childhood, it is more important to keep alive and glowing the interest in finding out and to support this interest with skills and techniques related to the process of finding out than to specify any particular piece of subject matter as inviolate.”
—Dorothy H. Cohen (20th century)