2012 | OriginalPaper | Buchkapitel
Boolean Differences between Two Hexagonal Extensions of the Logical Square of Oppositions
verfasst von : Hans Smessaert
Erschienen in: Diagrammatic Representation and Inference
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.