Relevance Logic
Updated 2026-09-10
INTRODUCTION
English translation pending.
CORE DEFINITION
Relevance logic is a family of non-classical logics, called relevant logics in British and Australasian usage. They were developed to avoid the so-called paradoxes of material and strict implication, that is, valid consequences that follow from the definition of implication alone but that many regard as objectionable, such as a false proposition implying anything whatever. Valid implication must share content.
SCAFFOLDING EFFECT
Reduce cognitive load
- Test relevance: require that the content of the premises is actually used in deriving the conclusion. - Purge paradoxes: identify and discard invalid arguments of the form a falsehood implies anything. - Trim arguments: delete premises that contribute nothing to supporting the conclusion.
Anchor fast decisions
In classical logic the truth value of an implication depends only on its components, not on whether their contents are connected, which generates paradoxes such as a false proposition implying everything. Relevance logic requires valid implications to share some informational content, modeled semantically by frames with a ternary accessibility relation or by combining information states, so that the antecedent's information is genuinely used to reach the consequent.
MINIMUM ACTION
In progress 0/1Practice this model in one real situation:
account_treeGenealogyexpand_more
menu_bookReferencesexpand_more
Source support: Explicit
- plato.stanford.eduhttps://plato.stanford.edu/entries/logic-relevance/verified
PRIVATE NOTES · Only visible to you
SAVED Q&A
ENTRY Q&A · Private saving available
Ask with a clear boundary
thinkingmodels answers from published entry context only.
Your question is sent to thinkingmodels. The answer uses public entry context only.
RELATED MODELS