Abstract
The theory of opposition has been famously crystallized in a square. One of the most common generalizations of the square is a cube of opposition. We show here that there is no cube such that each of its faces is a square of opposition. We discuss the question of generalization and present two other generalizations of the theory of opposition to the third dimension: one based on Blanché’s hexagon of opposition, the other on the square of contrariety.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
We introduced this colouring of the square in 2003, cf. [2].
- 2.
We have elaborated this distinction in our paper “La puissance du symbole” [11] published in the book La pointure du Symbole [10] which is the result of the interdisciplinary workshop we organized at the University of Neuchâtel in 2005. Saussure gives as an example of symbol the balance but he does not specify the double aspect of symbolization.
- 3.
Our choice for the colours of the square as in Fig. 1 was more or less intuitive: red for contradiction, because it is the strongest opposition, black for subalternation, because it is not an opposition. The choice of blue and green was more intuitive, we didn’t know at this time the RBG theory which was later on formalized by Dany Jaspers using the theory of opposition, see [35].
- 4.
The square of opposition is an interesting way to classify propositions and it can be seen as a tool for classification, which is at once more complex yet more compact than the most famous classificatory structure, the tree—about the theory of classification see [47].
- 5.
Let us point out here that there is a difference between generalization reached by induction and generalization reached by abstraction from a single example. There can be some mixed cases. In the case of the square it looks more like pure abstraction than induction.
- 6.
About recent advances on visual reasoning see e.g. [43].
References
J.-Y. Beziau, S5 is paraconsistent logic and so is first-order classical logic. Logic. Invest. 9, 301–309 (2002)
J.-Y. Beziau, New light on the square of oppositions and its nameless corner. Logic. Invest. 10, 218–232 (2003)
J.-Y. Beziau, Paraconsistent logic from a modal viewpoint. J. Appl. Log. 3, 7–14 (2005)
J.-Y. Beziau, The paraconsistent logic Z - A possible solution to Jaskowski’s problem. Logic Log. Philos. 15, 99–111 (2006)
J.-Y. Beziau, Adventures in the paraconsistent jungle, in Handbook of Paraconsistency (King’s College, London, 2007), pp. 63–80
J.-Y. Beziau (ed.), Special issue on the hexagon of opposition. Log. Univers. 6 (1–2) (2012)
J.-Y. Beziau, The new rising of the square, in [15] (2012), pp. 3–19
J.-Y. Beziau, The power of the hexagon. Log. Univers. 6, 1–43 (2012)
J.-Y. Beziau, The metalogical hexagon of opposition. Argumentos 10, 111–122 (2013)
J.-Y. Beziau (ed.), La pointure du symbole (Petra, Paris, 2014)
J.-Y. Beziau, La puissance du symbole, in [10] (2014), pp. 9–34
J.-Y. Beziau, Disentangling contradiction from contrariety via incompatibility. Log. Univers. 10, 157–170 (2016)
J.-Y. Beziau, Round squares are no contradictions, in New Directions in Paraconsistent Logic, ed. by J.-Y. Beziau, M. Chakraborty, S. Dutta (Springer, New Delhi, 2016), pp. 39–55
J.-Y. Beziau, S. Gerogiorgakis (eds.), New Dimension of the Square of Opposition (Philosophia, Munich, 2016)
J.-Y. Beziau, D. Jacquette (eds.), Around and Beyond the Square of Opposition (Birkhäuser, Basel, 2012)
J.-Y. Beziau, G. Payette (eds.), Special issue on the square of opposition. Log. Univers. 2(1) (2008)
J.-Y. Beziau, G. Payette (eds.), The Square of Opposition - A General Framework for Cognition (Peter Lang, Bern, 2012)
J.-Y. Beziau, S. Read (eds.), Special issue on the square of opposition. Hist. Philos. Logic. 4 (2014)
F. Bjørdal, Cubes and hypercubes of opposition, with ethical ruminations on inviolability. Log. Univers. 10, 373–376 (2016)
R. Blanché, Sur l’opposition des concepts. Theoria 19, 89–130 (1953)
R. Blanché, Opposition et négation. Rev. Philos. 167, 187–216 (1957)
R. Blanché, Sur la structuration du tableau des connectifs interpropositionnels binaires. J. Symb. Log. 22, 17–18 (1957)
R. Blanché, Structures intellectuelles. Essai sur l’organisation systématique des concepts (Vrin, Paris, 1966)
I.M. Bocheński, Ancient Formal Logic (North-Holland, Amsterdam, 1951)
I.M. Bocheński, A History of Formal Logic (University of Notre Dame Press, Notre Dame, 1961)
J.M. Campos-Benítez, The medieval modal octagon and the S5 Lewis modal system, in [17] (2012) pp. 99–118
D. Ciucci, D. Dubois, H. Prade, The structure of oppositions in rough set theory and formal concept analysis - toward a new bridge between the two Settings, in International Symposium on Foundations of Information and Knowledge Systems (FoIKS) (FolKS 2014), Bordeaux. LNCS, vol. 8367 (Springer, New York, 2014), pp. 154–173
M. Correia, The proto-exposition of Aristotelian categorical logic, in The Square of Opposition: A Cornerstone of Thought, ed. by J.-Y. Beziau, G. Basti (Springer, Cham, 2016). doi:10.1007/978-3-319-45062-9
J.-P. Desclés, A.Pascu, The cube generalizing Aristotle’s square in logic of determination of objects (LDO), in [15], pp. 277–291
D. Dubois, H. Prade, A. Rico, The cube of opposition: a structure underlying many knowledge representation formalisms, in International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina (AAAI Press, Menlo Park, 2015) pp. 2933–2939
D. Dubois, H. Prade, A. Rico, The cube of opposition and the complete appraisal of situations by means of sugeno integrals, in International Symposium on Methodologies for Intelligent Systems (ISMIS 2015), Lyon. LNAI vol. 9384 (Springer, New York, 2015), pp. 197–207
V. Glivenko, Théorie générale des structures (Hermann, Paris, 1938)
I. Grattan-Guinness, Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics. Log. Univers. 5, 21–73 (2011)
L. Horn, On the contrary: disjunctive syllogism and pragmatic strengthening, in The Road to Universal Logic Festschrift for 50th Birthday of Jean-Yves Béziau, vol. I, ed. by A. Koslow, A. Buchsbaum (Birkhäuser, Basel, 2012), pp. 241–265
D. Jaspers, Logic and colour. Log. Univers. 6, 227–248 (2012)
J.C. Joerden, Deontological square, hexagon, and decagon: a deontic framework for supererogation. Log. Univers. 6, 201–216 (2012)
S. Johnstone, The modal octagon and John Buridan’s modal ontology, in The Square of Opposition: A Cornerstone of Thought, ed. by J.-Y. Beziau, G. Basti (Springer, Cham, 2016). doi:10.1007/978-3-319-45062-9
I. Kant, Logik - Ein Handbuch zu Vorlesungen (im Auftrag Kants hrsg. von Gottlob Benjamin Jäsche) (Nicolovius, Königsberg, 1800)
W. Lenzen, Leibniz’s logic and the “cube of opposition”. Log. Univers. 10, 171–190 (2016)
T. Libert, Hypercubes of duality, in [15], pp. 293–301
D. Londey, C. Johanson, Philosophia Antiqua, the logic of Apuleius (Brill, Leiden, 1987)
D. Luzeaux, J. Sallantin, C. Dartnell, Logical extensions of Aristotle’s square. Log. Univers. 2, 167–187 (2008)
A. Moktefi, S.-J. Shin (eds.) Visual Reasoning with Diagrams (Birkhäuser, Basel, 2013)
A. Moretti, Geometry of modalities? yes: through n-opposition theory, in Aspects of Universal Logic, Travaux de Logique, vol. 17, ed. by J.-Y. Beziau, A. Costa Leite, A. Facchini (Université de Neuchâtel, Neuchâtel, 2004), pp. 102–145
A. Moretti, The geometry of opposition. PhD Thesis, University of Neuchâtel (2009)
A. Moretti, From the “logical square” to the “logical poly-simplexes”, in [17] (2012), pp. 119–156
D. Parrochia, P. Neuville, Towards a General Theory of Classifications (Birkhäuser, Basel, 2013)
R. Pellissier, “Setting” n-opposition. Log. Univers. 2, 235–263 (2008)
C. Pizzi, Aristotle’s cubes and consequential implication. Log. Univers. 2, 143–153 (2008)
C. Pizzi, Generalization and composition of modal squares of oppositions. Log. Univers. 10, 313–326 (2016)
F. de Saussure, in Cours de linguistique générale, ed. by C. Bally, A. Sechehaye (Payot, Paris, 1916)
M.W. Sullyvan, Apuleian logic - the nature, sources and influence of Apuleius’s Peri Hermeneias (North-Holland Amsterdam, 1967)
Acknowledgements
Thanks to Catherine Chantilly and Robert Purdy for discussion and comments.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Béziau, JY. (2017). There Is No Cube of Opposition. In: Béziau, JY., Basti, G. (eds) The Square of Opposition: A Cornerstone of Thought. Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-45062-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-45062-9_11
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-45061-2
Online ISBN: 978-3-319-45062-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)