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)

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)

The paper contains a short story which is inconsistent, essentially so, but perfectly intelligible. The existence of such a story is used to establish various views about truth in fiction and impossible worlds.

Reasoning about situations we take to be impossible is useful for a variety of theoretical purposes. Furthermore, using a device of impossible worlds when reasoning about the impossible is useful in the same sorts of ways that the device of possible worlds is useful when reasoning about the possible. This paper discusses some of the uses of impossible worlds and argues that commitment to them can and should be had without great metaphysical or logical cost. The paper then provides an (...) account of reasoning with impossible worlds, by treating such reasoning as reasoning employing counterpossible conditionals, and provides a semantics for the proposed treatment. (shrink)

Science Without Numbers caused a stir in 1980, with its bold nominalist approach to the philosophy of mathematics and science. It has been unavailable for twenty years and is now reissued in a revised edition with a substantial new preface presenting the author's current views and responses to the issues raised in subsequent debate.

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)

Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

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)

Approaches to explanation -- Causal and explanatory relevance -- The kairetic account of /D making -- The kairetic account of explanation -- Extending the kairetic account -- Event explanation and causal claims -- Regularity explanation -- Abstraction in regularity explanation -- Approaches to probabilistic explanation -- Kairetic explanation of frequencies -- Kairetic explanation of single outcomes -- Looking outward -- Looking inward.

This book not only outlines the indispensability argument in considerable detail but also defends it against various challenges.

Nancy Cartwright (1983, 1999) argues that (1) the fundamental laws of physics are true when and only when appropriate ceteris paribus modifiers are attached and that (2) ceteris paribus modifiers describe conditions that are almost never satisfied. She concludes that when the fundamental laws of physics are true, they don't apply in the real world, but only in highly idealized counterfactual situations. In this paper, we argue that (1) and (2) together with an assumption about contraposition entail the opposite conclusion (...) — that the fundamental laws of physics do apply in the real world. Cartwright extracts from her thesis about the inapplicability of fundamental laws the conclusion that they cannot figure in covering-law explanations. We construct a different argument for a related conclusion — that forward-directed idealized dynamical laws cannot provide covering-law explanations that are causal. This argument is neutral on whether the assumption about contraposition is true. We then discuss Cartwright's simulacrum account of explanation, which seeks to describe how idealized laws can be explanatory. (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)

According to the indispensability argument, the fact that we quantify over numbers, sets and functions in our best scientific theories gives us reason for believing that such objects exist. I examine a strategy to dispense with such quantification by simply replacing any given platonistic theory by the set of sentences in the nominalist vocabulary it logically entails. I argue that, as a strategy, this response fails: for there is no guarantee that the nominalist world that go beyond the set of (...) sentences in the nominalist language such theories entail. However, I argue that what such theories show is that mathematics can enable us to express possibilities about the concrete world that may not be expressible in nominalistically acceptable language. While I grant that this may make quantification over abstracta indispensable, I deny that such indispensability is a reason for accepting them into our ontology. I urge that the nominalist should be allowed to quantify over abstracta whilst denying their existence and I explain how this apparently contradictory practice (a practice I call 'weaseling') is in fact coherent, unproblematic and rational. Finally, I examine the view that platonistic theories are simpler or more attractive than their nominalistic reformulations, and thus that abstract ought to be accepted into our ontology for the same sorts of reasons as other theoretical objects. I argue that, at least in the case of numbers, functions and sets, such arguments misunderstand the kind of simplicity and attractiveness we seek. (shrink)

Arguing for mathematical realism on the basis of Field’s explanationist version of the Quine–Putnam Indispensability argument, Alan Baker has recently claimed to have found an instance of a genuine mathematical explanation of a physical phenomenon. While I agree that Baker presents a very interesting example in which mathematics plays an essential explanatory role, I show that this example, and the argument built upon it, begs the question against the mathematical nominalist.

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.

The question as to whether there are mathematical explanations of physical phenomena has recently received a great deal of attention in the literature. The answer is potentially relevant for the ontology of mathematics; if affirmative, it would support a new version of the indispensability argument for mathematical realism. In this article, I first review critically a few examples of such explanations and advance a general analysis of the desiderata to be satisfied by them. Second, in an attempt to strengthen the (...) realist position, I propose a new type of example, drawing on probabilistic considerations. 1 Introduction2 Mathematical Explanations2.1 ‘Simplicity’3 An Average Story: The Banana Game3.1 Some clarifications3.2 Hopes and troubles for the nominalist3.3 New hopes?3.4 New troubles4 Conclusion. (shrink)

This paper discusses two distinct strategies that have been adopted to provide fine-grained propositions; that is, propositions individuated more finely than sets of possible worlds. One strategy takes propositions to have internal structure, while the other looks beyond possible worlds, and takes propositions to be sets of circumstances, where possible worlds do not exhaust the circumstances. The usual arguments for these positions turn on fineness-of-grain issues: just how finely should propositions be individuated? Here, I compare the two strategies with an (...) eye to the fineness-of-grain question, arguing that when a wide enough range of data is considered, we can see that a circumstance-based approach, properly spelled out, outperforms a structure-based approach in answering the question. (Part of this argument involves spelling out what I take to be a reasonable circumstance-based approach.) An argument to the contrary, due to Soames, is also considered. (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.

Scientific models invariably involve some degree of idealization, abstraction, or nationalization of their target system. Nonetheless, I argue that there are circumstances under which such false models can offer genuine scientific explanations. After reviewing three different proposals in the literature for how models can explain, I shall introduce a more general account of what I call model explanations, which specify the conditions under which models can be counted as explanatory. I shall illustrate this new framework by applying it to the (...) case of Bohr's model of the atom, and conclude by drawing some distinctions between phenomenological models, explanatory models, and fictional models. (shrink)

David Malament argued that Hartry Field's nominalisation program is unlikely to be able to deal with non-space-time theories such as phase-space theories. We give a specific example of such a phase-space theory and argue that this presentation of the theory delivers explanations that are not available in the classical presentation of the theory. This suggests that even if phase-space theories can be nominalised, the resulting theory will not have the explanatory power of the original. Phase-space theories thus raise problems for (...) nominalists that go beyond Malament's initial concerns. Thanks to Mark Steiner, Jens Christian Bjerring, Ben Fraser, John Mathewson, and two anonymous referees for helpful comments on an earlier draft of this paper. CiteULike Connotea Del.icio.us What's this? (shrink)

This paper examines contemporary attempts to explicate the explanatory role of mathematics in the physical sciences. Most such approaches involve developing so-called mapping accounts of the relationships between the physical world and mathematical structures. The paper argues that the use of idealizations in physical theorizing poses serious difficulties for such mapping accounts. A new approach to the applicability of mathematics is proposed.

Extensively classroom-tested, Possibilities and Paradox provides an accessible and carefully structured introduction to modal and many-valued logic. The authors cover the basic formal frameworks, enlivening the discussion of these different systems of logic by considering their philosophical motivations and implications. Easily accessible to students with no background in the subject, the text features innovative learning aids in each chapter, including exercises that provide hands-on experience, examples that demonstrate the application of concepts, and guides to further reading.

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)

Mark Colyvan (2010) raises two problems for ‘easy road’ nominalism about mathematical objects. The first is that a theory’s mathematical commitments may run too deep to permit the extraction of nominalistic content. Taking the math out is, or could be, like taking the hobbits out of Lord of the Rings. I agree with the ‘could be’, but not (or not yet) the ‘is’. A notion of logical subtraction is developed that supports the possibility, questioned by Colyvan, of bracketing a theory’s (...) mathematical aspects to obtain, as remainder, what it says ‘mathematics aside’. The other problem concerns explanation. Several grades of mathematical involvement in physical explanation are distinguished, by analogy with Quine’s three grades of modal involvement. The first two grades plausibly obtain, but they do not require mathematical objects. The third grade is likelier to require mathematical objects. But it is not clear from Colyvan’s example that the third grade really obtains. (shrink)

Aidan Lyon has recently argued that some mathematical explanations of empirical facts can be understood as program explanations. I present three objections to his argument.

Thermodynamics and Statistical Mechanics are related to one another through the so-called "thermodynamic limit'' in which, roughly speaking the number of particles becomes infinite. At critical points (places of physical discontinuity) this limit fails to be regular. As a result, the "reduction'' of Thermodynamics to Statistical Mechanics fails to hold at such critical phases. This fact is key to understanding an argument due to Craig Callender to the effect that the thermodynamic limit leads to mistakes in Statistical Mechanics. I discuss (...) this argument and argue that the conclusion is misguided. In addition, I discuss an analogous example where a genuine physical discontinuity---the breaking of drops---requires the use of infinite idealizations. (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 this paper I reply to Jody Azzouni, Otávio Bueno, Mary Leng, David Liggins, and Stephen Yablo, who offer defences of so-called ‘ easy road ’ nominalist strategies in the philosophy of mathematics.