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)

Boltzmannian statistical mechanics partitions the phase space of a sys- tem into macro-regions, and the largest of these is identified with equilibrium. What justifies this identification? Common answers focus on Boltzmann’s combinatorial argument, the Maxwell-Boltzmann distribution, and maxi- mum entropy considerations. We argue that they fail and present a new answer. We characterise equilibrium as the macrostate in which a system spends most of its time and prove a new theorem establishing that equilib- rium thus defined corresponds to the largest (...) macro-region. Our derivation is completely general in that it does not rely on assumptions about a system’s dynamics or internal interactions. (shrink)

The present article proposes to re-examine the parity-of-reasoning or double-standard fallacy argument, which favours a time-symmetric Gold universe model over a cosmological arrow of time. There are two reasons for this re-examination. One is empirical: the recent discovery of an expanding and accelerating universe questions the symmetry assumption of the Gold universe on empirical grounds. The other is theoretical: the argument from t-symmetry fails to take into account some important aspects of the topology of phase space and recently developed typicality (...) arguments. If the parity-of-reasoning argument, which depends on the t-symmetry of probability, is reconsidered in terms of the topology of phase space and typicality arguments, the double-standard fallacy argument loses much of its appeal. The Gold universe model itself suffers from unexplained dynamic asymmetries. The upshot of this article is that the Gold universe model is implausible or far less plausible than asymmetric models. (shrink)

Statistical mechanics is a strange theory. Its aims are debated, its methods are contested, its main claims have never been fully proven, and their very truth is challenged, yet at the same time, it enjoys huge empirical success and gives us the feeling that we understand important phenomena. What is this weird theory, exactly? Statistical mechanics is the name of the ongoing attempt to apply mechanics, together with some auxiliary hypotheses, to explain and predict certain phenomena, above all those described (...) by thermodynamics. This paper shows what parts of this objective can be achieved with mechanics by itself. It thus clarifies what roles remain for the auxiliary assumptions that are needed to achieve the rest of the desiderata. Those auxiliary hypotheses are described in another paper in this journal, Foundations of statistical mechanics: The auxiliary hypotheses. (shrink)

Statistical mechanics is the name of the ongoing attempt to explain and predict certain phenomena, above all those described by thermodynamics on the basis of the fundamental theories of physics, in particular mechanics, together with certain auxiliary assumptions. In another paper in this journal, Foundations of statistical mechanics: Mechanics by itself, I have shown that some of the thermodynamic regularities, including the probabilistic ones, can be described in terms of mechanics by itself. But in order to prove those regularities, in (...) particular the time asymmetric ones, it is necessary to add to mechanics assumptions of three kinds, all of which are under debate in contemporary literature. One kind of assumptions concerns measure and probability, and here, a major debate is around the notion of “typicality.” A second assumption concerns initial conditions, and here, the debate is about the nature and status of the so-called past hypothesis. The third kind of assumptions concerns the dynamics, and here, the possibility and significance of “Maxwell's Demon” is the main topic of discussions. This article describes these assumptions and examines the justification for introducing them, emphasizing the contemporary debates around them. (shrink)

I want to combine two hitherto largely independent research projects, scientific understanding and mechanistic explanations. Understanding is not only achieved by answering why-questions, that is, by providing scientific explanations, but also by answering what-questions, that is, by providing what I call scientific descriptions. Based on this distinction, I develop three forms of understanding: understanding-what, understanding-why, and understanding-how. I argue that understanding-how is a particularly deep form of understanding, because it is based on mechanistic explanations, which answer why something happens in (...) virtue of what it is made of. I apply the three forms of understanding to two case studies: first, to the historical development of thermodynamics and, second, to the differences between the Clausius and the Boltzmann entropy in explaining thermodynamic processes. (shrink)

Philosophers now seem to agree that frequentism is an untenable strategy to explain the meaning of probabilities. Nevertheless, I want to revive frequentism, and I will do so by grounding probabilities on typicality in the same way as the thermodynamic arrow of time can be grounded on typicality within statistical mechanics. This account, which I will call typicality frequentism, will evade the major criticisms raised against previous forms of frequentism. In this theory, probabilities arise within a physical theory from statistical (...) behavior of almost all initial conditions. The main advantage of typicality frequentism is that it shows which kinds of probabilities (that also have empirical relevance) can be derived from physics. Although one cannot recover all probability talk in this account, this is rather a virtue than a vice, because it shows which types of probabilities can in fact arise from physics and which types need to be explained in different ways, thereby opening the path for a pluralistic account of probabilities. (shrink)

Gibbsian statistical mechanics (GSM) is the most widely used version of statistical mechanics among working physicists. Yet a closer look at GSM reveals that it is unclear what the theory actually says and how it bears on experimental practice. The root cause of the difficulties is the status of the Averaging Principle, the proposition that what we observe in an experiment is the ensemble average of a phase function. We review different stances toward this principle, and eventually present a coherent (...) interpretation of GSM that provides an account of the status and scope of the principle. (shrink)

One recent debate in philosophy of physics has centered whether quantum particles are individuals or not. The received view is that particles are not individuals and the standard methodology is to approach the question via the structure of quantum theory. I challenge both the received view and the standard methodology. I contend not only that the structure of quantum theory is not the right place to look for conditions of individuality that quantum particles may or may not satisfy, but also (...) that there is an important role for traditional metaphysics to play. Consequently, my work brings together the philosophy of physics and traditional metaphysics literatures to shed new light on the debate over the individuality of quantum particles. I defend a set of conditions of individuality and argue that quantum particles satisfy these conditions thereby defending the view that particles are individuals in opposition to the received view. I also challenge a second feature of the standard methodology insofar as I challenge the significance of the Principle of the Identity of Indiscernibles in terms of which much discussion in the philosophy of physics literature is framed. My work is significant in a number of additional ways as well. My work implies that the dominant explanation for quantum statistics in terms of non-individuality is incorrect and it also undermines the ontic-structural realists metaphysical underdetermination challenge to the scientific realist. (shrink)

This thesis makes the issue of reconciling the existence of thermodynamically irreversible processes with underlying reversible dynamics clear, so as to help explain what philosophers mean when they say that an aim of nonequilibrium statistical mechanics is to underpin aspects of thermodynamics. Many of the leading attempts to reconcile the existence of thermodynamically irreversible processes with underlying reversible dynamics proceed by way of discussions that attempt to underpin the following qualitative facts: (i) that isolated macroscopic systems that begin away from (...) equilibrium spontaneously approach equilibrium, and (ii) that they remain in equilibrium for incredibly long periods of time. These attempts standardly appeal to phase space considerations and notions of typicality. This thesis considers and evaluates leading typicality accounts, and, in particular, highlights their limitations. Importantly, these accounts do not underpin a large and important set of facts. They do not, for example, underpin facts about the rates in which systems approach equilibrium, or facts about the kinds of states they pass through on their way to equilibrium, or facts about fluctuation phenomena. To remedy these and other shortfalls, this thesis promotes an alternative, and arguably more important, line of research: understanding and accounting for the success of the techniques and equations physicists use to model the behaviour of systems that begin away from equilibrium. Accounting for their success would help underpin not just the qualitative facts the literature has focused on, but also many of the important quantitative facts that typicality accounts cannot. This thesis also takes steps in this promising direction. It outlines and examines a technique commonly used to model the behaviour of an interesting and important kind of system: a Brownian particle that's been introduced to an isolated homogeneous fluid at equilibrium. As this thesis highlights, the technique returns a wealth of quantitative and qualitative information. This thesis also attempts to account for the success of the model and technique, by identifying and grounding the technique's key assumptions. (shrink)

The recent use of typicality in statistical mechanics for foundational purposes has stirred an important debate involving both philosophers and physicists. While this debate customarily focuses on technical issues, in this paper I try to approach the problem from an epistemological angle. The discussion is driven by two questions: (1) What does typicality add to the concept of measure? (2) What kind of explanation, if any, does typicality yield? By distinguishing the notions of `typicality-as-vast-majority' and `typicality-as-best-exemplar', I argue that the (...) former goes beyond the concept of measure. Furthermore, I also argue that typicality aims at providing us with a form of causal explanation of equilibrium. (shrink)