On the representational role of Euclidean diagrams: representing qua samples

Author(s)

Dal Magro, Tamires ; Valente, Matheus

• Document type: Journal article
• Source: SYNTHESE; v. 199, n. 1-2, p. 22-pg., 2021-01-03.

Abstract

We advance a theory of the representational role of Euclidean diagrams according to which they are samples of co-exact features. We contrast our theory with two other conceptions, the instantial conception and Macbeth's iconic view, with respect to how well they accommodate three fundamental constraints on theories of the Euclidean diagrammatic practice-(i) that Euclidean diagrams are used in proofs whose results are wholly general, (ii) that Euclidean diagrams indicate the co-exact features that the geometer is allowed to infer from them and (iii) that Euclidean diagrams play the same role in both direct proofs and indirect proofs by reductio-and argue that our view is the one best suited to account for them. We conclude by illustrating the virtues of our conception of Euclidean diagrams as samples by means of an analysis of Saccheri's quadrilateral. (AU)

• FAPESP's process: 14/23191-9 - Formal and diagrammatic reasoning in euclidian proofs by reduction ad absurdum
• Grantee: Tamires Dal Magro
• Support Opportunities: Scholarships in Brazil - Doctorate