Abstract
This paper presents and compares FG and Eu, two recent formalizations of Euclid’s diagrammatic arguments in the Elements. The analysis of FG, developed by the mathematician Nathaniel Miller, and that of Eu, developed by the author, both exploit the fact that Euclid’s diagrammatic inferences depend only on the topology of the diagram. In both systems, the symbols playing the role of Euclid’s diagrams are discrete objects individuated in proofs by their topology. The key difference between FG and Eu lies in the way that a derivation is ensured to have the generality of Euclid’s results. Carrying out one of Euclid’s constructions on an individual diagram can produce topological relations which are not shared by all diagrams so constructed. FG meets this difficulty by an enumeration of cases with every construction step. Eu, on the other hand, specifies a procedure for interpreting a constructed diagram in terms of the way it was constructed. After describing both approaches, the paper discusses the theoretical significance of their differences. There is in Eu a context dependence to diagram use, which enables one to bypass the (sometimes very long) case analyses required by FG.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Heath, T.: The Thirteen Books of Euclid’s Elements—translated from the text of Heiberg. Dover Publications, New York (1956)
Manders, K.: The Euclidean Diagram. In: Mancosu, P. (ed.) Philosophy of Mathematical Practice, pp. 112–183. Clarendon Press, Oxford (2008)
Miller, N.: Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry. Center for the Study of Language and Information, Stanford (2007)
Mumma, J.: Intuition Formalized: Ancient and Modern Methods of Proof in Elementary Euclidean Geometry. Ph.D Dissertation, Carnegie Mellon University (2006), www.andrew.cmu.edu/jmumma
Mumma, J.: Review of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry. Philosophica Mathematica 16(2), 256–264 (2008)
Shabel, L.: Kant’s Philosophy of Mathematics. In: Guyer, P. (ed.) The Cambridge Companion of Kant, 2nd edn. Cambridge University Press, Cambridge (2006)
Stenning, K.: Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems. In: Anderson, M., Cheng, P., Haarslev, V. (eds.) Diagrams 2000. LNCS (LNAI), vol. 1889, pp. 132–148. Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mumma, J. (2008). Ensuring Generality in Euclid’s Diagrammatic Arguments. In: Stapleton, G., Howse, J., Lee, J. (eds) Diagrammatic Representation and Inference. Diagrams 2008. Lecture Notes in Computer Science(), vol 5223. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87730-1_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-87730-1_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87729-5
Online ISBN: 978-3-540-87730-1
eBook Packages: Computer ScienceComputer Science (R0)