A main thread of the debate over mathematical realism has come down to whether mathematics does explanatory work of its own in some of our best scientific explanations of empirical facts. Realists argue that it does; anti-realists argue that it doesn't. Part of this debate depends on how mathematics might be able to do explanatory work in an explanation. Everyone agrees that it's not enough that there merely be some mathematics in the explanation. Anti-realists claim there is nothing mathematics can (...) do to make an explanation mathematical ; realists think something can be done, but they are not clear about what that something is. I argue that many of the examples of mathematical explanations of empirical facts in the literature can be accounted for in terms of Jackson and Pettit's [1990] notion of program explanation, and that mathematical realists can use the notion of program explanation to support their realism. This is exactly what has happened in a recent thread of the debate over moral realism. I explain how the two debates are analogous and how moves that have been made in the moral realism debate can be made in the mathematical realism debate. However, I conclude that one can be a mathematical realist without having to be a moral realist. (shrink)

Hartry Field has shown us a way to be nominalists: we must purge our scientific theories of quantification over abstracta and we must prove the appropriate conservativeness results. This is not a path for the faint hearted. Indeed, the substantial technical difficulties facing Field's project have led some to explore other, easier options. Recently, Jody Azzouni, Joseph Melia, and Stephen Yablo have argued that it is a mistake to read our ontological commitments simply from what the quantifiers of our best (...) scientific theories range over. In this paper, I argue that all three arguments fail and they fail for much the same reason; would-be nominalists are thus left facing Field's hard road. (shrink)

Many explanations in science make use of mathematics. But are there cases where the mathematical component of a scientific explanation is explanatory in its own right? This issue of mathematical explanations in science has been for the most part neglected. I argue that there are genuine mathematical explanations in science, and present in some detail an example of such an explanation, taken from evolutionary biology, involving periodical cicadas. I also indicate how the answer to my title question impacts on broader (...) issues in the philosophy of mathematics; in particular it may help platonists respond to a recent challenge by Joseph Melia concerning the force of the Indispensability Argument. (shrink)

Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. Another justification (...) derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds. (shrink)

A number of people have recently argued for a structural approach to accounting for the applications of mathematics. Such an approach has been called "the mapping account". According to this view, the applicability of mathematics is fully accounted for by appreciating the relevant structural similarities between the empirical system under study and the mathematics used in the investigation ofthat system. This account of applications requires the truth of applied mathematical assertions, but it does not require the existence of mathematical objects. (...) In this paper, we discuss the shortcomings of this account, and show how these shortcomings can be overcome by a broader view of the application of mathematics: the inferential conception. (shrink)

Recently much has been made of the grounding relation, and of the idea that it is intimately tied to fundamentality. If A grounds B, then A is more fundamental than B (though not vice versa ), and A is ungrounded if and only if it is fundamental full stop—absolutely fundamental. But here is a puzzle: is grounding itself absolutely fundamental?

Enhanced indispensability arguments seek to establish realism about mathematics based on the explanatory role that mathematics plays in science. Idealizations pose a problem for such arguments. Idealizations, in a similar way to mathematics, boost the explanatory credentials of our best scientific theories. And yet, idealizations are not the sorts of things that are supposed to attract a realist attitude. I argue that the explanatory symmetry between idealizations and mathematics can potentially be broken as follows: although idealizations contribute to the explanatory (...) power of our best theories, they do not carry the explanatory load. It is at least open however that mathematics is load-carrying. To give this idea substance, I offer an analysis of what it is to carry the explanatory load in terms of difference-making and counterfactuals. (shrink)

The indispensability argument seeks to establish the existence of mathematical objects. The success of the indispensability argument turns on finding cases of genuine extra- mathematical explanation. In this paper, I identify a new case of extra- mathematical explanation, involving the search patterns of fully-aquatic marine predators. I go on to use this case to predict the prevalence of extra- mathematical explanation in science.

Does mathematics ever play an explanatory role in science? If so then this opens the way for scientific realists to argue for the existence of mathematical entities using inference to the best explanation. Elsewhere I have argued, using a case study involving the prime-numbered life cycles of periodical cicadas, that there are examples of indispensable mathematical explanations of purely physical phenomena. In this paper I respond to objections to this claim that have been made by various philosophers, and I discuss (...) potential future directions of research for each side in the debate over the existence of abstract mathematical objects. (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)

The Enhanced Indispensability Argument (Baker [ 2009 ]) exemplifies the new wave of the indispensability argument for mathematical Platonism. The new wave capitalizes on mathematics' role in scientific explanations. I will criticize some analyses of mathematics' explanatory function. In turn, I will emphasize the representational role of mathematics, and argue that the debate would significantly benefit from acknowledging this alternative viewpoint to mathematics' contribution to scientific explanations and knowledge.

Baker claims to provide an example of mathematical explanation of an empirical phenomenon which leads to ontological commitment to mathematical objects. This is meant to show that the positing of mathematical entities is necessary for satisfactory scientific explanations and thus that the application of mathematics to science can be used, at least in some cases, to support mathematical realism. In this paper I show that the example of explanation Baker considers can actually be given without postulating mathematical objects and thus (...) cannot be used by the mathematical realist. I also show that, despite this, mathematics keeps playing an important methodological role in the explanation and does not reduce to a merely computational or descriptive framework. (shrink)

Paraconsistent logics are often semantically motivated by considering "impossible worlds." Lewis, in "Logic for equivocators," has shown how we can understand paraconsistent logics by attributing equivocation of meanings to inconsistent believers. In this paper I show that we can understand paraconsistent logics without attributing such equivocation. Impossible worlds are simply sets of possible worlds, and inconsistent believers (inconsistently) believe that things are like each of the worlds in the set. I show that this account gives a sound and complete semantics (...) for Priest's paraconsistent logic LP, which uses materials any modal logician has at hand. (shrink)

This paper sets out a new framework for discussing a long-standing problem in the philosophy of mathematics, namely the connection between the physical world and a mathematical domain when the mathematics is applied in science. I argue that considering counterfactual situations raises some interesting challenges for some approaches to applications, and consider an approach that avoids these challenges.

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)

This paper sets out a philosophical interpretation of the model theory of Mares and Goldblatt (The Journal of Symbolic Logic 71, 2006). This interpretation distinguishes between truth conditions and information conditions. Whereas the usual Tarskian truth condition holds for universally quantified statements, their information condition is quite different. The information condition utilizes general propositions . The present paper gives a philosophical explanation of general propositions and argues that these are needed to give an adequate theory of general information.

Certain scientific explanations of physical facts have recently been characterized as distinctively mathematical –that is, as mathematical in a different way from ordinary explanations that employ mathematics. This article identifies what it is that makes some scientific explanations distinctively mathematical and how such explanations work. These explanations are non-causal, but this does not mean that they fail to cite the explanandum’s causes, that they abstract away from detailed causal histories, or that they cite no natural laws. Rather, in these explanations, (...) the facts doing the explaining are modally stronger than ordinary causal laws or are understood in the why question’s context to be constitutive of the physical arrangement at issue. A distinctively mathematical explanation works by showing the explanandum to be more necessary than ordinary causal laws could render it. Distinctively mathematical explanations thus supply a kind of understanding that causal explanations cannot. 1 Introduction2 Some Distinctively Mathematical Scientific Explanations3 Are Distinctively Mathematical Explanations Set Apart by their Failure to Cite Causes? 4 Distinctively Mathematical Explanations do not Exploit Causal Powers5 How these Distinctively Mathematical Explanations Work6 Conclusion. (shrink)

A theory of ersatz impossible worlds is developed to deal with the problem of counterpossible conditionals. Using only tools standardly in the toolbox of possible worlds theorists, it is shown that we can construct a model for counterpossibles. This model is a natural extension of Lewis's semantics for counterfactuals, but instead of using classical logic as its base, it uses the logic LP.

Standard approaches to counterfactuals in the philosophy of explanation are geared toward causal explanation. We show how to extend the counterfactual theory of explanation to non-causal cases, involving extra-mathematical explanation: the explanation of physical facts by mathematical facts. Using a structural equation framework, we model impossible perturbations to mathematics and the resulting differences made to physical explananda in two important cases of extra-mathematical explanation. We address some objections to our approach.