Abstract
A key piece of data in understanding mathematics from the perspective of model-based reasoning is the use of diagrams to discover and to convey mathematical concepts and proofs. A paradigmatic example of such use is found in the classical demonstrations of elementary Euclidean geometry. These are invariably presented with accompanying geometric diagrams. Great progress has been made recently with respect to the precise role the diagrams plays in the demonstrations, so much so that diagrammatic formalizations of elementary Euclidean geometry have been developed. The purpose of this chapter is to introduce these formalizations to those who seek to understand mathematics from the perspective of model-based reasoning.
The formalizations are named FG and Eu. Both are based on insights articulated in Ken Manders’ seminal analysis of Euclid’s diagrammatic proofs. The chapter presents these insights, the challenges involved in realizing them in a formalization, and the way FG and Eu each meet these challenges. The chapter closes with a discussion of how the formalizations can each be thought to prespecify a species of model-based reasoning.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAbbreviations
- MBR:
-
model-based reasoning
References
N. Miller: Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean geometry (CSLI, Stanford 2007)
J. Mumma: Proofs, pictures, and Euclid, Synthese 175, 255–287 (2010)
J. Avigad, E. Dean, J. Mumma: A formal system for Euclid’s Elements, Rev. Symb. Log. 2, 700–768 (2009)
Y. Hamani, J. Mumma: Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning, J. Log. Lang. Inf. 22, 421–448 (2014)
K. Manders: The Euclidean diagram. In: Philosophy of Mathematical Practice, ed. by P. Mancosu (Clarendon Press, Oxford, 2008) pp. 112–183
Euclid: The Thirteen Books of the Elements, Vol. I–III, 2nd edn. (Dover, New York 1956), transl. by T.L. Heath
A. Tarski: What is elementary geometry? In: The Axiomatic Method, with Special Reference to Geometry and Physics, ed. by L. Henkin, P. Suppes, A. Tarski (North Holland, Amsterdam 1959) pp. 16–29
L. Magnani: Logic and abduction: Cognitive externalizations in demonstrative environments, Theoria 60, 275–284 (2007)
J. Hintikka, U. Remes: The Method of Analysis: Its Geometrical Origin and General Significance (Reidel, Dordrecht 1974)
J. Hintikka: Method of analysis: A paradigm of mathematical reasoning?, Hist. Philos. Log. 33, 49–67 (2012)
D. Hilbert: Foundations of Geometry (Open Court, La Salle 1971)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Mumma, J. (2017). Deduction, Diagrams and Model-Based Reasoning. In: Magnani, L., Bertolotti, T. (eds) Springer Handbook of Model-Based Science. Springer Handbooks. Springer, Cham. https://doi.org/10.1007/978-3-319-30526-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-30526-4_23
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-30525-7
Online ISBN: 978-3-319-30526-4
eBook Packages: EngineeringEngineering (R0)