Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning

Journal of Logic, Language and Information 22 (4):421-448 (2013)
  Copy   BIBTEX


Euclidean diagrammatic reasoning refers to the diagrammatic inferential practice that originated in the geometrical proofs of Euclid’s Elements. A seminal philosophical analysis of this practice by Manders (‘The Euclidean diagram’, 2008) has revealed that a systematic method of reasoning underlies the use of diagrams in Euclid’s proofs, leading in turn to a logical analysis aiming to capture this method formally via proof systems. The central premise of this paper is that our understanding of Euclidean diagrammatic reasoning can be fruitfully advanced by confronting these logical and philosophical analyses with the field of cognitive science. Surprisingly, central aspects of the philosophical and logical analyses resonate in very natural ways with research topics in mathematical cognition, spatial cognition and the psychology of reasoning. The paper develops these connections, concentrating on four issues: (1) the cognitive origins of Euclidean diagrammatic reasoning, (2) the cognitive representations of spatial relations in Euclidean diagrams, (3) the nature of the cognitive processes and cognitive representations involved in Euclidean diagrammatic reasoning seen as a form of visuospatial relational reasoning and (4) the complexity of Euclidean diagrammatic reasoning for the human cognitive system. For each of these issues, our analysis generates concrete experiment proposals, opening thereby the way for further empirical investigations. The paper is thus a prolegomenon to a research program on Euclidean diagrammatic reasoning at the crossroads of logic, philosophy and cognitive science



    Upload a copy of this work     Papers currently archived: 91,038

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Renovating Philosophical Practice through Diagrammatic Reasoning.Rocco Gangle - 2008 - Proceedings of the Xxii World Congress of Philosophy 4:47-52.
The Tinctures and Implicit Quantification over Worlds.Jay Zeman - 1997 - In Paul Forster & Jacqueline Brunning (eds.), The Rule of Reason: The Philosophy of C.S. Peirce. University of Toronto Press. pp. 96-119.


Added to PP

86 (#183,443)

6 months
6 (#231,920)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Yacin Hamami
ETH Zurich
John Mumma
California State University, San Bernardino

Citations of this work

Reliability of mathematical inference.Jeremy Avigad - 2020 - Synthese 198 (8):7377-7399.
Diagrams.Sun-Joo Shin - 2008 - Stanford Encyclopedia of Philosophy.
On Euclidean diagrams and geometrical knowledge.Tamires Dal Magro & Manuel J. García-Pérez - 2019 - Theoria. An International Journal for Theory, History and Foundations of Science 34 (2):255.

Add more citations