{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T16:11:19Z","timestamp":1762445479576,"version":"build-2065373602"},"reference-count":75,"publisher":"MDPI AG","issue":"2","license":[{"start":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T00:00:00Z","timestamp":1706054400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100004040","name":"KU Leuven","doi-asserted-by":"publisher","award":["IDN-19-009","101040049"],"award-info":[{"award-number":["IDN-19-009","101040049"]}],"id":[{"id":"10.13039\/501100004040","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Union","doi-asserted-by":"publisher","award":["IDN-19-009","101040049"],"award-info":[{"award-number":["IDN-19-009","101040049"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Axioms"],"abstract":"<jats:p>This paper investigates the so-called \u2018unconnectedness-4 (U4) hexagons of opposition\u2019, which have various applications across the broad field of philosophical logic. We first study the oldest known U4 hexagon, the conversion closure of the square of opposition for categorical statements. In particular, we show that this U4 hexagon has a Boolean complexity of 5, and discuss its connection with the so-called \u2018Gergonne relations\u2019. Next, we study a simple U4 hexagon of Boolean complexity 4, in the context of propositional logic. We then return to the categorical square and show that another (quite subtle) closure operation yields another U4 hexagon of Boolean complexity 4. Finally, we prove that the Aristotelian family of U4 hexagons has no other Boolean subtypes, i.e., every U4 hexagon has a Boolean complexity of either 4 or 5. These results contribute to the overarching goal of developing a comprehensive typology of Aristotelian diagrams, which will allow us to systematically classify these diagrams into various Aristotelian families and Boolean subfamilies.<\/jats:p>","DOI":"10.3390\/axioms13020076","type":"journal-article","created":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T09:57:42Z","timestamp":1706090262000},"page":"76","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Boolean Subtypes of the U4 Hexagon of Opposition"],"prefix":"10.3390","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0176-1958","authenticated-orcid":false,"given":"Lorenz","family":"Demey","sequence":"first","affiliation":[{"name":"Center for Logic and Philosophy of Science, KU Leuven, 3000 Leuven, Belgium"},{"name":"KU Leuven Institute for Artificial Intelligence, KU Leuven, 3000 Leuven, Belgium"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1863-8777","authenticated-orcid":false,"given":"Atahan","family":"Erbas","sequence":"additional","affiliation":[{"name":"Center for Logic and Philosophy of Science, KU Leuven, 3000 Leuven, Belgium"}]}],"member":"1968","published-online":{"date-parts":[[2024,1,24]]},"reference":[{"key":"ref_1","first-page":"218","article-title":"New Light on the Square of Oppositions and its Nameless Corner","volume":"10","year":"2003","journal-title":"Log. Investig."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Jacquette, D. (2012). Around and Beyond the Square of Opposition, Springer.","DOI":"10.1007\/978-3-0348-0379-3"},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Payette, G. (2012). The Square of Opposition. A General Framework for Cognition, Peter Lang.","DOI":"10.1007\/978-3-0348-0379-3_1"},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Basti, G. (2017). The Square of Opposition: A Cornerstone of Thought, Springer.","DOI":"10.1007\/978-3-319-45062-9"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Gerogiorgakis, S. (2017). New Dimensions of the Square of Opposition, Philosophia.","DOI":"10.2307\/j.ctv2nrzhd7"},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Vandoulakis, I.M. (2022). The Exoteric Square of Opposition, Springer.","DOI":"10.1007\/978-3-030-90823-2"},{"key":"ref_7","unstructured":"Zalta, E.N. (2017). Stanford Encyclopedia of Philosophy (Summer 2017 Edition), CSLI."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"32","DOI":"10.5840\/newscholas19502413","article-title":"A Triangle of Opposites for Types of Propositions in Aristotelian Logic","volume":"24","author":"Jacoby","year":"1950","journal-title":"New Scholast."},{"key":"ref_9","unstructured":"Sesmat, A. (1951). Logique II. Les Raisonnements. La Syllogistique, Hermann."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1111\/j.1755-2567.1953.tb01013.x","article-title":"Sur l\u2019opposition des concepts","volume":"19","year":"1953","journal-title":"Theoria"},{"key":"ref_11","unstructured":"Blanch\u00e9, R. (1966). Structures Intellectuelles. Essai sur L\u2019organisation Syst\u00e9matique des Concepts, Librairie Philosophique J. Vrin."},{"key":"ref_12","first-page":"392","article-title":"On Certain Peculiarities of Singular Propositions","volume":"64","year":"1955","journal-title":"Mind"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF02548910","article-title":"Logika stosunk\u00f3w zakresowych (Logic of extensional relations)","volume":"4","author":"Kraszewski","year":"1956","journal-title":"Stud. Log."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"219","DOI":"10.5840\/teachphil198710353","article-title":"Singular Statements","volume":"10","author":"Lilje","year":"1987","journal-title":"Teach. Philos."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1080\/01445340.2022.2143711","article-title":"Another Side of Categorical Propositions: The Keynes\u2013Johnson Octagon of Oppositions","volume":"44","author":"Moktefi","year":"2023","journal-title":"Hist. Philos. Log."},{"key":"ref_16","unstructured":"Kretzmann, N. (1966). William of Sherwood\u2019s Introduction to Logic, University of Minnesota Press."},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Payette, G. (2012). The Square of Opposition. A General Framework for Cognition, Peter Lang.","DOI":"10.1007\/978-3-0348-0379-3_1"},{"key":"ref_18","unstructured":"Maloney, T.S. (2009). Roger Bacon: The Art and Science of Logic, Pontifical Institute of Mediaeval Studies."},{"key":"ref_19","unstructured":"Maloney, T.S. (2015). Lambert of Auxerre: Logica, or Summa Lamberti, University of Notre Dame Press."},{"key":"ref_20","unstructured":"Klima, G. (2001). John Buridan, Summulae de Dialectica, Yale University Press."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Jacquette, D. (2012). Around and Beyond the Square of Opposition, Springer.","DOI":"10.1007\/978-3-0348-0379-3"},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1080\/01445340.2018.1531481","article-title":"Boolean Considerations on John Buridan\u2019s Octagons of Opposition","volume":"40","author":"Demey","year":"2019","journal-title":"Hist. Philos. Log."},{"key":"ref_23","unstructured":"Echeverr\u00eda, J., de Lorenzo, J., and Pe\u00f1a, L. (1996). Calculemos\u2026 Matem\u00e1ticas y libertad. Homenaje a Miguel S\u00e1nchez-Mazas, Editorial Trotta."},{"key":"ref_24","unstructured":"Fogelin, R.J. (1967). Evidence and Meaning, Humanities Press."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/s12136-012-0162-4","article-title":"On Two Squares of Opposition: The Le\u015bniewski\u2019s Style Formalization of Synthetic Propositions","volume":"28","author":"Schumann","year":"2013","journal-title":"Acta Anal."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s13164-014-0179-2","article-title":"Pleasure and its Contraries","volume":"5","author":"Massin","year":"2014","journal-title":"Rev. Philos. Psychol."},{"key":"ref_27","unstructured":"Horn, L.R. (1989). A Natural History of Negation, University of Chicago Press."},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Payette, G. (2012). The Square of Opposition. A General Framework for Cognition, Peter Lang.","DOI":"10.1007\/978-3-0348-0379-3_1"},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.pragma.2017.03.008","article-title":"On the Empty O-corner of the Aristotelian Square: A View from Singapore English","volume":"115","author":"Ziegeler","year":"2017","journal-title":"J. Pragmat."},{"key":"ref_30","first-page":"93","article-title":"Supererogation: Von deontologischen Sechseck zum deontologischen Zehneck","volume":"73","author":"Hruschka","year":"1987","journal-title":"Arch. Philos. Law Soc. Philos."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"279","DOI":"10.2307\/825871","article-title":"Using the square of opposition to illustrate the deontic and alethic relations constituting rights","volume":"45","year":"1995","journal-title":"Univ. Tor. Law J."},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1017\/S1352325221000070","article-title":"Casting the Light of the Theory of Opposition onto Hohfeld\u2019s Fundamental Legal Concepts","volume":"27","author":"Griffo","year":"2021","journal-title":"Leg. Theory"},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2015-1282","article-title":"Structures of Opposition in Fuzzy Rough Sets","volume":"142","author":"Ciucci","year":"2015","journal-title":"Fundam. Inform."},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/s10472-015-9480-8","article-title":"Structures of opposition induced by relations. The Boolean and the gradual cases","volume":"76","author":"Ciucci","year":"2016","journal-title":"Ann. Math. Artif. Intell."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-2016-1332","article-title":"Two Squares of Oppositions and Their Applications in Pairwise Comparisons Analysis","volume":"144","author":"Schumann","year":"2016","journal-title":"Fundam. Inform."},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s10472-018-9585-y","article-title":"Geometric and Cognitive Differences between Aristotelian Diagrams for the Boolean Algebra B4","volume":"83","author":"Demey","year":"2018","journal-title":"Ann. Math. Artif. Intell."},{"key":"ref_37","doi-asserted-by":"crossref","unstructured":"Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E., and Viana, P. (2021). Diagrammatic Representation and Inference, Springer. LNCS 12909.","DOI":"10.1007\/978-3-030-86062-2"},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Giardino, V., Linker, S., Burns, R., Bellucci, F., Boucheix, J.M., and Viana, P. (2022). Diagrammatic Representation and Inference, Springer. LNCS 13462.","DOI":"10.1007\/978-3-031-15146-0"},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"De Klerck, A., Vignero, L., and Demey, L. (2023). Morphisms between Aristotelian Diagrams. Log. Univers.","DOI":"10.1007\/s11787-023-00340-0"},{"key":"ref_40","doi-asserted-by":"crossref","first-page":"1703","DOI":"10.1007\/s10992-023-09723-6","article-title":"Logic-Sensitivity and Bitstring Semantics in the Square of Opposition","volume":"52","author":"Demey","year":"2023","journal-title":"J. Philos. Log."},{"key":"ref_41","doi-asserted-by":"crossref","first-page":"1323","DOI":"10.1093\/logcom\/exy015","article-title":"Computing the Maximal Boolean Complexity of Families of Aristotelian Diagrams","volume":"28","author":"Demey","year":"2018","journal-title":"J. Log. Comput."},{"key":"ref_42","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s10992-017-9430-5","article-title":"Combinatorial Bitstring Semantics for Arbitrary Logical Fragments","volume":"47","author":"Demey","year":"2018","journal-title":"J. Philos. Log."},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Frijters, S., and Demey, L. (2023). The Modal Logic of Aristotelian Diagrams. Axioms, 12.","DOI":"10.3390\/axioms12050471"},{"key":"ref_44","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s11787-008-0038-y","article-title":"Setting n-Opposition","volume":"2","author":"Pellissier","year":"2008","journal-title":"Log. Univers."},{"key":"ref_45","unstructured":"Keynes, J.N. (1894). Studies and Exercises in Formal Logic, MacMillan. [3rd ed.]."},{"key":"ref_46","unstructured":"Johnson, W. (1921). Logic. Part I, Cambridge University Press."},{"key":"ref_47","unstructured":"Demey, L., and Smessaert, H. (2023). Aristotelian and Boolean Properties of the Keynes-Johnson Octagon of Opposition. Log. Geom., Under review."},{"key":"ref_48","doi-asserted-by":"crossref","unstructured":"Lemanski, J. (2020). Language, Logic, and Mathematics in Schopenhauer, Springer.","DOI":"10.1007\/978-3-030-33090-3"},{"key":"ref_49","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF00372546","article-title":"Computation of Aristotle\u2019s and Gergonne\u2019s Syllogisms","volume":"46","author":"Furs","year":"1987","journal-title":"Stud. Log."},{"key":"ref_50","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/s10849-015-9215-6","article-title":"Not only Barbara","volume":"24","author":"Dekker","year":"2015","journal-title":"J. Logic, Lang. Inf."},{"key":"ref_51","first-page":"189","article-title":"Essai de Dialectique Rationelle","volume":"7","author":"Gergonne","year":"1817","journal-title":"Ann. Math. Pures Appl."},{"key":"ref_52","first-page":"97","article-title":"La \u201cDialectique Rationnelle\u201d de Gergonne","volume":"25","author":"Giard","year":"1972","journal-title":"Rev. D\u2019Hist. Des Sci."},{"key":"ref_53","doi-asserted-by":"crossref","first-page":"207","DOI":"10.2307\/2268218","article-title":"The Gergonne relations","volume":"20","author":"Faris","year":"1955","journal-title":"J. Symb. Log."},{"key":"ref_54","doi-asserted-by":"crossref","first-page":"15","DOI":"10.2307\/2964053","article-title":"Eulerian Syllogistic","volume":"22","author":"Thomas","year":"1957","journal-title":"J. Symb. Log."},{"key":"ref_55","doi-asserted-by":"crossref","first-page":"305","DOI":"10.2307\/2963900","article-title":"Axioms for the \u201cGergonne\u201d-Relations","volume":"24","author":"Thomas","year":"1959","journal-title":"J. Symb. Log."},{"key":"ref_56","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1305\/ndjfl\/1093956427","article-title":"Independence of Faris-Rejection-Axioms","volume":"1","author":"Thomas","year":"1960","journal-title":"Notre Dame J. Form. Log."},{"key":"ref_57","doi-asserted-by":"crossref","unstructured":"Dwyer, T., Purchase, H., and Delaney, A. (2014). Diagrammatic Representation and Inference, Springer. LNCS 8578.","DOI":"10.1007\/978-3-662-44043-8"},{"key":"ref_58","doi-asserted-by":"crossref","unstructured":"Jamnik, M., Uesaka, Y., and Elzer Schwartz, S. (2016). Diagrammatic Representation and Inference, Springer. LNCS 9781.","DOI":"10.1007\/978-3-319-42333-3"},{"key":"ref_59","unstructured":"Garc\u00eda-Cruz, J.D., and Demey, L. (2023). Aristotelian Diagrams for the Ancient Discussion on Privative and Infinite Negation. Lorenz Demey, Under review."},{"key":"ref_60","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s11787-015-0136-6","article-title":"Metalogical Decorations of Logical Diagrams","volume":"10","author":"Demey","year":"2016","journal-title":"Log. Univers."},{"key":"ref_61","first-page":"453","article-title":"Metalogic, Metalanguage and Logical Geometry","volume":"248","author":"Demey","year":"2019","journal-title":"Log. Anal."},{"key":"ref_62","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1007\/BF02272290","article-title":"Pr\u00f3ba \u201cOdm\u0142odzenia\u201d kwadratu logicznego (The square of opposition\u2014A new approach)","volume":"1","author":"Greniewski","year":"1953","journal-title":"Stud. Log."},{"key":"ref_63","doi-asserted-by":"crossref","first-page":"3473","DOI":"10.1007\/s11229-015-0900-4","article-title":"Prior on Aristotle\u2019s Logical Squares","volume":"193","year":"2016","journal-title":"Synthese"},{"key":"ref_64","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/s11787-016-0148-x","article-title":"Logical Squares for Classical Logic Sentences","volume":"10","year":"2016","journal-title":"Log. Univers."},{"key":"ref_65","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/s11787-007-0022-y","article-title":"Logical Extensions of Aristotle\u2019s Square","volume":"2","author":"Luzeaux","year":"2008","journal-title":"Log. Univers."},{"key":"ref_66","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s11787-016-0142-3","article-title":"Generalization and Composition of Modal Squares of Opposition","volume":"10","author":"Pizzi","year":"2016","journal-title":"Log. Univers."},{"key":"ref_67","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Gerogiorgakis, S. (2017). New Dimensions of the Square of Opposition, Philosophia Verlag.","DOI":"10.2307\/j.ctv2nrzhd7"},{"key":"ref_68","doi-asserted-by":"crossref","first-page":"141","DOI":"10.5840\/newscholas196034215","article-title":"Contrariety and the Triangle of Opposites in Valid Inferences","volume":"34","author":"Jacoby","year":"1960","journal-title":"New Scholast."},{"key":"ref_69","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11787-012-0046-9","article-title":"The Power of the Hexagon","volume":"6","year":"2012","journal-title":"Log. Univers."},{"key":"ref_70","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s11787-011-0031-8","article-title":"The Classical Aristotelian Hexagon Versus the Modern Duality Hexagon","volume":"6","author":"Smessaert","year":"2012","journal-title":"Log. Univers."},{"key":"ref_71","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s11787-012-0045-x","article-title":"Why the Logical Hexagon?","volume":"6","author":"Moretti","year":"2012","journal-title":"Log. Univers."},{"key":"ref_72","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1215\/00294527-2798718","article-title":"The Cognitive Ontogenesis of Predicate Logic","volume":"55","author":"Seuren","year":"2014","journal-title":"Notre Dame J. Form. Log."},{"key":"ref_73","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1353\/lan.2014.0058","article-title":"Logico-cognitive structure in the lexicon","volume":"90","author":"Seuren","year":"2014","journal-title":"Language"},{"key":"ref_74","first-page":"1","article-title":"The Square of Opposition in Catholic Hands","volume":"233","author":"Jaspers","year":"2016","journal-title":"Log. Anal."},{"key":"ref_75","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s11787-009-0010-5","article-title":"On the 3D Visualisation of Logical Relations","volume":"3","author":"Smessaert","year":"2009","journal-title":"Log. Univers."}],"container-title":["Axioms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2075-1680\/13\/2\/76\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T13:48:32Z","timestamp":1760104112000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2075-1680\/13\/2\/76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,24]]},"references-count":75,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2024,2]]}},"alternative-id":["axioms13020076"],"URL":"https:\/\/doi.org\/10.3390\/axioms13020076","relation":{},"ISSN":["2075-1680"],"issn-type":[{"type":"electronic","value":"2075-1680"}],"subject":[],"published":{"date-parts":[[2024,1,24]]}}}