Connexive Logic
Updated 2026-09-10
INTRODUCTION
English translation pending.
CORE DEFINITION
Most non-classical logics are subsystems of classical logic, but connexive logic is contra-classical: it is neither a subsystem nor an extension of classical logic, yet it makes some classical non-theorems into theorems. Since classical propositional logic is Post complete, avoiding triviality requires it to give up some classical theorems. Its guiding intuition is that a conditional asserts a connection between antecedent and consequent.
SCAFFOLDING EFFECT
Reduce cognitive load
- Test connection: require a substantive link between antecedent and consequent and rule out vacuous conditionals. - Mark system boundaries: remember that classical logic is not the only standard and that a rival consistent system can be built. - Check for contradiction: use Aristotle's thesis to test whether a conditional has a self-contradictory instance.
Anchor fast decisions
The core intuition of connexive logic is that a conditional implies some connection between its antecedent and consequent. This shows up in the theses proposed by Aristotle and Boethius, namely that neither if A then not A nor if A then A holds universally. These theses conflict with classical logic, so the system has to be adjusted.
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-connexive/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