This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

The literature on the indispensability argument for mathematical realism often refers to the ‘indispensable explanatory role’ of mathematics. I argue that we should examine the notion of explanatory indispensability from the point of view of specific conceptions of scientific explanation. The reason is that explanatory indispensability in and of itself turns out to be insufficient for justifying the ontological conclusions at stake. To show this I introduce a distinction between different kinds of explanatory roles—some ‘thick’ and ontologically committing, others ‘thin’ (...) and ontologically peripheral—and examine this distinction in relation to some notable ‘ontic’ accounts of explanation. I also discuss the issue in the broader context of other ‘explanationist’ realist arguments. (shrink)

This is a companion to another paper. Together they rebut two widespread philosophical doctrines about emergence. The first, and main, doctrine is that emergence is incompatible with reduction. The second is that emergence is supervenience; or more exactly, supervenience without reduction.In the other paper, I develop these rebuttals in general terms, emphasising the second rebuttal. Here I discuss the situation in physics, emphasising the first rebuttal. I focus on limiting relations between theories and illustrate my claims with four examples, each (...) of them a model or a framework for modelling, from well-established mathematics or physics.I take emergence as behaviour that is novel and robust relative to some comparison class. I take reduction as, essentially, deduction. The main idea of my first rebuttal will be to perform the deduction after taking a limit of some parameter. Thus my first main claim will be that in my four examples (and many others), we can deduce a novel and robust behaviour, by taking the limit N→∞ of a parameter N.But on the other hand, this does not show that the N=∞ limit is “physically real”, as some authors have alleged. For my second main claim is that in these same examples, there is a weaker, yet still vivid, novel and robust behaviour that occurs before we get to the limit, i.e. for finite N. And it is this weaker behaviour which is physically real.My examples are: the method of arbitrary functions (in probability theory); fractals (in geometry); superselection for infinite systems (in quantum theory); and phase transitions for infinite systems (in statistical mechanics). (shrink)

Models as Make-Believe offers a new approach to scientific modelling by looking to an unlikely source of inspiration: the dolls and toy trucks of children's games of make-believe.

It is proposed that we use the term “approximation” for inexact description of a target system and “idealization” for another system whose properties also provide an inexact description of the target system. Since systems generated by a limiting process can often have quite unexpected, even inconsistent properties, familiar limit systems used in statistical physics can fail to provide idealizations, but are merely approximations. A dominance argument suggests that the limiting idealizations of statistical physics should be demoted to approximations.

This is one of two papers about emergence, reduction and supervenience. It expounds these notions and analyses the general relations between them. The companion paper analyses the situation in physics, especially limiting relations between physical theories. I shall take emergence as behaviour that is novel and robust relative to some comparison class. I shall take reduction as deduction using appropriate auxiliary definitions. And I shall take supervenience as a weakening of reduction, viz. to allow infinitely long definitions. The overall claim (...) of this paper will be that emergence is logically independent both of reduction and of supervenience. In particular, one can have emergence with reduction, as well as without it; and emergence without supervenience, as well as with it. Of the subsidiary claims, the four main ones are: : I defend the traditional Nagelian conception of reduction ; : I deny that the multiple realizability argument causes trouble for reductions, or ``reductionism'' ; : I stress the collapse of supervenience into deduction via Beth's theorem ; : I adapt some examples already in the literature to show supervenience without emergence and vice versa. (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.

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.

Kirchhoff’s diffraction theory is introduced as a new case study in the realism debate. The theory is extremely successful despite being both inconsistent and not even approximately true. Some habitual realist proclamations simply cannot be maintained in the face of Kirchhoff’s theory, as the realist is forced to acknowledge that theoretical success can in some circumstances be explained in terms other than truth. The idiosyncrasy (or otherwise) of Kirchhoff’s case is considered.

Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.

In this essay, I argue that uneliminated idealizations pose a serious problem for scientific realism. I consider one method for “de-idealizing” models—robustness analysis. However, I argue that unless idealizations are eliminated from an idealized theory and robustness analysis need not do that, scientists are not justified in believing that the theory is true. I consider one example of modeling from the biological sciences that exemplifies the problem.

Phase transitions are an important instance of putatively emergent behavior. Unlike many things claimed emergent by philosophers (e.g., tables and chairs), the alleged emergence of phase transitions stems from both philosophical and scientific arguments. Here we focus on the case for emergence built from physics, in particular, arguments based upon the infinite idealization invoked in the statistical mechanical treatment of phase transitions. After teasing apart several challenges, we defend the idea that phase transitions are best thought of as conceptually novel, (...) but not ontologically or explanatorily irreducible to finite physics; indeed, by looking at ongoing work on “smooth phase transitions” we even suggest that they’re not even conceptually novel. In the case of renormalization group theory, consideration of infinite systems and their singular behavior provides a central theoretical tool, but this is compatible with an explanatory reduction. Phase transitions may be “emergent” in some sense of this protean term, but not in a sense that is incompatible with the reductionist project broadly construed. (shrink)

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)

This paper erects a framework for analyzing some idealized models as (what I call) inferentially veridical representations. It adopts a version of the semantic view of theories that focuses on properties, and mobilizes conceptual resources associated with properties and the way that properties are related in various ways. The outcome is an elaboration of some aspects of the analysis of Jones (2005).