Abstract
The connection between understanding and explanation has recently been of interest to philosophers. Inglis and Mejía-Ramos (Synthese, 2019. https://doi-org.proxy.library.nd.edu/10.1007/s11229-019-02234-5) propose that within mathematics, we should accept a functional account of explanation that characterizes explanations as those things that produce understanding. In this paper, I start with the assumption that this view of mathematical explanation is correct and consider what we can consequently learn about mathematical explanation. I argue that this view of explanation suggests that we should shift the question of explanation away from why-questions and towards a “what’s going on here” question. Additionally, I argue that when we recognize the connection between understanding and explanation we naturally see how more than just proof can be explanatory. I expand this point by detailing how definitions and diagrams can be explanatory. In all, we see that when we take seriously the connection between understanding and explanation, we get a better sense of how explanation arises within mathematics.
Similar content being viewed by others
Notes
Wilkenfeld’s account of functional explanation can be found in Wilkenfeld (2014).
Skow (2015) has argued that explanations (i.e., answers to why-questions) do not generally produce understanding. I do not mean to endorse this more general claim, but am instead restricting my claim to the domain of mathematics. As a result, I am suggesting that there may be something about mathematical explanation that makes it significantly different from explanation in other domains.
See Baumberger (2014) for a clear discussion of some of the different kinds of understanding.
For a related discussion, see de Regt (2017) (ch 3) which argues that a pluralist view of scientific understanding is needed.
Note that if a function is differentiable then it is also continuous, and so the belief that if a function is continuous then it is differentiable amounts to a conflation of the two notions.
These are the clearest ways that a function can be continuous but non-differentiable at a point. But there is another way that a function can be continuous and non-differentiable at a point. Specifically, this will happen when a function has a vertical tangent line at a point.
See Giaquinto (2011) for a discussion of the visualizability of nowhere differentiable continuous functions and their failure to be “pencil continuous”.
Figure 5 was created by Sandy Ganzell and is used here with his permission.
It is worth noting that the diagram in Fig. 6 corresponds to the virtual trefoil knot. But this is not the standard representation of the virtual trefoil knot, though it is equivalent and so can be manipulated into the standard presentation by means of a series of virtual and classical Reidemeister moves.
An example of such an invariant is the forbidden number, see Crans et al. (2015).
This account of explanatory definitions was first introduced in Lehet (2021).
This is a fact that we used earlier when proving that for prime natural number, p, \(\sqrt{p}\) is irrational.
For the sake of simplicity, I am limiting the discussion to circles with centers at the origin.
To clarify, these definitions are logically equivalent when the first definition is restricted to taking the center of the circle to be the origin or when the second definition is stated in full generality.
Or at least, we come across approximations of circles that are indistinguishable from the real thing to the human eye.
Again, for the sake of simplicity, I am assuming that the center of the ellipse is the origin.
See Brown (2008), De Toffoli (2017), De Toffoli and Giardino (2014), De Toffoli and Giardino (2016), Giaquinto (2008), Mancosu (2008) for discussions of the epistemic significance of diagrams. Carter (2019) also provides an overview of what philosophical work has been done regarding the use of diagrams in mathematics.
It is worth noting that this diagram is a variation of the one given in Steiner (1978), which uses two isosceles triangles to form a square rather than a rectangle. A square can be formed when we let the hypotenuses of the two triangles overlap.
Here I have only mentioned two examples of texts that have focused on a diagrammatic presentation of material. As Mancosu (2008) points out, the late twentieth century produced many other examples of texts that take a visual approach to mathematics.
References
Baumberger C (2014) Types of understanding: their nature and their relation to knowledge. Conceptus 40:67–88
Brown JR (2008) Philosophy of mathematics: a contemporary introduction to the world of proofs and pictures. Routledge, London
Carter J (2019) Philosophy of mathematical practice-motivations, themes, and prospects. Philos Mat 27(1):1–32
Conway JB (1978) Functions of one complex variable. Springer, New York
Crans A, Ganzell S, Mellor B (2015) The forbidden number of a knot. Kyungpook Math J 55:485–506
Crow M (1998) Ten misconceptions about mathematics and its history. In: Aspray W, Kitcher P (eds) History and philosophy of modern mathematics. Minnesota studies in the philosophy of science, vol XI, pp 260–277
D’Alessandro W (2019) Explanation in mathematics: proofs and practice. Philos Compass 14:e12629. https://doi.org/10.1111/phc3.12629
D’Alessandro W (2020) Mathematical explanation beyond explanatory proof. Br J Philos Sci 71(2):581–603
de Regt HW (2017) Understanding scientific understanding. Oxford University Press, Oxford
De Toffoli S (2017) ‘Chasing’ the diagram-the use of visualizations in algebraic reasoning. Rev Symb Log 10(1):158–186
De Toffoli S, Giardino V (2014) Forms and roles of diagrams in knot theory. Erkenn 79:829–842
De Toffoli S, Giardino V (2016) Envisioning transformations-the practice of topology. In: Larvor B (ed) Mathematical cultures. Springer, Zurich
Giaquinto M (2008) Visualizing in mathematics. In: Mancosu P (ed) Philosophy of mathematical practice. Oxford University Press, New York, pp 22–42
Giaquinto M (2011) Crossing curves: a limit to the use of diagrams in proofs. Philos Mat 19(3):281–307
Hafner J, Mancosu P (2005) The varieties of mathematical explanation. In: Mancosu P, Jørgensen KF, Pedersen SA (eds) Visualization, explanation, and reasoning styles in mathematics. Springer, Berlin
Hamami Y, Morris R (2020) Philosophy of mathematical practice: a primer for mathematics educators. ZDM Math Educ 52:1113–1126
Hilbert D, Cohn-Vossen S (1952) Geometry and the imagination. (trans) Nemenyi P Chelsea Publishing Company, New York
Inglis M, Mejía-Ramos JP (2019) Functional explanation in mathematics. Synthese. https://doi-org.proxy.library.nd.edu/10.1007/s11229-019-02234-5
Kauffman L (1999) Virtual knot theory. Eur J Comb 20:663–690
Kitcher P (1981) Explanatory unification. Philos Sci 48(4):507–531
Kitcher P (1984) The nature of mathematical knowledge
Kitcher P (1989) Explanatory unification and the causal structure of the world. In: Kitcher P, Salmon W (eds) Scientific explanation. University of Minnesota Press, Minneapolis, pp 410–505
Kline M (1972) Mathematical thought from ancient to modern times. Oxford University Press, New York
Lange M (2017) Because without cause: non-causal explanations in the sciences and mathematics. Oxford University Press, New York
Lange M (2018) Mathematical explanations that are not proofs. Erkenn 83(6):1285–1302
Lehet E (2021) Induction and explanatory definitions in mathematics. Synthese 198:1161–1175
Mac Lane S (1986) Mathematics: form and function. Springer, New York
Mancosu P (2008) Mathematical explanation: why it matters. In: Mancosu P (ed) Philosophy of mathematical practice. Oxford University Press, New York, pp 134–150
Manheim JH (1964) The genesis of point set topology. Pergamon Press LTD, Oxford
Skow B (2015) Against Understanding (as a condition on explanation). In: Grimm S (ed) Making sense of the world: new essays on the philosophy of understanding. Oxford University Press, New York
Spivak M (1970) A comprehensive introduction to differential geometry. Brandeis University, Waltham
Steiner M (1978) Mathematical explanation. Philos Stud 34(2):131–151
Tappenden J (2008) Mathematical concepts and definitions. In: Mancosu P (ed) Philosophy of mathematical practice. Oxford University Press, New York
Thurston W (1995) On proof and progress in mathematics. Learn Math 15(1):29–37
Wilkenfeld DA (2014) Functional explaining: a new approach to the philosophy of explanation. Synthese 191:3367–3391
Acknowledgments
I would like to thank several audiences for their feedback on the ideas presented in this paper including those at the Explanation and Understanding within Mathematics Workshop, hosted by Vrije Universiteit Brussel, and at the University of Notre Dame Colloquium. Additionally, I would like to thank Curtis Franks, Colin McLarty, Timothy Bays, and Patricia Blanchette for their helpful feedback and comments on several drafts of this work. I was first introduced virtual knot theory by Sandy Ganzell and thank him for this introduction as well as for Fig. 5 which he created. Lastly, I would like to thank several anonymous referees for their detailed comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Lehet, E. Mathematical Explanation in Practice. Axiomathes 31, 553–574 (2021). https://doi.org/10.1007/s10516-021-09557-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10516-021-09557-4