{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:15:45Z","timestamp":1760058945084,"version":"build-2065373602"},"reference-count":53,"publisher":"MDPI AG","issue":"5","license":[{"start":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T00:00:00Z","timestamp":1747267200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"ERC Starting Grant \u2018STARTDIALOG: Towards a Systematic Theory of Aristotelian Diagrams in Logical Geometry\u2019","award":["101040049"],"award-info":[{"award-number":["101040049"]}]},{"DOI":"10.13039\/501100000781","name":"European Union","doi-asserted-by":"publisher","award":["101040049"],"award-info":[{"award-number":["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>In logical geometry, Aristotelian diagrams are studied in a systematic fashion. Recent developments in this field have shown that the square of opposition generalizes in two ways, which correspond precisely to the theory of opposition (leading to \u03b1-structures) and the theory of implication (leading to ladders) it exhibits. These two kinds of Aristotelian diagrams are dual to each other, in the sense that they are the oppositional and implicative counterpart of the same construction. This paper formalizes this duality as OI-companionship, explores its properties, and applies it to various \u03c3-diagrams. This investigation shows that OI-companionship has some interesting, but unusual behaviors. While it is symmetric, and works well on the level of Aristotelian families, it lacks (ir)reflexivity, transitivity, functionality, and seriality. However, we show that all important Aristotelian families from the literature do have a unique OI-companion. These findings explore the limits that arise when extending the duality between opposition and implication beyond the limits of \u03b1-structures and ladders.<\/jats:p>","DOI":"10.3390\/axioms14050370","type":"journal-article","created":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T04:39:16Z","timestamp":1747283956000},"page":"370","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Opposition and Implication in Aristotelian Diagrams"],"prefix":"10.3390","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-4906-7130","authenticated-orcid":false,"given":"Alexander","family":"De Klerck","sequence":"first","affiliation":[{"name":"Institute of Philosophy, KU Leuven, 3000 Leuven, Belgium"}]}],"member":"1968","published-online":{"date-parts":[[2025,5,15]]},"reference":[{"key":"ref_1","unstructured":"Zalta, E.N. (2021). The Traditional Square of Opposition. The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University. [Fall 2021 ed.]."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Pietarinen, A.V., Chapman, P., Bosveld de Smet, L., Giardino, V., Corter, J., and Linker, S. (2020). Using Multigraphs to Study the Interaction Between Opposition, Implication and Duality Relations in Logical Squares. Proceedings of the Diagrammatic Representation and Inference, Tallinn, Estonia, 24\u201328 August 2020, Springer. LNCS 12169.","DOI":"10.1007\/978-3-030-54249-8"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/s10849-014-9207-y","article-title":"Logical geometries and information in the square of oppositions","volume":"23","author":"Smessaert","year":"2014","journal-title":"J. Logic Lang. Inf."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Jacquette, D. (2012). Boethius on the Square of Opposition. Around and Beyond the Square of Opposition, Springer.","DOI":"10.1007\/978-3-0348-0379-3"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Basti, G. (2017). The Unreasonable Effectiveness of Bitstrings in Logical Geometry. The Square of Opposition: A Cornerstone of Thought, Springer International Publishing.","DOI":"10.1007\/978-3-319-45062-9_1"},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s11787-016-0142-3","article-title":"Generalization and Composition of Modal Squares of Oppositions","volume":"10","author":"Pizzi","year":"2016","journal-title":"Log. Universalis"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s11787-024-00350-6","article-title":"Varieties of Cubes of Opposition","volume":"18","author":"Pizzi","year":"2024","journal-title":"Log. Universalis"},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Makinson, D. (2024). Display Conventions for Octagons of Opposition. Axioms, 13.","DOI":"10.3390\/axioms13050287"},{"key":"ref_9","unstructured":"Beziau, J.Y., and Vandoulakis, I. (2022). Logical Diagrams, Visualization Criteria, and Boolean Algebras. Proceedings of the The Exoteric Square of Opposition, Crete, Greece, 1\u20135 November 2018, Springer."},{"key":"ref_10","unstructured":"Beziau, J.Y., and Vandoulakis, I. (2022). On the Transformations of the Square of Opposition from the Point of View of Institution Model Theory. Proceedings of the The Exoteric Square of Opposition, Crete, Greece, 1\u20135 November 2018, Springer."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Lemanski, J., Johansen, M.W., Manalo, E., Viana, P., Bhattacharjee, R., and Burns, R. (2024). Category Theory for Aristotelian Diagrams: The Debate on Singular Propositions. Proceedings of the Diagrammatic Representation and Inference, M\u00fcnster, Germany, 27 September\u20131 October 2024, Springer.","DOI":"10.1007\/978-3-031-71291-3"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E., and Viana, P. (2021). Combining and Relating Aristotelian Diagrams. Proceedings of the Diagrammatic Representation and Inference, Virtual, 28\u201330 September 2021, Springer.","DOI":"10.1007\/978-3-030-86062-2"},{"key":"ref_13","first-page":"49","article-title":"Morphisms Between Aristotelian Diagrams","volume":"18","author":"Vignero","year":"2023","journal-title":"Log. Universalis"},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"De Klerck, A., and Demey, L. (2024). Alpha-Structures and Ladders in Logical Geometry. Stud. Log.","DOI":"10.1007\/s11225-024-10142-0"},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF01237915","article-title":"Epistemic Appraisal and the Cartesian Circle","volume":"27","author":"Feldman","year":"1975","journal-title":"Philos. Stud."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/analys\/25.1.1","article-title":"The Analysis of \u2018Knowledge That p\u2019","volume":"25","author":"Sosa","year":"1964","journal-title":"Analysis"},{"key":"ref_17","first-page":"1","article-title":"Supererogation and Offence: A Conceptual Scheme for Ethics","volume":"5","author":"Chisholm","year":"1963","journal-title":"Ratio"},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"100","DOI":"10.5840\/monist19705414","article-title":"Aristotle and the Moral Square of Opposition","volume":"54","author":"Gildin","year":"1970","journal-title":"Monist"},{"key":"ref_19","first-page":"419","article-title":"Obligation and Permission: On a \u2018Deontic Hexagon\u2019 in Marsilius of Padua","volume":"28","author":"Tierney","year":"2007","journal-title":"Hist. Political Thought"},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/j.fss.2013.05.006","article-title":"Analysis of Generalized Square of Opposition with Intermediate Quantifiers","volume":"242","year":"2014","journal-title":"Fuzzy Sets Syst."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1016\/j.ijar.2017.05.014","article-title":"Probabilistic Squares and Hexagons of Opposition under Coherence","volume":"88","author":"Pfeifer","year":"2017","journal-title":"Int. J. Approx. Reason."},{"key":"ref_22","unstructured":"Horn, L.R. (1989). A Natural History of Negation, University of Chicago Press."},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Israel, M. (2011). The Grammar of Polarity: Pragmatics, Sensitivity, and the Logic of Scales, Cambridge University Press. Cambridge Studies in Linguistics.","DOI":"10.1017\/CBO9780511975288"},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10988-013-9130-8","article-title":"Constraints on the Lexicalization of Logical Operators","volume":"36","author":"Katzir","year":"2013","journal-title":"Linguist. Philos."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Levinson, S.C. (2000). Presumptive Meanings: The Theory of Generalized Conversational Implicature, The MIT Press.","DOI":"10.7551\/mitpress\/5526.001.0001"},{"key":"ref_26","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_27","doi-asserted-by":"crossref","first-page":"1017","DOI":"10.1093\/jigpal\/jzt008","article-title":"Universal vs. Particular Reasoning: A Study with Neuroimaging Techniques","volume":"21","author":"Abrusci","year":"2013","journal-title":"Log. J. IGPL"},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Porcaro, C., Medaglia, M.T., Thai, N.J., Seri, S., Rotshtein, P., and Tecchio, F. (2014). Contradictory Reasoning Network: An EEG and fMRI Study. PLoS ONE, 9.","DOI":"10.1371\/journal.pone.0092835"},{"key":"ref_29","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. Informaticae"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/s10472-015-9480-8","article-title":"Structures of Opposition Induced by Relations","volume":"76","author":"Ciucci","year":"2016","journal-title":"Ann. Math. Artif. Intell."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1016\/j.ijar.2017.02.006","article-title":"Graded Cubes of Opposition and Possibility Theory with Fuzzy Events","volume":"84","author":"Dubois","year":"2017","journal-title":"Int. J. Approx. Reason."},{"key":"ref_32","first-page":"49","article-title":"Duality in Rough Set Theory Based on the Square of Opposition","volume":"127","author":"Yao","year":"2013","journal-title":"Fundam. Inf."},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s10339-009-0265-z","article-title":"Deontic Reasoning Reviewed: Psychological Questions, Empirical Findings, and Current Theories","volume":"11","author":"Beller","year":"2010","journal-title":"Cogn. Process."},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/j.tics.2006.12.007","article-title":"Universal Moral Grammar: Theory, Evidence and the Future","volume":"11","author":"Mikhail","year":"2007","journal-title":"Trends Cogn. Sci."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1016\/S0022-5371(83)90328-6","article-title":"Drawing Inferences from Quantified Statements: A Study of the Square of Opposition","volume":"22","author":"Newstead","year":"1983","journal-title":"J. Verbal Learn. Verbal Behav."},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10579-009-9089-9","article-title":"FactBank: A Corpus Annotated with Event Factuality","volume":"43","author":"Pustejovsky","year":"2009","journal-title":"Lang. Resour. Eval."},{"key":"ref_37","doi-asserted-by":"crossref","unstructured":"Saur\u00ed, R. (2017). Building FactBank or How to Annotate Event Factuality One Step at a Time. Linguistic Annotation, Springer.","DOI":"10.1007\/978-94-024-0881-2_34"},{"key":"ref_38","unstructured":"Ball, L.J., and Thompson, V.A. (2017). International Handbook of Thinking and Reasoning, Routledge."},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Horn, L.R., and Ward, G. (2004). Handbook of Pragmatics, Blackwell.","DOI":"10.1111\/b.9780631225485.2005.00002.x"},{"key":"ref_40","unstructured":"Jackson, F., and Smith, M. (2005). The Oxford Handbook of Contemporary Philosophy, OUP Oxford."},{"key":"ref_41","doi-asserted-by":"crossref","unstructured":"Marquis, P., Papini, O., and Prade, H. (2020). A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, Reasoning and Learning, Springer International Publishing.","DOI":"10.1007\/978-3-030-06164-7"},{"key":"ref_42","first-page":"453","article-title":"Metalogic, Metalanguage and Logical Geometry","volume":"248","author":"Demey","year":"2019","journal-title":"Log. Anal."},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Givant, S., and Halmos, P. (2009). Introduction to Boolean Algebras, Springer. Undergraduate Texts in Mathematics.","DOI":"10.1007\/978-0-387-68436-9_2"},{"key":"ref_44","doi-asserted-by":"crossref","unstructured":"Diestel, R. (2024). Graph Theory, Springer. Graduate Texts in Mathematics.","DOI":"10.1007\/978-3-662-70107-2"},{"key":"ref_45","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_46","doi-asserted-by":"crossref","unstructured":"Jamnik, M., Uesaka, Y., and Elzer Schwartz, S. (2016). The Interaction Between Logic and Geometry in Aristotelian Diagrams. Proceedings of the Diagrammatic Representation and Inference, Philadelphia, PA, USA, 7\u201310 August 2016, Springer.","DOI":"10.1007\/978-3-319-42333-3"},{"key":"ref_47","unstructured":"De Klerck, A., Vignero, L., and Demey, L. (2025). Categories for the Working Logical Geometer, KU Leuven. (to be submitted)."},{"key":"ref_48","doi-asserted-by":"crossref","first-page":"1265","DOI":"10.1007\/s10992-024-09765-4","article-title":"Aristotelian and Boolean Properties of the Keynes-Johnson Octagon of Opposition","volume":"53","author":"Demey","year":"2024","journal-title":"J. Philos. Log."},{"key":"ref_49","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s10472-018-9585-y","article-title":"Geometric and cognitive differences between logical diagrams for the Boolean algebra B4","volume":"83","author":"Demey","year":"2018","journal-title":"Ann. Math. Artif. Intell."},{"key":"ref_50","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_51","doi-asserted-by":"crossref","unstructured":"Dwyer, T., Purchase, H., and Delaney, A. (2014). Logical and Geometrical Complementarities between Aristotelian Diagrams. Proceedings of the Diagrammatic Representation and Inference, Melbourne, VIC, Australia, 28 July\u20131 August 2014, Springer.","DOI":"10.1007\/978-3-662-44043-8"},{"key":"ref_52","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_53","doi-asserted-by":"crossref","unstructured":"Jamnik, M., Uesaka, Y., and Elzer Schwartz, S. (2016). Visualising the Boolean Algebra B4 in 3D. Proceedings of the Diagrammatic Representation and Inference, Philadelphia, PA, USA, 7\u201310 August 2016, Springer.","DOI":"10.1007\/978-3-319-42333-3"}],"container-title":["Axioms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2075-1680\/14\/5\/370\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T17:32:53Z","timestamp":1760031173000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2075-1680\/14\/5\/370"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,15]]},"references-count":53,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2025,5]]}},"alternative-id":["axioms14050370"],"URL":"https:\/\/doi.org\/10.3390\/axioms14050370","relation":{},"ISSN":["2075-1680"],"issn-type":[{"type":"electronic","value":"2075-1680"}],"subject":[],"published":{"date-parts":[[2025,5,15]]}}}