2019
DOI: 10.1387/theoria.20026
|View full text |Cite
|
Sign up to set email alerts
|

On Euclidean diagrams and geometrical knowledge

Abstract: We argue against the claim that the employment of diagrams in Euclidean geometry gives rise to gaps in the proofs. First, we argue that it is a mistake to evaluate its merits through the lenses of Hilbert’s formal reconstruction. Second, we elucidate the abilities employed in diagram-based inferences in the Elements and show that diagrams are mathematically reputable tools. Finally, we complement our analysis with a review of recent experimental results purporting to show that, not only is the Euclidean diagra… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
2
0
1

Year Published

2020
2020
2024
2024

Publication Types

Select...
4
3

Relationship

0
7

Authors

Journals

citations
Cited by 7 publications
(3 citation statements)
references
References 20 publications
0
2
0
1
Order By: Relevance
“…Another motivation is that having models of the neural representation of geometric concepts gives us a new venue to address the issue of the relationship between geometric figures and geometric objects. That has already been addressed from a historical perspective (see, e.g., Valente, 2020), and also cognitive considerations have been taken into account in somewhat related issues (see, e.g., Giaquinto, 2007;Dal Magro & García-Pérez, 2019;and Ferreirós & García-Pérez, 2020). But here, we present specific models developed in the context of a theoretical framework (the hub-and-spoke theory), which provides a more 'tangible' way to address this issue (since we have models of the neural representation of geometric figures and objects).…”
Section: Introductionmentioning
confidence: 99%
“…Another motivation is that having models of the neural representation of geometric concepts gives us a new venue to address the issue of the relationship between geometric figures and geometric objects. That has already been addressed from a historical perspective (see, e.g., Valente, 2020), and also cognitive considerations have been taken into account in somewhat related issues (see, e.g., Giaquinto, 2007;Dal Magro & García-Pérez, 2019;and Ferreirós & García-Pérez, 2020). But here, we present specific models developed in the context of a theoretical framework (the hub-and-spoke theory), which provides a more 'tangible' way to address this issue (since we have models of the neural representation of geometric figures and objects).…”
Section: Introductionmentioning
confidence: 99%
“…Cf., e.g.,(Tarski, 1959);(Beeson, 2019, pp. 35-36); and http://geocoq.github.io/GeoCoq/ (Dal Magro et al, 2019),. referring to forthcoming work by Lassalle Casanave, also note differences between Euclidean proofs by diagrams and Hilbert's axiomatic proof conception.…”
mentioning
confidence: 99%
“…Bukti geometri dalam pengertian post-Hilbert modern adalah urutan pernyataan yang didefinisikan secara tepat dalam bahasa formal dengan menggunakan postulat, teorema atau lemma yang telah terbukti sebelumnya (Lindsay, 1998). Pemilihan terhadap postulat dan teorema yang akan digunakan dalam menyusun bukti akan menentukan kebenaran bukti yang diajukan (Magro, 2019). Pemahaman terhadap postulat, teorema dan prinsip-prinsip geometri sangat dibutuhkan dalam kegiatan mengkonstruksi bukti geometri (Maarif, Perbowo, Noto & Harisman, 2019).…”
unclassified