What Is the Law of Excluded Middle? Either/Or Logic

Direct Answer

The law of excluded middle (LEM) is the principle that every proposition is either true or false — there is no third option: for any P, P ∨ ¬P. "Excluded middle" means that between "P is true" and "P is false" there is no middle ground. If it is true that it is raining, then "it is raining" is true and "it is not raining" is false; no third possibility exists.

The law operates at two levels. As a logical law, it licenses the inference that if not-P is impossible, then P is true. As a metaphysical principle (bivalence), it asserts that reality itself admits no indeterminate cases: every statement about what is the case is either true or false, whether or not we can know which. The LEM is thus the engine of proof by contradiction: to prove P, it suffices to show that not-P leads to absurdity.

Historical Context

Aristotle formulated the LEM in the Metaphysics and Prior Analytics, alongside the principle of non-contradiction, as one of the axioms of rational thought: "there cannot be an intermediate between contradictories, but of one subject we must either affirm or deny any one predicate." The principle passed into the medieval tradition as a "law of thought" and was enshrined in classical logic, where P ∨ ¬P is a theorem derivable from the standard axioms.

The modern challenge came from the intuitionist school of mathematics, founded by L. E. J. Brouwer in the early twentieth century. Brouwer denied the LEM for infinite domains: a mathematical claim is true only if we have a proof of it, and for some claims — e.g., "there are infinitely many twin primes" — we may currently have neither a proof nor a disproof, so the claim is not yet true and not yet false. Arend Heyting formalized intuitionistic logic, in which P ∨ ¬P is not a theorem, and Kurt Godel and Gerhard Gentzen showed that classical logic can be embedded in intuitionistic logic via double-negation translation — the classical system is, in a precise sense, a projection of the intuitionistic one. The LEM also fails in many-valued and fuzzy logics, which admit intermediate truth values, and it is intimately bound up with the sorites paradox and the problem of vagueness.

Philosophical Significance

The LEM divides philosophies of mathematics and logic. Classical mathematics accepts non-constructive proofs: if assuming not-P yields a contradiction, P is proved — even if no construction of P is known. This is the source of some of the deepest theorems of the twentieth century, but it also produces "existence without construction," which intuitionists find empty. The dispute is not merely technical: it is a dispute about what mathematical truth is. For the classical mathematician, truth is a property of propositions in themselves, independent of our ability to prove them; for the intuitionist, truth is tied to proof-construction, and the LEM's failure is a consequence of this constructivist conception.

The LEM also has a striking limit theorem attached. Godel's first incompleteness theorem (1931) showed that any consistent formal system strong enough for arithmetic contains a sentence G such that neither G nor not-G is provable — a "Godel sentence." Classically, G is still either true or false (it is in fact true); what fails is our ability to prove which. The LEM thus survives in classical semantics even where provability gives out — a distinction that only sharpens the philosophical question of whether truth outruns our capacity to establish it.

Examples

Everyday reasoning:

• "The store is open or the store is not open." One of these must hold, regardless of whether we know which.

Mathematical proof (non-constructive):

• Theorem: there exist irrational numbers a, b with a^b rational. Proof: either √2^√2 is rational, or it is irrational — and if irrational, (√2^√2)^√2 = 2 is rational. The proof uses the LEM to establish existence without exhibiting the numbers. Constructivists reject this style of proof.

The intuitionist counterexample:

• "Goldbach's conjecture is true or it is false." Classically this is a logical truth. For the intuitionist, without a proof of the conjecture or of its negation, the disjunction is not asserted — truth waits on proof.

Related Concepts

The LEM is the twin of the principle of non-contradiction; together with bivalence they define classical truth and the structure of propositional logic. It fails in the presence of vagueness, where borderline cases create the "middle" the law excludes, and its status is a central issue in the philosophy of logic and the foundations of mathematics.

Further Learning

The Stanford Encyclopedia of Philosophy entries "Classical Logic" and "Intuitionism in the Philosophy of Mathematics" present the law and its rejection rigorously. For the historical formulation, read Aristotle's Metaphysics Book IV; for the modern debate, Michael Dummett's Elements of Intuitionism and Dirk van Dalen's biography Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer are excellent starting points.