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:
“Every formula which expresses a law of nature is a hymn of praise to God.”
—Maria Mitchell (1818–1889)
“I wish my countrymen to consider that whatever the human law may be, neither an individual nor a nation can ever commit the least act of injustice against the obscurest individual without having to pay the penalty for it. A government which deliberately enacts injustice, and persists in it, will at length even become the laughing-stock of the world.”
—Henry David Thoreau (1817–1862)
“Reasoning from the common course of nature, and without supposing any new interposition of the Supreme Cause, which ought always to be excluded from philosophy; what is incorruptible must also be ingenerable. The soul, therefore, if immortal, existed before our birth: And if the former existence noways concerned us, neither will the latter.”
—David Hume (1711–1776)
“Manhattan. Sometimes from beyond the skyscrapers, across the hundreds of thousands of high walls, the cry of a tugboat finds you in your insomnia in the middle of the night, and you remember that this desert of iron and cement is an island.”
—Albert Camus (1913–1960)