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.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.