Varieties of Cubes of Opposition

The objects called cubes of opposition have been presented in the literature in discordant ways. The aim of the paper is to offer a survey of such various kinds of cubes and evaluate their relation with an object, here called "Aristotelian cube", which consists of two Aristotelian squares and four squares which are semiaristotelian, i.e. are such that their vertices are linked by some so-called Aristotelian relation. Two paradigm cases of Aristotelian squares are provided by propositions written in the language of the logic of consequential implication, whose distinctive feature is the validity of two formulas, A ->\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\rightarrow $$\end{document} B superset of\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\supset \lnot $$\end{document} (A ->\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\rightarrow $$\end{document}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lnot $$\end{document} B) and A ->\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\rightarrow $$\end{document} B superset of\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\supset \lnot $$\end{document} (\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lnot $$\end{document} A ->\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\rightarrow $$\end{document} B), expressing two different forms of contrariety. Part of section 1 is devoted to define the notions of rotation and of r-Aristotelian square, i.e. a square resulting from some rotation of an Aristotelian square. In section 2 this notion is extended to the one of a r-Aristotelian cube, i.e. of a cube resulting from some rotation of some square of an Aristotelian cube. This notion is used in the sequel to analyze various cubes of oppositions which can be found in the literature: (1) the one used by W. Lenzen to reconstruct Caramuel's Octagon; (2) the one used by D. Luzeaux to represent the implicative relation among S5-modalities; (3) the one introduced by D. Dubois to represent the relations between quantified propositions containing positive predicates and their negations; (4) the one called Moretti cube.None of such cubes is strictly speaking Aristotelian but each of them may be proved to be r-Aristotelian. Section 5 discusses the assertion that Dubois cube was anticipated in a paper published by Reichenbach in 1952. Actually Dubois' construction was anticipated by the so-called Johnson-Keynes cube, while the Reichenbach cube, unlike Dubois cube, is an instance of an Aristotelian cube in the sense defined in this paper. The dominance of such notion is confirmed by J.F. Nilsson's cube, representing relations between propositions with nested quantifiers, and also by a cube introduced by S. Read to treat quantifiers with existential import. A cube similar to Read's cube, introduced by Chatti and Schang, is shown to be r-Aristotelian. In section 6 the author remarks that the logic of the formulas occurring in the cubes of Chatti-Schang and Read have the drawback of not satsfying the law of Identity. He then proposes a definition of non-standard quantifiers which satisfies Identity, are independent of existential assumptions and such that their interrelations are represented by an Aristotelian cube.