Aristotle's cubes and consequential implication (Q2427072)

The author's systems of `consequential implication' belong to the broad family of connexive logics. Such systems are compatible with Boethius' Thesis (BT) \((A\to B)\supset\neg(A\to\neg B)\) or, equivalently, Aristotle's Thesis (AT) \(\neg(A\to\neg A)\). The logic CI contains (BT) as an axiom; it is translationally equivalent to the normal modal logic KD [cf., e.g., the author and \textit{T. Williamson}, J. Philos. Log. 26, No. 5, 569--588 (1997; Zbl 0882.03012)]. The present paper demonstrates how to construct various Aristotelian squares of opposition relating formulas in \(\to\) and \(\neg\), or with a related implication \(\Rightarrow\), and furthermore how such squares can be combined to form Aristotelian cubes. There are a plurality of such cubes within this framework.