Linked from

The 27 pages that link to Paraconsistent logic, each with the reason it gives.

• Deductive reasoningRelated: It challenges the classical principle that any contradiction permits arbitrary deduction.

• Intuitionistic logicCompared with: Its rejection of explosion addresses a different classical principle than intuitionistic logic's rejection of unrestricted excluded middle.

• Classical logicCompared with: It blocks classical explosion when premises are inconsistent.

• Logical consequenceCompared with: Its consequence relation blocks classical explosion from inconsistent premises.

• NegationCompared with: It limits the consequences of propositions appearing alongside their negations.

• ConsistencyCompared with: It shows that tolerating contradictions need not make a theory trivial.

• ParadoxRelated: It offers a way to reason consistently even when paradoxical or inconsistent claims are present.

• Truth valueCompared with: Some paraconsistent systems allow inconsistent information without collapsing all truth assessments.

• Formal systemCompared with: Its consequence rules avoid a failure associated with contradiction in classical logic.

• ContradictionRelated: Its systems contain inconsistency without classical explosion.

• Formal logicCompared with: It alters classical behavior when premises are inconsistent.

• Law of Excluded MiddleCompared with: Some paraconsistent systems also reject excluded middle, though that rejection is independent of tolerating contradictions.

• Many-valued logicRelated: Some many-valued systems use extra values to control reasoning from inconsistent information.

• DisjunctionCompared with: Its treatment of inconsistent premises can alter how disjunctive reasoning behaves.

• LogicCompared with: It blocks classical explosion, allowing inconsistent information to be reasoned with.

• Relevant logicRelated: Relevant systems often block explosion, linking relevance constraints to contradiction tolerance.

• Principle of explosionCompared with: It rejects explosion while allowing some inconsistent theories to remain usable.

• Deductive systemRelated: Its systems challenge the classical rule that any contradiction permits arbitrary conclusions.

• History of logicCompared with: It revises classical consequence to handle inconsistent information without collapse.

• Symbolic logicCompared with: It revises classical consequence to reason consistently from inconsistent information.

• Law of noncontradictionCompared with: It permits reasoning from inconsistent information without trivializing the whole theory.

• Principle of bivalenceCompared with: Some paraconsistent systems allow truth-value patterns that classical bivalence excludes.

• Conjunction eliminationRelated: It preserves conjunction elimination while rejecting unrestricted explosion.

• Law of identityCompared with: Some paraconsistent systems retain identity while revising other classical principles.

• Consequentia mirabilisCompared with: It challenges the explosive classical reasoning that can appear in contradiction-based derivations.

• Monotonicity of entailmentRelated: Paraconsistency changes what follows from inconsistent premises, while monotonicity concerns adding premises.

• Philosophical logicCompared with: It rejects classical explosion to make inconsistent information logically manageable.