In this paper I will defend the incapacity of the informational frameworks in thermal physics, mainly those that historically and conceptually derive from the work of Brillouin (1962) and Jaynes (1957a), to robustly explain the approach of certain gaseous systems to their state of thermal equilibrium from the dynamics of their molecular components. I will further argue that, since their various interpretative, conceptual and technical-formal resources (e.g. epistemic interpretations of probabilities and entropy measures, identification of thermal entropy as Shannon information, (...) and so on) are shown to be somehow incoherent, inconsistent or inaccurate, these informational proposals need to 'epistemically parasitize' the manifold of theoretical resources of Boltzmann's and Gibbs' statistical mechanics, respectively, in order to properly account for the equilibration process of an ideal gas from its microscopic properties. Finally, our conclusion leads us to adopt a sort of constructive skepticism regarding the explanatory value of the main informationalist trends in statistical thermophysics. (shrink)

I will argue, pace a great many of my contemporaries, that there's something right about Boltzmann's attempt to ground the second law of thermodynamics in a suitably amended deterministic time-reversal invariant classical dynamics, and that in order to appreciate what's right about (what was at least at one time) Boltzmann's explanatory project, one has to fully apprehend the nature of microphysical causal structure, time-reversal invariance, and the relationship between Boltzmann entropy and the work of Rudolf Clausius.

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)

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)

There are results which show that measure-theoretic deterministic models and stochastic models are observationally equivalent. Thus there is a choice between a deterministic and an indeterministic model and the question arises: Which model is preferable relative to evidence? If the evidence equally supports both models, there is underdetermination. This paper first distinguishes between different kinds of choice and clarifies the possible resulting types of underdetermination. Then a new answer is presented: the focus is on the choice between a Newtonian deterministic (...) model supported by indirect evidence from other Newtonian models which invoke similar additional assumptions about the physical systems and a stochastic model that is not supported by indirect evidence. It is argued that the deterministic model is preferable. The argument against underdetermination is then generalised to a broader class of cases. Finally, the paper criticises the extant philosophical answers in relation to the preferable model. Winnie’s (1998) argument for the deterministic model is shown to deliver the correct conclusion relative to observations which are possible in principle and where there are no limits, in principle, on observational accuracy (the type of choice Winnie was concerned with). However, in practice the argument fails. A further point made is that Hoefer’s (2008) argument for the deterministic model is untenable. (shrink)

There are two main theoretical frameworks in statistical mechanics, one associated with Boltzmann and the other with Gibbs. Despite their well-known differences, there is a prevailing view that equilibrium values calculated in both frameworks coincide. We show that this is wrong. There are important cases in which the Boltzmannian and Gibbsian equilibrium concepts yield different outcomes. Furthermore, the conditions under which equilibriums exists are different for Gibbsian and Boltzmannian statistical mechanics. There are, however, special circumstances under which it is true (...) that the equilibrium values coincide. We prove a new theorem providing sufficient conditions for this to be the case. (shrink)

A popular view in contemporary Boltzmannian statistical mechanics is to interpret the measures as typicality measures. In measure-theoretic dynamical systems theory measures can similarly be interpreted as typicality measures. However, a justification why these measures are a good choice of typicality measures is missing, and the paper attempts to fill this gap. The paper first argues that Pitowsky's justification of typicality measures does not fit the bill. Then a first proposal of how to justify typicality measures is presented. The main (...) premises are that typicality measures are invariant and are related to the initial probability distribution of interest. The conclusions are two theorems which show that the standard measures of statistical mechanics and dynamical systems are typicality measures. There may be other typicality measures, but they agree about judgements of typicality. Finally, it is proven that if systems are ergodic or epsilon-ergodic, there are uniqueness results about typicality measures. (shrink)

It can be shown that certain kinds of classical deterministic and indeterministic descriptions are observationally equivalent. Then the question arises: which description is preferable relative to evidence? This paper looks at the main argument in the literature for the deterministic description by Winnie (The cosmos of science—essays of exploration. Pittsburgh University Press, Pittsburgh, pp 299–324, 1998). It is shown that this argument yields the desired conclusion relative to in principle possible observations where there are no limits, in principle, on observational (...) accuracy. Yet relative to the currently possible observations (of relevance in practice), relative to the actual observations, or relative to in principle observations where there are limits, in principle, on observational accuracy the argument fails. Then Winnie’s analogy between his argument for the deterministic description and his argument against the prevalence of Bernoulli randomness in deterministic descriptions is considered. It is argued that while the arguments are indeed analogous, it is also important to see they are disanalogous in another sense. (shrink)

This paper develops a philosophical investigation of the merits and faults of a theorem by Lanford , Lanford , Lanford for the problem of the approach towards equilibrium in statistical mechanics. Lanford’s result shows that, under precise initial conditions, the Boltzmann equation can be rigorously derived from the Hamiltonian equations of motion for a hard spheres gas in the Boltzmann-Grad limit, thereby proving the existence of a unique solution of the Boltzmann equation, at least for a very short amount of (...) time. We argue that, by establishing a statistical H-theorem, it offers a prospect to complete Boltzmann’s combinatorial argument, without running against the objections which plug other typicality-based approaches. However, we submit that, while recovering the irreversible approach towards equilibrium for positive times, it fails to predict a monotonic increase of entropy for negative times, and hence it yields the wrong retrodictions about the past evolution of a gas. (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)

The problem of multiple-computations discovered by Hilary Putnam presents a deep difficulty for functionalism (of all sorts, computational and causal). We describe in out- line why Putnam’s result, and likewise the more restricted result we call the Multiple- Computations Theorem, are in fact theorems of statistical mechanics. We show why the mere interaction of a computing system with its environment cannot single out a computation as the preferred one amongst the many computations implemented by the system. We explain why nonreductive (...) approaches to solving the multiple- computations problem, and in particular why computational externalism, are dualistic in the sense that they imply that nonphysical facts in the environment of a computing system single out the computation. We discuss certain attempts to dissolve Putnam’s unrestricted result by appealing to systems with certain kinds of input and output states as a special case of computational externalism, and show why this approach is not workable without collapsing to behaviorism. We conclude with some remarks about the nonphysical nature of mainstream approaches to both statistical mechanics and the quantum theory of measurement with respect to the singling out of partitions and observables. (shrink)

The arrow of time is a familiar phenomenon we all know from our experience: we remember the past but not the future and control the future but not the past. However, it takes an effort to keep records of the past, and to affect the future. For example, it would take an immense effort to unmix coffee and milk, although we easily mix them. Such time directed phenomena are sub- sumed under the Second Law of Thermodynamics. This law characterizes our (...) experience of the arrow of time in terms of an increase of a theoretical magnitude called entropy. Statistical mechan- ics tries to explain the Second Law as an effect of the behavior of the microscopic particles that make up the universe. Since our senses are too coarse to see this microstructure, statistical mechanics describes our experience in terms of probability, or in terms of the partial information we have about the particles. In this paper we explain the workings of statistical mechanics; how it accounts for probability as an objective feature of the world based on the underlying dynamics; how it accounts for our memories of the past; how the statistical mechanical probability under- writes the Second Law; and how, at the same time, it leads to a violation of the Second Law by the so-called Maxwell’s Demon. (shrink)

Information, entropy, probability: these three terms are closely interconnected in the prevalent understanding of statistical mechanics, both when this field is taught to students at an introductory level and in advanced research into the field’s foundations. This paper examines the interconnection between these three notions in light of recent research in the foundations of statistical mechanics. It disentangles these concepts and highlights their differences, at the same time explaining why they came to be so closely linked in the literature. In (...) the literature the term ‘information’ is often linked to entropy and probability in discussions of Maxwell’s Demon and its attempted exorcism by the Landauer-Bennett thesis, and in analyses of the spin echo experiments. The direction taken in the present paper is a different one. Here we discuss the statistical mechanical underpinning of the notions of probability and entropy, and this constructive approach shows that information plays no fundamental role in these concepts, although it can be conveniently used in a sense that we shall specify. (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 point out that some common folk wisdom about time reversal invariance in classical mechanics is strictly incorrect, by showing some explicit examples in which classical time reversal invariance fails, even among conservative systems. I then show that there is nevertheless a broad class of familiar classical systems that are time reversal invariant.

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 his mature writings, Kuhn describes the process of specialisation as driven by a form of incommensurability, defined as a conceptual/linguistic barrier which promotes and guarantees the insularity of specialties. In this paper, we reject the idea that the incommensurability among scientific specialties is a linguistic barrier. We argue that the problem with Kuhn’s characterisation of the incommensurability among specialties is that he presupposes a rather abstract theory of semantic incommensurability, which he then tries to apply to his description of (...) the process of specialisation. By contrast, this paper follows a different strategy: after criticising Kuhn’s view, it takes a further look at how new scientific specialties emerge. As a result, a different way of understanding incommensurability among specialties will be proposed. (shrink)

In the history of science, the birth of classical chemistry and thermodynamics produced an anomaly within Newtonian mechanical paradigm: force and acceleration were no longer citizens of new cited sciences. Scholars tried to reintroduce them within mechanistic approaches, as the case of the kinetic gas theory. Nevertheless, Thermodynamics, in general, and its Second Law, in particular, gradually affirmed their role of dominant not-reducible cognitive paradigms for various scientific disciplines: more than twenty formulations of Second Law—a sort of indisputable intellectual wealth—are (...) conceived after 1824 Sadi Carnot’s original statement and a multitude of entropy functions are proposed after 1865 Clausius’ former definition. Furthermore, at the end of nineteenth century, thermodynamics extended its cognitive domain to chemistry. Mainly thanks to Gibbs, a brand new discipline—chemical thermodynamics or physical chemistry—gradually affirmed its role inside the scientific community. This paper reports the former results of collaborative research program in the History and Epistemology of Science as well as Nature of Science Teaching aimed at retracing the foundations of the physical chemistry. Specifically, the research is structured in three parts: historical-epistemic reflections on fundamental thermodynamic concepts and principles—such as reversible process, heat, temperature, thermal equilibrium and Clausius’ Second Law—that play a structural role inside modern physical chemistry; panoramic overview on the entropy, whose polysemy makes it one of the most demanding concepts for scholars, teachers and students while approaching thermodynamics; conceptualization of chemical equilibrium as complex entity according to the dual epistemological approach offered by Gibbs’ thermodynamic model and the kinetic standpoint by Guldberg and Waage. In particular, the present work details an original reading of thermodynamic principles with the aim of setting forth a rationalized multidisciplinary substrate whereon the foundational concepts of reversible process and thermal equilibrium can be set. (shrink)

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)

This article distinguishes two different senses of information-theoretic approaches to statistical mechanics that are often conflated in the literature: those relating to the thermodynamic cost of computational processes and those that offer an interpretation of statistical mechanics where the probabilities are treated as epistemic. This distinction is then investigated through Earman and Norton’s ([1999]) ‘sound’ and ‘profound’ dilemma for information-theoretic exorcisms of Maxwell’s demon. It is argued that Earman and Norton fail to countenance a ‘sound’ information-theoretic interpretation and this paper (...) describes how the latter inferential interpretations can escape the criticisms of Earman and Norton ([1999]) and Norton ([2005]) by adopting this ‘sound’ horn. This article considers a standard model of Maxwell’s demon to illustrate how one might adopt an information-theoretic approach to statistical mechanics without a reliance on Landauer’s principle, where the incompressibility of the probability distribution due to Liouville’s theorem is taken as the central feature of such an interpretation. (shrink)

In this paper, I compare the use of the thermodynamic limit in the theory of phase transitions with the infinite-time limit in the explanation of equilibrium statistical mechanics. In the case of phase transitions, I will argue that the thermodynamic limit can be justified pragmatically since the limit behavior also arises before we get to the limit and for values of N that are physically significant. However, I will contend that the justification of the infinite-time limit is less straightforward. In (...) fact, I will point out that even in cases where one can recover the limit behavior for finite t, i.e. before we get to the limit, one cannot recover this behavior for realistic time scales. I will claim that this leads us to reconsider the role that the rate of convergence plays in the justification of infinite limits and calls for a revision of the so-called Butterfield’s principle. (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)

This pair of articles provides a critical commentary on contemporary approaches to statistical mechanical probabilities. These articles focus on the two ways of understanding these probabilities that have received the most attention in the recent literature: the epistemic indifference approach, and the Lewis-style regularity approach. These articles describe these approaches, highlight the main points of contention, and make some attempts to advance the discussion. The first of these articles provides a brief sketch of statistical mechanics, and discusses the indifference approach (...) to statistical mechanical probabilities. (shrink)

This pair of articles provides a critical commentary on contemporary approaches to statistical mechanical probabilities. These articles focus on the two ways of understanding these probabilities that have received the most attention in the recent literature: the epistemic indifference approach, and the Lewis-style regularity approach. These articles describe these approaches, highlight the main points of contention, and make some attempts to advance the discussion. The second of these articles discusses the regularity approach to statistical mechanical probabilities, and describes some areas (...) where further research is needed. (shrink)

I discuss the formal implementation, interpretation, and justification of likelihood attributions in cosmology. I show that likelihood arguments in cosmology suffer from significant conceptual and formal problems that undermine their applicability in this context.

The conspicuous similarities between interpretive strategies in classical statistical mechanics and in quantum mechanics may be grounded on their employment of common implementations of probability. The objective probabilities which represent the underlying stochasticity of these theories can be naturally associated with three of their common formal features: initial conditions, dynamics, and observables. Various well-known interpretations of the two theories line up with particular choices among these three ways of implementing probability. This perspective has significant application to debates on primitive ontology (...) and to the quantum measurement problem. (shrink)

In this paper I propose an interpretation of classical statistical mechanics that centers on taking seriously the idea that probability measures represent complete states of statistical mechanical systems. I show how this leads naturally to the idea that the stochasticity of statistical mechanics is associated directly with the observables of the theory rather than with the microstates (as traditional accounts would have it). The usual assumption that microstates are representationally significant in the theory is therefore dispensable, a consequence which suggests (...) interesting possibilities for developing non-equilibrium statistical mechanics and investigating inter-theoretic answers to the foundational questions of statistical mechanics. (shrink)

It is commonly maintained that neuroplastic mechanisms in the brain provide empirical support for the hypothesis of multiple realizability. We show in various case studies that neuroplasticity stems from preexisting mechanisms and processes inherent in the neural structure of the brain. We argue that not only does neuroplasticity fail to provide empirical evidence of multiple realization, its inability to do so strengthens the mind-body identity theory. Finally, we argue that a recently proposed identity theory called Flat Physicalism can be enlisted (...) to explain the current state of the mind-body problem more adequately. (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)

Despite of its formal precision and its great many applications, Shannon’s theory still offers an active terrain of debate when the interpretation of its main concepts is the task at issue. In this article we try to analyze certain points that still remain obscure or matter of discussion, and whose elucidation contribute to the assessment of the different interpretative proposals about the concept of information. In particular, we argue for a pluralist position, according to which the different views about information (...) are no longer rival, but different interpretations of a single formal concept. (shrink)

Christopher Timpson proposes a deflationary view about information, according to which the term ‘information’ is an abstract noun and, as a consequence, information is not part of the material contents of the world. The main purpose of the present article consists in supplying a critical analysis of this proposal, which will lead us to conclude that information is an item even more abstract than what Timpson claims. From this view, we embrace a pluralist stance that recognizes the legitimacy of different (...) interpretations of the concept of information. (shrink)

This paper presents an in-depth analysis of the anatomy of both thermodynamics and statistical mechanics, together with the relationships between their constituent parts. Based on this analysis, using the renormalization group and finite-size scaling, we give a definition of a large but finite system and argue that phase transitions are represented correctly, as incipient singularities in such systems. We describe the role of the thermodynamic limit. And we explore the implications of this picture of critical phenomena for the questions of (...) reduction and emergence. (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)

Must a theory of quantum gravity have some truth to it if it can recover general relativity in some limit of the theory? This paper answers this question in the negative by indicating that general relativity is multiply realizable in quantum gravity. The argument is inspired by spacetime functionalism—multiple realizability being a central tenet of functionalism—and proceeds via three case studies: induced gravity, thermodynamic gravity, and entanglement gravity. In these, general relativity in the form of the Einstein field equations can (...) be recovered from elements that are either manifestly multiply realizable or at least of the generic nature that is suggestive of functions. If general relativity, as argued here, can inherit this multiple realizability, then a theory of quantum gravity can recover general relativity while being completely wrong about the posited microstructure. As a consequence, the recovery of general relativity cannot serve as the ultimate arbiter that decides which theory of quantum gravity that is worthy of pursuit, even though it is of course not irrelevant either qua quantum gravity. Thus, the recovery of general relativity in string theory, for instance, does not guarantee that the stringy account of the world is on the right track; despite sentiments to the contrary among string theorists. (shrink)

There is a longstanding debate on the metaphysical relation between quantum states and the systems they describe. A series of relatively recent ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi$$\end{document}-ontology theorems have been taken to show that, provided one accepts certain assumptions, “quantum states are real”. In this paper I investigate the question of what that claim might be taken to mean in light of these theorems. It is argued that, even if one accepts the framework and assumptions (...) employed by such theorems, such a conclusion is not warranted. Specifically, I argue that when a so-called ontic state is taken to describe the properties of a system, the relation between this state and some quantum state as established by ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi$$\end{document}-ontology theorems, is not of the kind that would warrant counting the quantum state among these properties in any way. (shrink)

We start by very briefly describing the measurement problem in quantum mechanics and its solution by the Many Worlds Interpretation. We then describe the preferred basis problem, and the role of decoherence in the MWI. We discuss a number of approaches to the preferred basis problem and argue that contrary to the received wisdom, decoherence by itself does not solve the problem. We address Wallace’s emergentist approach based on what he calls Dennett’s criterion, and we compare the logical structure of (...) Wallace’s argument that the Hilbert space structure and the unitary dynamics should be considered a complete description of the physics of the universe with the logical structure of the EPR argument against the completeness of quantum mechanics. Then, we consider the nature of so-called “high level emergent facts” and Dennett’s criterion in Wallace’s approach and we discuss the implications of its non-reductive nature. Finally, we conclude that the MWI is not a straightforward interpretation of pure quantum mechanics that doesn't add anything to it. Whether or not it is more parsimonious than other quantum mechanical theories depends on the details of the additions. (shrink)

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)

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)

Special sciences (such as biology, psychology, economics) describe various regularities holding at some high macroscopic level. One of the central questions concerning these macroscopic regularities is how they are related to the laws of physics governing the underlying microscopic physical reality. In this paper we show how a macroscopic regularity may emerge from an underlying micro- scopic structure, and how the appearance of multiple realizability of the special sciences by physics comes about in a reductionist-physicalist framework. On this basis we (...) explain how complexity at the high level can arise due to a sort of harmony between the microscopic dynamics and observer-dependent macroscopic properties. We show that observer-dependent properties, which underlie the emergence of macroscopic properties and of macroscopic complexity, are objective physical facts. We argue that such physical properties remove the mystery from the multiple realizability of special sciences’ kinds, since the latter are grounded in shared physical properties. Finally we explain how and in what sense in our reductive physicalist approach the special sciences are still autonomous after all. (shrink)

According to influential views the probabilities in classical statistical mechanics and other special sciences are objective chances, although the underlying mechanical theory is deterministic, since the deterministic low level is inadmissible or unavailable from the high level. Here two intuitions pull in opposite directions: One intuition is that if the world is deterministic, probability can only express subjective ignorance. The other intuition is that probability of high-level phenomena, especially thermodynamic ones, is dictated by the state of affairs in the world. (...) We argue in support of this second intuition and we show that in fact there are two different ways in which high-level probability describes matters of fact, even if the underlying microscopic reality is deterministic. Our analysis is novel, but supports approaches by, e.g., Loewer, Albert, Frigg and Hoefer, List and Pivato. In particular, the reductive view we propose here can be seen as a naturalization of the above approaches. We consider consequences of our result for nonreductive physicalist approaches, such as functionalism, that admit multiple realization of the kinds that appear in the special sciences by physical kinds. We show that nonreductive physicalism implies the existence of nonphysical matters of fact. (shrink)

In a previous article, we have demonstrated by a general phase space argument that a Maxwellian Demon is compatible with statistical mechanics. In this article, we show how this idea can be put to work in the prevalent model of the Demon, namely, a particle-in-a-box, used, for example, by Szilard and Bennett. In the literature, this model is used in order to show that a Demon is incompatible with statistical mechanics, either classical or quantum. However, we show that a detailed (...) phase space analysis of this model illustrates that a Maxwellian Demon is compatible with statistical mechanics. (shrink)

In our book The Road to Maxwell’s Demon (RMD) (Cambridge University Press 2012) we proposed a new outline for a reductive account of statistical mechanics in which thermodynamics is reduced to classical mechanics. In a recent review Valia Allori says that we misunderstood Boltzmann’s account of statistical mechanics with respect to two issues: (1) the nature of typicality considerations in Boltzmann’s explanation of the Second Law - and here she provides no argument whatsoever; and (2) Boltzmann’s notion of probability. As (...) to the second issue, unfortunately, there are flaws in her presentation of Boltzmann’s work as well as of ours. In this paper we briefly explain the difference between Boltzmann’s notion of probability and our notion, how the latter in fact complements Boltzmann’s ideas, and Allori’s flaws on these issues. (shrink)

This paper describes a version of type identity physicalism, which we call Flat Physicalism, and shows how it meets several objections often raised against identity theories. This identity theory is informed by recent results in the conceptual foundations of physics, and in particular clar- ifies the notion of ‘physical kinds’ in light of a conceptual analysis of the paradigmatic case of reducing thermody- namics to statistical mechanics. We show how Flat Physi- calism is compatible with the appearance of multiple realisation (...) in the special sciences, and how and in what sense the special sciences laws are autonomous from the laws of physics, despite the full reductive picture of Flat Physicalism. We compare our view with a recent proposal by William Bechtel that accounts for the appearance of levels in mechanistic explanations. (shrink)

The histories interpretation provides a consistent realistic ontology for quantum mechanics, based on two main ideas. First, a logic is employed which is compatible with the Hilbert-space structure of quantum mechanics as understood by von Neumann: quantum properties and their negations correspond to subspaces and their orthogonal complements. It employs a special syntactical rule to construct meaningful quantum expressions, quite different from the quantum logic of Birkhoff and von Neumann. Second, quantum time development is treated as an inherently stochastic process (...) under all circumstances, not just when measurements take place. The time-dependent Schr\"odinger equation provides probabilities, not a deterministic time development of the world. The resulting interpretive framework has no measurement problem and can be used to analyze in quantum terms what is going on before, after, and during physical preparation and measurement processes. In particular, appropriate measurements can reveal quantum properties possessed by the measured system before the measurement took place. There are no mysterious superluminal influences: quantum systems satisfy an appropriate form of Einstein locality. This ontology provides a satisfactory foundation for quantum information theory, since it supplies definite answers as to what the information is about. The formalism of classical information theory applies without change in suitable quantum contexts, and this suggests the way in which quantum information theory extends beyond its classical counterpart. (shrink)

The histories interpretation provides a consistent realistic ontology for quantum mechanics, based on two main ideas. First, a logic is employed which is compatible with the Hilbert-space structure of quantum mechanics as understood by von Neumann: quantum properties and their negations correspond to subspaces and their orthogonal complements. It employs a special syntactical rule to construct meaningful quantum expressions, quite different from the quantum logic of Birkhoff and von Neumann. Second, quantum time development is treated as an inherently stochastic process (...) under all circumstances, not just when measurements take place. The time-dependent Schrödinger equation provides probabilities, not a deterministic time development of the world.The resulting interpretive framework has no measurement problem and can be used to analyze in quantum terms what is going on before, after, and during physical preparation and measurement processes. In particular, appropriate measurements can reveal quantum properties possessed by the measured system before the measurement took place. There are no mysterious superluminal influences: quantum systems satisfy an appropriate form of Einstein locality.This ontology provides a satisfactory foundation for quantum information theory, since it supplies definite answers as to what the information is about. The formalism of classical information theory applies without change in suitable quantum contexts, and this suggests the way in which quantum information theory extends beyond its classical counterpart. (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.

There are two theoretical approaches in statistical mechanics, one associated with Boltzmann and the other with Gibbs. The theoretical apparatus of the two approaches offer distinct descriptions of the same physical system with no obvious way to translate the concepts of one formalism into those of the other. This raises the question of the status of one approach vis-à-vis the other. We answer this question by arguing that the Boltzmannian approach is a fundamental theory while Gibbsian statistical mechanics is an (...) effective theory, and we describe circumstances under which Gibbsian calculations coincide with the Boltzmannian results. We then point out that regarding GSM as an effective theory has important repercussions for a number of projects, in particular attempts to turn GSM into a nonequilibrium theory. (shrink)