{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:19:45Z","timestamp":1742991585555,"version":"3.40.3"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031712906"},{"type":"electronic","value":"9783031712913"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-71291-3_9","type":"book-chapter","created":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:02:00Z","timestamp":1725804120000},"page":"111-128","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Euler Diagrams, Aristotelian Diagrams and\u00a0Syllogistics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0176-1958","authenticated-orcid":false,"given":"Lorenz","family":"Demey","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8186-0170","authenticated-orcid":false,"given":"Hans","family":"Smessaert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,9]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1111\/j.1755-2567.1953.tb01013.x","volume":"19","author":"R Blanch\u00e9","year":"1953","unstructured":"Blanch\u00e9, R.: Sur l\u2019opposition des concepts. Theoria 19, 89\u2013130 (1953)","journal-title":"Theoria"},{"key":"9_CR2","doi-asserted-by":"publisher","unstructured":"Bolz, R.: Logical diagrams, visualization criteria, and Boolean algebras. In: Beziau, J.Y., Vandoulakis, I. (eds.) The Exoteric Square of Opposition, pp. 195\u2013224. Studies in Universal Logic. Birkh\u00e4user, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-90823-2_9","DOI":"10.1007\/978-3-030-90823-2_9"},{"key":"9_CR3","doi-asserted-by":"publisher","unstructured":"Bourou, D., Schorlemmer, M., Plaza, E.: Euler vs Hasse diagrams for reasoning about sets: a cognitive approach. In: Giardino, V., Linker, S., Burns, R., Bellucci, F., Boucheix, J.M., Viana, P. (eds.) Diagrammatic Representation and Inference. Diagrams 2022. LNCS, vol. 13462, pp. 151\u2013167. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15146-0_13","DOI":"10.1007\/978-3-031-15146-0_13"},{"key":"9_CR4","unstructured":"Bourou, D., Schorlemmer, M., Plaza, E.: An image-schematic analysis of Hasse and Euler diagrams. In: Hedblom, M.M., Kutz, O. (eds.) ISD7 \u2013 Proceedings of the 7th Image Schema Day 2023, pp.\u00a01\u20138. CEUR-WS 3511, CEUR-WS (2023)"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1163\/15685284-bja10078","volume":"68","author":"R Christensen","year":"2023","unstructured":"Christensen, R.: The first square of opposition. Phronesis 68, 371\u2013383 (2023)","journal-title":"Phronesis"},{"key":"9_CR6","unstructured":"Copi, I.M., Cohen, C.: Introduction to Logic, Eighth Edition. Prentice Hall, Hoboken (1990)"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1093\/mind\/LXIV.255.392","volume":"64","author":"T Cze\u017cowski","year":"1955","unstructured":"Cze\u017cowski, T.: On certain peculiarities of singular propositions. Mind 64, 392\u2013395 (1955)","journal-title":"Mind"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"1323","DOI":"10.1093\/logcom\/exy015","volume":"28","author":"L Demey","year":"2018","unstructured":"Demey, L.: Computing the maximal Boolean complexity of families of Aristotelian diagrams. J. Log. Comput. 28, 1323\u20131339 (2018)","journal-title":"J. Log. Comput."},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1080\/01445340.2018.1531481","volume":"40","author":"L Demey","year":"2019","unstructured":"Demey, L.: Boolean considerations on John Buridan\u2019s octagons of opposition. Hist. Philos. Log. 40, 116\u2013134 (2019)","journal-title":"Hist. Philos. Log."},{"key":"9_CR10","first-page":"453","volume":"248","author":"L Demey","year":"2019","unstructured":"Demey, L.: Metalogic, metalanguage and logical geometry. Logique et Anal. (N.S.) 248, 453\u2013478 (2019)","journal-title":"Logique et Anal. (N.S.)"},{"key":"9_CR11","series-title":"Studies in Universal Logic","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-030-33090-3_12","volume-title":"Language, Logic, and Mathematics in Schopenhauer","author":"L Demey","year":"2020","unstructured":"Demey, L.: From Euler diagrams in Schopenhauer to Aristotelian diagrams in logical geometry. In: Lemanski, J. (ed.) Language, Logic, and Mathematics in Schopenhauer. SUL, pp. 181\u2013205. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-33090-3_12"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3390\/axioms13020076","volume":"13","author":"L Demey","year":"2024","unstructured":"Demey, L., Erbas, A.: Boolean subtypes of the U4 hexagon of opposition. Axioms 13, 1\u201320 (2024)","journal-title":"Axioms"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-662-44043-8_23","volume-title":"Diagrammatic Representation and Inference","author":"L Demey","year":"2014","unstructured":"Demey, L., Smessaert, H.: The relationship between Aristotelian and Hasse diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS (LNAI), vol. 8578, pp. 213\u2013227. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44043-8_23"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s10992-017-9430-5","volume":"47","author":"L Demey","year":"2018","unstructured":"Demey, L., Smessaert, H.: Combinatorial bitstring semantics for arbitrary logical fragments. J. Philos. Log. 47, 325\u2013363 (2018)","journal-title":"J. Philos. Log."},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10472-018-9585-y","volume":"83","author":"L Demey","year":"2018","unstructured":"Demey, L., Smessaert, H.: Geometric and cognitive differences between Aristotelian diagrams for the Boolean algebra $$\\mathbb{B} _4$$. Ann. Math. Artif. Intell. 83, 185\u2013208 (2018)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9_CR16","doi-asserted-by":"publisher","unstructured":"Demey, L., Smessaert, H.: From Euler diagrams to Aristotelian diagrams. In: Giardino, V., Linker, S., Burns, R., Bellucci, F., Boucheix, J.M., Viana, P. (eds.) Diagrammatic Representation and Inference. Diagrams 2022. LNCS, vol. 13462, pp. 279\u2013295. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15146-0_24","DOI":"10.1007\/978-3-031-15146-0_24"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1080\/17498430600804407","volume":"21","author":"AWF Edwards","year":"2006","unstructured":"Edwards, A.W.F.: An eleventh-century Venn diagram. BSHM Bull. 21, 119\u2013121 (2006)","journal-title":"BSHM Bull."},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1016\/j.jvlc.2011.01.002","volume":"22","author":"A Fish","year":"2011","unstructured":"Fish, A., Khazaei, B., Roast, C.: User-comprehension of Euler diagrams. J. Vis. Lang. Comput. 22, 340\u2013354 (2011)","journal-title":"J. Vis. Lang. Comput."},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3390\/axioms12050471","volume":"12","author":"S Frijters","year":"2023","unstructured":"Frijters, S., Demey, L.: The modal logic of Aristotelian diagrams. Axioms 12, 1\u201326 (2023)","journal-title":"Axioms"},{"key":"9_CR20","first-page":"189","volume":"7","author":"JD Gergonne","year":"1817","unstructured":"Gergonne, J.D.: Essai de dialectique rationelle. Annales des Math\u00e9matiques Pures et Appliqu\u00e9es 7, 189\u2013228 (1817)","journal-title":"Annales des Math\u00e9matiques Pures et Appliqu\u00e9es"},{"key":"9_CR21","first-page":"313","volume":"255","author":"C Geudens","year":"2021","unstructured":"Geudens, C., Demey, L.: On the Aristotelian roots of the modal square of opposition. Logique et Anal. (N.S.) 255, 313\u2013348 (2021)","journal-title":"Logique et Anal. (N.S.)"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"97","DOI":"10.3406\/rhs.1972.3284","volume":"25","author":"L Giard","year":"1972","unstructured":"Giard, L.: La Dialectique rationnelle de Gergonne. Revue d\u2019Histoire des Sciences 25, 97\u2013124 (1972)","journal-title":"Revue d\u2019Histoire des Sciences"},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/01445349808837293","volume":"19","author":"E Hammer","year":"1998","unstructured":"Hammer, E., Shin, S.J.: Euler\u2019s visual logic. Hist. Philos. Log. 19, 1\u201329 (1998)","journal-title":"Hist. Philos. Log."},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-46037-3_7","volume-title":"Diagrammatic Representation and Inference","author":"J Howse","year":"2002","unstructured":"Howse, J., Stapleton, G., Flower, J., Taylor, J.: Corresponding regions in Euler diagrams. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol. 2317, pp. 76\u201390. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46037-3_7"},{"key":"9_CR25","doi-asserted-by":"publisher","first-page":"32","DOI":"10.5840\/newscholas19502413","volume":"24","author":"P Jacoby","year":"1950","unstructured":"Jacoby, P.: A triangle of opposites for types of propositions in Aristotelian logic. New Scholasticism 24, 32\u201356 (1950)","journal-title":"New Scholasticism"},{"key":"9_CR26","unstructured":"Keynes, J.N.: Studies and Exercises in Formal Logic. MacMillan, New York (1884)"},{"key":"9_CR27","unstructured":"Khomskii, Y.: William of Sherwood, singular propositions and the hexagon of opposition. In: B\u00e9ziau, J.Y., Payette, G. (eds.) New Perspectives on the Square of Opposition. Peter Lang, Bern (2011)"},{"key":"9_CR28","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BF02548910","volume":"4","author":"Z Kraszewski","year":"1956","unstructured":"Kraszewski, Z.: Logika stosunk\u00f3w zakresowych. Stud. Log. 4, 63\u2013116 (1956)","journal-title":"Stud. Log."},{"key":"9_CR29","unstructured":"Kretzmann, N.: William of Sherwood\u2019s Introduction to Logic. Minnesota Archive Editions (1966)"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"50","DOI":"10.11590\/abhps.2017.1.03","volume":"5","author":"J Lemanski","year":"2017","unstructured":"Lemanski, J.: Periods in the use of Euler-type diagrams. Acta Baltica Historiae et Philosophiae Scientiarum 5, 50\u201369 (2017)","journal-title":"Acta Baltica Historiae et Philosophiae Scientiarum"},{"key":"9_CR31","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1080\/01445340.2017.1341074","volume":"39","author":"J Lemanski","year":"2018","unstructured":"Lemanski, J.: Logic diagrams in the Weigel and Weise circles. Hist. Philos. Log. 39, 3\u201328 (2018)","journal-title":"Hist. Philos. Log."},{"key":"9_CR32","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s10992-019-09522-y","volume":"49","author":"J Lemanski","year":"2020","unstructured":"Lemanski, J.: Euler-type diagrams and the quantification of the predicate. J. Philos. Log. 49, 401\u2013416 (2020)","journal-title":"J. Philos. Log."},{"key":"9_CR33","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-030-86062-2_13","volume-title":"Diagrammatic Representation and Inference","author":"J Lemanski","year":"2021","unstructured":"Lemanski, J., Demey, L.: Schopenhauer\u2019s partition diagrams and logical geometry. In: Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E., Viana, P. (eds.) Diagrams 2021. LNCS (LNAI), vol. 12909, pp. 149\u2013165. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-86062-2_13"},{"key":"9_CR34","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1163\/156852884X00139","volume":"29","author":"D Londey","year":"1984","unstructured":"Londey, D., Johanson, C.: Apuleius and the square of opposition. Phronesis 29, 165\u2013173 (1984)","journal-title":"Phronesis"},{"issue":"Suppl 3","key":"9_CR35","doi-asserted-by":"publisher","first-page":"S887","DOI":"10.1007\/s10516-022-09642-2","volume":"32","author":"A Moktefi","year":"2022","unstructured":"Moktefi, A., Lemanski, J.: On the origin of Venn diagrams. Axiomathes 32(Suppl 3), S887\u2013S900 (2022)","journal-title":"Axiomathes"},{"issue":"2","key":"9_CR36","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s11787-008-0038-y","volume":"2","author":"R Pellissier","year":"2008","unstructured":"Pellissier, R.: Setting $$n$$-opposition. Log. Univers. 2(2), 235\u2013263 (2008)","journal-title":"Log. Univers."},{"key":"9_CR37","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/978-3-030-54249-8_47","volume-title":"Diagrammatic Representation and Inference","author":"U Priss","year":"2020","unstructured":"Priss, U.: A semiotic-conceptual analysis of Euler and Hasse diagrams. In: Pietarinen, A.-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J., Linker, S. (eds.) Diagrams 2020. LNCS (LNAI), vol. 12169, pp. 515\u2013519. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-54249-8_47"},{"key":"9_CR38","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-030-72308-8_5","volume-title":"Graph Structures for Knowledge Representation and Reasoning","author":"U Priss","year":"2021","unstructured":"Priss, U.: Set visualisations with Euler and Hasse diagrams. In: Cochez, M., Croitoru, M., Marquis, P., Rudolph, S. (eds.) GKR 2020. LNCS (LNAI), vol. 12640, pp. 72\u201383. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-72308-8_5"},{"key":"9_CR39","unstructured":"Quine, W.V.O.: Methods of Logic (Revised Edition). Holt, Rinehart and Winston, New York (1966)"},{"key":"9_CR40","doi-asserted-by":"crossref","unstructured":"Rival, I.: The diagram. In: Rival, I. (ed.) Graphs and Order: The Role of Graphs in the Theory of Ordered Sets and Its Applications, pp. 103\u2013133. Springer, Dordrecht (1985)","DOI":"10.1007\/978-94-009-5315-4_3"},{"key":"9_CR41","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.jvlc.2013.08.006","volume":"25","author":"P Rodgers","year":"2014","unstructured":"Rodgers, P.: A survey of Euler diagrams. J. Vis. Lang. Comput. 25, 134\u2013155 (2014)","journal-title":"J. Vis. Lang. Comput."},{"key":"9_CR42","unstructured":"Sesmat, A.: Logique II. Hermann (1951)"},{"key":"9_CR43","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/s11787-009-0010-5","volume":"3","author":"H Smessaert","year":"2009","unstructured":"Smessaert, H.: On the 3D visualisation of logical relations. Log. Univers. 3, 303\u2013332 (2009)","journal-title":"Log. Univers."},{"key":"9_CR44","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/s10849-014-9207-y","volume":"23","author":"H Smessaert","year":"2014","unstructured":"Smessaert, H., Demey, L.: Logical geometries and information in the square of opposition. J. Logic Lang. Inform. 23, 527\u2013565 (2014)","journal-title":"J. Logic Lang. Inform."},{"key":"9_CR45","unstructured":"Stalnaker, R.C.: Inquiry. MIT Press, Cambridge (1984)"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71291-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,8]],"date-time":"2024-11-08T13:03:38Z","timestamp":1731071018000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71291-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031712906","9783031712913"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71291-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"9 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Diagrams","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Theory and Application of Diagrams","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"M\u00fcnster","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"diagrams2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/diagrams-2024.diagrams-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}