Abstract
Philosophers of mathematics commonly distinguish between explanatory and non-explanatory proofs. An important subclass of mathematical proofs are proofs by induction. Are they explanatory? This paper addresses the question, based on general principles about explanation. First, a recent argument for a negative answer is discussed and rebutted. Second, a case is made for a qualified positive take on the issue.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Armstrong D. M. (1983) What is a law of nature?. Cambridge University Press, Cambridge
Armstrong D. M. (1997) A world of states of affairs. Cambridge University Press, Cambridge
Baker A. (2010) Mathematical induction and explanation. Analysis 70: 681–689
Bolzano B. (1837) Wissenschaftslehre (4 vls.). Seidel, Sulzbach
Bolzano, B. (2004). On the mathematical method and correspondence with Exner (P. Rusnock & R. George, Trans.). Amsterdam, New York: Rodopi.
Brown J. R. (1997) Proofs and pictures. British Journal for the Philosophy of Science 48: 161–180
Correia F. (2010) Grounding and truth-functions. Logique et Analyse 53: 251–279
Dretske F. (1977) Laws of nature. Philosophy of Science 44: 248–268
Fine K. (2001) The question of realism. Philosopher’s Imprint 1: 1–30
Fine K. (2010) Some puzzles of ground. Notre Dame Journal of Formal Logic 51: 97–118
Fine, K. (forthcoming). Guide to ground. F. Correia & B. Schnieder (Eds.), Grounding, Cambridge: Cambridge University Press.
Hafner J., Mancosu P. (2005) The varieties of mathematical explanation. In: Mancosu P., Jørgensen K. F., Pedersen S. A. (eds) Visualization, explanation and reasoning styles in mathematics. Springer, Dordrecht, pp 215–250
Hanna G. (1990) Some pedagogical aspects of proof. Interchange 21: 6–13
Hempel C. G., Oppenheim P. (1948) Studies in the logic of explanation. Philosophy of Science 15: 135–175
Kitcher P. (1975) Bolzano’s ideal of algebraic analysis. Studies in History and Philosophy of Science 6: 229–269
Lange M. (1992) Armstrong and Dretske on the explanatory power of regularities. Analysis 52: 154–159
Lange M. (2009) Why proofs by mathematical induction are generally not explanatory. Analysis 69: 203–211
Lange M. (2010) What are mathematical coincidences (and why does it matter)?. Mind 119: 307–340
Lewis D. (1986) Causal explanation. In his Philosophical Papers II. Oxford University Press, Oxford, pp 214–240
Mancosu P. (2000) On mathematical explanation. In: Grosholz E., Breger H. (eds) The growth of mathematical knowledge. Kluwer, Dordrecht, pp 103–119
Mancosu P. (2001) Mathematical explanation: Problems and prospects. Topoi 20: 97–117
Moore G. H. (1980) Beyond first-order logic: The historical interplay between mathematical logic and axiomatic set theory. History and Philosophy of Logic 1: 95–137
Resnik M., Kushner D. (1987) Explanation, independence and realism in mathematics. The British Journal for the Philosophy of Science 38: 141–158
Schaffer, J. (unpublished). There’s no fact like totality.
Schnieder B. (2008) Truth-functionality. Review of Symbolic Logic 1: 64–72
Schnieder B. (2011) A logic for ‘because’. Review of Symbolic Logic 4: 445–465
Steiner M. (1978) Mathematical explanation. Philosophical Studies 34: 135–151
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hoeltje, M., Schnieder, B. & Steinberg, A. Explanation by induction?. Synthese 190, 509–524 (2013). https://doi.org/10.1007/s11229-011-0045-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-011-0045-z