Law of Excluded Middle

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 men, in the abstract, are just and good; what hinders them, in the particular, is, the momentary predominance of the finite and individual over the general truth. The condition of our incarnation in a private self, seems to be, a perpetual tendency to prefer the private law, to obey the private impulse, to the exclusion of the law of the universal being.
    Ralph Waldo Emerson (1803–1882)

    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 (1831–1880)

    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)

    During the first formative centuries of its existence, Christianity was separated from and indeed antagonistic to the state, with which it only later became involved. From the lifetime of its founder, Islam was the state, and the identity of religion and government is indelibly stamped on the memories and awareness of the faithful from their own sacred writings, history, and experience.
    Bernard Lewis, U.S. Middle Eastern specialist. Islam and the West, ch. 8, Oxford University Press (1993)