Generalization and Composition of Modal Squares of Oppositions
The first part of the paper aims at showing that the notion of an Aristotelian square may be seen as a special case of a variety of different more general notions: (1) the one of a subAristotelian square, (2) the one of a semiAristotelian square, (3) the one of an Aristotelian cube, which is a construction made up of six semiAristotelian squares, two of which are Aristotelian. Furthermore, if the standard Aristotelian square is seen as a special ordered 4-tuple of formulas, there are 4-tuples describing rotations of the original square which are non-standard Aristotelian squares. The second part of the paper focuses on the notion of a composition of squares. After a discussion of possible alternative definitions, a privileged notion of composition of squares is identified, thus opening the road to introducing and discussing the wider notion of composition of cubes.
KeywordsSquare of oppositions modal logic bimodality cube of oppositions composition of squares
Mathematics Subject Classification03B45
Unable to display preview. Download preview PDF.
- 2.Dubois, D., Pradel, H., Rico, A.: The cube of opposition—a structure underlying many knowledge representation formalisms. In: Yang, Q., Wooldrige M. (eds.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Palo Alto, pp. 2933–2939 (2015)Google Scholar
- 3.Lenzen,W.: How to square knowledge and belief. In: Beziau, J.Y., Jacquette, D. (eds.) Around and Beyond the Square of Oppositions, Basel, pp. 305–311 (2012)Google Scholar
- 4.Moretti, A.: The Geometry of Logical Opposition. Ph.D. Thesis, University of Neuchâtel (2009)Google Scholar
- 6.Pizzi, C.: Contingency logics and modal squares of opposition. In: Béziau, J.Y., Gam-Krywoszynska, K. (eds.) New Dimensions of the Square of Opposition, München, pp. 201–222 (2014)Google Scholar
- 8.Westerstahl, D.: Classical vs. modern squares of opposition, and beyond. In: Béziau, J.Y., Payette G. (eds.) The Square of Opposition: A General Framework for Cognition, Bern, pp.195–229 (2012)Google Scholar