law of excluded middle
Quick Summary
The law of excluded middle is a fundamental principle in logic. It states that for any proposition, either that proposition is true, or its negation is true; there is no middle ground. Symbolically, this is represented as p \u2228 \u223cp, meaning either p is true or not-p is true.12
This law is traditionally considered one of the three basic laws of thought, alongside the law of contradiction and the principle of identity. While widely accepted, some mathematicians and logicians, like L.E.J. Brouwer and his intuitionist school, have rejected its universal application, particularly in proofs involving infinite sets. Other logical systems have even proposed multiple truth values beyond just true or false.2
Ask Britannica AI about this topic
Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.
- Luitzen Egbertus Jan Brouwer
…of the principle of the excluded middle (or excluded third). According to this principle, every mathematical statement is either true or false; no other possibility is allowed. Brouwer denied that this dichotomy applied to infinite sets.
Read More…of the principle of the excluded middle (or excluded third). According to this principle, every mathematical statement is either true or false; no other possibility is allowed. Brouwer denied that this dichotomy applied to infinite sets.
Read More 
formal logicNonstandard versions of PC…of arguments based on the law of excluded middle (p ∨ ∼p). The intuitionistic calculus aims at presenting in axiomatic form those and only those principles of propositional logic that are accepted as sound in intuitionist mathematics. In this calculus, ∼, ·, ∨, and ⊃ are all primitive; the transformation…
Read More…of arguments based on the law of excluded middle (p ∨ ∼p). The intuitionistic calculus aims at presenting in axiomatic form those and only those principles of propositional logic that are accepted as sound in intuitionist mathematics. In this calculus, ∼, ·, ∨, and ⊃ are all primitive; the transformation…
Read More
foundations of mathematicsIntuitionistic logic…of the excluded third (or excluded middle), which asserts that, for every proposition p, either p or not p; and equivalently that, for every p, not not p implies p. This principle is basic to classical logic and had already been enunciated by Aristotle, though with some reservations, as he…
Read More…of the excluded third (or excluded middle), which asserts that, for every proposition p, either p or not p; and equivalently that, for every p, not not p implies p. This principle is basic to classical logic and had already been enunciated by Aristotle, though with some reservations, as he…
Read More