{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:55:18Z","timestamp":1743119718264,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031151453"},{"type":"electronic","value":"9783031151460"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15146-0_27","type":"book-chapter","created":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T23:02:27Z","timestamp":1662505347000},"page":"321-328","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Notion of\u00a0Diagrammatic Isomorphism in\u00a0Venn-Peirce Diagrams"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1904-3492","authenticated-orcid":false,"given":"Sumanta Sarathi","family":"Sharma","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,7]]},"reference":[{"key":"27_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139164030","volume-title":"The New Organon","author":"F Bacon","year":"2000","unstructured":"Bacon, F.: The New Organon. CUP, Cambridge (2000)"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Barwise, J., Etchemendy, J.: Visual information and visual reasoning. In: Allwein, G., Barwise, J. (Eds.), Logical Reasoning with Diagrams, pp. 3\u201326. OUP, New York (1996)","DOI":"10.1093\/oso\/9780195104271.003.0005"},{"key":"27_CR3","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1080\/01445349808837311","volume":"19","author":"G Boger","year":"2007","unstructured":"Boger, G.: Completion, reduction and analysis: three-proof theoretic processes in Aristotle\u2019s prior analytics. Hist. Philos. Log. 19, 187\u2013226 (2007)","journal-title":"Hist. Philos. Log."},{"key":"27_CR4","unstructured":"Bobzien S.: The Stanford Encylopedia of Philosophy. https:\/\/plato.stanford.edu\/archives\/sum 2020\/entries\/logic-ancient\/. Accessed 15 Apr 2020"},{"key":"27_CR5","unstructured":"Buridan, J.: Treatises on Consequences. (S. Read, Trans.) Fordham University Press, New York (2015)"},{"key":"27_CR6","volume-title":"Introduction to Logic","author":"IM Copi","year":"1972","unstructured":"Copi, I.M.: Introduction to Logic, 4th edn. Macmillan Publishing, New York (1972)","edition":"4"},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1017\/bsl.2018.59","volume":"25","author":"R Dyckhoff","year":"2019","unstructured":"Dyckhoff, R.: Indirect proof and inversions of syllogisms. Bull. Symb. Log. 25, 196\u2013207 (2019)","journal-title":"Bull. Symb. Log."},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Dutilh Novaes, C.: The syllogism as defined by Aristotle, Ockham, and Buridan. In: Pelletier, J., Roques, M. (Eds.) The Language of Thought in Late Medieval (2017)","DOI":"10.1007\/978-3-319-66634-1_14"},{"key":"27_CR9","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1006\/jvlc.1999.0130","volume":"10","author":"C Gurr","year":"1999","unstructured":"Gurr, C.: Effective diagrammatic communication: syntactic, semantic and pragmatic issues. J. Visual Lang. Comput. 10, 317\u2013342 (1999)","journal-title":"J. Visual Lang. Comput."},{"key":"27_CR10","volume-title":"Logic: A Comprehensive Introduction","author":"SD Guttenplan","year":"1978","unstructured":"Guttenplan, S.D., Tamny, M.: Logic: A Comprehensive Introduction, 2nd edn. Basic Books Inc., New York (1978)","edition":"2"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1305\/ndjfl\/1093882406","volume":"20","author":"DJ Hadgopoulos","year":"1979","unstructured":"Hadgopoulos, D.J.: The principle of the division into four figures in traditional logic. Notre Dame J. Formal Log. 20, 92\u201394 (1979)","journal-title":"Notre Dame J. Formal Log."},{"key":"27_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/01445349808837293","volume":"19","author":"E Hammer","year":"2007","unstructured":"Hammer, E., Shin, S.-J.: Euler\u2019s visual logic. Hist. Philos. Log. 19, 1\u201329 (2007)","journal-title":"Hist. Philos. Log."},{"key":"27_CR13","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1086\/287022","volume":"16","author":"P Henle","year":"1949","unstructured":"Henle, P.: On the fourth figure of the syllogism. Philos. Sci. 16, 94\u2013104 (1949)","journal-title":"Philos. Sci."},{"key":"27_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-46037-3_18","volume-title":"Diagrammatic Representation and Inference","author":"J Howse","year":"2002","unstructured":"Howse, J., Molina, F., Shin, S.-J., Taylor, J.: On diagram tokens and types. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol. 2317, pp. 146\u2013160. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46037-3_18"},{"key":"27_CR15","volume-title":"A Concise Introduction to Logic","author":"PJ Hurley","year":"1999","unstructured":"Hurley, P.J.: A Concise Introduction to Logic, 7th edn. Wadsworth Publishing, California (1999)","edition":"7"},{"key":"27_CR16","volume-title":"Aristotle Logical Theory","author":"J Lear","year":"1980","unstructured":"Lear, J.: Aristotle Logical Theory. CUP, New York (1980)"},{"key":"27_CR17","volume-title":"The Basic Works of Aristotle","author":"R McKeon","year":"1941","unstructured":"McKeon, R.: The Basic Works of Aristotle. Random House, New York (1941)"},{"issue":"4","key":"27_CR18","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s10849-015-9228-1","volume":"24","author":"A Moktefi","year":"2015","unstructured":"Moktefi, A., Pietarinen, A.-V.: On the diagrammatic representation of existential statements with Venn diagrams. J. Log. Lang. Inf. 24(4), 361\u2013374 (2015). https:\/\/doi.org\/10.1007\/s10849-015-9228-1","journal-title":"J. Log. Lang. Inf."},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"Moktefi, A., Shin, S.-J.: A history of logic diagrams. In: Gabbay, D.M., Pelletier, F.J. (Eds.), Handbook of the History of Logic, pp. 611\u2013680. Elsevier, Amsterdam (2012)","DOI":"10.1016\/B978-0-444-52937-4.50011-3"},{"key":"27_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0787-9","volume-title":"Aristotle\u2019s Theory of Syllogism: A Logico-Philological Study of Book A of the Prior Analytics","author":"G Patzig","year":"1968","unstructured":"Patzig, G.: Aristotle\u2019s Theory of Syllogism: A Logico-Philological Study of Book A of the Prior Analytics. D. Reidel Publishing Company, Dodrecht-Holland (1968)"},{"key":"27_CR21","unstructured":"Peirce, C.S.: Collected Papers. HUP, Cambridge (1933)"},{"key":"27_CR22","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1086\/287216","volume":"19","author":"GK Plochmann","year":"1952","unstructured":"Plochmann, G.K.: Professor Henle on the four figures of syllogism. Philos. Sci. 19, 333\u2013341 (1952)","journal-title":"Philos. Sci."},{"key":"27_CR23","unstructured":"Read, S.: Aristotle\u2019s Theory of Assertoric Syllogism. https:\/\/www.st-andrews.ac.uk\/~slr\/The_Syllogism.pdf. Accessed 21 June 2020"},{"key":"27_CR24","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1353\/hph.2008.1365","volume":"3","author":"N Rescher","year":"1965","unstructured":"Rescher, N.: New light from the Arabic sources on Galen and the fourth figure of the syllogism. J. Hist. Philos. 3, 27\u201341 (1965)","journal-title":"J. Hist. Philos."},{"key":"27_CR25","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1093\/mind\/LXXIV.295.382","volume":"74","author":"LE Rose","year":"1965","unstructured":"Rose, L.E.: Aristotle\u2019s syllogistic and the fourth figure. Mind 74, 382\u2013389 (1965)","journal-title":"Mind"},{"key":"27_CR26","doi-asserted-by":"publisher","first-page":"14","DOI":"10.2307\/750661","volume":"28","author":"A Sabra","year":"1965","unstructured":"Sabra, A.: A twelfth-century defence of the fourth figure of the syllogism. J. Warburg Courtauld Inst. 28, 14\u201328 (1965)","journal-title":"J. Warburg Courtauld Inst."},{"key":"27_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/978-3-319-91376-6_61","volume-title":"Diagrammatic Representation and Inference","author":"S Sarathi Sharma","year":"2018","unstructured":"Sarathi Sharma, S.: Depicting the redundancy of fourth figure using Venn-Peirce framework. In: Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S., Bellucci, F. (eds.) Diagrams 2018. LNCS (LNAI), vol. 10871, pp. 689\u2013696. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91376-6_61"},{"key":"27_CR28","doi-asserted-by":"crossref","unstructured":"Shimojima, A.: Operational constraints in diagrammatic reasoning. In: Allwein, G., Barwise, J. (Eds.), Logical Reasoning with Diagrams, pp. 27\u201348. OUP, New York (1996)","DOI":"10.1093\/oso\/9780195104271.003.0006"},{"key":"27_CR29","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1080\/01445349408837224","volume":"15","author":"S-J Shin","year":"2007","unstructured":"Shin, S.-J.: Peirce and the logical status of diagrams. Hist. Philos. Log. 15, 45\u201368 (2007)","journal-title":"Hist. Philos. Log."},{"key":"27_CR30","volume-title":"Introduction to Logical Theory","author":"P Strawson","year":"1952","unstructured":"Strawson, P.: Introduction to Logical Theory. Metheun, London (1952)"},{"key":"27_CR31","doi-asserted-by":"crossref","unstructured":"Thom, P.: The syllogism and its transformations. In: Dutilh-Novaes, C., Read, S. (Eds.) The Cambridge Companion to Medieval Logic, pp. 290\u2013315. CUP, Cambridge (2016)","DOI":"10.1017\/CBO9781107449862.013"},{"key":"27_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/14786448008626877","volume":"10","author":"J Venn","year":"1880","unstructured":"Venn, J.: On the diagrammatic and mechanical representation of propositions and reasonings. Philos. Mag. 10, 1\u201318 (1880)","journal-title":"Philos. Mag."},{"key":"27_CR33","doi-asserted-by":"publisher","DOI":"10.1037\/14127-000","volume-title":"Symbolic Logic","author":"J Venn","year":"1881","unstructured":"Venn, J.: Symbolic Logic. Macmillan and Company, London (1881)"},{"key":"27_CR34","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1080\/01445348808837127","volume":"9","author":"C Williamson","year":"1988","unstructured":"Williamson, C.: How many syllogisms are there? Hist. Philos. Log. 9, 77\u201385 (1988)","journal-title":"Hist. Philos. Log."}],"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-15146-0_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T23:07:00Z","timestamp":1662505620000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15146-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031151453","9783031151460"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15146-0_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"7 September 2022","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":"Rome","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"diagrams2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.diagrams-conference.org\/2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"58","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.03","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.9","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5 other types of papers were also accepted","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}