Abstract
The classical Aristotelian Square characterizes four formulae in terms of four relations of Opposition: contradiction, contrariety, subcontrariety, and subalternation. This square has been extended into a hexagon by two different strategies of inserting intermediate formulae: (1) the horizontal SB-insertion of Sesmat-Blanché and (2) the vertical SC-insertion of Sherwood-Czeżowski. The resulting visual constellations of opposition relations are radically different, however. The central claim of this paper is that these differences are due to the fact that the SB hexagon is closed under the Boolean operations of meet, join and complement, whereas the SC hexagon is not. Therefore we define the Boolean closure of the SC hexagon by characterizing the remaining 8 (non-trivial) formulae, and demonstrate how the resulting 14 formulae generate 6 SB hexagons. These can be embedded into a much richer 3D Aristotelian structure, namely a rhombic dodecahedron, which also underlies the modal system S5 and the propositional connectives.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Béziau, J.Y.: New light on the square of oppositions and its nameless corner. Logical Investigations 10, 218–232 (2003)
Blanché, R.: Structures Intellectuelles. Essai sur l’organisation systématique des concepts. Librairie Philosophique J. Vrin, Paris (1969)
Czeżowski, T.: On certain peculiarities of singular propositions. Mind 64(255), 392–395 (1955)
Demey, L.: Structures of Oppositions in Public Announcement Logic. In: Béziau, J.Y., Jacquette, D. (eds.) Around and Beyond the Square of Opposition. Springer, Basel (2012)
Horn, L.R.: Hamburgers and truth: Why Gricean explanation is Gricean. In: Hall, K. (ed.) Proceedings of the Sixteenth Annual Meeting of the Berkeley Linguistics Society, pp. 454–471. Berkeley Linguistics Society, Berkeley (1990)
Humberstone, L.: Modality. In: Jackson, F., Smith, M. (eds.) The Oxford Handbook of Contemporary Philosophy, pp. 534–614. OUP, Oxford (2005)
Khomskii, Y.: William of Sherwood, singular propositions and the hexagon of opposition. In: Béziau, J.Y., Payette, G. (eds.) New Perspectives on the Square of Opposition. Peter Lang, Bern (2011)
Kretzmann, N.: William of Sherwood’s Introduction to Logic. Minnesota Archive Editions, Minneapolis (1966)
Moretti, A.: The Geometry of Logical Opposition. Ph.D. thesis, University of Neuchâtel (2009)
Pellissier, R.: Setting n-opposition. Logica Universalis 2(2), 235–263 (2008)
Sauriol, P.: Remarques sur la théorie de l’hexagone logique de Blanché. Dialogue 7, 374–390 (1968)
Sesmat, A.: Logique II. Les Raisonnements. Hermann, Paris (1951)
Smessaert, H.: On the 3D visualisation of logical relations. Logica Universalis 3(2), 303–332 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Smessaert, H. (2012). Boolean Differences between Two Hexagonal Extensions of the Logical Square of Oppositions. In: Cox, P., Plimmer, B., Rodgers, P. (eds) Diagrammatic Representation and Inference. Diagrams 2012. Lecture Notes in Computer Science(), vol 7352. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31223-6_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-31223-6_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31222-9
Online ISBN: 978-3-642-31223-6
eBook Packages: Computer ScienceComputer Science (R0)