Why does classical equilibrium statistical mechanics work? Malament and Zabell (1980) noticed that, for ergodic dynamical systems, the unique absolutely continuous invariant probability measure is the microcanonical. Earman and Rédei (1996) replied that systems of interest are very probably not ergodic, so that absolutely continuous invariant probability measures very distant from the microcanonical exist. In response I define the generalized properties of epsilon-ergodicity and epsilon-continuity, I review computational evidence indicating that systems of interest are epsilon-ergodic, I adapt Malament and Zabell’s (...) defense of absolute continuity to support epsilon-continuity, and I prove that, for epsilon-ergodic systems, every epsilon-continuous invariant probability measure is very close to the microcanonical. (shrink)

Some have suggested that certain classical physical systems have undecidable long-term behavior, without specifying an appropriate notion of decidability over the reals. We introduce such a notion, decidability in (or d- ) for any measure , which is particularly appropriate for physics and in some ways more intuitive than Ko's (1991) recursive approximability (r.a.). For Lebesgue measure , d- implies r.a. Sets with positive -measure that are sufficiently "riddled" with holes are never d- but are often r.a. This explicates Sommerer (...) and Ott's (1996) claim of uncomputable behavior in a system with riddled basins of attraction. Furthermore, it clarifies speculations that the stability of the solar system (and similar systems) may be undecidable, for the invariant tori established by KAM theory form sets that are not d-. (shrink)

The intuitive notion of a statistical explanation has been explicated in different ways; recently it has even been claimed that there are no statistical explanations at all. In an attempt to clarify the disputed issue, the approaches adopted by Hempel, by Jeffrey, Salmon and Greeno, and by Stegmuller are analyzed critically, as far as they are concerned with the explanation of particular events. A solution of the controversy is proposed on the basis of a concept of explanation which refers essentially (...) to a causal analysis of the explanandum. The possibility of statistical explanations, then, becomes contingent upon the existence of indeterministic causation. In conclusion, therefore, a conception of causality is sketched which shows that indeterminism and causal connection are compatible, at least from an epistemological point of view, so that statistical explanation can be seen to represent a specific and possibly irreducible scientific activity. (shrink)

Chaos-related obstructions to predictability have been used to challenge accounts of theory validation based on the agreement between theoretical predictions and experimental data. These challenges are incomplete in two respects: they do not show that chaotic regimes are unpredictable in principle and, as a result, that there is something conceptually wrong with idealized expectations of correct predictions from acceptable theories, and they do not explore whether chaos-induced predictive failures of deterministic models can be remedied by stochastic modeling. In this paper (...) we appeal to an asymptotic analysis of state space trajectories and their numerical approximations to show that chaotic regimes are deterministically unpredictable even with unbounded resources. Additionally, we explain why stochastic models of chaotic systems, while predictively successful in some cases, are in general predictively as limited as deterministic ones. We conclude by suggesting that the way in which scientists deal with such principled obstructions to predictability calls for a more comprehensive approach to theory validation, on which experimental testing is augmented by a multifaceted mathematical analysis of theoretical models, capable of identifying chaos-related predictive failures as due to principled limitations which the world itself imposes on any less-than-omniscient epistemic access to some natural systems. (shrink)

The purported failures of ergodic theory are shown to arise from misconception of the functions served by scientific explanation. In fact, the predictive failures of ergodic theory are precisely its points of greatest physical utility, where genuinely new knowledge about actual physical systems can be obtained, once the links between explanation and reconstructive estimation are recognized.

In this BA dissertation, I deploy examples of non-causal explanations of physical phenomena as evidence against the view that causal models of explanation can fully account for explanatory practices in science. I begin by discussing the problems faced by Hempel’s models and the causal models built to replace them. I then offer three everyday examples of non-causal explanation, citing sticks, pilots and apples. I suggest a general form for such explanations, under which they can be phrased as inductive-statistical arguments incorporating (...) plausible assumptions. I then show the applicability of this form to explanatory practices in thermal physics. I explore the possibility that population genetics provides a similar form of explanation, and offer a novel defence of the statistical interpretation of population genetics proposed by Matthen and Ariew (2002). I close with remarks concerning how, when faced with competing causal and non-causal explanations of the same phenomenon, we can perform an Inference to the Best Explanation. (shrink)

Can the second law of thermodynamics explain our mental experience of the direction of time? According to an influential approach, the past hypothesis of universal low entropy also explains how the psychological arrow comes about. We argue that although this approach has many attractive features, it cannot explain the psychological arrow after all. In particular, we show that the past hypothesis is neither necessary nor sufficient to explain the psychological arrow on the basis of current physics. We propose two necessary (...) conditions on the workings of the brain that any account of the psychological arrow of time must satisfy. And we propose a new reductive physical account of the psychological arrow of time compatible with time-symmetric physics, according to which these two conditions are also sufficient. Our proposal has some radical implications, for example, that the psychological arrow of time is fundamental, whereas the temporal direction of entropy increase in the second law of thermodynamics and the past hypothesis is derived from it, rather than the other way around. 1Introduction2A Physical Account of the Psychological Arrow of Time3Necessary Conditions for the Psychological Arrow of Time4The Psychological Arrow of Time via the Second Law of Thermodynamics and the Past Hypothesis5Why the Past Hypothesis Is Insufficient for the Psychological Arrow of Time5.1Stage 1, Version 1: From the past hypothesis to the psychological arrow via typicality5.2Stage 1, Version 2: From the past hypothesis to the psychological arrow via dynamical or causal considerations5.3Stage 2: From entropy gradient in the brain to the psychological arrow of time6Why the Past Hypothesis Is Unnecessary for the Psychological Arrow of Time7A New Reductive Account of the Psychological Arrow of Time. (shrink)

By means of the examples of classical and Bohmian quantum mechanics, we illustrate the well-known ideas of Boltzmann as to how one gets from laws defined for the universe as a whole to dynamical relations describing the evolution of subsystems. We explain how probabilities enter into this process, what quantum and classical probabilities have in common and where exactly their difference lies.

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)

Roughly speaking, classical statistical physics is the branch of theoretical physics that aims to account for the thermal behaviour of macroscopic bodies in terms of a classical mechanical model of their microscopic constituents, with the help of probabilistic assumptions. In the last century and a half, a fair number of approaches have been developed to meet this aim. This study of their foundations assesses their coherence and analyzes the motivations for their basic assumptions, and the interpretations of their central concepts. (...) The most outstanding foundational problems are the explanation of time-asymmetry in thermal behaviour, the relative autonomy of thermal phenomena from their microscopic underpinning, and the meaning of probability. A more or less historic survey is given of the work of Maxwell, Boltzmann and Gibbs in statistical physics, and the problems and objections to which their work gave rise. Next, we review some modern approaches to (i) equilibrium statistical mechanics, such as ergodic theory and the theory of the thermodynamic limit; and to (ii) non-equilibrium statistical mechanics as provided by Lanford's work on the Boltzmann equation, the so-called Bogolyubov-Born-Green-Kirkwood-Yvon approach, and stochastic approaches such as `coarse-graining' and the `open systems' approach. In all cases, we focus on the subtle interplay between probabilistic assumptions, dynamical assumptions, initial conditions and other ingredients used in these approaches. (shrink)

We discuss a recent proposal by Albert (1994a; 1994b; 2000, ch. 7) to recover thermodynamics on a purely dynamical basis, using the quantum theory of the collapse of the wave function by Ghirardi, Rimini, and Weber (1986). We propose an alternative way to explain thermodynamics within no-collapse interpretations of quantum mechanics. Our approach relies on the standard quantum mechanical models of environmental decoherence of open systems (e.g., Joos and Zeh 1985; Zurek and Paz 1994). This paper presents the two approaches (...) and discusses their advantages. The problems faced by both approaches will be discussed in a sequel (Hemmo and Shenker 2003). (shrink)

Or better: time asymmetry in thermodynamics. Better still: time asymmetry in thermodynamic phenomena. “Time in thermodynamics” misleadingly suggests that thermodynamics will tell us about the fundamental nature of time. But we don’t think that thermodynamics is a fundamental theory. It is a theory of macroscopic behavior, often called a “phenomenological science.” And to the extent that physics can tell us about the fundamental features of the world, including such things as the nature of time, we generally think that only fundamental (...) physics can. On its own, a science like thermodynamics won’t be able to tell us about time per se. But the theory will have much to say about everyday processes that occur in time; and in particular, the apparent asymmetry of those processes. The pressing question of time in the context of thermodynamics is about the asymmetry of things in time, not the asymmetry of time, to paraphrase Price ( , ). I use the title anyway, to underscore what is, to my mind, the centrality of thermodynamics to any discussion of the nature of time and our experience in it. The two issues—the temporal features of processes in time, and the intrinsic structure of time itself—are related. Indeed, it is in part this relation that makes the question of time asymmetry in thermodynamics so interesting. This, plus the fact that thermodynamics describes a surprisingly wide range of our ordinary experience. We’ll return to this. First, we need to get the question of time asymmetry in thermodynamics out on the table. (shrink)

This is an extensive review of recent work on the foundations of statistical mechanics.

Philosophers of physics have long debated whether the Past State of low entropy of our universe calls for explanation. What is meant by “calls for explanation”? In this article we analyze this notion, distinguishing between several possible meanings that may be attached to it. Taking the debate around the Past State as a case study, we show how our analysis of what “calling for explanation” might mean can contribute to clarifying the debate and perhaps to settling it, thus demonstrating the (...) fruitfulness of this analysis. Applying our analysis, we show that two main opponents in this debate, Huw Price and Craig Callender, are, for the most part, talking past each other rather than disagreeing, as they employ different notions of “calling for explanation”. We then proceed to show how answering the different questions that arise out of the different meanings of “calling for explanation” can result in clarifying the problems at hand and thus, hopefully, to solving them. (shrink)

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)

The Three Papers comprising this series, together with my earlier [34] also published in this journal, constitute an attempt to set out the major issues in the theoretical domain of reduction and to develop a general theory of theory reduction. The fourth paper, [34], though published separately from this trio, is integral to the presentation and should be read in conjunction with these papers. Even so, the presentation is limited in scope – roughly, to intertheoretic reduction among empirical theories – (...) and informal in presentation – not least because a satisfying formal account of theories has yet to be offered. And despite the length, the treatment is still condensed; often corroborating and/or intuitively helpful detail has had to be consigned to footnotes or omitted. I approach the problem from within my own naturalistic realist philosophy of science and formal analysis of abstract hierarchy in theory. The sources for the former are [25], [29], [31], and [32] and those for the latter essentially [27] and [30]. Hierarchical notions played a significant role in the already published [34]. (shrink)

Some claim that Non-reductive Physicalism is an unstable position, on grounds that NRP either collapses into reductive physicalism, or expands into emergentism of a robust or ‘strong’ variety. I argue that this claim is unfounded, by attention to the notion of a degree of freedom—roughly, an independent parameter needed to characterize an entity as being in a state functionally relevant to its law-governed properties and behavior. I start by distinguishing three relations that may hold between the degrees of freedom needed (...) to characterize certain special science entities, and those needed to characterize their composing physical entities; these correspond to what I call ‘reductions’, ‘restrictions’, and ‘eliminations’ in degrees of freedom. I then argue that eliminations in degrees of freedom, in particular—when strictly fewer degrees of freedom are required to characterize certain special science entities than are required to characterize their composing physical entities—provide a basis for making sense of how certain special science entities can be both physically acceptable and ontologically irreducible to physical entities. (shrink)

We discuss a recent proposal by Albert to recover thermodynamics on a purely dynamical basis, using the quantum theory of the collapse of the wave function of Ghirardi, Rimini and Weber. We propose an alternative way to explain thermodynamics within no-collapse interpretations of quantum mechanics. Our approach relies on the standard quantum mechanical models of environmental decoherence of open systems, \eg Joos and Zeh and Zurek and Paz. This paper presents the two approaches and discusses their advantages. The problems they (...) face will be discussed in a sequel. (shrink)

Discussions of the foundations of Classical Equilibrium Statistical Mechanics (SM) typically focus on the problem of justifying the use of a certain probability measure (the microcanonical measure) to compute average values of certain functions. One would like to be able to explain why the equilibrium behavior of a wide variety of distinct systems (different sorts of molecules interacting with different potentials) can be described by the same averaging procedure. A standard approach is to appeal to ergodic theory to justify this (...) choice of measure. A different approach, eschewing ergodicity, was initiated by A. I. Khinchin. Both explanatory programs have been subjected to severe criticisms. This paper argues that the Khinchin type program deserves further attention in light of relatively recent results in understanding the physics of universal behavior. (shrink)

Why do systems prepared in a non-equilibrium state approach, and eventually reach, equilibrium? An important contemporary version of the Boltzmannian approach to statistical mechanics answers this question by an appeal to the notion of typicality. The problem with this approach is that it comes in different versions, which are, however, not recognised as such, much less clearly distinguished, and we often find different arguments pursued side by side. The aim of this paper is to disentangle different versions of typicality-based explanations (...) of thermodynamic behaviour and evaluate their respective success. My conclusion will be that the boldest version fails for technical reasons, while more prudent versions leave unanswered essential questions. (shrink)

The traditional use of ergodic theory in the foundations of equilibrium statistical mechanics is that it provides a link between thermodynamic observables and microcanonical probabilities. First of all, the ergodic theorem demonstrates the equality of microcanonical phase averages and infinite time averages (albeit for a special class of systems, and up to a measure zero set of exceptions). Secondly, one argues that actual measurements of thermodynamic quantities yield time averaged quantities, since measurements take a long time. The combination of these (...) two points is held to be an explanation why calculating microcanonical phase averages is a successful algorithm for predicting the values of thermodynamic observables. It is also well-known that this account is problematic.

This survey intends to show that ergodic theory nevertheless may have important roles to play, and it explores three other uses of ergodic theory. Particular attention is paid, firstly, to the relevance of specific interpretations of probability, and secondly, to the way in which the concern with systems in thermal equilibrium is translated into probabilistic language. With respect to the latter point, it is argued that equilibrium should not be represented as a stationary probability distribution as is standardly done; instead, a weaker definition is presented. (shrink)

I discuss recent work in ergodic theory and statistical mechanics, regarding the compatibility and origin of random and chaotic behavior in deterministic dynamical systems. A detailed critique of some quite radical proposals of the Prigogine school is given. I argue that their conclusion regarding the conceptual bankruptcy of the classical conceptions of an exact microstate and unique phase space trajectory is not completely justified. The analogy they want to draw with quantum mechanics is not sufficiently close to support their most (...) radical conclusion. (shrink)

We propose an "explanation scheme" for why the Gibbs phase average technique in classical equilibrium statistical mechanics works. Our account emphasizes the importance of the Khinchin-Lanford dispersion theorems. We suggest that ergodicity does play a role, but not the one usually assigned to it.

An important contemporary version of Boltzmannian statistical mechanics explains the approach to equilibrium in terms of typicality. The problem with this approach is that it comes in different versions, which are, however, not recognized as such and not clearly distinguished. This article identifies three different versions of typicality‐based explanations of thermodynamic‐like behavior and evaluates their respective successes. The conclusion is that the first two are unsuccessful because they fail to take the system's dynamics into account. The third, however, is promising. (...) I give a precise formulation of the proposal and present an argument in support of its central contention. †To contact the author, please write to: Department of Philosophy, Logic, and Scientific Method, London School of Economics, Houghton Street, London WC2A 2AE, England; e‐mail: [email protected]. (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)

The relationship between statistical mechanics and population genetics has a long history. Both take advantage of statistics to address the behavior of large groups of entities. The main objective of this article is to assess the obstacles population genetics is meeting in its claim to explain biological phenomena from the conceptual apparatus of statistical mechanics according to two recent articles. Several tools available to the latter are missing in the former. Thus, in the absence of an adequate justification of the (...) relevance of the analogy and without the satisfaction of certain basic assumptions, I argue that the explanatory strategy of the analogously based model is seriously compromised. La relation entre mécanique statistique et génétique des populations a une longue histoire. À l’instar de la première, la seconde tire profit des statistiques afin de traiter le comportement des grands ensembles d’entités. L’objectif principal du présent article est d’identifier les obstacles que rencontre la génétique des populations dans sa prétention d’explication des phénomènes biologiques à partir de l’appareillage conceptuel de la mécanique statistique selon deux articles récents. Or, plusieurs outils dont dispose cette dernière manque à la première. Ainsi, en l’absence d’une justification adéquate de la pertinence de l’analogie et sans la satisfaction de certaines hypothèses fondamentales, je soutiens que la stratégie explicative du modèle analogue est sérieusement compromise. (shrink)

We often use symmetries to infer outcomes’ probabilities, as when we infer that each side of a fair coin is equally likely to come up on a given toss. Why are these inferences successful? I argue against answering this with an a priori indifference principle. Reasons to reject that principle are familiar, yet instructive. They point to a new, empirical explanation for the success of our probabilistic predictions. This has implications for indifference reasoning in general. I argue that a priori (...) symmetries need never constrain our probability attributions, even when it comes to our initial credences. (shrink)

Some of the most imaginative analyses in contemporary science have been fostered by the paradox of irreversibility. Rendered as a question the paradox reads: How can the anisotropic macrophysical behavior of a system of molecules be reconciled with the underlying reversible molecular model? Attempts to resolve and dissolve the paradox have appealed to large numbers of particles, jammed correlations, unseen perturbations, hidden variables or constraints, uncertainty principles, averaging procedures (e.g., coarse graining and time smoothing), stochastic flaws, cosmological origins, etc. While (...) acknowledging these efforts as important articulations of basic ideas of statistical mechanics, we question their relevance to irreversibility as it occurs in nature. It seems to us that once the emergence of the phenomenon of equilibrium is understood in terms of molecular dynamics, the macroscopic appearance of irreversibility can also be understood in terms of the frequency of forced withdrawals from young equilibria. We believe that the paradox of irreversibility can be resolved in a simple, logically clear, and aesthetically pleasing manner. (shrink)

In many ways, entropy and probability are two concepts that complement each other. But it has been argued that there is no ‘straightforward connection’ between them with a no-go thesis from Kevin D...

The modern mathematical theory of dynamical systems proposes a new model of mechanical motion. In this model the deterministic unstable systems can behave in a statistical manner. Both kinds of motion are inseparably connected, they depend on the point of view and researcher's approach to the system. This mathematical fact solves in a new way the old problem of statistical laws in the world which is essentially deterministic. The classical opposition: deterministic‐statistical, disappears in random dynamics. The main thesis of the (...) paper is that the new theory of motion is a revolution in the research programme of classical mechanics. It is the revolution brought about by the development of mathematics. (shrink)

Yoshida's explicit aim is to defend the standard empiricist model of reduction-bydeduction from recent attacks. Thus the treatment is limited in both scope and orientation.I shall argue that Yoshida does not succeed. The failure is both internal and external.

This paper is a defense of an elaborated ideal explanatory text conception against criticism as put forward by Bob Batterman. It is argued that Batterman's critique of "philosophical" accounts of scientific explanation is inadequate.