The aim of this article is to analyse the relation between the second law of thermodynamics and the so-called arrow of time. For this purpose, a number of different aspects in this arrow of time are distinguished, in particular those of time-reversal (non-)invariance and of (ir)reversibility. Next I review versions of the second law in the work of Carnot, Clausius, Kelvin, Planck, Gibbs, Caratheodory and Lieb and Yngvason, and investigate their connection with these aspects of the arrow of time. It (...) is shown that this connection varies a great deal along with these formulations of the second law. According to the famous formulation by Planck, the second law expresses the irreversibility of natural processes. But in many other formulations irreversibility or even time-reversal non-invariance plays no role. I therefore argue for the view that the second law has nothing to do with the arrow of time. (shrink)

The special composition question, which asks under which conditions objects compose a further object, establishes a central debate in modern metaphysics. Recent successes of inductive metaphysics, which studies the implications of the natural sciences for metaphysical problems, suggest that insights into the SCQ can be gained by investigating the physics of composite systems. In this work, I show that the minus first law of thermodynamics, which is concerned with the approach to equilibrium, leads to a new approach to the SCQ, (...) the thermodynamic composition principle : Multiple systems in thermal contact compose a single system. This principle, which is justified based on a systematic classification of possible mereological models for thermodynamic systems, might form the basis of an inductive argument for universalism. A formal analysis of the TCP is provided on the basis of mereotopology, which is a combination of mereology and topology. Here, “thermal contact” can be analyzed using the mereotopological predicate “self-connectedness”. Self-connectedness has to be defined in terms of mereological sums to ensure that scattered objects cannot be self-connected. (shrink)

Explaining the emergence of stochastic irreversible macroscopic dynamics from time-reversible deterministic microscopic dynamics is one of the key problems in philosophy of physics. The Mori-Zwanzig projection operator formalism, which is one of the most important methods of modern nonequilibrium statistical mechanics, allows for a systematic derivation of irreversible transport equations from reversible microdynamics and thus provides a useful framework for understanding this issue. However, discussions of the MZ formalism in philosophy of physics tend to focus on simple variants rather than (...) on the more sophisticated ones used in modern physical research. In this work, I will close this gap by studying the problems of probability and irreversibility using the example of Grabert’s time-dependent projection operator formalism. This allows to better understand how general proposals for understanding probability in statistical mechanics, namely quantum approaches and almost-objective probabilities, can be accomodated in the MZ formalism. Moreover, I will provide a detailed physical analysis, based on the MZ formalism, of various proposals from the philosophical literature, such as Robertson’s theory of justifying coarse-graining via autonomous macrodynamics, Myrvold’s problem of explaining autonomous macrodynamics, and Wallace’s simple dynamical conjecture. (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)

In the so-called "Spin-Echo Experiments" the behaviour of a spin's system seems to violate the second law of thermodynamics. For this reason the "Spin-Echo Experiments" are considered of particular interest for the Foundations of Physics. Interventionists have provided a classical explanation (Blatt, 1959; Ridderbos & Redhead, 1998) and a quantum-based explanation (Hemmo & Shenker, 2005) of these experiments. Here both interventionist explanations are assessed by means of the Manipulability Theory of Causal Explanation (Woodward, 2003). It is argued that interventionism would (...) gain explanatory depth by providing functional relations and predicting relaxation times. (shrink)

While the fundamental laws of physics are time-reversal invariant, most macroscopic processes are irreversible. Given that the fundamental laws are taken to underpin all other processes, how can the fundamental time-symmetry be reconciled with the asymmetry manifest elsewhere? In statistical mechanics, progress can be made with this question. What I dub the ‘Zwanzig–Zeh–Wallace framework’ can be used to construct the irreversible equations of SM from the underlying microdynamics. Yet this framework uses coarse-graining, a procedure that has faced much criticism. I (...) focus on two objections in the literature: claims that coarse-graining makes time-asymmetry ‘illusory’ and ‘anthropocentric’. I argue that these objections arise from an unsatisfactory justification of coarse-graining prevalent in the literature, rather than from coarse-graining itself. This justification relies on the idea of measurement imprecision. By considering the role that abstraction and autonomy play, I provide an alternative justification and offer replies to the illusory and anthropocentric objections. Finally, I consider the broader consequences of this alternative justification: the connection to debates about inter-theoretic reduction and the implication that the time-asymmetry in SM is weakly emergent. 1Introduction 1.1Prospectus2The Zwanzig–Zeh–Wallace Framework3Why Does This Method Work? 3.1The special conditions account3.2When is a density forwards-compatible?4Anthropocentrism and Illusion: Two Objections 4.1The two objections in more detail4.2Against the justification by measurement imprecision5An Alternative Justification 5.1Abstraction and autonomy5.2An illustration: the Game of Life6Reply to Illusory7Reply to Anthropocentric8The Wider Landscape: Concluding Remarks 8.1Inter-theoretic relations8.2The nature of irreversibility. (shrink)

In this paper I first argue that the objection which is most commonly levelled against the coarse-graining approach-viz. that it introduces an element of subjectivity into what ought to be a purely objective formalism-is ultimately unfounded. I then proceed to argue that two different objections to the coarse-graining approach indicate that it is an inadequate approach to statistical mechanics. The first objection is based on the fact that the appeal to appearances by the coarse-graining approach fails to justify the coarse-graining (...) strategy of ignoring the physical differences between so-called quasi-equilibrium distributions and equilibrium distributions. The second objection is centred on the notion of a coarse-grained entropy. I will argue that the required increase in the coarse-grained entropy is obtained by disregarding the dynamical constraints on the system. This undermines the very task statistical mechanics has set out to accomplish, viz. to provide a microdynamical underpinning of thermodynamics. (shrink)

Since the late nineteenth century, physics has been puzzled by the time-asymmetry of thermodynamic phenomena in the light of the apparent T-symmetry of the underlying laws of mechanics. However, a compelling solution to this puzzle has proved elusive. In part, I argue, this can be attributed to a failure to distinguish two conceptions of the problem. According to one, the main focus of our attention is a time-asymmetric lawlike generalisation. According to the other, it is a particular fact about the (...) early universe. This paper aims (i) to distinguish these two different conceptions of the time-asymmetric explanandum in thermodynamics; (ii) to argue in favour of the latter; and (iii) to show that whichever we choose, our rational expectations about the thermodynamic behaviour of the future must depend on what we know about the past: contrary to the common view, statistical arguments alone do not give us good reason to expect that entropy will always continue to increase. (shrink)

Does not the theory of a general tendency of entropy to diminish [sic] take too much for granted? To a certain extent it is supported by experimental evidence. We must accept such evidence as far as it goes and no further. We have no right to supplement it by a large draft of the scientific imagination.

This paper investigates Jaynes’ “unbelievably short proof” of the 2nd law of thermodynamics. It assesses published criticisms of the proof and concludes that these criticisms miss the mark by demanding results that either import expectations of a proof not consistent with an information-theoretic approach, or would require assumptions not employed in the proof itself, as it looks only to establish a weaker conclusion. Finally, a weakness in the proof is identified and illustrated. This weakness stems from the fact the Jaynes’ (...) assumption of unitary evolution is too strong given his perspective, rather than too weak to provide the desired results. (shrink)

I highlight that the aim of using statistical mechanics to underpin irreversible processes is, strictly speaking, ambiguous. Traditionally, however, the task of underpinning irreversible processes has been thought to be synonymous with underpinning the Second Law of thermodynamics. I claim that contributors to the foundational discussion are best interpreted as aiming to provide a microphysical justification of the Minus First Law, despite the ways their aims are often stated. I suggest that contributors should aim at accounting for both the Minus (...) First Law and Second Law. (shrink)

Simple models have played an important role in the discussion of foundational issues in statistical mechanics. Among them the spin-echo system is of particular interest since it can be realized experimentally. This has led to inferences being drawn about approaches to the foundations of statistical mechanics, particularly with respect to the use of coarse-graining. We examine these claims with the help of computer simulations.

This paper makes a novel linkage between the multiple-computations theorem in philosophy of mind and Landauer’s principle in physics. The multiple-computations theorem implies that certain physical systems implement simultaneously more than one computation. Landauer’s principle implies that the physical implementation of “logically irreversible” functions is accompanied by minimal entropy increase. We show that the multiple-computations theorem is incompatible with, or at least challenges, the universal validity of Landauer’s principle. To this end we provide accounts of both ideas in terms of (...) low-level fundamental concepts in statistical mechanics, thus providing a deeper understanding of these ideas than their standard formulations given in the high-level terms of thermodynamics and cognitive science. Since Landauer’s principle is pivotal in the attempts to derive the universal validity of the second law of thermodynamics in statistical mechanics, our result entails that the multiple-computations theorem has crucial implications with respect to the second law. Finally, our analysis contributes to the understanding of notions, such as “logical irreversibility,” “entropy increase,” “implementing a computation,” in terms of fundamental physics, and to resolving open questions in the literature of both fields, such as: what could it possibly mean that a certain physical process implements a certain computation. (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)

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)

Can we explain the laws of thermodynamics, in particular the irreversible increase of entropy, from the underlying quantum mechanical dynamics? Attempts based on classical dynamics have all failed. Albert (1994a,b; 2000) proposed a way to recover thermodynamics on a purely dynamical basis, using the quantum theory of the collapse of the wavefunction of Ghirardi, Rimini and Weber (1986). In this paper 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) and Zurek and Paz (1994). (shrink)

Relying on the universality of quantum mechanics and on recent results known as the “threshold theorems,” quantum information scientists deem the question of the feasibility of large‐scale, fault‐tolerant, and computationally superior quantum computers as purely technological. Reconstructing this question in statistical mechanical terms, this article suggests otherwise by questioning the physical significance of the threshold theorems. The skepticism it advances is neither too strong (hence is consistent with the universality of quantum mechanics) nor too weak (hence is independent of technological (...) contingencies). *Received June 2009; revised August 2009. †To contact the author, please write to: Department of History and Philosophy of Science, College of Arts and Sciences, Indiana University, Bloomington, IN 47405; e‐mail: [email protected]. (shrink)

Using the 'Aharonov approach', Linden and colleagues purportedly prove that reaching equilibrium is a universal property of quantum systems. Such a proof would constitute a very significant result in the foundations of statistical mechanics. I argue that, as it stands, this proof is not sound. However, based on the their theorems, I construct an argument for the conclusion that an arbitrary small subsystem of a large quantum system typically tends toward and remains in, or close to, equilibrium. This is the (...) central result of the article. In the final part of the article, I defend the Aharonov approach against anti-interventionist criticisms. (shrink)

Thermodynamics is the science that describes much of the time asymmetric behavior found in the world. This entry's first task, consequently, is to show how thermodynamics treats temporally ‘directed’ behavior. It then concentrates on the following two questions. (1) What is the origin of the thermodynamic asymmetry in time? In a world possibly governed by time symmetric laws, how should we understand the time asymmetric laws of thermodynamics? (2) Does the thermodynamic time asymmetry explain the other temporal asymmetries? Does it (...) account, for instance, for the fact that we know more about the past than the future? The discussion thus divides between thermodynamics being an explanandum or explanans. In the former case the answer will be found in philosophy of physics; in the latter case it will be found in metaphysics, epistemology, and other fields, though in each case there will be blurring between the disciplines. (shrink)

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

The thesis proposes, defends, and applies a new model of inter-theoretic reduction, called "Neo-Nagelian" reduction. There are numerous accounts of inter-theoretic reduction in the philosophy of science literature but the most well-known and widely-discussed is the Nagelian one. In the thesis I identify various kinds of problems which the Nagelian model faces. Whilst some of these can be resolved, pressing ones remain. In lieu of the Nagelian model, other models of inter-theoretic reduction have been proposed, chief amongst which are so-called (...) "New Wave" models. I show these to be no more adequate than the original Nagelian model. I propose a new model of inter-theoretic reduction, Neo-Nagelian reduction. This model is structurally similar to the Nagelian one, but differs in substantive ways. In particular I argue that it avoids the problems pertaining to both the Nagelian and New Wave models. Multiple realizability looms large in discussions about reduction: it is claimed that multiply realizable properties frustrate the reduction of one theory to another in various ways. I consider these arguments and show that they do not undermine the Neo-Nagelian of reduction of one theory to another. Finally, I apply the model to statistical mechanics. Statistical mechanics is taken to be a reductionist enterprise: one of the aims of statistical mechanics is to reduce thermodynamics. Without an adequate model of inter-theoretic reduction one cannot assess whether it succeeds; I use the Neo-Nagelian model to critically discuss whether it does. Specifically, I consider two very recent derivations of the Second Law of thermodynamics, one from Boltzmannian classical statistical mechanics and another from quantum statistical mechanics. I argue that they are partially successful, and that each makes for a promising line of future research. (shrink)

In robustness analysis, hypotheses are supported to the extent that a result proves robust, and a result is robust to the extent that we detect it in diverse ways. But what precise sense of diversity is at work here? In this paper, I show that the formal explications of evidential diversity most often appealed to in work on robustness – which all draw in one way or another on probabilistic independence – fail to shed light on the notion of diversity (...) relevant to robustness analysis. I close by briefly outlining a promising alternative approach inspired by Horwich’s (1982) eliminative account of evidential diversity. (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)