Logical and Geometrical Complementarities between Aristotelian Diagrams

This paper concerns the Aristotelian relations of contradiction, contrariety, subcontrariety and subalternation between 14 contingent formulae, which can get a 2D or 3D visual representation by means of Aristotelian diagrams. The overall 3D diagram representing these Aristotelian relations is the rhombic dodecahedron (RDH), a polyhedron consisting of 14 vertices and 12 rhombic faces (Section 2). The ultimate aim is to study the various complementarities between Aristotelian diagrams inside the RDH. The crucial notions are therefore those of subdiagram and of nesting or embedding smaller diagrams into bigger ones. Three types of Aristotelian squares are characterised in terms of which types of contradictory diagonals they contain (Section 3). Secondly, any Aristotelian hexagon contains 3 squares (Section 4), and any Aristotelian octagon contains 4 hexagons (Section 5), so that different types of bigger diagrams can be distinguished in terms of which types of subdiagrams they contain. In a final part, the logical complementarities between 6 and 8 formulae are related to the geometrical complementarities between the 3D embeddings of hexagons and octagons inside the RDH (Section 6).

[1]  Gem Stapleton,et al.  On the drawability of 3D Venn and Euler diagrams , 2014, J. Vis. Lang. Comput..

[2]  Norman Kretzmann,et al.  William of Sherwood's: Introduction to Logic , 1966 .

[3]  Hans Smessaert,et al.  Logical Geometries and Information in the Square of Oppositions , 2014, Journal of Logic, Language and Information.

[4]  S. Read.  John Buridan’s Theory of Consequence and His Octagons of Opposition , 2012 .

[5]  P. Sauriol.  Remarques sur la Théorie de L'Hexagone logique de Blanché , 1968, Dialogue.

[6]  Claude Chabrol,et al.  Structures intellectuelles , 1967 .

[7]  P. Jacoby.  A Triangle of Opposites for Types of Propositions in Aristotelian Logic , 1950 .

[8]  Yurii Khomskii.  William of Sherwood, Singular Propositions and the Hexagon of Opposition , 2011 .

[9]  Béziau Jean-Yves.  New light on the Square of oppositions and its nameless corner , 2003 .

[10]  Yuri Engelhardt.  Objects and Spaces: The Visual Language of Graphics , 2006, Diagrams.

[11]  D. Jacquette,et al.  Around and Beyond the Square of Opposition , 2012 .

[12]  Hans Smessaert,et al.  Boolean Differences between Two Hexagonal Extensions of the Logical Square of Oppositions , 2012, Diagrams.

[13]  Hans Smessaert,et al.  The Relationship between Aristotelian and Hasse Diagrams , 2014, Diagrams.

[14]  Gem Stapleton,et al.  Speedith: A Diagrammatic Reasoner for Spider Diagrams , 2012, Diagrams.

[15]  Peter C.-H. Cheng.  Algebra Diagrams: A HANDi Introduction , 2012, Diagrams.

[16]  L. Demey.  Structures of Oppositions in Public Announcement Logic , 2012 .

[17]  L. J. Boya,et al.  On Regular Polytopes , 2012, 1210.0601.

[18]  Jacques D. Fleuriot,et al.  Diagrammatically-Driven Formal Verification of Web-Services Composition , 2012, Diagrams.

[19]  Yan Jin,et al.  Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment , 2002, Diagrams.

[20]  A. Moretti,et al.  The geometry of logical opposition , 2009 .

[21]  Robert Blanché,et al.  Structures Intellectuelles : essai sur l'organisation systématique des concepts , 1981 .

[22]  Desmond Paul Henry,et al.  William of Sherwood’s Introduction to Logic , 1968 .

[23]  Andrew Fish,et al.  Euler Diagram Decomposition , 2008, Diagrams.

[24]  Didier Dubois,et al.  From Blanché’s Hexagonal Organization of Concepts to Formal Concept Analysis and Possibility Theory , 2012, Logica Universalis.

[25]  Régis Pellissier,et al.  “Setting” n-Opposition , 2008, Logica Universalis.

[26]  Tadeusz Czeżowski.  ON CERTAIN PECULIARITIES OF SINGULAR PROPOSITIONS , 1955 .

[27]  Hans Smessaert,et al.  On the 3D Visualisation of Logical Relations , 2009, Logica Universalis.