KnowraClassical logicLinked fromLinked fromThe 34 pages that link to Classical logic, each with the reason it gives.All 34Broader topic 2Related 5Narrower topic 12Compared with 15Sequent calculusNarrower topic: Classical sequent calculus formalizes this familiar account of entailment.ContradictionNarrower topic: Its standard rules treat a contradiction as making a theory inconsistent.Reductio ad absurdumNarrower topic: The familiar form of reductio relies on classical rules for negation and contradiction.Material conditionalNarrower topic: The standard truth-functional conditional is defined within classical logic.Principle of explosionNarrower topic: Explosion is valid in the standard classical systems that frame the principle.History of logicNarrower topic: It is the dominant modern benchmark against which many historical alternatives are compared.Law of noncontradictionNarrower topic: Its semantics and proof systems generally validate noncontradiction.Peirce's lawNarrower topic: Peirce's law is valid in this broader logical system.Principle of bivalenceNarrower topic: Classical logic generally treats propositions as bivalent.Law of identityNarrower topic: The law is one of the basic principles assumed in classical reasoning.Consequentia mirabilisNarrower topic: Consequentia mirabilis is valid in classical logic because that system permits reasoning by contradiction.Epimenides paradoxNarrower topic: The familiar contradiction assumes classical true-or-false evaluation, but the premise does not force it.