KnowraIntuitionistic logicLinked fromLinked fromThe 41 pages that link to Intuitionistic logic, each with the reason it gives.All 41Broader topic 1Related 13Compared with 27Propositional logicCompared with: Its propositional calculus rejects some classical principles, including unrestricted excluded middle.Classical logicCompared with: It rejects unrestricted excluded middle, distinguishing it from classical logic.NegationCompared with: Its negation does not generally make double negation equivalent to the original proposition.Paraconsistent logicCompared with: It departs from classical logic for a different reason and is not generally paraconsistent.Mathematical logicCompared with: It rejects unrestricted use of classical principles that intuitionists regard as nonconstructive.Logical connectiveCompared with: Its connective meanings are tied to constructive proof rather than classical truth tables.Proof by contradictionCompared with: Its standards limit classical contradiction proofs, especially for existence claims.Modal logicCompared with: It alters the underlying propositional logic, unlike standard modal extensions of classical logic.Truth valueCompared with: Its treatment of propositions differs from classical truth-value assignments.Formal systemCompared with: It changes which inferences and theorems are accepted compared with classical systems.ContradictionCompared with: It revises classical inference principles while retaining a strong role for consistency.Formal logicCompared with: It rejects an inference principle accepted in classical logic.Law of Excluded MiddleCompared with: It rejects the law as a universal principle when no proof of either alternative is available.DisjunctionCompared with: Its disjunction property requires a proof of a disjunction to establish one side.LogicCompared with: It does not accept the law of excluded middle for every proposition.Relevant logicCompared with: It rejects classical principles for constructive reasons, not primarily to enforce premise-conclusion relevance.Reductio ad absurdumCompared with: Its treatment of negation limits what some classical reductio arguments can establish.Principle of explosionCompared with: Unlike classical logic, it does not validate explosion in its usual formulation.History of logicCompared with: Its standards of proof challenge assumptions built into classical logic.Symbolic logicCompared with: It shows that classical symbolic rules are not the only viable formal choices.Disjunction introductionCompared with: It permits disjunction introduction, while interpreting disjunction through constructive proof.Law of noncontradictionCompared with: It rejects excluded middle in general while retaining noncontradiction.Peirce's lawCompared with: It cannot derive Peirce's law without adding classical principles.Principle of bivalenceCompared with: Its rejection of unrestricted excluded middle separates it from classical reasoning, though it need not posit a third truth value.De Morgan's lawsCompared with: It validates only one direction of the familiar De Morgan equivalence in general.Consequentia mirabilisCompared with: The classical derivation does not automatically establish the principle intuitionistically.Philosophical logicCompared with: It challenges a classical principle whose validity has philosophical consequences for truth and proof.
KnowraIntuitionistic logicLinked fromLinked fromThe 41 pages that link to Intuitionistic logic, each with the reason it gives.All 41Broader topic 1Related 13Compared with 27Propositional logicCompared with: Its propositional calculus rejects some classical principles, including unrestricted excluded middle.Classical logicCompared with: It rejects unrestricted excluded middle, distinguishing it from classical logic.NegationCompared with: Its negation does not generally make double negation equivalent to the original proposition.Paraconsistent logicCompared with: It departs from classical logic for a different reason and is not generally paraconsistent.Mathematical logicCompared with: It rejects unrestricted use of classical principles that intuitionists regard as nonconstructive.Logical connectiveCompared with: Its connective meanings are tied to constructive proof rather than classical truth tables.Proof by contradictionCompared with: Its standards limit classical contradiction proofs, especially for existence claims.Modal logicCompared with: It alters the underlying propositional logic, unlike standard modal extensions of classical logic.Truth valueCompared with: Its treatment of propositions differs from classical truth-value assignments.Formal systemCompared with: It changes which inferences and theorems are accepted compared with classical systems.ContradictionCompared with: It revises classical inference principles while retaining a strong role for consistency.Formal logicCompared with: It rejects an inference principle accepted in classical logic.Law of Excluded MiddleCompared with: It rejects the law as a universal principle when no proof of either alternative is available.DisjunctionCompared with: Its disjunction property requires a proof of a disjunction to establish one side.LogicCompared with: It does not accept the law of excluded middle for every proposition.Relevant logicCompared with: It rejects classical principles for constructive reasons, not primarily to enforce premise-conclusion relevance.Reductio ad absurdumCompared with: Its treatment of negation limits what some classical reductio arguments can establish.Principle of explosionCompared with: Unlike classical logic, it does not validate explosion in its usual formulation.History of logicCompared with: Its standards of proof challenge assumptions built into classical logic.Symbolic logicCompared with: It shows that classical symbolic rules are not the only viable formal choices.Disjunction introductionCompared with: It permits disjunction introduction, while interpreting disjunction through constructive proof.Law of noncontradictionCompared with: It rejects excluded middle in general while retaining noncontradiction.Peirce's lawCompared with: It cannot derive Peirce's law without adding classical principles.Principle of bivalenceCompared with: Its rejection of unrestricted excluded middle separates it from classical reasoning, though it need not posit a third truth value.De Morgan's lawsCompared with: It validates only one direction of the familiar De Morgan equivalence in general.Consequentia mirabilisCompared with: The classical derivation does not automatically establish the principle intuitionistically.Philosophical logicCompared with: It challenges a classical principle whose validity has philosophical consequences for truth and proof.