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 15Intuitionistic logicCompared with: It validates inferences that intuitionistic logic rejects when no constructive proof is available.Sequent calculusNarrower topic: Classical sequent calculus formalizes this familiar account of entailment.Paraconsistent logicCompared with: It supplies the familiar baseline whose explosive consequence paraconsistent logic blocks.ConsistencyRelated: The standard equivalence between inconsistency and deriving any sentence relies on classical reasoning.Mathematical logicRelated: It supplies the standard background logic for much of mathematical formalization.Proof by contradictionRelated: The usual form of the method relies on classical rules for negation and truth.Curry–Howard correspondenceCompared with: Its proofs require richer computational interpretations than the basic intuitionistic correspondence.Fuzzy logicCompared with: Fuzzy logic relaxes classical logic’s two-valued treatment of proposition truth.IntuitionismCompared with: Its unrestricted principles are precisely what intuitionistic logic revises.ContradictionNarrower topic: Its standard rules treat a contradiction as making a theory inconsistent.George BooleCompared with: Boole’s algebraic account was one route to formalizing classical reasoning.Constructive proofCompared with: Classical reasoning permits existence arguments that intuitionistic constructive standards may reject.Formal logicBroader topic: It is the standard setting for many formal treatments of valid inference.Many-valued logicCompared with: It supplies the familiar binary baseline that many-valued systems extend or revise.Logic programmingCompared with: Some logic programming systems use nonclassical semantics, so their conclusions need not follow classical assumptions.Relevant logicCompared with: Relevant logic modifies classical consequence where premise-conclusion connection is absent.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.Frank P. RamseyCompared with: Ramsey questioned whether some mathematical and logical truths require the full classical framework.ConstructivismCompared with: Its accepted proof methods can establish existence without supplying constructive evidence.Disjunction eliminationRelated: The rule is valid in classical logic, though it does not depend on classical principles.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.De Morgan's lawsCompared with: The laws are classically valid, while intuitionistic logic treats one direction differently.Deduction theoremCompared with: Classical settings can validate converses or principles that intuitionistic systems do not.Law of identityNarrower topic: The law is one of the basic principles assumed in classical reasoning.Lotfi A. ZadehCompared with: Its binary truth values differ from the graded truth central to Zadeh’s approach.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.Monotonicity of entailmentBroader topic: Its semantic entailment is monotonic: added premises cannot remove an existing consequence.Philosophical logicRelated: Its principles provide the baseline that philosophical logicians examine and sometimes revise.
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 15Intuitionistic logicCompared with: It validates inferences that intuitionistic logic rejects when no constructive proof is available.Sequent calculusNarrower topic: Classical sequent calculus formalizes this familiar account of entailment.Paraconsistent logicCompared with: It supplies the familiar baseline whose explosive consequence paraconsistent logic blocks.ConsistencyRelated: The standard equivalence between inconsistency and deriving any sentence relies on classical reasoning.Mathematical logicRelated: It supplies the standard background logic for much of mathematical formalization.Proof by contradictionRelated: The usual form of the method relies on classical rules for negation and truth.Curry–Howard correspondenceCompared with: Its proofs require richer computational interpretations than the basic intuitionistic correspondence.Fuzzy logicCompared with: Fuzzy logic relaxes classical logic’s two-valued treatment of proposition truth.IntuitionismCompared with: Its unrestricted principles are precisely what intuitionistic logic revises.ContradictionNarrower topic: Its standard rules treat a contradiction as making a theory inconsistent.George BooleCompared with: Boole’s algebraic account was one route to formalizing classical reasoning.Constructive proofCompared with: Classical reasoning permits existence arguments that intuitionistic constructive standards may reject.Formal logicBroader topic: It is the standard setting for many formal treatments of valid inference.Many-valued logicCompared with: It supplies the familiar binary baseline that many-valued systems extend or revise.Logic programmingCompared with: Some logic programming systems use nonclassical semantics, so their conclusions need not follow classical assumptions.Relevant logicCompared with: Relevant logic modifies classical consequence where premise-conclusion connection is absent.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.Frank P. RamseyCompared with: Ramsey questioned whether some mathematical and logical truths require the full classical framework.ConstructivismCompared with: Its accepted proof methods can establish existence without supplying constructive evidence.Disjunction eliminationRelated: The rule is valid in classical logic, though it does not depend on classical principles.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.De Morgan's lawsCompared with: The laws are classically valid, while intuitionistic logic treats one direction differently.Deduction theoremCompared with: Classical settings can validate converses or principles that intuitionistic systems do not.Law of identityNarrower topic: The law is one of the basic principles assumed in classical reasoning.Lotfi A. ZadehCompared with: Its binary truth values differ from the graded truth central to Zadeh’s approach.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.Monotonicity of entailmentBroader topic: Its semantic entailment is monotonic: added premises cannot remove an existing consequence.Philosophical logicRelated: Its principles provide the baseline that philosophical logicians examine and sometimes revise.