In recent years, philosophical work directly concerned with the practice of mathematics has intensified, giving rise to a movement known as the philosophy of mathematical practice . In this paper we offer a survey of this movement aimed at mathematics educators. We first describe the core questions philosophers of mathematical practice investigate as well as the philosophical methods they use to tackle them. We then provide a selective overview of work in the philosophy of mathematical practice covering topics including the (...) distinction between formal and informal proofs, visualization and artefacts, mathematical explanation and understanding, value judgments, and mathematical design. We conclude with some remarks on the potential connections between the philosophy of mathematical practice and mathematics education. (shrink)

In practice, mathematical proofs are most often the result of careful planning by the agents who produced them. As a consequence, each mathematical proof inherits a plan in virtue of the way it is produced, a plan which underlies its “architecture” or “unity”. This paper provides an account of plans and planning in the context of mathematical proofs. The approach adopted here consists in looking for these notions not in mathematical proofs themselves, but in the agents who produced them. The (...) starting point is to recognize that to each mathematical proof corresponds a proof activity which consists of a sequence of deductive inferences—i.e., a sequence of epistemic actions—and that any written mathematical proof is only a report of its corresponding proof activity. The main idea to be developed is that the plan of a mathematical proof is to be conceived and analyzed as the plan of the agent(s) who carried out the corresponding proof activity. The core of the paper is thus devoted to the development of an account of plans and planning in the context of proof activities. The account is based on the theory of planning agency developed by Michael Bratman in the philosophy of action. It is fleshed out by providing an analysis of the notions of intention—the elementary components of plans—and practical reasoning—the process by which plans are constructed—in the context of proof activities. These two notions are then used to offer a precise characterization of the desired notion of plan for proof activities. A fruitful connection can then be established between the resulting framework and the recent theme of modularity in mathematics introduced by Jeremy Avigad. This connection is exploited to yield the concept of modular presentations of mathematical proofs which has direct implications for how to write and present mathematical proofs so as to deliver various epistemic benefits. The account is finally compared to the technique of proof planning developed by Alan Bundy and colleagues in the field of automated theorem proving. The paper concludes with some remarks on how the framework can be used to provide an analysis of understanding and explanation in the context of mathematical proofs. (shrink)

Mathematicians judge proofs to possess, or lack, a variety of different qualities, including, for example, explanatory power, depth, purity, beauty and fit. Philosophers of mathematical practice have begun to investigate the nature of such qualities. However, mathematicians frequently draw attention to another desirable proof quality: being motivated. Intuitively, motivated proofs contain no "puzzling" steps, but they have received little further analysis. In this paper, I begin a philosophical investigation into motivated proofs. I suggest that a proof is motivated if and (...) only if mathematicians can identify (i) the tasks each step is intended to perform; and (ii) where each step could have reasonably come from. I argue that motivated proofs promote understanding, convey new mathematical resources and stimulate new discoveries. They thus have significant epistemic benefits and directly contribute to the efficient dissemination and advancement of mathematical knowledge. Given their benefits, I also discuss the more practical matter of how we can produce motivated proofs. Finally I consider the relationship between motivated proofs and proofs which are explanatory, beautiful and fitting. (shrink)

In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. Modern presentations of the proof are explicitly higher-order, in that they involve quantifying over and summing over Dirichlet characters, which are certain types of functions. The notion of a character is only implicit in Dirichlet’s original proof, and the subsequent history shows a very gradual transition to the modern mode of presentation. In this essay, we (...) describe an approach to the philosophy of mathematics in which it is an important task to understand the roles of our ontological posits and assess the extent to which they enable us to achieve our mathematical goals. We use the history of Dirichlet’s theorem to understand some of the reasons that functions are treated as ordinary objects in contemporary mathematics, as well as some of the reasons one might want to resist such treatment. We also use these considerations to illuminate the formal treatment of functions and objects in Frege’s logical foundation, and we argue that his philosophical and logical decisions were influenced by many of the same factors. (shrink)

Dedekind’s structuralism is a crucial source for the structuralism of mathematical practice—with its focus on abstract concepts like groups and fields. It plays an equally central role for the structuralism of philosophical analysis—with its focus on particular mathematical objects like natural and real numbers. Tensions between these structuralisms are palpable in Dedekind’s work, but are resolved in his essay Was sind und was sollen die Zahlen? In a radical shift, Dedekind extends his mathematical approach to “the” natural numbers. He creates (...) the abstract concept of a simply infinite system, proves the existence of a “model”, insists on the stepwise derivation of theorems, and defines structure-preserving mappings between different systems that fall under the abstract concept. Crucial parts of these considerations were added, however, only to the penultimate manuscript, for example, the very concept of a simply infinite system. The methodological consequences of this radical shift are elucidated by an analysis of Dedekind’s metamathematics. Our analysis provides a deeper understanding of the essay and, in addition, illuminates its impact on the evolution of the axiomatic method and of “semantics” before Tarski. This understanding allows us to make connections to contemporary issues in the philosophy of mathematics and science. (shrink)

Current fears of a “reproducibility crisis” have led researchers, sources of scientific funding, and the public to question both the efficacy and trustworthiness of science. Suggested policy changes have been focused on statistical problems, such as p-hacking, and issues of experimental design and execution. However, “reproducibility” is a broad concept that includes a number of issues. Furthermore, reproducibility failures occur even in fields such as mathematics or computer science that do not have statistical problems or issues with experimental design. Most (...) importantly, these proposed policy changes ignore a core feature of the process of scientific inquiry that occurs after reproducibility failures: the integration of conflicting observations and ideas into a coherent theory. (shrink)

Scientific explanations are widely recognized to have instrumental value by helping scientists make predictions and control their environment. In this paper I raise, and provide a first analysis of, the question whether explanatory proofs in mathematics have analogous instrumental value. I first identify an important goal in mathematical practice: reusing resources from existing proofs to solve new problems. I then consider the more specific question: do explanatory proofs have instrumental value by promoting reuse of the resources they contain? In general, (...) I argue that the answer to this question is “no” and demonstrate this in detail for the theory of mathematical explanation developed by Marc Lange. (shrink)

Mathematical proofs are not sequences of arbitrary deductive steps—each deductive step is, to some extent, rational. This paper aims to identify and characterize the particular form of rationality at play in mathematical proofs. The approach adopted consists in viewing mathematical proofs as reports of proof activities—that is, sequences of deductive inferences—and in characterizing the rationality of the former in terms of that of the latter. It is argued that proof activities are governed by specific norms of rational planning agency, and (...) that a deductive step in a mathematical proof qualifies as rational whenever the corresponding deductive inference in the associated proof activity figures in a plan that has been constructed rationally. It is then shown that mathematical proofs whose associated proof activities violate these norms are likely to be judged as defective by mathematical agents, thereby providing evidence that these norms are indeed present in mathematical practice. We conclude that, if mathematical proofs are not mere sequences of deductive steps, if they possess a rational structure, it is because they are the product of rational planning agents. (shrink)

In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. We survey implicit and explicit uses ofDirichlet characters in presentations of Dirichlet’s proof in the nineteenth and early twentieth centuries, with an eye toward understanding some of the pragmatic pressures that shaped the evolution of modern mathematical method.

Prominent mathematician William Thurston was praised by other mathematicians for his intellectual generosity. But what does it mean to say Thurston was intellectually generous? And is being intellectually generous beneficial? To answer these questions I turn to virtue epistemology and, in particular, Roberts and Wood's (2007) analysis of intellectual generosity. By appealing to Thurston's own writings and interviewing mathematicians who knew and worked with him, I argue that Roberts and Wood's analysis nicely captures the sense in which he was intellectually (...) generous. I then argue that intellectual generosity is beneficial because it counteracts negative effects of the reward structure of mathematics that can stymie mathematical progress. (shrink)

Although understanding is the object of a growing literature in epistemology and the philosophy of science, only few studies have concerned understanding in mathematics. This essay offers an account of a fundamental form of mathematical understanding: proof understanding. The account builds on a simple idea, namely that understanding a proof amounts to rationally reconstructing its underlying plan. This characterization is fleshed out by specifying the relevant notion of plan and the associated process of rational reconstruction, building in part on Bratman's (...) theory of planning agency. It is argued that the proposed account can explain a significant range of distinctive phenomena commonly associated with proof understanding by mathematicians and philosophers. It is further argued, on the basis of a case study, that the account can yield precise diagnostics of understanding failures and can suggest ways to overcome them. Reflecting on the approach developed here, the essay concludes with some remarks on how to shape a general methodology common to the study of mathematical and scientific understanding and focused on human agency. (shrink)

Mathematics is becoming increasingly specialized, divided into a vast and growing number of subfields. While this division of cognitive labor has important benefits, it also has a significant drawb...

The World Health Organisation recently listed air pollution as the most significant threat to human health. Air pollution comprises particulate matter (PM), metals, black carbon and gases such as ozone (O3), nitrogen dioxide (NO2) and carbon monoxide (CO). In addition to respiratory and cardiovascular disease, PM exposure is linked with increased risk of neurodegeneration as well as neurodevelopmental impairments. Critically, studies suggest that PM crosses the placenta, making direct in utero exposure a reality. Rodent models reveal that neuroinflammation, neurotransmitter imbalance (...) and oxidative stress are triggered following gestational/early life exposure to PM, and may be exacerbated by concomitant mitochondrial dysfunction. Gestational PM exposure (potentiated by mitochondrial impairment in the metabolically active neonatal brain) not only impacts neurodevelopment but may sensitise the brain to subsequent cognitive impairment. Having reviewed this field, we conclude that strategies are urgently required to reduce exposure to PM during this sensitive developmental period. (shrink)