this issue
previous article in this issuenext article in this issue

Document Details :

Title: Explanatory Proofs in Mathematics
Subtitle: Noneism, Someism, and Allism
Author(s): BARACCO, Flavio
Journal: Logique et Analyse
Volume: 237    Date: 2017   
Pages: 67-86
DOI: 10.2143/LEA.237.0.3197359

Abstract :
In recent times philosophers of mathematics have generated great interest in explanations in mathematics. They have focused their attention on mathematical practice and searched for special cases that seem to own some kind of explanatory power. Two main views can be identified, namely noneism and someism: the first is the view that no proof is explanatory, whereas the second is the view that some proofs are explanatory while others are not. The present paper aims to discuss the plausibility of the latter view. I first point out the main difficulties involved in this kind of research and I focus on a recent someist account, namely Frans and Weber’s mechanistic model. Their approach seems promising, but further research is needed before accepting this someist model as a proper one. I then outline a general assessment on someism which doesn’t turn out to be so convincing. I therefore suggest another view that I call allism, i.e. the view that all proofs are explanatory, at least in some sense, and I argue for its plausibility.

Download article