KnowraLaw of Excluded MiddleLinked fromLinked fromThe 15 pages that link to Law of Excluded Middle, each with the reason it gives.All 15Related 9Compared with 6Intuitionistic logicCompared with: Intuitionistic logic does not accept this principle for arbitrary propositions without a construction.Classical logicRelated: Classical logic accepts this principle for every proposition.Russell's paradoxRelated: The set's self-membership must be either true or false, and either choice reverses itself.Proof by contradictionRelated: In classical logic, ruling out a claim’s negation establishes the claim itself.IntuitionismCompared with: Intuitionists do not accept it as a universal principle without a proof of either alternative.Constructive proofCompared with: Using this principle can establish existence without constructing the object sought.Constructive mathematicsCompared with: Unrestricted acceptance of this principle permits existence proofs without explicit witnesses.L. E. J. BrouwerCompared with: Brouwer rejected its unrestricted use when propositions lacked constructive evidence.ConstructivismCompared with: Unrestricted use can prove existence without specifying which alternative holds or producing a witness.Law of noncontradictionRelated: It is commonly grouped with noncontradiction, though it makes a distinct claim.Peirce's lawRelated: Like Peirce's law, it is classically valid but not intuitionistically derivable in general.Principle of bivalenceRelated: It is related to bivalence but states a formula-level law rather than a rule assigning truth values.False dilemmaRelated: This logical principle is valid; the fallacy misapplies two-way framing to choices that allow more options.Law of identityRelated: It is often grouped with identity, but concerns truth alternatives rather than sameness.Consequentia mirabilisRelated: Excluded middle supplies the two cases behind a standard derivation of the principle.