{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:14Z","timestamp":1740122474708,"version":"3.37.3"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,10,30]],"date-time":"2020-10-30T00:00:00Z","timestamp":1604016000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,10,30]],"date-time":"2020-10-30T00:00:00Z","timestamp":1604016000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","doi-asserted-by":"publisher","award":["88887.475401\/2020-00"],"award-info":[{"award-number":["88887.475401\/2020-00"]}],"id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2021,3]]},"DOI":"10.1007\/s11023-020-09547-2","type":"journal-article","created":{"date-parts":[[2020,10,30]],"date-time":"2020-10-30T16:06:53Z","timestamp":1604074013000},"page":"99-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Information and Diagrammatic Reasoning: An Inferentialist Reading"],"prefix":"10.1007","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0583-4042","authenticated-orcid":false,"given":"Bruno Ramos","family":"Mendon\u00e7a","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,10,30]]},"reference":[{"key":"9547_CR1","first-page":"9","volume-title":"Visualization in mathematics","author":"J Barwise","year":"1990","unstructured":"Barwise, J., & Etchemendy, J. (1990). Visual information and valid reasoning. Visualization in mathematics (pp. 9\u201324). Washington: Mathematical Association of America."},{"key":"9547_CR2","volume-title":"Making it explicit: Reasoning, representing, and discursive commitment","author":"R Brandom","year":"1998","unstructured":"Brandom, R. (1998). Making it explicit: Reasoning, representing, and discursive commitment. Cambridge: Harvard University Press."},{"key":"9547_CR3","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199542871.001.0001","volume-title":"Between saying and doing: Towards an analytic Pragmatism","author":"R Brandom","year":"2008","unstructured":"Brandom, R. (2008). Appendix to chapter V. Between saying and doing: Towards an analytic Pragmatism. Oxford: Oxford University Press."},{"key":"9547_CR4","unstructured":"Bra\u00fcner, T. (1998). Peircean graphs for the modal logic S5. In International conference on conceptual structures (pp. 255\u2013269). New York: Springer."},{"key":"9547_CR5","volume-title":"Symbolic knowledge from Leibniz to Husserl","author":"AL Casanave","year":"2012","unstructured":"Casanave, A. L. (2012). Symbolic knowledge from Leibniz to Husserl. London: College Publications."},{"key":"9547_CR6","unstructured":"Chow, S., & Ruskey, F. (2003). Drawing area-proportional Venn and Euler diagrams. In International symposium on graph drawing (pp. 466\u2013477). New York: Springer."},{"key":"9547_CR7","unstructured":"Dodig-Crnkovic, G. (2005). System modeling and information semantics. In Proceedings of the fifth promote IT conference. Lund: New Universities and University Colleges in Sweden."},{"key":"9547_CR8","volume-title":"Knowledge and the flow of information","author":"F Dretske","year":"1981","unstructured":"Dretske, F. (1981). Knowledge and the flow of information. Stanford: CSLI Publications."},{"key":"9547_CR9","first-page":"1","volume-title":"Symbolic knowledge from Leibniz to Husserl","author":"O Esquisabel","year":"2012","unstructured":"Esquisabel, O. (2012). Representing and abstracting: An analysis of Leibniz\u2019s concept of symbolic knowledge. In A. L. Casanave (Ed.), Symbolic knowledge from Leibniz to Husserl (pp. 1\u201349). London: College Publications."},{"key":"9547_CR10","volume-title":"The thirteen books of Euclid\u2019s elements","author":"Euclid","year":"1956","unstructured":"Euclid, & Heath T. (1956). The thirteen books of Euclid\u2019s elements. North Chelmsfor: Courier Corporation."},{"issue":"2","key":"9547_CR11","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1023\/B:MIND.0000021682.61365.56","volume":"14","author":"J Fetzer","year":"2004","unstructured":"Fetzer, J. (2004). Information: Does it have to be true? Minds and Machines, 14(2), 223\u2013229.","journal-title":"Minds and Machines"},{"key":"9547_CR12","first-page":"33","volume-title":"Foundations of logical consequence","author":"H Field","year":"2015","unstructured":"Field, H. (2015). What is logical validity? Foundations of logical consequence (pp. 33\u201370). Oxford: Oxford University Press."},{"issue":"2","key":"9547_CR13","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1023\/B:MIND.0000021684.50925.c9","volume":"14","author":"L Floridi","year":"2004","unstructured":"Floridi, L. (2004). Outline of a theory of strongly semantic information. Minds and Machines,14(2), 197\u2013221.","journal-title":"Minds and Machines"},{"issue":"2","key":"9547_CR14","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1111\/j.1933-1592.2005.tb00531.x","volume":"70","author":"L Floridi","year":"2005","unstructured":"Floridi, L. (2005). Is semantic information meaningful data? Philosophy and Phenomenological Research,70(2), 351\u2013370.","journal-title":"Philosophy and Phenomenological Research"},{"issue":"1","key":"9547_CR15","first-page":"31","volume":"3","author":"L Floridi","year":"2007","unstructured":"Floridi, L. (2007). In defence of the veridical nature of semantic information. European Journal of Analytic Philosophy,3(1), 31\u201341.","journal-title":"European Journal of Analytic Philosophy"},{"issue":"2","key":"9547_CR16","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s10670-010-9249-8","volume":"74","author":"L Floridi","year":"2011","unstructured":"Floridi, L. (2011). Semantic information and the correctness theory of truth. Erkenntnis,74(2), 147\u2013175.","journal-title":"Erkenntnis"},{"issue":"3","key":"9547_CR17","doi-asserted-by":"publisher","first-page":"209","DOI":"10.2307\/2181485","volume":"57","author":"G Frege","year":"1948","unstructured":"Frege, G. (1948). Sense and reference. The Philosophical Review,57(3), 209\u2013230.","journal-title":"The Philosophical Review"},{"issue":"6","key":"9547_CR18","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1093\/analys\/23.6.121","volume":"23","author":"E Gettier","year":"1963","unstructured":"Gettier, E. (1963). Is knowledge justified true belief? Analysis,23(6), 121\u2013123.","journal-title":"Analysis"},{"key":"9547_CR19","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-0348-0600-8_8","volume-title":"Visual reasoning with diagrams","author":"V Giardino","year":"2013","unstructured":"Giardino, V. (2013). A practice-based approach to diagrams. Visual reasoning with diagrams (pp. 135\u2013151). New York: Springer."},{"issue":"1","key":"9547_CR20","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s11023-013-9326-2","volume":"24","author":"A Golan","year":"2014","unstructured":"Golan, A. (2014). Information dynamics. Minds and Machines,24(1), 19\u201336.","journal-title":"Minds and Machines"},{"key":"9547_CR21","volume-title":"Foundations of info-metrics: Modeling, inference, and imperfect information","author":"A Golan","year":"2018","unstructured":"Golan, A. (2018). Foundations of info-metrics: Modeling, inference, and imperfect information. Oxford: Oxford University Press."},{"key":"9547_CR22","doi-asserted-by":"crossref","DOI":"10.5040\/9781350928541","volume-title":"Languages of art: An approach to a theory of symbols","author":"N Goodman","year":"1976","unstructured":"Goodman, N. (1976). Languages of art: An approach to a theory of symbols. Cambridge: Hackett publishing."},{"key":"9547_CR23","volume-title":"Studies and exercises in formal logic: Including a generalisation of logical processes in their application to complex inferences","author":"JN Keynes","year":"1906","unstructured":"Keynes, J. N. (1906). Studies and exercises in formal logic: Including a generalisation of logical processes in their application to complex inferences. New York: Macmillan & Company."},{"issue":"5","key":"9547_CR24","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1023\/A:1012280814127","volume":"30","author":"M Lance","year":"2001","unstructured":"Lance, M. (2001). The logical structure of linguistic commitment III: Brandomian scorekeeping and incompatibility. Journal of Philosophical Logic,30(5), 439\u2013464.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9547_CR25","first-page":"369","volume":"11","author":"D Macbeth","year":"2009","unstructured":"Macbeth, D. (2009). Meaning, use, and diagrams. Etica & Politica,11(1), 369\u2013384.","journal-title":"Etica & Politica"},{"key":"9547_CR26","unstructured":"Mahmoodian, E. S. & Vatan, F. (1987). Generalization of Venn diagrams. In Eighteenth annual Iranian mathematics conference (pp. 154\u2013161). Birjand: University of Birjand."},{"key":"9547_CR27","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1093\/acprof:oso\/9780199296453.003.0004","volume-title":"The philosophy of mathematical practice","author":"K Manders","year":"2008","unstructured":"Manders, K. (2008). Diagram-based geometric practice. The philosophy of mathematical practice (pp. 65\u201379). Oxford: Oxford University Press."},{"key":"9547_CR28","unstructured":"Mortensen, C. (2019). Euclid\u2019s geometry: The case of contradiction. Journal of Modern Greek. Special Issue \u2018Greek Journeys and Philosophical Reflections\u2019, 71."},{"key":"9547_CR29","first-page":"158","volume-title":"The Logica yearbook","author":"J Peregrin","year":"2010","unstructured":"Peregrin, J. (2010). Logic as based on incompatibility. The Logica yearbook (pp. 158\u2013167). London: College Publications."},{"key":"9547_CR30","doi-asserted-by":"publisher","DOI":"10.1057\/9781137452962","volume-title":"Inferentialism: Why rules matter","author":"J Peregrin","year":"2014","unstructured":"Peregrin, J. (2014). Inferentialism: Why rules matter. New York: Springer."},{"issue":"11","key":"9547_CR31","doi-asserted-by":"publisher","first-page":"4751","DOI":"10.1007\/s11229-017-1562-1","volume":"195","author":"D Rabouin","year":"2018","unstructured":"Rabouin, D. (2018). Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond. Synthese,195(11), 4751\u20134783.","journal-title":"Synthese"},{"issue":"7","key":"9547_CR32","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1080\/0020739X.2011.633628","volume":"43","author":"N Radakovic","year":"2012","unstructured":"Radakovic, N., & McDougall, D. (2012). Using dynamic geometry software for teaching conditional probability with area-proportional Venn diagrams. International Journal of Mathematical Education in Science and Technology,43(7), 949\u2013953.","journal-title":"International Journal of Mathematical Education in Science and Technology"},{"issue":"1","key":"9547_CR33","doi-asserted-by":"publisher","first-page":"118","DOI":"10.23925\/1809-8428.2020v17i1p118-127","volume":"17","author":"FT Sautter","year":"2020","unstructured":"Sautter, F. T. (2020). Quadraginta duo. Cognitio-Estudos,17(1), 118\u2013127.","journal-title":"Cognitio-Estudos"},{"issue":"3","key":"9547_CR34","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1111\/j.1467-9973.2010.01632.x","volume":"41","author":"A Scarantino","year":"2010","unstructured":"Scarantino, A., & Piccinini, G. (2010). Information without truth. Metaphilosophy,41(3), 313\u2013330.","journal-title":"Metaphilosophy"},{"issue":"3","key":"9547_CR35","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s11023-007-9072-4","volume":"17","author":"S Sequoiah-Grayson","year":"2007","unstructured":"Sequoiah-Grayson, S. (2007). The metaphilosophy of information. Minds and Machines,17(3), 331\u2013344.","journal-title":"Minds and Machines"},{"issue":"4","key":"9547_CR36","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1023\/A:1006544013197","volume":"13","author":"A Shimojima","year":"1999","unstructured":"Shimojima, A. (1999). The graphic-linguistic distinction exploring alternatives. Artificial Intelligence Review,13(4), 313\u2013335.","journal-title":"Artificial Intelligence Review"},{"key":"9547_CR37","volume-title":"The logical status of diagrams","author":"S-J Shin","year":"1994","unstructured":"Shin, S.-J. (1994). The logical status of diagrams. Cambridge: Cambridge University Press."},{"key":"9547_CR38","volume-title":"The Stanford encyclopedia of philosophy","author":"S-J Shin","year":"2018","unstructured":"Shin, S.-J., Lemon, O., & Mumma, J. (2018). Diagrams. The Stanford encyclopedia of philosophy. Metaphysics Research Lab: Stanford University."},{"key":"9547_CR39","first-page":"152","volume-title":"Logic, semantics, metamathematics","author":"A Tarski","year":"1956","unstructured":"Tarski, A. (1956). The concept of truth in formalized languages. Logic, semantics, metamathematics (2nd ed., pp. 152\u2013278). Oxford: Oxford University Press.","edition":"2"},{"key":"9547_CR40","doi-asserted-by":"publisher","DOI":"10.1037\/14127-000","volume-title":"Symbolic logic","author":"J Venn","year":"1881","unstructured":"Venn, J. (1881). Symbolic logic. New York: B. Franklin."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-020-09547-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-020-09547-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-020-09547-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,25]],"date-time":"2022-11-25T21:37:22Z","timestamp":1669412242000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-020-09547-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,30]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,3]]}},"alternative-id":["9547"],"URL":"https:\/\/doi.org\/10.1007\/s11023-020-09547-2","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"type":"print","value":"0924-6495"},{"type":"electronic","value":"1572-8641"}],"subject":[],"published":{"date-parts":[[2020,10,30]]},"assertion":[{"value":"8 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 October 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 October 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with Ethical Standards"}},{"value":"The author declares no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of Interest"}}]}}