Relevance logic

A family of non-classical logics that work with a more restrictive implication than standard systems is called relevance logics . The primary goal is usually to avoid the so-called paradoxes of material implication . The basic idea is always that the antecedent should be "relevant" for the consequent (hence the name).

All relevance logics are paraconsistent , ie the ex falso quodlibet does not apply in them , according to which it is possible in most standard systems to derive any statement from two contradicting statements or from one contradiction . ${\displaystyle A,\neg A}$ ${\displaystyle A\wedge \neg A}$

See also

• Paraconsistent logic
• Counterfactual conditional
• Strict implication

Web links

• Edwin Mares: Entry in Edward N. Zalta (Ed.): Stanford Encyclopedia of Philosophy .

literature

• Alan Ross Anderson / Nuel Belnap: Entailment: the logic of relevance and necessity, vol. I . Princeton University Press 1975.
• JM Dunn: Entailment: the logic of relevance and necessity, vol. II , Princeton University Press 1992.
• Edwin Mares / RK Meyer: "Relevant Logics," in Lou Goble (ed.): The Blackwell Guide to Philosophical Logic . Blackwell.