{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T02:06:07Z","timestamp":1760234767879,"version":"build-2065373602"},"reference-count":75,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T00:00:00Z","timestamp":1624320000000},"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":["BITSHARE"],"award-info":[{"award-number":["BITSHARE"]}],"id":[{"id":"10.13039\/501100004040","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Axioms"],"abstract":"<jats:p>Aristotelian diagrams, such as the square of opposition, are well-known in the context of normal modal logics (i.e., systems of modal logic which can be given a relational semantics in terms of Kripke models). This paper studies Aristotelian diagrams for non-normal systems of modal logic (based on neighborhood semantics, a topologically inspired generalization of relational semantics). In particular, we investigate the phenomenon of logic-sensitivity of Aristotelian diagrams. We distinguish between four different types of logic-sensitivity, viz. with respect to (i) Aristotelian families, (ii) logical equivalence of formulas, (iii) contingency of formulas, and (iv) Boolean subfamilies of a given Aristotelian family. We provide concrete examples of Aristotelian diagrams that illustrate these four types of logic-sensitivity in the realm of normal modal logic. Next, we discuss more subtle examples of Aristotelian diagrams, which are not sensitive with respect to normal modal logics, but which nevertheless turn out to be highly logic-sensitive once we turn to non-normal systems of modal logic.<\/jats:p>","DOI":"10.3390\/axioms10030128","type":"journal-article","created":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T13:02:10Z","timestamp":1624366930000},"page":"128","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics"],"prefix":"10.3390","volume":"10","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"}]}],"member":"1968","published-online":{"date-parts":[[2021,6,22]]},"reference":[{"key":"ref_1","unstructured":"Zalta, E.N. (2017). The Traditional Square of Opposition. Stanford Encyclopedia of Philosophy (Summer 2017 Edition), CSLI."},{"key":"ref_2","first-page":"1","article-title":"The Square of Opposition in Catholic Hands: A Chapter in the History of 20th-Century Logic","volume":"59","author":"Jaspers","year":"2016","journal-title":"Log. Anal."},{"key":"ref_3","unstructured":"Pozzi, L. (1974). Studi di Logica Antica e Medioevale, Liviana Editrice."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Li, T., Nguyen, H.S., Wang, G., Grzymala-Busse, J., Janicki, R., Hassanien, A.E., and Yu, H. (2012). Oppositions in Rough Set Theory. Rough Sets and Knowledge Technology, Springer.","DOI":"10.1007\/978-3-642-31900-6"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Beierle, C., and Meghini, C. (2014). The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis\u2014Toward a New Bridge between the Two Settings. Foundations of Information and Knowledge Systems (FoIKS 2014), Springer.","DOI":"10.1007\/978-3-319-04939-7"},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"49","DOI":"10.3233\/FI-2013-895","article-title":"Duality in Rough Set Theory Based on the Square of Opposition","volume":"127","author":"Yao","year":"2013","journal-title":"Fundam. Inform."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s11787-011-0039-0","article-title":"From Blanch\u00e9\u2019s Hexagonal Organization of Concepts to Formal Concept Analysis and Possibility Theory","volume":"6","author":"Dubois","year":"2012","journal-title":"Log. Universalis"},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Baixeries, J., Sacarea, C., and Ojeda-Aciego, M. (2015). Formal Concept Analysis from the Standpoint of Possibility Theory. Formal Concept Analysis (ICFCA 2015), Springer.","DOI":"10.1007\/978-3-319-19545-2"},{"key":"ref_9","unstructured":"Calimeri, F., Leona, N., and Manna, M. (2019). Possibilistic Logic: From Certainty-Qualified Statements to Two-Tiered Logics\u2014A Prospective Survey. Logics in Artificial Intelligence (JELIA 2019), Springer."},{"key":"ref_10","unstructured":"Cabalar, P., Herzig, M.D.A., and Pearce, D. (2016). Foundations for a Logic of Arguments. Logical Reasoning and Computation: Essays Dedicated to Luis Fari\u00f1as del Cerro, IRIT."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"19","DOI":"10.4018\/jcini.2012070102","article-title":"Can AI Models Capture Natural Language Argumentation?","volume":"6","author":"Amgoud","year":"2012","journal-title":"Int. J. Cogn. Inform. Nat. Intell."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"H\u00fcllermeier, E. (2012). Towards a Logic of Argumentation. Scalable Uncertainty Management 2012, Springer.","DOI":"10.1007\/978-3-642-33362-0"},{"key":"#cr-split#-ref_13.1","unstructured":"van der Gaag, L.C. (2013). Amgoud, L."},{"key":"#cr-split#-ref_13.2","unstructured":"Prade, H. A Formal Concept View of Formal Argumentation. Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2013), Springer."},{"key":"ref_14","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_15","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_16","doi-asserted-by":"crossref","unstructured":"Magdalena, L., Verdegay, J.L., and Esteva, F. (2015). Gradual Structures of Oppositions. Enric Trillas: A Passion for Fuzzy Sets, Springer.","DOI":"10.1007\/978-3-319-16235-5"},{"key":"ref_17","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_18","unstructured":"Laurent, A. (2014). Analogical Proportions and Square of Oppositions. Information Processing and Management of Uncertainty in Knowledge-Based Systems 2014, Part II, Springer."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/s11787-013-0089-6","article-title":"From Analogical Proportion to Logical Proportions","volume":"7","author":"Prade","year":"2013","journal-title":"Log. Universalis"},{"key":"ref_20","unstructured":"Pasi, G., Montero, J., and Ciucci, D. (2013, January 11\u201313). Picking the one that does not fit \u2013 A matter of logical proportions. Proceedings of the 8th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13), Milan, Italy."},{"key":"ref_21","unstructured":"Carvalho, J.P. (2016). On Different Ways to be (dis)similar to Elements in a Set. Boolean Analysis and Graded Extension. Information Processing and Management of Uncertainty in Knowledge-Based Systems 2016, Part II, Springer."},{"key":"ref_22","unstructured":"Dodig-Crnkovic, G., and Giovagnoli, R. (2017). From the Structures of Opposition Between Similarity and Dissimilarity Indicators to Logical Proportions. Representation and Reality in Humans, Other Living Organisms and Intelligent Machines, Springer."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/s11787-020-00241-6","article-title":"Structures of Opposition and Comparisons: Boolean and Gradual Cases","volume":"14","author":"Dubois","year":"2020","journal-title":"Log. Universalis"},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1016\/j.jal.2015.09.012","article-title":"Transitivity in Coherence-Based Probability Logic","volume":"14","author":"Gilio","year":"2016","journal-title":"J. Appl. Log."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Ferraro, M.B. (2017). Square of Opposition under Coherence. Soft Methods for Data Science, Springer.","DOI":"10.1007\/978-3-319-42972-4"},{"key":"ref_26","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_27","unstructured":"Yang, Q., and Wooldridge, M. (2015, January 25\u201331). The Cube of Opposition\u2014A Structure underlying many Knowledge Representation Formalisms. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina."},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Esposito, F. (2015). The Cube of Opposition and the Complete Appraisal of Situations by Means of Sugeno Integrals. Foundations of Intelligent Systems (ISMIS 2015), Springer.","DOI":"10.1007\/978-3-319-25252-0"},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Kacprzyk, J., Filev, D., and Beliakov, G. (2017). Organizing Families of Aggregation Operators into a Cube of Opposition. Granular, Soft and Fuzzy Approaches for Intelligent Systems, Springer.","DOI":"10.1007\/978-3-319-40314-4"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1163\/156852884X00139","article-title":"Apuleius and the Square of Opposition","volume":"29","author":"Londey","year":"1984","journal-title":"Phronesis"},{"key":"ref_31","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_32","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Gerogiorgakis, S. (2017). Is Aristotle the Father of the Square of Opposition?. New Dimensions of the Square of Opposition, Philosophia Verlag.","DOI":"10.2307\/j.ctv2nrzhd7"},{"key":"ref_33","first-page":"313","article-title":"Aristotle\u2019s Squares of Opposition","volume":"3","author":"Correia","year":"2017","journal-title":"S. Am. J. Log."},{"key":"ref_34","unstructured":"Zalta, E.N. (2017). Medieval Theories of Modality. Stanford Encyclopedia of Philosophy (Summer 2017 Edition), CSLI."},{"key":"ref_35","unstructured":"Geudens, C., and Demey, L. (2021). On the Aristotelian Roots of the Modal Square of Opposition, Submitted."},{"key":"ref_36","unstructured":"Geudens, C., and Demey, L. (2021). Modal Logic in the Post-Medieval Period. The Case of John Fabri (c. 1500), Submitted."},{"key":"ref_37","unstructured":"Konyndyk, K. (1986). Introductory Modal Logic, University of Notre Dame Press."},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Fitting, M., and Mendelsohn, R.L. (1998). First-Order Modal Logic, Kluwer.","DOI":"10.1007\/978-94-011-5292-1"},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Carnielli, W., and Pizzi, C. (2008). Modalities and Multimodalities, Springer.","DOI":"10.1007\/978-1-4020-8590-1"},{"key":"ref_40","unstructured":"Borkowski, L. (1970). A System of Modal Logic. Selected Works, North Holland Publishing Company."},{"key":"ref_41","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.jal.2004.07.009","article-title":"Paraconsistent logic from a modal viewpoint","volume":"3","year":"2005","journal-title":"J. Appl. Log."},{"key":"ref_42","first-page":"279","article-title":"Nearly Every Normal Modal Logic is Paranormal","volume":"48","author":"Marcos","year":"2005","journal-title":"Log. Anal."},{"key":"ref_43","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/s11787-007-0028-5","article-title":"Applications of Squares of Oppositions and Their Generalizations in Philosophical Analysis","volume":"2","year":"2008","journal-title":"Log. Universalis"},{"key":"ref_44","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. Universalis"},{"key":"ref_45","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. Universalis"},{"key":"ref_46","unstructured":"Moretti, A. (2009). The Geometry of Logical Opposition. [Ph.D. Thesis, University of Neuch\u00e2tel]."},{"key":"ref_47","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. Universalis"},{"key":"ref_48","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Jacquette, D. (2012). Structures of Oppositions for Public Announcement Logic. Around and Beyond the Square of Opposition, Springer.","DOI":"10.1007\/978-3-0348-0379-3"},{"key":"ref_49","doi-asserted-by":"crossref","unstructured":"Koslow, A., and Buchsbaum, A. (2015). B\u00e9ziau\u2019s Contributions to the Logical Geometry of Modalities and Quantifiers. The Road to Universal Logic, Springer.","DOI":"10.1007\/978-3-319-10193-4"},{"key":"ref_50","doi-asserted-by":"crossref","unstructured":"Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S., and Bellucci, F. (2018). Aristotelian and Duality Relations Beyond the Square of Opposition. Diagrammatic Representation and Inference, Springer.","DOI":"10.1007\/978-3-319-91376-6"},{"key":"ref_51","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/s10849-014-9207-y","article-title":"Logical Geometries and Information in the Square of Opposition","volume":"23","author":"Smessaert","year":"2014","journal-title":"J. Logic Lang. Inf."},{"key":"ref_52","doi-asserted-by":"crossref","unstructured":"Christiansen, H., Stojanovic, I., and Papadopoulos, G. (2015). Interactively Illustrating the Context-Sensitivity of Aristotelian Diagrams. Modeling and Using Context, Springer.","DOI":"10.1007\/978-3-319-25591-0"},{"key":"ref_53","doi-asserted-by":"crossref","unstructured":"Demey, L., and Smessaert, H. (2017). Logical and Geometrical Distance in Polyhedral Aristotelian Diagrams in Knowledge Representation. Symmetry, 9.","DOI":"10.3390\/sym9100204"},{"key":"ref_54","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_55","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_56","first-page":"453","article-title":"Metalogic, Metalanguage and Logical Geometry","volume":"248","author":"Demey","year":"2019","journal-title":"Log. Anal."},{"key":"ref_57","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_58","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. Diagrammatic Representation and Inference, Springer.","DOI":"10.1007\/978-3-030-54249-8"},{"key":"ref_59","doi-asserted-by":"crossref","unstructured":"Pietarinen, A.V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J., and Linker, S. (2020). Free Rides in Logical Space Diagrams Versus Aristotelian Diagrams. Diagrammatic Representation and Inference, Springer.","DOI":"10.1007\/978-3-030-54249-8"},{"key":"ref_60","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s11229-018-01994-w","article-title":"Aristotelian Diagrams for Semantic and Syntactic Consequence","volume":"198","author":"Demey","year":"2021","journal-title":"Synthese"},{"key":"ref_61","doi-asserted-by":"crossref","unstructured":"Pacuit, E. (2017). Neighborhood Semantics for Modal Logic, Springer.","DOI":"10.1007\/978-3-319-67149-9"},{"key":"ref_62","unstructured":"Segerberg, K. (1971). An Essay in Classical Modal Logic, Uppsala Universitet."},{"key":"ref_63","doi-asserted-by":"crossref","unstructured":"Chellas, B.F. (1980). Modal Logic. An Introduction, Cambridge University Press.","DOI":"10.1017\/CBO9780511621192"},{"key":"ref_64","doi-asserted-by":"crossref","unstructured":"Dwyer, T., Purchase, H., and Delaney, A. (2014). The Relationship between Aristotelian and Hasse Diagrams. Diagrammatic Representation and Inference, Springer.","DOI":"10.1007\/978-3-662-44043-8"},{"key":"ref_65","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1080\/01445340.2018.1531481","article-title":"Boolean Considerations on John Buridan\u2019s Octagons of Oppositions","volume":"40","author":"Demey","year":"2019","journal-title":"Hist. Philos. Log."},{"key":"ref_66","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_67","unstructured":"Sesmat, A. (1951). Logique II. Les Raisonnements. La Syllogistique, Hermann."},{"key":"ref_68","unstructured":"Blanch\u00e9, R. (1966). Structures Intellectuelles, Vrin."},{"key":"ref_69","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. Universalis"},{"key":"ref_70","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.","DOI":"10.1007\/978-3-319-45062-9"},{"key":"ref_71","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/s11841-017-0632-7","article-title":"Aristotelian Diagrams in the Debate on Future Contingents","volume":"58","author":"Demey","year":"2019","journal-title":"Sophia"},{"key":"ref_72","unstructured":"Wong, W., Vennekens, J., Schaeken, W., and Demey, L. (2021, January 1\u201312). Extending Knowledge Space Theory to contingent information with bitstring semantics. Proceedings of the MathPsych\/ICCM 2021\u2014Annual Joint Meeting of the Society for Mathematical Psychology and the International Conference on Cognitive Modeling, Online."},{"key":"ref_73","unstructured":"Wong, W., Vennekens, J., Demey, L., and Schaeken, W. (2021, January 5\u20138). Complexity Evaluation on Different DMN Table Representations with Bitstring Semantics. Proceedings of the 54th Hawaii International Conference on System Sciences, Seattle, WA, USA."},{"key":"ref_74","unstructured":"Hansen, H.H. (2003). Monotonic Modal Logics. [Master\u2019s Thesis, ILLC, Universiteit van Amsterdam]."}],"container-title":["Axioms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2075-1680\/10\/3\/128\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T06:21:16Z","timestamp":1760163676000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2075-1680\/10\/3\/128"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,22]]},"references-count":75,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2021,9]]}},"alternative-id":["axioms10030128"],"URL":"https:\/\/doi.org\/10.3390\/axioms10030128","relation":{},"ISSN":["2075-1680"],"issn-type":[{"type":"electronic","value":"2075-1680"}],"subject":[],"published":{"date-parts":[[2021,6,22]]}}}