In Boltzmannian statistical mechanics macro-states supervene on micro-states. This leads to a partitioning of the state space of a system into regions of macroscopically indistinguishable micro-states. The largest of these regions is singled out as the equilibrium region of the system. What justifies this association? We review currently available answers to this question and find them wanting both for conceptual and for technical reasons. We propose a new conception of equilibrium and prove a mathematical theorem which establishes in full generality (...) -- i.e. without making any assumptions about the system's dynamics or the nature of the interactions between its components -- that the equilibrium macro-region is the largest macro-region. We then turn to the question of the approach to equilibrium, of which there exists no satisfactory general answer so far. In our account, this question is replaced by the question when an equilibrium state exists. We prove another -- again fully general -- theorem providing necessary and sufficient conditions for the existence of an equilibrium state. This theorem changes the way in which the question of the approach to equilibrium should be discussed: rather than launching a search for a crucial factor, the focus should be on finding triplets of macro-variables, dynamical conditions, and effective state spaces that satisfy the conditions of the theorem. (shrink)

This paper attempts a critical reappraisal of Nagel's (1961, 1970) model of reduction taking into account both traditional criticisms and recent defenses. This model treats reduction as a type of explanation in which a reduced theory is explained by a reducing theory after their relevant representational items have been suitably connected. In accordance with the deductive-nomological model, the explanation is supposed to consist of a logical deduction. Nagel was a pluralist about both the logical form of the connections between the (...) reduced and reducing theories (which could be conditionals or biconditionals) and their epistemological status (as analytic connections, conventions, or synthetic claims). This paper defends Nagel's pluralism on both counts and, in the process, argues that the multiple realizability objection to reductionism is misplaced. It also argues that the Nagel model correctly characterizes reduction as a type of explanation. However, it notes that logical deduction must be replaced by a broader class of inferential techniques that allow for different types of approximation. Whereas Nagel (1970), in contrast to his earlier position (1961), recognized the relevance of approximation, he did not realize its full import for the model. Throughout the paper two case studies are used to illustrate the arguments: the putative reduction of classical thermodynamics to the kinetic theory of matter and that of classical genetics to molecular biology. (shrink)

A conventional wisdom about the progress of physics holds that successive theories wholly encompass the domains of their predecessors through a process that is often called reduction. While certain influential accounts of inter-theory reduction in physics take reduction to require a single "global" derivation of one theory's laws from those of another, I show that global reductions are not available in all cases where the conventional wisdom requires reduction to hold. However, I argue that a weaker "local" form of reduction, (...) which defines reduction between theories in terms of a more fundamental notion of reduction between models of a single fixed system, is available in such cases and moreover suffices to uphold the conventional wisdom. To illustrate the sort of fixed-system, inter-model reduction that grounds inter-theoretic reduction on this picture, I specialize to a particular class of cases in which both models are dynamical systems. I show that reduction in these cases is underwritten by a mathematical relationship that follows the broad prescriptions of Nagel/Schaffner reduction, and support this claim with several examples. Moreover, I show that this broadly Nagelian analysis of inter-model reduction encompasses several cases that are sometimes cited as instances of the "physicist's" limit-based notion of reduction. (shrink)

I distinguish two types of reduction within the context of quantum-classical relations, which I designate “formal” and “empirical”. Formal reduction holds or fails to hold solely by virtue of the mathematical relationship between two theories; it is therefore a two-place, a priori relation between theories. Empirical reduction requires one theory to encompass the range of physical behaviors that are well-modeled in another theory; in a certain sense, it is a three-place, a posteriori relation connecting the theories and the domain of (...) physical reality that both serve to describe. Focusing on the relationship between classical and quantum mechanics, I argue that while certain formal results concerning singular \ limits have been taken to preclude the possibility of reduction between these theories, such results at most provide support for the claim that singular limits block reduction in the formal sense; little if any reason has been given for thinking that they block reduction in the empirical sense. I then briefly outline a strategy for empirical reduction that is suggested by work on decoherence theory, arguing that this sort of account remains a fully viable route to the empirical reduction of classical to quantum mechanics and is unaffected by such singular limits. (shrink)

Renormalization group explanations account for the astonishing phenomenon that microscopically very different physical systems display the same macro-behavior when undergoing phase-transitions. Among philosophers, this explanandum phenomenon is often described as the occurrence of a particular kind of multiply realized macro-behavior. In several recent publications, Robert Batterman denies that RG explanations account for this explanandum phenomenon by following the commonality strategy, i.e. by identifying properties that microscopically very different physical systems have in common. Arguing against Batterman’s claim, I defend the view (...) that RG explanations are in accord with the commonality strategy. (shrink)

The principle of mass additivity states that the mass of a composite object is the sum of the masses of its elementary components. Mass additivity is true in Newtonian mechanics but false in special relativity. Physicists have explained why mass additivity is true in Newtonian mechanics by reducing it to Newton’s microphysical laws. This reductive explanation does not fit well with deducibility theories of reductive explanation such as the modern Nagelian theory of reduction, and the a priori entailment theory of (...) reduction that is prominent in the philosophy of mind. Nonetheless, I argue that a reconstruction of the explanation that incorporates distinctively philosophical concepts in fact fits both theories. I discuss the implications of this result for both theories and for the reductive explanation of consciousness. (shrink)

This paper aims to show that there is a lot of philosophy in the philosophy of chemistry—not only in the problems and questions specific to chemistry, which this science brings up in philosophical discussions, but also in the topics of wider interest like reductionism and emergence, for which chemistry proves to be an ideal case study. The fact that chemical entities and properties are amenable to a quantitative understanding, to measurement and experiment to a greater extent than those in psychology (...) or biology, makes chemistry an ideal case study for those interested in reductionism and emergence. (shrink)

We discuss Boltzmann’s probabilistic explanation of the second law of thermodynamics providing a comprehensive presentation of what is called today the typicality account. Countering its misconception as an alternative explanation, we examine the relation between Boltzmann’s H-theorem and the general typicality argument demonstrating the conceptual continuity between the two. We then discuss the philosophical dimensions of the concept of typicality and its relevance for scientific reasoning in general, in particular for understanding the reduction of macroscopic laws to microscopic laws. Finally, (...) we reply to various common criticisms of the typicality account. (shrink)

In this paper I reply to Olimpia Lombardi’s comment on my recent book Reducing Chemistry to Physics: Limits, Models, Consequences.

According to the received view, reduction is a deductive relation between two formal theories. In this paper, I develop an alternative approach, according to which reduction is a representational relation between models, rather than a deductive relation between theories; more specifically, I maintain that this representational relation is the one of emulation. To support this thesis, I focus attention on mathematical dynamical systems and I argue that, as far as these systems are concerned, the emulation relation is sufficient for reduction. (...) I then extend this representational model-based view of reduction to the case of empirically interpreted dynamical systems, as well as to a treatment of partial, approximate, and asymptotic reduction. (shrink)

Classical statistical mechanics posits probabilities for various events to occur, and these probabilities seem to be objective chances. This does not seem to sit well with the fact that the theory’s time evolution is deterministic. We argue that the tension between the two is only apparent. We present a theory of Humean objective chance and show that chances thus understood are compatible with underlying determinism and provide an interpretation of the probabilities we find in Boltzmannian statistical mechanics.

This paper offers a critical assessment of the current state of the debate about the identity and individuality of material objects. Its main aim, in particular, is to show that, in a sense to be carefully specified, the opposition between the Leibnizian ‘reductionist’ tradition, based on discernibility, and the sort of ‘primitivism’ that denies that facts of identity and individuality must be analysable has become outdated. In particular, it is argued that—contrary to a widespread consensus—‘naturalised’ metaphysics supports both the acceptability (...) of non-qualitatively grounded (both ‘contextual’ and intrinsic) identity and a pluralistic approach to individuality and individuation. A case study is offered that focuses on non-relativistic quantum mechanics, in the context of which primitivism about identity and individuality, rather than being regarded as unscientific, is on the contrary suggested to be preferable to the complicated forms of reductionism that have recently been proposed. More generally, by assuming a plausible form of anti-reductionism about scientific theories and domains, it is claimed that science can be regarded as compatible with, or even as suggesting, the existence of a series of equally plausible grades of individuality. The kind of individuality that prevails in a certain context and at a given level can be ascertained only on the basis of the specific scientific theory at hand. (shrink)

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)

What is the role of bridge laws in inter-theoretic relations? An assumption shared by many views about these relations is that bridge laws enable reductions. In this article, I acknowledge the naturalness of this assumption, but I question it by presenting a context within thermal physics (involving phase transitions) in which the bridge laws, puzzlingly, seem to contribute to blocking the reduction.