Law of Excluded Middle
Classical logic principle that for any proposition, either it or its negation must be true—there is no third option.
Also known as: Excluded middle, Tertium non datur, Principle of excluded middle
Category: Philosophy & Wisdom
Tags: logic, philosophies, reasoning, critical-thinking, epistemology
Explanation
The Law of Excluded Middle (tertium non datur, 'no third is given') is one of the three classical laws of thought, alongside the law of identity and the law of non-contradiction. It states that for any well-formed proposition P, either P is true or its negation ¬P is true. There is no third truth value between them.
Formally: P ∨ ¬P
**The three classical laws of thought**:
1. **Law of Identity**: A is A (a thing is itself)
2. **Law of Non-Contradiction**: Not (P and ¬P) (a proposition cannot be both true and false)
3. **Law of Excluded Middle**: P or ¬P (a proposition must be true or false, with nothing in between)
Together, these laws underpin classical (bivalent) logic, mathematics, and most computing systems.
**Why it matters**:
- **Proof by contradiction**: Mathematics frequently proves P by showing ¬P leads to absurdity—this requires excluded middle
- **Decidability**: Many algorithms assume every input either does or does not have a property
- **Binary computing**: Digital systems rest on a strict two-valued logic
- **Clear reasoning**: It forces precision—you cannot evade a question by claiming the answer is 'somewhere in between'
**Challenges and limits**:
The law of excluded middle is not universally accepted. Several traditions reject or restrict it:
- **Intuitionistic logic** (Brouwer, Heyting): Rejects excluded middle for infinite or non-constructive cases. You cannot assert 'P or ¬P' unless you can construct a proof of one of them. This affects much of constructive mathematics.
- **Fuzzy logic**: Allows truth values between 0 and 1, modeling vagueness ('this is sort of red')
- **Many-valued logics**: Add a third 'unknown' or 'undefined' value (e.g., SQL's NULL handling)
- **Quantum logic**: Drops classical distributivity to model quantum phenomena
- **Paraconsistent logic**: Tolerates contradictions without exploding into triviality
**Excluded middle vs. false dichotomy**:
The law of excluded middle is a logical truth about propositions; a [[false-dichotomy]] is a rhetorical move that misapplies binary framing to non-binary situations. 'Either it is raining or it is not raining' is excluded middle (legitimate). 'You either support the plan or you're against it' is often a false dichotomy (illegitimate, because partial support, neutrality, or alternative plans exist).
The distinction is subtle but important: excluded middle applies to well-formed propositions with crisp truth conditions, not to vague statements, value-laden judgments, or continuous quantities.
**Practical takeaway**:
Classical logic is a powerful tool for crisp domains—formal proofs, software correctness, well-defined yes/no questions. But applying its binary framing to vague predicates, partial truths, or contested values commits a category error. Knowing when excluded middle applies—and when fuzzy, intuitionistic, or context-sensitive reasoning is more appropriate—is part of mature critical thinking.
Related Concepts
← Back to all concepts