×

Unificatory understanding and explanatory proofs. (English) Zbl 1490.00014

Summary: One of the central aims of the philosophical analysis of mathematical explanation is to determine how one can distinguish explanatory proofs from non-explanatory proofs. In this paper, I take a closer look at the current status of the debate, and what the challenges for the philosophical analysis of explanatory proofs are. In order to provide an answer to these challenges, I suggest we start from analysing the concept understanding. More precisely, I will defend four claims: (1) understanding is a condition for explanation, (2) unificatory understanding is a type of explanatory understanding, (3) unificatory understanding is valuable in mathematics, and (4) mathematical proofs can contribute to unificatory understanding. As a result, in a context where the epistemic aim is to unify mathematical results, I argue it is fruitful to make a distinction between proofs based on their explanatory value.

MSC:

00A35 Methodology of mathematics
00A30 Philosophy of mathematics
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Atiyah, M., Collected works (1988), Oxford: Oxford University Press, Oxford · Zbl 0724.55001
[2] Avigad, J., Mathematical method and proof, Synthese, 153, 1, 105-159 (2006) · Zbl 1116.03012 · doi:10.1007/s11229-005-4064-5
[3] Avigad, J.; Mancosu, P., Understanding proofs, The philosophy of mathematical practice, 317-353 (2008), Oxford: Oxford University Press, Oxford · Zbl 1163.03001 · doi:10.1093/acprof:oso/9780199296453.003.0013
[4] Colyvan, M.; Cusbert, J.; McQueen, K.; Reutlinger, A.; Saatsi, J., Two flavours of mathematical explanation, Explanation beyond causation: Philosophical perspectives on non-causal explanations, 231-249 (2018), Oxford: Oxford University Press, Oxford
[5] Craver, CF, Explaining the brain: Mechanisms and the mosaic unity of neuroscience (2007), New York: Oxford University Press, New York · doi:10.1093/acprof:oso/9780199299317.001.0001
[6] Dawson, J., Why do mathematicians re-prove theorems, Philosophia Mathematica, 14, 3, 269-286 (2006) · Zbl 1123.00004 · doi:10.1093/philmat/nkl009
[7] De Regt, HW, The epistemic value of understanding, Philosophy of Science, 76, 5, 585-597 (2009) · doi:10.1086/605795
[8] De Regt, HW; Leonelli, S.; Eigner, K., Scientific understanding: Philosophical perspectives (2009), New York: Routledge, New York · doi:10.2307/j.ctt9qh59s
[9] Delarivière, S.; Frans, J.; Van Kerkhove, B., Mathematical explanation: A contextual approach, Journal of Indian Council of Philosophical Research, 2, 34, 309-329 (2017) · doi:10.1007/s40961-016-0086-2
[10] Folina, J.; Piazza, M.; Pulcini, G., Towards a better understanding of mathematical understanding, Truth, existence and explanation, 121-146 (2018), Switzerland: Springer, Switzerland · doi:10.1007/978-3-319-93342-9_8
[11] Friedman, M., Explanation and scientific understanding, The Journal of Philosophy, 71, 1, 5-19 (1974) · doi:10.2307/2024924
[12] Gijsbers, V., A quasi-interventionist theory of mathematical explanation, Logique et Analyse, 60, 237, 47-66 (2017) · Zbl 1390.00046
[13] Gowers, T.; Nielsen, M., Massively collaborative mathematics, Nature, 461, 7266, 879-881 (2009) · doi:10.1038/461879a
[14] Grimm, S.; Baumberger, C.; Ammon, S., Explaining understanding: New perpsectives from epistemology and philosophy of science (2016), Pittsburg: Pittsburgh Press, Pittsburg · doi:10.4324/9781315686110
[15] Grosholz, ER; Grosholz, E.; Breger, H., The partial unification of domains, hybrids, and the growth of mathematical knowledge, The growth of mathematical knowledge, 81-91 (2000), Dordrecht: Kluwer Academic Press, Dordrecht · Zbl 0951.00521 · doi:10.1007/978-94-015-9558-2_6
[16] Hafner, J.; Mancosu, P.; Mancos, P.; Jørgensen, K.; Pedersen, S., The varieties of mathematical explanation, Visualization, explanation and reasoning styles in mathematics, 215-250 (2005), Netherlands: Springer, Netherlands · Zbl 1159.00308 · doi:10.1007/1-4020-3335-4_9
[17] Hempel, C.; Baumrin, B., Explanation and prediction by covering laws, Philosophy of science: The Delaware seminar, 107-33 (1963), New York: Wiley, New York
[18] Hempel, C.; Hempel, C., Aspects of scientific explanation, Aspects of scientific explanation and other essays, 331-496 (1965), New York: Free Press, New York
[19] Hempel, C.; Oppenheim, P., Studies in the logic of explanation, Philosophy of Science, 35, 135-175 (1948) · doi:10.1086/286983
[20] Inglis, M.; Aberdein, A.; Larvor, B., Diversity in proof appraisal, Mathematical cultures, 163-179 (2016), Switzerland: Birkhäuser, Switzerland · doi:10.1007/978-3-319-28582-5_10
[21] Kitcher, P., Explanatory unification, Philosophy of Science, 48, 4, 507-531 (1981) · doi:10.1086/289019
[22] Kitcher, P.; Kitcher, P.; Salmon, W., Explanatory unification and the causal structure of the world, Scientific explanation, 410-505 (1989), Minnesota: University of Minnesota Press, Minnesota
[23] Lange, M., Aspects of mathematical explanation: Symmetry, unity, and salience, Philosophical Review, 123, 4, 485-531 (2014) · Zbl 1330.00024 · doi:10.1215/00318108-2749730
[24] Macbeth, D., Proof and understanding in mathematical practice, Philosophia Scientiæ. Travaux dhistoire et de philosophie des sciences, 16, 1, 29-54 (2012) · Zbl 1269.00005
[25] Mancosu, P., Philosophy of mathematics and mathematical practice in the seventeenth century (1996), Oxford: Oxford University Press, Oxford · Zbl 0939.01004
[26] Mancosu, P., Mathematical explanation: Problems and prospects, Topoi, 20, 1, 97-117 (2001) · Zbl 1141.00007 · doi:10.1023/A:1010621314372
[27] Mancosu, P.; Mancosu, P., Mathematical explanation: Why it matters, The philosophy of mathematical practice, 134-177 (2008), Oxford: Oxford University Press, Oxford · Zbl 1163.03001 · doi:10.1093/acprof:oso/9780199296453.003.0006
[28] McAllister, J.; Emmer, M., Mathematical beauty and the evolution of the standards of mathematical proof, Visual mind II, 15-34 (2005), Cambridge: MIT Press, Cambridge
[29] Nelsen, RB, Proofs without words II: More exercises in visual thinking (2000), Washington: Mathematical Assocation of America, Washington · Zbl 1099.00003
[30] Pincock, C., The unsolvability of the quintic: A case study in abstract mathematical explanation, Philosophers Imprint, 15, 3, 1-19 (2015)
[31] Rav, Y., Why do we prove theorems?, Philosophia Mathematica, 7, 1, 5-41 (1999) · Zbl 0941.03003 · doi:10.1093/philmat/7.1.5
[32] Resnik, MD; Kushner, D., Explanation, independence and realism in mathematics, The British Journal for the Philosophy of Science, 38, 2, 141-158 (1987) · Zbl 0641.03002 · doi:10.1093/bjps/38.2.141
[33] Rota, G-C, The phenomenology of mathematical beauty, Synthese, 111, 2, 171-182 (1997) · Zbl 1012.00501 · doi:10.1023/A:1004930722234
[34] Salmon, W., Scientific explanation and the causal structure of the world (1984), Princeton: Princeton University Press, Princeton
[35] Salmon, WC; Salmon, M.; Earman, J., Scientific explanation, Introduction to the philosophy of science, 7-41 (1992), Indianopolis: Hackett Publishing Company, Indianopolis
[36] Salverda, J., Characterizing properties and explanation in mathematics, Logique et Analyse, 60, 237, 25-46 (2017) · Zbl 1390.00050
[37] Sandborg, D., Mathematical explanation and the theory of why-questions, The British Journal for the Philosophy of Science, 49, 4, 603-624 (1998) · Zbl 0945.03504 · doi:10.1093/bjps/49.4.603
[38] Schurz, G., Explanation as unification, Synthese, 120, 1, 95-114 (1999) · doi:10.1023/A:1005214721929
[39] Scriven, M.; Pitt, J., Explanations, predictions and laws, Theories of explanation, 51-74 (1962), Oxford: Oxford University Press, Oxford
[40] Sierpinska, A., Some remarks on understanding in mathematics, For the Learning of Mathematics, 10, 3, 24-41 (1990)
[41] Steiner, M., Mathematical explanation, Philosophical Studies, 34, 2, 135-151 (1978) · doi:10.1007/BF00354494
[42] van Fraassen, BC, The scientific image (1980), Oxford: Oxford University Press, Oxford · doi:10.1093/0198244274.001.0001
[43] Weber, E.; Frans, J., Is mathematics a domain for philosophers of explanation?, Journal for General Philosophy of Science, 48, 1, 125-142 (2017) · doi:10.1007/s10838-016-9332-1
[44] Weber, E.; Van Bouwel, J.; De Vreese, L., Scientific explanation (2013), Dordrecht: Springer, Dordrecht · doi:10.1007/978-94-007-6446-0
[45] Weber, E.; Verhoeven, L., Explanatory proofs in mathematics, Logique et Analyse, 45, 179-180, 299-307 (2002) · Zbl 1177.00027
[46] Woodward, J.; Ruben, D., A theory of singular causal explanation, Explanation, 329-347 (1993), New York: Oxford University Press, New York
[47] Zelcer, M., Against mathematical explanation, Journal for General Philosophy of Science, 44, 1, 173-192 (2013) · doi:10.1007/s10838-013-9216-6
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.