Foundations of Science 14 (1-2):59-74 (2009)
|Abstract||Recent accounts of the role of diagrams in mathematical reasoning take a Platonic line, according to which the proof depends on the similarity between the perceived shape of the diagram and the shape of the abstract object. This approach is unable to explain proofs which share the same diagram in spite of drawing conclusions about different figures. Saccheri’s use of the bi-rectangular isosceles quadrilateral in Euclides Vindicatus provides three such proofs. By forsaking abstract objects it is possible to give a natural explanation of Saccheri’s proofs as well as standard geometric proofs and even number-theoretic proofs.|
|Keywords||Diagram Proof Anti-platonism Mathematical reasoning|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Yehuda Rav (2007). A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices. Philosophia Mathematica 15 (3):291-320.
Mateja Jamnik, Alan Bundy & Ian Green (1999). On Automating Diagrammatic Proofs of Arithmetic Arguments. Journal of Logic, Language and Information 8 (3):297-321.
Dennis Lomas (2002). What Perception is Doing, and What It is Not Doing, in Mathematical Reasoning. British Journal for the Philosophy of Science 53 (2):205-223.
John Mumma (2010). Proofs, Pictures, and Euclid. Synthese 175 (2):255 - 287.
Brice Halimi (2012). Diagrams as Sketches. Synthese 186 (1):387-409.
Irina Starikova (2007). Picture-Proofs and Platonism. Croatian Journal of Philosophy 7 (1):81-92.
Dominique Tournès (2012). Diagrams in the Theory of Differential Equations (Eighteenth to Nineteenth Centuries). Synthese 186 (1):257-288.
Jessica Carter (2010). Diagrams and Proofs in Analysis. International Studies in the Philosophy of Science 24 (1):1 – 14.
Added to index2009-01-28
Total downloads32 ( #43,424 of 722,919 )
Recent downloads (6 months)1 ( #61,087 of 722,919 )
How can I increase my downloads?