I introduce an argument for Platonism based on intra-mathematical explanation: the explanation of one mathematical fact by another. The argument is important for two reasons. First, if the argument succeeds then it provides a basis for Platonism that does not proceed via standard indispensability considerations. Second, if the argument fails it can only do so for one of three reasons: either because there are no intra-mathematical explanations, or because not all explanations are backed by dependence relations, or because some form (...) of noneism-the view according to which non-existent entities possess properties and stand in relations-is true. The argument thus forces a choice between nominalism without noneism, intra-mathematical explanation and a backing conception of explanation. You can have any two, but not all three. (shrink)

Distinctively mathematical explanations (DMEs) explain natural phenomena primarily by appeal to mathematical facts. One important question is whether there can be an ontic account of DME. An ontic account of DME would treat the explananda and explanantia of DMEs as ontic structures and the explanatory relation between them as an ontic relation (e.g., Pincock 2015, Povich 2021). Here I present a conventionalist account of DME, defend it against objections, and argue that it should be considered ontic. Notably, if indeed it (...) is ontic, the conventionalist account seems to avoid a convincing objection to other ontic accounts (Kuorikoski 2021). (shrink)

One central aim of science is to provide explanations of natural phenomena. What role(s) does mathematics play in achieving this aim? How does mathematics contribute to the explanatory power of science? Rules to Infinity defends the thesis, common though perhaps inchoate among many members of the Vienna Circle, that mathematics contributes to the explanatory power of science by expressing conceptual rules, rules which allow the transformation of empirical descriptions. Mathematics should not be thought of as describing, in any substantive sense, (...) an abstract realm of eternal mathematical objects, as traditional platonists have thought. In Rules to Infinity, this view, which I call mathematical normativism, is updated with contemporary philosophical tools, and it is argued that normativism is compatible with mainstream semantic theory. This allows the normativist to accept that there are mathematical truths, while resisting the platonistic idea that there exist abstract mathematical objects that explain such truths. Furthermore, Rules to Infinity defends a particular account of the distinction between scientific explanations that are in some sense distinctively mathematical – those that explain natural phenomena in some uniquely mathematical way – and those that are only standardly mathematical, and it lays out desiderata for any account of this distinction. Normativism is compared with other prominent views in the philosophy of mathematics such as neo-Fregeanism, fictionalism, conventionalism, and structuralism. Rules to Infinity serves as an entry point into debates at the forefront of philosophy of science and mathematics, and it defends novel positions in these debates. (shrink)

This article examines the use of mathematical concepts in philosophy, focusing on topology, which may be viewed as a modern supplement to geometry. We show that Plato and Parmenides were already employing geometric ideas in their research, and discuss three examples of the application of topology to philosophical problems: the first concerns the analysis of the Cartesian distinction between res extensa and res cogitans, the second the ontology of possible worlds of Wittgenstein's Tractatus, and the third Leibniz's monadology. We also (...) consider the role of topology in mathematical explanations of the sort found in science, arguing that it can perform a role in philosophy that is of comparable importance. (shrink)

The bridges of Königsberg case has been widely cited in recent philosophical discussions on scientific explanation as a potential example of a structural explanation of a physical phenomenon. However, when discussing this case, different authors have focused on two different versions, depending on what they take the explanandum to be. In one version, the explanandum is the _failure_ of a given individual in performing an Eulerian walk over the bridge system. In the other version, the explanandum is the _impossibility_ of (...) performing an Eulerian walk over the bridges. The goal of this paper is to show that only the latter version amounts to a real case of a structural explanation. I will also suggest how to fix the first version, and show how my remarks apply to other purported cases of structural explanations. (shrink)

Pluralist mathematical realism, the view that there exists more than one mathematical universe, has become an influential position in the philosophy of mathematics. I argue that, if mathematical pluralism is true (and we have good reason to believe that it is), then mathematical realism cannot (easily) be justified by arguments from the indispensability of mathematics to science. This is because any justificatory chain of inferences from mathematical applications in science to the total body of mathematical theorems can cover at most (...) one mathematical universe. Indispensability arguments may thus lose their central role in the debate about mathematical ontology. (shrink)

"A theoretical juice extractor: The role of mathematics in scientific explanation". There have recently been proposed cases where, supposedly, mathematics would play a genuinely explanatory role in science. These have been divided into those situations where the explanatory role would be played by mathematical operations, and those where it would be played by mathematical entities. In this article, I analyze some of these purported cases and argue that claims that mathematics can be genuinely explanatory are unfounded. Throughout my discussion, I (...) emphasize the representational role of mathematics, as opposed to its supposed explanatory role: the role of mathematics, even in the cases that I discuss, is to represent physical facts and help draw inferences about those facts. (shrink)

In this essay I propose that what design principles in systems biology and systems neuroscience do is to present abstract characterizations of mechanisms, and thereby facilitate mechanistic explanation. To show this, one design principle in systems neuroscience, i.e., the multilayer perceptron, is examined. However, Braillard contends that design principles provide a sort of non-mechanistic explanation due to two related reasons: they are very general and describe non-causal dependence relationships. In response to this, I argue that, on the one hand, all (...) mechanisms are more or less general, and on the other, many design principles are causal systems. (shrink)

This article introduces a non‐cognitivist account of metaphysical explanation according to which the core function of judgements of the form ⌜x because y⌝ is not to state truth‐apt beliefs. Instead, their core function is to express attitudes of commitment to, and recommendation of the acceptance of certain norms governing interventional conduct at contexts.

Extinction is a concept of rapidly growing importance, with the world currently in the sixth mass extinction event and a biodiversity crisis. However, the concept of extinction has itself received surprisingly little attention from philosophers. I will first argue that in practice there is no single unified concept of extinction, but instead that its usage divides between descriptive, epistemic, and declarative concepts. I will then consider the epistemic challenges that arise in ascertaining whether a species has gone extinct, and how (...) these lead to serious limitations on responsibility and accountability for preventing extinctions. I will propose two conceptual engineering changes to our understanding of extinction. Firstly, to use twin epistemic concepts of extinction, corresponding to high and low epistemic demands. Secondly, to explicitly recognize that in many contexts extinction is a thick concept that contains an evaluative component, which therefore motivates explicit ethical considerations such as the use of precautionary principles. (shrink)

In ontological debates, realists typically argue for their view via one of two approaches. The _Quinean approach_ employs naturalistic arguments that say our scientific practices give us reason to affirm the existence of a kind of entity. The _Fregean approach_ employs linguistic arguments that say we should affirm the existence of a kind of entity because our discourse contains reference to those entities. These two approaches are often seen as distinct, with _indispensability arguments_ typically associated with the former, but not (...) the latter, approach. This paper argues for a connection between the two approaches on the grounds that the typical arguments of the Fregean approach can be reformulated as indispensability arguments. This connection is significant in at least two ways. First, it implies that indispensability arguments provide a common framework within which to compare the Quinean and Fregean approaches, which allows for a more precise delineation of the two approaches. Second, it implies the possibility of analogical relations that allow proponents and opponents of each approach to draw upon the ideas that have been developed regarding the other. (shrink)

Sober and Huemer have independently argued that simplicity has no place in evaluating philosophical views. In particular, they have argued that the best rationales for scientists to appeal to simplicity in judging between rival theories fail to carry over to philosophers judging between rival philosophical accounts. This paper disagrees with Sober and Huemer. It argues that two rationales for scientific appeals to simplicity equally well underwrite appeals to simplicity when philosophers evaluate rival rational reconstructions of some social normative practice. These (...) two rationales are shown to apply to two philosophical appeals to simplicity: in Quine’s argument against analyticity and in an argument against pluralism in accounts of scientific explanation. Some factors are identified that influence how much weight simplicity should carry in these and other philosophical cases. Simplicity’s legitimate role in evaluating rival rational reconstructions suggests that simplicity will also turn out to be justly relevant to ontological investigations. (shrink)

Although mathematical philosophy is flourishing today, it remains subject to criticism, especially from non-analytical philosophers. The main concern is that even if formal tools serve to clarify reasoning, they themselves contribute nothing new or relevant to philosophy. We defend mathematical philosophy against such concerns here by appealing to its metaphysical foundations. Our thesis is that mathematical philosophy can be founded on the phenomenological theory of ideas as developed by Roman Ingarden. From this platonist perspective, the “unreasonable effectiveness of mathematics in (...) philosophy”—to adapt Wigner’s phrase—is analogous to that of mathematical explanations in science. As success-criteria for mathematical philosophy, we propose that it should be correct, responsive, illuminating, promising, relevant, and adequate. (shrink)

Extra-mathematical explanations explain natural phenomena primarily by appeal to mathematical facts. Philosophers disagree about whether there are extra-mathematical explanations, the correct account of them if they exist, and their implications (e.g., for the philosophy of scientific explanation and for the metaphysics of mathematics) (Baker 2005, 2009; Bangu 2008; Colyvan 1998; Craver and Povich 2017; Lange 2013, 2016, 2018; Mancosu 2008; Povich 2019, 2020; Steiner 1978). In this discussion note, I present three desiderata for any account of extra-mathematical explanation and argue (...) that Baron’s (2020) U-Counterfactual Theory fails to meet each of them. I conclude with some reasons for pessimism that a successful account will be forthcoming. (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)

I argue that there is nothing about the structure of inference to the best explanation (IBE) that prevents it from establishing a contradiction in general, though there are some potential limitations on when it can be used for this purpose. Studying the relationship between IBE and contradictions is worthwhile for three reasons. First, it enhances our understanding of IBE. We see that, in many cases, IBE does not require explanations to be consistent, though there are some cases where consistency may (...) be required. Second, the argument has implications for the debate over scientific realism. Many scientific theories appear to be inconsistent. The best argument for scientific realism, however, appeals to IBE. My argument thus shows that a certain kind of realist faces a threat from inconsistent theories. Third, the argument is important for dialetheism. Dialetheists maintain that some contradictions are true. Many of the arguments in favour of dialetheism appeal to explanatory considerations. What I say here provides support for defending dialethism using an IBE-based methodology. (shrink)

Defenders of the enhanced indispensability argument argue that the most effective route to platonism is via the explanatory role of mathematical posits in science. Various compelling cases of mathematical explanation in science have been proposed, but a satisfactory general philosophical account of such explanations is lacking. In this paper, I lay out the framework for such an account based on the notion of “the mathematical stance.” This is developed by analogy with Dennett’s well-known concept of “the intentional stance.” Roughly, adopting (...) the mathematical stance towards a particular physical phenomenon involves treating it as an abstract mathematical structure for the purposes of prediction and explanation. Interestingly, Dennett himself frequently draws analogies between his intentional stance towards beliefs and desires and scientists’ stance towards centers of gravity. I explore the theoretical role played by centers of gravity within science and discuss how an indispensabilist platonist ought to categorize the ontological status of this type of posit. I conclude with some thoughts on how an approach based on the mathematical stance might be developed into a more general philosophical account of the application of mathematics in science. (shrink)

In this talk I present the main results from Anta (2021), namely, that the theoretical division between Boltzmannian and Gibbsian statistical mechanics should be understood as a separation in the epistemic capabilities of this physical discipline. In particular, while from the Boltzmannian framework one can generate powerful explanations of thermal processes by appealing to their microdynamics, from the Gibbsian framework one can predict observable values in a computationally effective way. Finally, I argue that this statistical mechanical schism contradicts the Hempelian (...) (1958) thesis that the predictive power of a scientific theory is directly proportional to its explanatory potential, and vice versa. (shrink)

In this paper I present a case study of mathematical explanation in science that is new to the philosophical literature, and that arises in the context of estimating the energetic costs of running in bipedal animals. I refer to this as the Bipedal Gait Costs explanation. I argue that it is important for examples of applied mathematics to be driven not just by philosophical and mathematical concerns but also by scientific concerns. After a detailed presentation of the BGC case study, (...) I discuss ways in which it is different from standard examples of MES. One distinctive aspect of BGC is that substantive mathematics occurs at two different levels. I argue for a distinction to be drawn between the mathematical modeling that occurs at one level, which is non-explanatory, and the mathematical theorem which is applied to results gleaned from these models, which is explanatory. I conclude by drawing some connections with broader indispensability-based arguments for platonism in the philosophy of mathematics. (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)

Mathematics appears to play an explanatory role in science. This, in turn, is thought to pave a way toward mathematical Platonism. A central challenge for mathematical Platonists, however, is to provide an account of how mathematical explanations work. I propose a property-based account: physical systems possess mathematical properties, which either guarantee the presence of other mathematical properties and, by extension, the physical states that possess them; or rule out other mathematical properties, and their associated physical states. I explain why Platonists (...) should accept that physical systems have mathematical properties, and why a property based account is better than existing accounts of mathematical explanation. I close by considering whether nominalists can accept the view I propose here. I argue that they cannot. (shrink)

In the debate over whether mathematical facts, properties, or entities explain physical events (in what philosophers call “extra-mathematical” explanations), Aidan Lyon’s (2012) affirmative answer stands out for its employment of the program explanation (PE) methodology of Frank Jackson and Philip Pettit (1990). Juha Saatsi (2012; 2016) objects, however, that Lyon’s examples from the indispensabilist literature are (i) unsuitable for PE, (ii) nominalizable into non-mathematical terms, and (iii) mysterious about the explanatory relation alleged to obtain between the PE’s mathematical explanantia and (...) physical explananda. In this paper, I propose a counterexample to Saatsi’s objections. My counterexample is Frank Jackson’s (1998a) program explanation for color experience, which I argue needs recasting as an extra-mathematical PE due to its implicit reliance on reflectance, a property that suffers conceptual regress unless redefined with Fourier harmonics. Pace Saatsi, I argue that this recast example is an authoritative PE, non-nominalizable, and minimally esoteric. Important for the indispensability debate at large, moreover, is that my counterexample reifies Fourier harmonics without the Enhanced Indispensability Argument (an argument to which Lyon applies PE as a premise). Indispensabilists have long overlooked the conditionalization of a limited mathematical realism on property realism, and my counterexample to Saatsi exploits this conditionalization. (shrink)

Are there genuine mathematical explanations of physical phenomena, and if so, how can mathematical theories, which are typically thought to concern abstract mathematical objects, explain contingent empirical matters? The answer, I argue, is in seeing an important range of mathematical explanations as structural explanations, where structural explanations explain a phenomenon by showing it to have been an inevitable consequence of the structural features instantiated in the physical system under consideration. Such explanations are best cast as deductive arguments which, by virtue (...) of their form, establish that, given the mathematical structure instantiated in the physical system under consideration, the explanandum had to occur. Against the claims of platonists such as Alan Baker and Mark Colyvan, I argue that formulating mathematical explanations as structural explanations in this way shows that we can accept that mathematics can play an indispensable explanatory role in empirical science without committing to the existence of any abstract mathematical objects. (shrink)

It is a well-known fact that mathematics plays a crucial role in physics; in fact, it is virtually impossible to imagine contemporary physics without it. But it is questionable whether mathematical concepts could ever play such a role in psychology or philosophy. In this paper, we set out to examine a rather unobvious example of the application of topology, in the form of the theory of persons proposed by Kurt Lewin in his Principles of Topological Psychology. Our aim is to (...) show that this branch of mathematics can furnish a natural conceptual system for Gestalt psychology, in that it provides effective tools for describing global qualitative aspects of the latter’s object of investigation. We distinguish three possible ways in which mathematics can contribute to this: explanation, explication and metaphor. We hold that all three of these can be usefully characterized as throwing light on their subject matter, and argue that in each case this contrasts with the role of explanations in physics. Mathematics itself, we argue, provides something different from such explanations when applied in the field of psychology, and this is nevertheless still cognitively fruitful. (shrink)

Some scientific explanations appear to turn on pure mathematical claims. The enhanced indispensability argument appeals to these ‘mathematical explanations’ in support of mathematical platonism. I argue that the success of this argument rests on the claim that mathematical explanations locate pure mathematical facts on which their physical explananda depend, and that any account of mathematical explanation that supports this claim fails to provide an adequate understanding of mathematical explanation.

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue (...) that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

An account of distinctively mathematical explanation (DME) should satisfy three desiderata: it should account for the modal import of some DMEs; it should distinguish uses of mathematics in explanation that are distinctively mathematical from those that are not (Baron [2016]); and it should also account for the directionality of DMEs (Craver and Povich [2017]). Baron’s (forthcoming) deductive-mathematical account, because it is modelled on the deductive-nomological account, is unlikely to satisfy these desiderata. I provide a counterfactual account of DME, the Narrow (...) Ontic Counterfactual Account (NOCA), that can satisfy all three desiderata. NOCA appeals to ontic considerations to account for explanatory asymmetry and ground the relevant counterfactuals. NOCA provides a unification of the causal and the non-causal, the ontic and the modal, by identifying a common core that all explanations share and in virtue of which they are explanatory. (shrink)

Mathematics clearly plays an important role in scientific explanation. Debate continues, however, over the kind of role that mathematics plays. I argue that if pure mathematical explananda and physical explananda are unified under a common explanation within science, then we have good reason to believe that mathematics is explanatory in its own right. The argument motivates the search for a new kind of scientific case study, a case in which pure mathematical facts and physical facts are explanatorily unified. I argue (...) that it is possible for there to be such cases, and provide some toy examples to demonstrate this. I then identify a potential source of scientific case studies as a guide for future work. (shrink)

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)

This article provides a computational example of a mathematical explanation within science, concerning computational equivalence of programs. In addition, it outlines the logical structure of the reasoning involved in explanations in applied mathematics. It concludes with a challenge that the nominalist provide a nominalistic explanation for the computational equivalence of certain programs.

Explanations are backed by many different relations: causation, grounding, and arguably others too. But why are these different relations capable of backing explanations? In virtue of what are they explanatory? In this paper, I propose and defend a monistic account of explanation-backing relations. On my account, there is a single relation which backs all cases of explanation, and which explains why those other relations are explanation-backing.

Recent debates about mathematical ontology are guided by the view that Platonism's prospects depend on mathematics' explanatory role in science. If mathematics plays an explanatory role, and in the right kind of way, this carries ontological commitment to mathematical objects. Conversely, the assumption goes, if mathematics merely plays a representational role then our world-oriented uses of mathematics fail to commit us to mathematical objects. I argue that it is a mistake to think that mathematical representation is necessarily ontologically innocent and (...) that there is an argument from mathematics' representational capacity to Platonism. Given that it is common ground between the Platonist and nominalist that mathematics plays a representational role in science, this representationalist argument is to be preferred over the explanatory, or enhanced, indispensability argument. (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)

ABSTRACT Our goal in this paper is to extend counterfactual accounts of scientific explanation to mathematics. Our focus, in particular, is on intra-mathematical explanations: explanations of one mathematical fact in terms of another. We offer a basic counterfactual theory of intra-mathematical explanations, before modelling the explanatory structure of a test case using counterfactual machinery. We finish by considering the application of counterpossibles to mathematical explanation, and explore a second test case along these lines.

In this paper, I present a general theory of topological explanations, and illustrate its fruitfulness by showing how it accounts for explanatory asymmetry. My argument is developed in three steps. In the first step, I show what it is for some topological property A to explain some physical or dynamical property B. Based on that, I derive three key criteria of successful topological explanations: a criterion concerning the facticity of topological explanations, i.e. what makes it true of a particular system; (...) a criterion for describing counterfactual dependencies in two explanatory modes, i.e. the vertical and the horizontal; and, finally, a third perspectival one that tells us when to use the vertical and when to use the horizontal mode. In the second step, I show how this general theory of topological explanations accounts for explanatory asymmetry in both the vertical and horizontal explanatory modes. Finally, in the third step, I argue that this theory is universally applicable across biological sciences, which helps to unify essential concepts of biological networks. (shrink)

Easy-road mathematical fictionalists grant for the sake of argument that quantification over mathematical entities is indispensable to some of our best scientific theories and explanations. Even so they maintain we can accept those theories and explanations, without believing their mathematical components, provided we believe the concrete world is intrinsically as it needs to be for those components to be true. Those I refer to as “mathematical surrealists” by contrast appeal to facts about the intrinsic character of the concrete world, not (...) to explain why our best mathematically imbued scientific theories and explanations are acceptable in spite of having false components, but in order to replace those theories and explanations with parasitic, nominalistically acceptable alternatives. I argue that easy-road fictionalism is viable only if mathematical surrealism is and that the latter constitutes a superior nominalist strategy. Two advantages of mathematical surrealism are that it neither begs the question concerning the explanatory role of mathematics in science nor requires rejecting the cogency of inference to the best explanation. (shrink)

This paper concerns an epistemological objection against mathematical platonism, due to Hartry Field.The argument poses an explanatory challenge – the challenge to explain the reliability of our mathematical beliefs – which the platonist, it’s argued, cannot meet. Is the objection compelling? Philosophers disagree, but they also disagree on (and are sometimes very unclear about) how the objection should be understood. Here I distinguish some options, and highlight some gaps that need to be filled in on the potentially most compelling version (...) of the argument. (shrink)

This book is in honour of Professor Anna-Sofia Maurin on her 50th birthday. It consists of eighteen essays on metaphysical issues written by Swedish and international scholars.

This is a teaching and learning guide to accompany "Explanation in Mathematics: Proofs and Practice".

Call an explanation in which a non-mathematical fact is explained—in part or in whole—by mathematical facts: an extra-mathematical explanation. Such explanations have attracted a great deal of interest recently in arguments over mathematical realism. In this article, a theory of extra-mathematical explanation is developed. The theory is modelled on a deductive-nomological theory of scientific explanation. A basic DN account of extra-mathematical explanation is proposed and then redeveloped in the light of two difficulties that the basic theory faces. The final view (...) appeals to relevance logic and uses resources in information theory to understand the explanatory relationship between mathematical and physical facts. 1Introduction2Anchoring3The Basic Deductive-Mathematical Account4The Genuineness Problem5Irrelevance6Relevance and Information7Objections and Replies 7.1Against relevance logic7.2Too epistemic7.3Informational containment8Conclusion. (shrink)

Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...) they relate to the sorts of explanation encountered in philosophy of science and metaphysics? (shrink)

We demonstrate how real progress can be made in the debate surrounding the enhanced indispensability argument. Drawing on a counterfactual theory of explanation, well-motivated independently of the debate, we provide a novel analysis of ‘explanatory generality’ and how mathematics is involved in its procurement. On our analysis, mathematics’ sole explanatory contribution to the procurement of explanatory generality is to make counterfactual information about physical dependencies easier to grasp and reason with for creatures like us. This gives precise content to key (...) intuitions traded in the debate, regarding mathematics’ procurement of explanatory generality, and adjudicates unambiguously in favour of the nominalist, at least as far as explanatory generality is concerned. (shrink)

It has seemed, to many, that there is an important connection between the ways in which some theoretical posits explain our observations, and our reasons for being ontologically committed to those posits. One way to spell out this connection is in terms of what has become known as the explanatory criterion of ontological commitment. This is, roughly, the view that we ought to posit only those entities that are indispensable to our best explanations. Our primary aim is to argue that (...) the moral nonnaturalist places herself in an invidious position if she simply accepts that the nonnatural moral facts that she posits are not explanatory. Instead, we offer the nonnaturalist an alternative strategy for dealing with moral explanations. The strategy is to retain the explanatory criterion of ontological commitment and maintain that moral properties are, in fact, explanatory. The explanations they provide are not causal explanations; instead, moral properties make a non-causal difference to the physical facts. (shrink)

“Structuralism, Fictionalism, and the Applicability of Mathematics in Science”. This article has two objectives. The first one is to review some of the most important questions in the contemporary philosophy of mathematics: What is the nature of mathematical objects? How do we acquire knowledge about these objects? Should mathematical statements be interpreted differently than ordinary ones? And, finally, how can we explain the applicability of mathematics in science? The debate that guides these reflections is the one between mathematical realism and (...) anti-realism. On the other hand, the second objective is to discuss the arguments that use the applicability of mathematics in science to justify mathematical realism, and show that none of them reaches its aim. To this end, we will distinguish three aspects of the problem of the applicability of mathematics: the utility of mathematics in science, the unexpected utility of some mathematical theories, and the apparent indispensability of mathematics in our best scientific theories - in particular, in our best scientific explanations. Finally, I argue that none of these aspects constitutes a reason to adopt mathematical realism. (shrink)

Some proponents of the indispensability argument for mathematical realism maintain that the empirical evidence that confirms our best scientific theories and explanations also confirms their pure mathematical components. I show that the falsity of this view follows from three highly plausible theses, two of which concern the nature of mathematical application and the other the nature of empirical confirmation. The first is that the background mathematical theories suitable for use in science are conservative in the sense outlined by Hartry Field. (...) The second is that the empirical relevance of mathematical statements suitable for use in science is mediated by their non-mathematical consequences. The third is that statements receive additional empirical confirmation only by way of generating additional empirical expectations. Since each of these is a thesis we have good reason to endorse, my argument poses a challenge to anyone who argues that science affords empirical grounds for mathematical realism. (shrink)

I show how mathematical platonism combined with belief in the God of classical theism can respond to Field's epistemological objection. I defend an account of divine mathematical knowledge by showing that it falls out of an independently motivated general account of divine knowledge. I use this to explain the accuracy of God's mathematical beliefs, which in turn explains the accuracy of our own. My arguments provide good news for theistic platonists, while also shedding new light on Field's influential objection.