The Euclidean Diagram

In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford University Press. pp. 80--133 (2008)

Authors
Kenneth Manders
University of Pittsburgh
Abstract
This chapter gives a detailed study of diagram-based reasoning in Euclidean plane geometry (Books I, III), as well as an exploration how to characterise a geometric practice. First, an account is given of diagram attribution: basic geometrical claims are classified as exact (equalities, proportionalities) or co-exact (containments, contiguities); exact claims may only be inferred from prior entries in the demonstration text, but co-exact claims may be asserted based on what is seen in the diagram. Diagram control by constructions is necessary for this to work. Case-branching occurs when a construction renders a diagram un-representative. The roles of diagrams in reductio arguments, and of objection in probing a demonstration, are discussed.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Buy the book Find it on Amazon.com
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,257
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Who's Afraid of Mathematical Diagrams?Silvia De Toffoli - forthcoming - Philosophers' Imprint.
Proofs, Pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.
Reliability of Mathematical Inference.Jeremy Avigad - 2020 - Synthese 198 (8):7377-7399.

View all 75 citations / Add more citations

Similar books and articles

Euclidean Functions of Computable Euclidean Domains.Rodney G. Downey & Asher M. Kach - 2011 - Notre Dame Journal of Formal Logic 52 (2):163-172.
Prolegomena to a Cognitive Investigation of Euclidean Diagrammatic Reasoning.Yacin Hamami & John Mumma - 2013 - Journal of Logic, Language and Information 22 (4):421-448.
Diagram Contents and Representational Granularity.Kenneth Manders - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation. Csli Publications, Stanford. pp. 1.
Diagram-Based Geometric Practice.Kenneth Manders - 2008 - In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford University Press. pp. 65--79.
The Diagram Prize.Bruce Robertson - 2012 - Logos 23 (4):30-32.
Matrix Iterations and Cichon’s Diagram.Diego Alejandro Mejía - 2013 - Archive for Mathematical Logic 52 (3-4):261-278.

Analytics

Added to PP index
2014-02-01

Total views
10 ( #896,789 of 2,499,748 )

Recent downloads (6 months)
1 ( #418,066 of 2,499,748 )

How can I increase my downloads?

Downloads

My notes