{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:24:17Z","timestamp":1742912657643,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"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:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T00:00:00Z","timestamp":1725840000000},"content-version":"vor","delay-in-days":252,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Recently, diagrams are more seen as logical systems. Curiously, Aristotelian diagrams, such as the square of opposition, have mostly been excluded from this. In this paper we challenge this prejudice and show that Aristotelian diagrams can be considered as proper logic diagrams that can be used to draw inferences. We do so by describing a logical system of Aristotelian diagrams: we provide a diagrammatic vocabulary and syntax, a set of axioms and (transformation) rules, and a formal semantics. We show how this diagrammatic logic system can be used to make inferences and argue that the crucial step here is to not only consider finished diagrams, but also unfinished diagrams; it is in the process of (re)constructing the diagram that the reasoning steps are made. We finish the paper by commenting on the soundness and completeness of the system.<\/jats:p>","DOI":"10.1007\/978-3-031-71291-3_22","type":"book-chapter","created":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:02:00Z","timestamp":1725804120000},"page":"275-283","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Aristotelian Diagrams as\u00a0Logic Diagrams"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3066-249X","authenticated-orcid":false,"given":"Stef","family":"Frijters","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1863-8777","authenticated-orcid":false,"given":"Atahan","family":"Erbas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,9]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Correia, M.: Boethius on the square of opposition. Around and beyond the square of opposition, pp. 41\u201352 (2012)","DOI":"10.1007\/978-3-0348-0379-3_3"},{"key":"22_CR2","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-031-15146-0_24","volume-title":"Diagrams 2022","author":"L Demey","year":"2022","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.) Diagrams 2022. LNCS, vol. 13462, pp. 279\u2013295. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15146-0_24"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-319-25252-0_21","volume-title":"Foundations of Intelligent Systems","author":"D Dubois","year":"2015","unstructured":"Dubois, D., Prade, H., Rico, A.: The cube of opposition and the complete appraisal of situations by means of Sugeno integrals. In: Esposito, F., Pivert, O., Hacid, M.-S., Ra\u015b, Z.W., Ferilli, S. (eds.) ISMIS 2015. LNCS (LNAI), vol. 9384, pp. 197\u2013207. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25252-0_21"},{"issue":"5","key":"22_CR4","doi-asserted-by":"publisher","first-page":"471","DOI":"10.3390\/axioms12050471","volume":"12","author":"S Frijters","year":"2023","unstructured":"Frijters, S., Demey, L.: The modal logic of Aristotelian diagrams. Axioms 12(5), 471 (2023)","journal-title":"Axioms"},{"issue":"1","key":"22_CR5","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. Logic 39(1), 3\u201328 (2018)","journal-title":"Hist. Philos. Logic"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-3-030-54249-8_35","volume-title":"Diagrammatic Representation and Inference","author":"J Lemanski","year":"2020","unstructured":"Lemanski, J., Jansen, L.: Calculus CL as a formal system. In: Pietarinen, A.-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J., Linker, S. (eds.) Diagrams 2020. LNCS (LNAI), vol. 12169, pp. 445\u2013460. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-54249-8_35"},{"key":"22_CR7","unstructured":"MacQueen, G.W.: The logic diagram. Master\u2019s thesis, McMaster University (1967)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Moktefi, A., Shin, S.J.: A history of logic diagrams. In: Handbook of the History of Logic, vol.\u00a011, pp. 611\u2013682. Elsevier (2012)","DOI":"10.1016\/B978-0-444-52937-4.50011-3"},{"key":"22_CR9","first-page":"31","volume":"2","author":"F Schang","year":"2013","unstructured":"Schang, F.: Logic in opposition. Studia Humana 2, 31\u201345 (2013)","journal-title":"Studia Humana"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-42333-3_7","volume-title":"Diagrammatic Representation and Inference","author":"A Shimojima","year":"2016","unstructured":"Shimojima, A., Barker-Plummer, D.: A generic approach to diagrammatic representation: the case of single feature indicator systems. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds.) Diagrams 2016. LNCS (LNAI), vol. 9781, pp. 83\u201397. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42333-3_7"},{"key":"22_CR11","volume-title":"The Logical Status of Diagrams","author":"SJ Shin","year":"1994","unstructured":"Shin, S.J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)"},{"key":"22_CR12","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 oppositions. J. Logic Lang. Inform. 23, 527\u2013565 (2014)","journal-title":"J. Logic Lang. Inform."},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/978-3-030-54249-8_33","volume-title":"Diagrammatic Representation and Inference","author":"H Smessaert","year":"2020","unstructured":"Smessaert, H., Shimojima, A., Demey, L.: Free rides in logical space diagrams versus Aristotelian 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. 419\u2013435. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-54249-8_33"}],"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_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,8]],"date-time":"2024-11-08T13:06:27Z","timestamp":1731071187000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71291-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031712906","9783031712913"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71291-3_22","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"}}]}}