Aesthetics in philosophy of mathematics is too narrowly construed. Beauty is not the only feature in mathematics that is arguably aesthetic. While not the highest aesthetic value, being interesting is a sine qua non for publishability. Of the many ways to be interesting, being explanatory has recently been discussed. The motivational power of what is interesting is important for both directing research and stimulating education. The scientific satisfaction of curiosity and the artistic desire for beautiful results are complementary but both (...) aesthetic. (shrink)

The key idea behind the diagrammatic approach presented in the paper is that the sophisticated mechanisms of human visual construction also play an important role in natural languages. We propose a diagrammatic representation of English, giving examples, translation rules, and semantics. Special attention will be paid to anaphoric phenomena, in particular, the possibility of a uniform treatment of anaphoric pronouns.

We describe recent developments in research on mathematical practice and cognition and outline the nine contributions in this special issue of topiCS. We divide these contributions into those that address (a) mathematical reasoning: patterns, levels, and evaluation; (b) mathematical concepts: evolution and meaning; and (c) the number concept: representation and processing.

The new explanatory or enhanced indispensability argument alleges that our mathematical beliefs are justified by their indispensable appearances in scientific explanations. This argument differs from the standard indispensability argument which focuses on the uses of mathematics in scientific theories. I argue that the new argument depends for its plausibility on an equivocation between two senses of explanation. On one sense the new argument is an oblique restatement of the standard argument. On the other sense, it is vulnerable to an instrumentalist (...) response. Either way, the explanatory indispensability argument is no improvement on the standard one. (shrink)

Philosophers who regard some mathematical proofs as explaining why theorems hold, and others as merely proving that they do hold, disagree sharply about the explanatory value of proofs by mathematical induction. I offer an argument that aims to resolve this conflict of intuitions without making any controversial presuppositions about what mathematical explanations would be.

Although all mathematical truths are necessary, mathematicians take certain combinations of mathematical truths to be ‘coincidental’, ‘accidental’, or ‘fortuitous’. The notion of a ‘ mathematical coincidence’ has so far failed to receive sufficient attention from philosophers. I argue that a mathematical coincidence is not merely an unforeseen or surprising mathematical result, and that being a misleading combination of mathematical facts is neither necessary nor sufficient for qualifying as a mathematical coincidence. I argue that although the components of a mathematical coincidence (...) may possess a common explainer, they have no common explanation ; that two mathematical facts have a unified explanation makes their truth non-coincidental. I suggest that any motivation we may have for thinking that there are mathematical coincidences should also motivate us to think that there are mathematical explanations, since the notion of a mathematical coincidence can be understood only in terms of the notion of a mathematical explanation. I also argue that the notion of a mathematical coincidence plays an important role in scientific explanation. When two phenomenological laws of nature are similar, despite concerning physically distinct processes, it may be that any correct scientific explanation of their similarity proceeds by revealing their similarity to be no mathematical coincidence. (shrink)

Unlike explanation in science, explanation in mathematics has received relatively scant attention from philosophers. Whereas there are canonical examples of scientific explanations, there are few examples that have become widely accepted as exhibiting the distinction between mathematical proofs that explain why some mathematical theorem holds and proofs that merely prove that the theorem holds without revealing the reason why it holds. This essay offers some examples of proofs that mathematicians have considered explanatory, and it argues that these examples suggest a (...) particular account of explanation in mathematics. The essay compares its account to Steiner's and Kitcher's. Among the topics that arise are proofs that exploit symmetries, mathematical coincidences, brute-force proofs, simplicity in mathematics, merely clever proofs, and proofs that unify what other proofs treat as separate cases. (shrink)

From ancient times to the present, the discovery and presentation of new proofs of previously established theorems has been a salient feature of mathematical practice. Why? What purposes are served by such endeavors? And how do mathematicians judge whether two proofs of the same theorem are essentially different? Consideration of such questions illuminates the roles that proofs play in the validation and communication of mathematical knowledge and raises issues that have yet to be resolved by mathematical logicians. The Appendix, in (...) which several proofs of the Fundamental Theorem of Arithmetic are compared, provides a miniature case study. (shrink)

Two experiments are reported which investigate the factors that influence how persuaded mathematicians are by visual arguments. We demonstrate that if a visual argument is accompanied by a passage of text which describes the image, both research-active mathematicians and successful undergraduate mathematics students perceive it to be significantly more persuasive than if no text is given. We suggest that mathematicians’ epistemological concerns about supporting a claim using visual images are less prominent when the image is described in words. Finally we (...) suggest that empirical studies can make a useful contribution to our understanding of mathematical practice. (shrink)

Marc Lange argues that proofs by mathematical induction are generally not explanatory because inductive explanation is irreparably circular. He supports this circularity claim by presenting two putative inductive explanantia that are one another’s explananda. On pain of circularity, at most one of this pair may be a true explanation. But because there are no relevant differences between the two explanantia on offer, neither has the explanatory high ground. Thus, neither is an explanation. I argue that there is no important asymmetry (...) between the two cases because they are two presentations of the same explanation. The circularity argument requires a problematic notion of identity of proofs. I argue for a criterion of proof individuation that identifies the two proofs Lange offers. This criterion can be expressed in two equivalent ways: one uses the language of homotopy type theory, and the second assigns algebraic representatives to proofs. Though I will concentrate on one example, a criterion of proof identity has much broader consequences: any investigation into mathematical practice must make use of some proof-individuation principle. (shrink)

PurposeIn this article, we aim to present and defend a contextual approach to mathematical explanation.MethodTo do this, we introduce an epistemic reading of mathematical explanation.ResultsThe epistemic reading not only clarifies the link between mathematical explanation and mathematical understanding, but also allows us to explicate some contextual factors governing explanation. We then show how several accounts of mathematical explanation can be read in this approach.ConclusionThe contextual approach defended here clears up the notion of explanation and pushes us towards a pluralist vision (...) on mathematical explanation. (shrink)

Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...) and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

The paper distinguishes between two kinds of mathematics, natural mathematics which is a result of biological evolution and artificial mathematics which is a result of cultural evolution. On this basis, it outlines an approach to the philosophy of mathematics which involves a new treatment of the method of mathematics, the notion of demonstration, the questions of discovery and justification, the nature of mathematical objects, the character of mathematical definition, the role of intuition, the role of diagrams in mathematics, and the (...) effectiveness of mathematics in natural science. (shrink)

This article discusses the role of diagrams in mathematical reasoning in the light of a case study in analysis. In the example presented certain combinatorial expressions were first found by using diagrams. In the published proofs the pictures were replaced by reasoning about permutation groups. This article argues that, even though the diagrams are not present in the published papers, they still play a role in the formulation of the proofs. It is shown that they play a role in concept (...) formation as well as representations of proofs. In addition we note that 'visualization' is used in two different ways. In the first sense 'visualization' denotes our inner mental pictures, which enable us to see that a certain fact holds, whereas in the other sense 'visualization' denotes a diagram or representation of something. (shrink)

On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued. I argue that at least some of these criteria depend on the methods of inference the proofs employ, and that (...) standard models of formal deduction are not well-equipped to support such evaluations. I discuss a model of proof that is used in the automated deduction community, and show that this model does better in that respect. (shrink)

The discussion on mathematical explanation has inherited the same sense of dissatisfaction that philosophers of science expressed, in the context of scientific explanation, towards the deductive-nomological model. This model is regarded as unable to cover cases of bona fide mathematical explanations and, furthermore, it is largely ignored in the relevant literature. Surprisingly, the reasons for this ostracism are not sufficiently manifest. In this paper I explore a possible extension of the model to the case of mathematical explanations and I claim (...) that there are at least two reasons to judge the deductive-nomological picture of explanation as inadequate in that context. (shrink)

In Section 2, I survey some of the ways that computers are used in mathematics. These raise questions that seem to have a generally epistemological character, although they do not fall squarely under a traditional philosophical purview. The goal of this article is to try to articulate some of these questions more clearly, and assess the philosophical methods that may be brought to bear. In Section 3, I note that most of the issues can be classified under two headings: some (...) deal with the ability of computers to deliver appropriate “evidence” for mathematical assertions, a notion that is explored in Section 4, while others deal with the ability of computers to deliver appropriate mathematical “understanding,” a notion that is considered in Section 5. Final thoughts are provided in Section 6. (shrink)

Are there arguments in mathematics? Are there explanations in mathematics? Are there any connections between argument, proof and explanation? Highly controversial answers and arguments are reviewed. The main point is that in the case of a mathematical proof, the pragmatic criterion used to make a distinction between argument and explanation is likely to be insufficient for you may grant the conclusion of a proof but keep on thinking that the proof is not explanatory.

On March 10-12, 2014, Umeå University in Sweden will host a workshop on mathematical beauty and explanation. The goal of this workshop is explore the question of whether beauty and explanation are related in mathematics. The workshop will bring together top researchers from fields such as mathematics, philosophy, and mathematics education for which this topic is relevant. Many of these researchers have till now worked within their own discipline boundaries on related topics, but have not met or worked with each (...) other. We hope the workshop not only develops the programs of these established researchers, but also sparks interest in young researchers and encourages others to contribute to this specific question, or other related questions about the nature of mathematics. Registration is currently open, and will remain so until the capacity, of around 30 participants, is filled. (shrink)