Some mathematical proofs explain why the theorems they prove hold. This paper identifies several challenges for any counterfactual account of explanation in mathematics (that is, any account according to which an explanatory proof reveals how the explanandum would have been different, had facts in the explanans been different). The paper presumes that countermathematicals can be nontrivial. It argues that nevertheless, a counterfactual account portrays explanatory power as too easy to achieve, does not capture explanatory asymmetry, and fails to specify why (...) certain proofs are explanatory and others are not. Greater informativeness about counterfactual dependence can even yield less explanatory power. (shrink)

The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...) and (3) the specific forms of representation and notation shared and selected by the practitioners. Moreover, it is claimed that a broadening of the notion of ‘permissible action’ as introduced by Larvor (2012) with respect to mathematical arguments, allows for a consideration of all these three elements simultaneously. Second, a case from topology – the proof of Alexander’s theorem – is presented to illustrate a concrete analysis of a mathematical practice and to exemplify the proposed method. It is discussed that the attention to the three elements of the practice identified above brings to the emergence of philosophically relevant features in the practice of topology: the need for a revision in the definition of criteria of validity, the interest in tracking the operations that are performed on the notation, and the constant and fruitful back-and-forth from one representation to another in dealing with mathematical content. Finally, some suggestions for further research are given in the conclusions. (shrink)

The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...) in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology. (shrink)

Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has the potential to (...) broaden our view of the specific normativity of mathematics beyond logical proof. Second, some work focuses on signs to highlight the open-ended and “nonrigorous” aspects of mathematical practice, and the role of these aspects in the historical development of mathematics. The third motivation is based on the following observation: the reason differences in signs matter in mathematics is that humans are finite agents, with cognitive and computational limitations. Accordingly, studying signs can be a way to study how human computational constraints shape the mathematics that we do, and to tackle the topic of mathematical understanding. (shrink)

Debates concerning the units and levels of selection have persisted for over fifty years. One major question in this literature is whether units and levels of selection are genuine, in the sense that they are objective features of the world, or merely reflect the interests and goals of an observer. Scientists and philosophers have proposed a range of answers to this question. This Element introduces this literature and proposes a novel contribution. It defends a realist stance and offers a way (...) of delineating genuine levels of selection by invoking the notion of a functional unit. (shrink)

The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts must (...) develop a specific form of enhanced manipulative imagination, in order to draw inferences from knot diagrams by performing epistemic actions. Moreover, it will be argued that knot diagrams not only can promote discovery, but also provide evidence. This case study is an experimentation ground to evaluate the role of space and action in making inferences by reasoning diagrammatically. (shrink)

Embodied approaches to cognition see abstract thought and language as grounded in interactions between mind, body, and world. A particularly important challenge for embodied approaches to cognition is mathematics, perhaps the most abstract domain of human knowledge. Conceptual metaphor theory, a branch of cognitive linguistics, describes how abstract mathematical concepts are grounded in concrete physical representations. In this paper, we consider the implications of this research for the metaphysics and epistemology of mathematics. In the case of metaphysics, we argue that (...) embodied mathematics is neutral in the sense of being compatible with all existing accounts of what mathematical entities really are. However, embodied mathematics may be able to revive an older position known as psychologism and overcome the difficulties it faces. In the case of epistemology, we argue that the evidence collected in the embodied mathematics literature is inconclusive: It does not show that abstract mathematical thinking is constituted by metaphor; it may simply show that abstract thinking is facilitated by metaphor. Our arguments suggest that closer interaction between the philosophy and cognitive science of mathematics could yield a more precise, empirically informed account of what mathematics is and how we come to have knowledge of it. (shrink)

Husserl’s early picture of explanation in the sciences has never been completely provided. This lack represents an oversight, which we here redress. In contrast to currently accepted interpretations, we demonstrate that Husserl does not adhere to the much maligned deductive-nomological (DN) model of scientific explanation. Instead, via a close reading of early Husserlian texts, we reveal that he presents a unificationist account of scientific explanation. By doing so, we disclose that Husserl’s philosophy of scientific explanation is no mere anachronism. It (...) is, instead, tenable and relevant. We discuss how Husserl and other contemporary thinkers draw theoretical inspiration from the same source—namely, Bernard Bolzano. Husserl’s theory of scientific explanation shares a common language and discusses the same themes as, for example, Phillip Kitcher and Kit Fine. To advance our novel reading, we discuss Husserl’s investigations of grounding, inter-lawful explanation, intra-mathematical explanation, and scientific unification. (shrink)

In this paper we discuss three interrelated questions. First: is explanation in mathematics a topic that philosophers of mathematics can legitimately investigate? Second: are the specific aims that philosophers of mathematical explanation set themselves legitimate? Finally: are the models of explanation developed by philosophers of science useful tools for philosophers of mathematical explanation? We argue that the answer to all these questions is positive. Our views are completely opposite to the views that Mark Zelcer has put forward recently. Throughout this (...) paper, we show why Zelcer’s arguments fail. (shrink)

This article elaborates the epistemic indispensability argument, which fully embraces the epistemic contribution of mathematics to science, but rejects the contention that such a contribution is a reason for granting reality to mathematicalia. Section 1 introduces the distinction between ontological and epistemic readings of the indispensability argument. Section 2 outlines some of the main flaws of the first premise of the ontological reading. Section 3 advances the epistemic indispensability argument in view of both applied and pure mathematics. And Sect. 4 (...) makes a case for the epistemic approach, which firstly calls into question the appeal to inference to the best explanation in the defense of the indispensability claim; secondly, distinguishes between mathematical and physical posits; and thirdly, argues that even though some may think that inference to the best explanation works in the postulation of physical posits, no similar considerations are available for postulating mathematicalia. (shrink)

It has been recently debated whether there exists a so-called “easy road” to nominalism. In this essay, I attempt to fill a lacuna in the debate by making a connection with the literature on infinite and infinitesimal idealization in science through an example from mathematical physics that has been largely ignored by philosophers. Specifically, by appealing to John Norton’s distinction between idealization and approximation, I argue that the phenomena of fractional quantum statistics bears negatively on Mary Leng’s proposed path to (...) easy road nominalism, thereby partially defending Mark Colyvan’s claim that there is no easy road to nominalism. (shrink)

We examine arguments for distinguishing between ontological and epistemological concepts of fundamentality, focusing in particular on the role that scale plays in these concepts. Using the fractional quantum Hall effect as a case study, we show that we can draw a distinction between ontologically fundamental and non-fundamental theories without insisting that it is only the fundamental theories that get the ontology right: there are cases where non-fundamental theories involve distinct ontologies that better characterize real systems than fundamental ones do. In (...) order to reconcile these distinct ontologies between fundamental and non-fundamental theories, we suggest that ontology must be understood as scale-dependent. (shrink)

This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ①. The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of these (...) notions and proposes a more physical treatment of mathematical objects separating the objects from tools used to study them. It both offers a possibility to create new numerical methods using infinities and infinitesimals in floating-point computations and allows one to study certain mathematical objects dealing with infinity more accurately than it is done traditionally. In these notes, we explain that even though both methodologies deal with infinities and infinitesimals, they are independent and represent two different philosophies of Mathematics that are not in a conflict. It is proved that texts :539–555, 2017; Gutman and Kutateladze in Sib Math J 49:835–841, 2008; Kutateladze in J Appl Ind Math 5:73–75, 2011) asserting that the ①-based methodology is a part of non-standard analysis unfortunately contain several logical fallacies. Their attempt to show that the ①-based methodology can be formalized within non-standard analysis is similar to trying to show that constructivism can be reduced to the traditional Mathematics. (shrink)

The Platonic description of the cognitive development of the human being is a crucial part of his philosophy. This account emphasizes not only the existence of phases of rational growth but also the need that the cognitive progress of the individuals is investigated further. I will reconstruct what rational growth is for Plato in light of the deliberate choice of the philosopher to leave incomplete his schematization of human intellectual development. I will argue that this is a means chosen by (...) Plato to stimulate his readers to use his text as a starting point for an enquiry into the capabilities of human intellection. I will illustrate the presence of two phases in the process of human rational growth, highlighting the different techniques utilized by Plato to promote cognitive development during each of them. When the individuals are in the first phase of intellectual growth, they are rationally stimulated via conventional discursive material transmitted in written form. Human rational progress at the level of sophistication of theoretical adulthood is promoted through mathematics. (shrink)

The present paper provides an analysis of Euler’s solutions to the Königsberg bridges problem. Euler proposes three different solutions to the problem, addressing their strengths and weaknesses along the way. I put the analysis of Euler’s paper to work in the philosophical discussion on mathematical explanations. I propose that the key ingredient to a good explanation is the degree to which it provides relevant information. Providing relevant information is based on knowledge of the structure in question, graphs in the present (...) case. I also propose computational complexity and logical strength as measures of relevant information. (shrink)

The present paper provides an analysis of Euler’s solutions to the Königsberg bridges problem. Euler proposes three different solutions to the problem, addressing their strengths and weaknesses along the way. I put the analysis of Euler’s paper to work in the philosophical discussion on mathematical explanations. I propose that the key ingredient to a good explanation is the degree to which it provides relevant information. Providing relevant information is based on knowledge of the structure in question, graphs in the present (...) case. I also propose computational complexity and logical strength as measures of relevant information. (shrink)

We explore the prospects of a monist account of explanation for both non-causal explanations in science and pure mathematics. Our starting point is the counterfactual theory of explanation for explanations in science, as advocated in the recent literature on explanation. We argue that, despite the obvious differences between mathematical and scientific explanation, the CTE can be extended to cover both non-causal explanations in science and mathematical explanations. In particular, a successful application of the CTE to mathematical explanations requires us to (...) rely on counterpossibles. We conclude that the CTE is a promising candidate for a monist account of explanation in both science and mathematics. (shrink)

The literature on mathematical explanation contains numerous examples of explanatory, and not so explanatory proofs. In this paper we report results of an empirical study aimed at investigating mathematicians’ notion of explanatoriness, and its relationship to accounts of mathematical explanation. Using a Comparative Judgement approach, we asked 38 mathematicians to assess the explanatory value of several proofs of the same proposition. We found an extremely high level of agreement among mathematicians, and some inconsistencies between their assessments and claims in the (...) literature regarding the explanatoriness of certain types of proofs. (shrink)

This article focuses on a case that expert practitioners count as an explanation: a mathematical account of Plateau’s laws for soap films. I argue that this example falls into a class of explanations that I call abstract explanations.explanations involve an appeal to a more abstract entity than the state of affairs being explained. I show that the abstract entity need not be causally relevant to the explanandum for its features to be explanatorily relevant. However, it remains unclear how to unify (...) abstract and causal explanations as instances of a single sort of thing. I conclude by examining the implications of the claim that explanations require objective dependence relations. If this claim is accepted, then there are several kinds of objective dependence relations. 1 Introduction2 A Case3 Abstract and Causal Explanations4 Recent Work on Mathematical Explanation5 Explanation and Dependence6 Conclusion. (shrink)

Recently, there have been several attempts to generalize the counterfactual theory of causal explanations to mathematical explanations. The central idea of these attempts is to use conditionals whose antecedents express a mathematical impossibility. Such countermathematical conditionals are plugged into the explanatory scheme of the counterfactual theory and—so is the hope—capture mathematical explanations. Here, I dash the hope that countermathematical explanations simply parallel counterfactual explanations. In particular, I show that explanations based on countermathematicals are susceptible to three problems counterfactual explanations do (...) not face. These problems seriously challenge the prospects for a counterfactual theory of explanation that is meant to cover mathematical explanations. (shrink)

Mathematical explanations are poorly understood. Although mathematicians seem to regularly suggest that some proofs are explanatory whereas others are not, none of the philosophical accounts of what such claims mean has become widely accepted. In this paper we explore Wilkenfeld’s suggestion that explanations are those sorts of things that generate understanding. By considering a basic model of human cognitive architecture, we suggest that existing accounts of mathematical explanation are all derivable consequences of Wilkenfeld’s ‘functional explanation’ proposal. We therefore argue that (...) the explanatory criteria offered by earlier accounts can all be thought of as features that make it more likely that a mathematical proof will generate understanding. On the functional account, features such as characterising properties, unification, and salience correlate with explanatoriness, but they do not define explanatoriness. (shrink)

RESUMEN La fenomenología de Husserl está inmersa en un entramado de regresiones y revisiones conceptuales que dificultan la identificación de una estructura sistémica. Los conceptos característicos de la fenomenología carecen de univocidad y no son propios de algunas obras de Husserl. Philosophie der Arithmetik ilustra el problema referido. ¿Puede inscribirse esta obra dentro de la categoría de texto fenomenológico? ¿Es posible hablar de una fenomenología de la matemática en Husserl? y ¿qué sentido tendría esto? Los objetivos del presente ensayo son: (...) primero, analizar la dificultad que tiene Philosophie der Arithmetik para responder a las inquietudes de la filosofía de las matemáticas, y segundo, proponer la posibilidad de una fenomenología de la matemática condicionada a la clarificación conceptual y al estudio crítico de la influencia de la tradición analítica sobre la filosofía de las matemáticas. ABSTRACT Husserl's phenomenology is immersed in a network of regressions and conceptual revisions that hinder the identification of a systemic structure. The characteristic concepts of phenomenology fall short of uniqueness and are not appropriate for some of Husserl's works. Philosophie der Arithmetik illustrates the aforementioned problem. Can this work be classified under the category of phenomenological texts? Is it possible to talk about a phenomenology of mathematic in Husserl? And what would be the point of this? The objectives of the present essay are: first, to analyze the difficulty that Philosophie der Arithmetik has responding to the concerns of the philosophy of mathematics, and second, to propose the possibility of a phenomenology of mathematics, conditioned to conceptual clarification and critical study of the influence of the analytical tradition on the philosophy of mathematics. (shrink)

Although traditionally neglected, mathematical diagrams have recently begun to attract attention from philosophers of mathematics. By now, the literature includes several case studies investigating the role of diagrams both in discovery and justification. Certain preliminary questions have, however, been mostly bypassed. What are diagrams exactly? Are there different types of diagrams? In the scholarly literature, the term “mathematical diagram” is used in diverse ways. I propose a working definition that carves out the phenomena that are of most importance for a (...) taxonomy of diagrams in the context of a practice-based philosophy of mathematics, privileging examples from contemporary mathematics. In doing so, I move away from vague, ordinary notions. I define mathematical diagrams as forming notational systems and as being geometric/topological representations or two-dimensional representations. I also examine the relationship between mathematical diagrams and spatiotemporal intuition. By proposing an explication of diagrams, I explain certain controversies in the existing literature. Moreover, I shed light on why mathematical diagrams are so effective in certain instances, and, at other times, dangerously misleading. (shrink)

Mathematical diagrams are frequently used in contemporary mathematics. They are, however, widely seen as not contributing to the justificatory force of proofs: they are considered to be either mere illustrations or shorthand for non-diagrammatic expressions. Moreover, when they are used inferentially, they are seen as threatening the reliability of proofs. In this paper, I examine certain examples of diagrams that resist this type of dismissive characterization. By presenting two diagrammatic proofs, one from topology and one from algebra, I show that (...) diagrams form genuine notational systems, and I argue that this explains why they can play a role in the inferential structure of proofs without undermining their reliability. I then consider whether diagrams can be essential to the proofs in which they appear. (shrink)

The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that one (...) of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (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)

We discuss a recent attempt by Chris Daly and Simon Langford to do away with mathematical explanations of physical phenomena. Daly and Langford suggest that mathematics merely indexes parts of the physical world, and on this understanding of the role of mathematics in science, there is no need to countenance mathematical explanation of physical facts. We argue that their strategy is at best a sketch and only looks plausible in simple cases. We also draw attention to how frequently Daly and (...) Langford find themselves in conflict with mathematical and scientific practice. (shrink)

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)

Opinionated state of the art paper on mathematical explanation. After a general introduction to the subject, the paper is divided into two parts. The first part is dedicated to intra-mathematical explanation and the second is dedicated to extra-mathematical explanation. Each of these parts begins to present a set of diverse problems regarding each type of explanation and, afterwards, it analyses relevant models of the literature. Regarding the intra-mathematical explanation, the models of deformable proofs, mathematical saliences and the demonstrative structure of (...) mathematical induction are addressed. Regarding the extra-mathematical explanation, modal, abstract and deductive models are addressed. (shrink)

I offer an explicit account of the underdetermination thesis as well as of the many challenges it poses to scientific realism; a way to answer to these challenges is explored and outlined, by shifting attention to the content of theories. I argue that, even if we have solid grounds (as I contend we do) to support that some varieties of the underdetermination thesis are true, scientific realism can still offer an adequate picture of the aims and achievements of science.

This thesis starts with three challenges to the structuralist accounts of applied mathematics. Structuralism views applied mathematics as a matter of building mapping functions between mathematical and target-ended structures. The first challenge concerns how it is possible for a non-mathematical target to be represented mathematically when the mapping functions per se are mathematical objects. The second challenge arises out of inconsistent early calculus, which suggests that mathematical representation does not require rigorous mathematical structures. The third challenge comes from renormalisation group (...) (RG) explanations of universality. It is argued that the structural mapping between the world and a highly abstract minimal model adds little value to our understanding of how RG obtains its explanatory force. I will address the first and second challenges from the similarity perspective. The similarity account captures representations as similarity relations, providing a more flexible and broader conception of representation than structuralism. It is the specification of the respect and degree of similarity that forges mathematics into a context of representation and directs it to represent a specific system in reality. Structuralism is treatable as a tool for explicating similarity rela-tions set-theoretically. The similarity account, combined with other approaches (e.g., Nguyen and Frigg’s extensional abstraction account and van Fraassen’s pragmatic equivalence), can dissolve the first challenge. Additionally, I will make a structuralist response to the second challenge, and suggestions regarding the role of infinitesimals from the similarity perspective. In light of the similarity account, I will propose the “hotchpotch picture” as a method-ological reflection of our study of representation and explanation. Its central insight is to dissect a representation or an explanation into several aspects and use different theories (that are usually thought of competing) to appropriate each of them. Based on the hotchpotch picture, RG explanations can be dissected to the “indexing” and “inferential” conceptions of explanation, which are captured or characterised by structural mappings. Therefore, structuralism accommodates RG explanations, and the third challenge is resolved. (shrink)