A logical principle that for any proposition P asserts that either P is true or its negation ¬P is true, with no third option (formally: P ∨ ¬P).

Principle

Binary truth: propositions are taken to satisfy bivalence, enabling proofs that rely on dichotomy and indirect reasoning (e.g., proof by contradiction).

Demonstration

Classical example: in propositional logic, the tautology p ∨ ¬p holds under classical truth-value semantics. In mathematics, many classical proofs use it to conclude existence or truth by excluding the negation (e.g., classical proofs of irrationality by contradiction).

Misapplication

Using the law in constructive or intuitionistic contexts to claim existence or to produce explicit witnesses — assuming P∨¬P implies decidability of P — or applying it to future-contingent statements where bivalence is philosophically disputed.

Consequence

Permits indirect proofs, simplification of logical derivations (double negation elimination), and underpins many classical metatheorems (completeness of classical propositional calculus).

Reversal

Rejecting the law leads to intuitionistic logic, where P∨¬P is not generally accepted and proofs must construct witnesses or give constructive disjunctions; alternative reversals include many-valued or paraconsistent logics that admit truth-value gaps or gluts.

Boundary

Valid within classical propositional and predicate logics that assume bivalence; not valid as a general principle in constructive mathematics, some modal contexts, or paraconsistent frameworks. It asserts logical dichotomy, not algorithmic decidability — P∨¬P does not imply an effective procedure to decide P.

Semantic Tension

Tension between classical truth (law as a metaphysical claim about truth values) and constructivist/proof-theoretic views (truth as provability or constructibility). Also tension between asserting a logical dichotomy and respecting computational content of proofs.

Synthesis

The law of excluded middle is the classical dichotomy that every proposition is either true or false; it is powerful for indirect reasoning and classical metatheory but is specially restricted or rejected in frameworks that require constructive content or permit intermediate truth-values.