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:
“All things are literally better, lovelier, and more beloved for the imperfections which have been divinely appointed, that the law of human life may be Effort, and the law of human judgment, Mercy.”
—John Ruskin (1819–1900)
“They are the lovers of law and order who observe the law when the government breaks it.”
—Henry David Thoreau (1817–1862)
“All places where women are excluded tend downward to barbarism; but the moment she is introduced, there come in with her courtesy, cleanliness, sobriety, and order.”
—Harriet Beecher Stowe (1811–1896)
“The goods of fortune ... were never intended to be talked out of the world.—But as virtue and true wisdom lie in the middle of extremes,—on one hand, not to neglect and despise riches, so as to forget ourselves,—and on the other, not to pursue and love them so, as to forget God;Mto have them sometimes in our heads,—but always something more important in our hearts.”
—Laurence Sterne (1713–1768)