Orly Shenker

According to contemporary computational neuroscience the mental is associated with computations implemented in the brain. We analyze in physical terms based on recent results in the foundations of statistical mechanics two well-known (independent) problems that arise for this approach: the problem of multiple-computations and the problem of multiple-realization. We show that within the computational theory of the mind the two problems are insoluble by the physics of the brain. We further show that attempts to solve the problems by the interactions of the systems implementing the computations with an environment (in or outside the brain) must introduce non- physical factors, and therefore fail on physical grounds. We also show that the problems are endemic and pertain to other forms of functional theories of the mind, most notably, causal functionalism. Finally, we propose a physicalist reductive identity theory, which is a generalization of statistical mechanics for all the special sciences, and show that only a theory of this kind can provide physical solutions to the above two problems in computational neuroscience. We conclude that functionalism in the theory of mind must be replaced with a reductive identity theory. This result has far-reaching implications with respect to the research programs in brain science.

Reductive physicalism is a minority view in contemporary philosophy as well as in science, and therefore arguments for endorsing it often amount to arguments against the alternative views, in particular so-called non-reductive physicalism. In this paper we put forward a new argument for reductive physicalism, according to which it is the best account of the empirical data that we have. In particular, we show that: (a) a reductive physicalist theory of the mind forms an essential part of the very argument for the existence of an external world: if one rejects psychophysical identity physicalism, one’s case for believing in the existence of an external world is substantially weakened; and (b) the success of a physical account of the mind is the most important criterion for the success of (future) physics; and (c) reductive physicalism is the only approach in which relying on science in order to account for the external world makes sense; and finally, (d) within reductive physicalism, one can provide a new criterion for theory preference in science, and a new argument for scientific realism. In our physicalist view the experience forms the initial data, which is then reduced to fundamental physics.

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.

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.

According to the so-called Hempel’s Dilemma, the thesis of physicalism is either false or empty. Our intention in this paper is not to propose a solution to the Dilemma, but rather to argue as follows: to the extent that Hempel’s Dilemma applies to physicalism it equally applies to any theory that gives a deep-structure and changeable account of our experience or of high-level theories. In particular, we will show that it also applies to mind-body dualistic theories. The scope of Hempel’s Dilemma turns out to be very wide: it is a special case of a general sceptical argument against changeable deep-structure theories in and outside science.

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.

Statistical mechanics is often taken to be the paradigm of a successful inter-theoretic reduction, which explains the high-level phenomena (primarily those described by thermodynamics) by using the fundamental theories of physics together with some auxiliary hypotheses. In my view, the scope of statistical mechanics is wider since it is the type-identity physicalist account of all the special sciences. But in this chapter, I focus on the more traditional and less controversial domain of this theory, namely, that of explaining the thermodynamic phenomena.What are the fundamental theories that are taken to explain the thermodynamic phenomena? The lively research into the foundations of classical statistical mechanics suggests that using classical mechanics to explain the thermodynamic phenomena is fruitful. Strictly speaking, in contemporary physics, classical mechanics is considered to be false. Since classical mechanics preserves certain explanatory and predictive aspects of the true fundamental theories, it can be successfully applied in certain cases. In other circumstances, classical mechanics has to be replaced by quantum mechanics. In this chapter I ask the following two questions: I) How does quantum statistical mechanics differ from classical statistical mechanics? How are the well-known differences between the two fundamental theories reflected in the statistical mechanical account of high-level phenomena? II) How does quantum statistical mechanics differ from quantum mechanics simpliciter? To make our main points I need to only consider non-relativistic quantum mechanics. Most of the ideas described and addressed in this chapter hold irrespective of the choice of a (so-called) interpretation of quantum mechanics, and so I will mention interpretations only when the differences between them are important to the matter discussed.

Is freedom compatible with determinism? Davidson famously rephrased this question by replacing “freedom” with “anomaly of the mental”, that is, failure to fall under a law. In order to prove that the anomaly of the mental is compatible with other conjectures he makes, in particular that: there is psycho-physical causation; “where there is causality, there must be a law” ; and the mental supervenes on the physical, Davidson proposed a model, that came to be known as anomalous monism. Accepting all of Davidson’s conjectures, we compare the structure of Davidson’s argument with that of Einstein’s argument for the special theory of relativity. This leads us to an exposition of Davidson’s ontology in terms that are inspired by recent results in the philosophy of physics, that is, in terms of fundamental ontology and high-level coarse-grained descriptions. We explain in what sense Davidson’s model is a principle theory and discuss some requirements that the constructive theory underlying Davidson's principle approach must satisfy. We propose two constructive theories of description that may underlie Davidson's approach and this deeper structure leads us to formulating a dilemma according to which Davidson's approach entails either a non-physicalist type-identity reductive and monistic structure of events; or else it entails a structure of events that requires what we call token-substance dualism. We consider some issues which seem to suggest that the first horn of this dilemma collapses into a reductive type-identity physicalist theory, contrary to Davidson's intent. Finally, we show how Davidson's achievement of accounting for some freedom of the mental from the physical and the anomaly of the mental within anomalous monism can be achieved in a fully reductive type-identity physicalist theory.

This book offers a unique perspective on one of the deepest questions about the world we live in: is reality multi-leveled, or can everything be reduced to some fundamental ‘flat’ level? This deep philosophical issue has widespread implications in philosophy, since it is fundamental to how we understand the world and the basic entities in it. Both the notion of ‘levels’ within science and their ontological implications are issues that are underexplored in the philosophical literature. The volume reconsiders the view that reality contains many levels and opens new ways to understand the ontological status of the special sciences. The book focuses on major open questions that arise at the foundations of cognitive science, cognitive psychology, brain science and other special sciences, in particular with respect to the physical foundations of these sciences. For example: Is the mental computational? Do brains compute? How can the special sciences be autonomous from physics, grounded in, or based on, physics and at the same time irreducible to physics? The book is an important read for scientists and philosophers alike. It is of interest to philosophers of science, philosophers of mind and biology interested in the notion of levels, but also to psychologists, cognitive scientists and neuroscientists investigating such issues as the precise relation of the mental to the underlying neural structures and the appropriate approach to study it.

We show that the so-called Multiple-Computations Theorem in cognitive science and philosophy of mind challenges Landauer’s Principle in physics. Since the orthodox wisdom in statistical physics is that Landauer’s Principle is implied by, or is the mechanical equivalent of, the Second Law of thermodynamics, our argument shows that the Multiple-Computations Theorem challenges the universal validity of the Second Law of thermodynamics itself. We construct two examples of computations carried out by one and the same dynamical process with respect to which Landauer’s principle implies contradictory predictions concerning the entropy increase. Our two examples are based on a weak version of the Multiple-Computations Theorem, which is quite uncontroversial, and therefore they amount to a clear refutation of the universal validity of Landauer’s Principle. We consider some responses to this argument that do not attempt to single out one computation over the others, and we show that they do not work. We further consider ways out of the argument by externalist approaches supporting the computational theory of the mind who propose that the interaction of a computing system with the environment is enough to select a single computation over the others. We show on physical grounds that this approach fails too. We then reverse the direction of our challenge and formulate a dilemma for supporters of the computational theory of the mind: they must reject the causal closure of physic; or else they must accept on a priori grounds that Landauer’s Principle and the Second Law of thermodynamics are not universally valid. Finally, we present our version of a type–type mind-brain identity theory called Flat Physicalism, which is based on the paradigm case of statistical mechanics, and we show that it circumvents the challenge from Landauer’s Principle and the Multiple-Computations Theorem and does not fall prey to our dilemma.

There are good reasons to endorse scientific realism and good reasons to endorse common-sense realism. However, it has sometimes been suggested that there is a tension between the two which makes it difficult to endorse both. Can the common-sense picture of the world be reconciled with the strikingly different picture presented to us by our best confirmed theories of science? This chapter critically examines proposals for doing so, and it offers a new one, which is essentially this. It is a psychological fact that we have certain common-sense beliefs. In the framework of reductive physicalism, all beliefs, including the common-sense ones, are nothing but brain states and processes. Being scientifically realist about these brain states and accepting the reductive-physicalist view of the mind, we can account for the psychological fact that we have certain common-sense beliefs with certain contents, without committing to the idea that the contents of these common-sense beliefs have to be true of the world. In this coherentist approach we are not required to relinquish our common-sense beliefs, since although they are false according to science, this very same science shows that holding those beliefs is fully rational.

Some philosophers consider that some of their colleagues deny that consciousness exists. We shall call the latter ‘deniers’, adopting a term that was initially meant pejoratively. What do the deniers deny? In order to answer this question, we shall examine arguments, both of some deniers and of their critics, and present denialism as a systematic highly non-trivial position that has had some interesting achievements. We will show that the denialist project concerns the epistemology of the mind and specifically of consciousness: what can be known about it, and how it can be known. The main argument of denialism is that first-person reports about the mental realm are not always the best source of information about that realm, and are certainly not reliable. This leads the deniers to realize that the reference and meaning of mental terms as used in standard philosophical literature are vague and call for clarification, and that what many take to be empirical data in the study of the mind are actually heavily laden with theory. Denialism thus makes scientific and philosophical research clearer and more fruitful.

We present a novel reductive theory of type-identity physicalism, which is inspired by the foundations of statistical mechanics as a general theory of natural kinds. We show that all the claims mounted against type-identity physicalism in the literature don’t apply to Flat Physicalism, and moreover that this reductive theory solves many of the problems faced by the various non-reductive approaches including functionalism. In particular, we show that Flat Physicalism can account for the appearance of multiple realizability in the special sciences, and that it gives a novel account of the genuine autonomy of the kinds and laws in the special sciences. We further show that the thesis of genuine multiple realization, which is compatible with all forms of non-reductive approaches including functionalism, implies what we call token-dualism; namely the idea that in every token there are non-physical facts, which may either be non-physical properties or some non-physical substance. In other words, we prove that non-reductive kinds necessarily assume non-reductive tokens, i.e., token dualism. Finally, we show that all forms of non-reductive approaches including functionalism imply a literally multi-leveled structure of reality.

McQueen and Vaidman argue that the Many Worlds Interpretation (MWI) of quantum mechanics provides local causal explanations of the outcomes of experiments in our experience that is due to the total effect of all the worlds together. We show that although the explanation is local in one world, it requires a causal influence that travels across different worlds. We further argue that in the MWI the local nature of our experience is not derivable from the Hilbert space structure, but has to be added to it as an independent postulate. This is due to what we call the factorisation-symmetry and basis-symmetry of Hilbert space.

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.

Maxwell’s Demon is a thought experiment devised by J. C. Maxwell in 1867 in order to show that the Second Law of thermodynamics is not universal, since it has a counter-example. Since the Second Law is taken by many to provide an arrow of time, the threat to its universality threatens the account of temporal directionality as well. Various attempts to “exorcise” the Demon, by proving that it is impossible for one reason or another, have been made throughout the years, but none of them were successful. We have shown (in a number of publications) by a general state-space argument that Maxwell’s Demon is compatible with classical mechanics, and that the most recent solutions, based on Landauer’s thesis, are not general. In this paper we demonstrate that Maxwell’s Demon is also compatible with quantum mechanics. We do so by analyzing a particular (but highly idealized) experimental setup and proving that it violates the Second Law. Our discussion is in the framework of standard quantum mechanics; we give two separate arguments in the framework of quantum mechanics with and without the projection postulate. We address in our analysis the connection between measurement and erasure interactions and we show how these notions are applicable in the microscopic quantum mechanical structure. We discuss what might be the quantum mechanical counterpart of the classical notion of “macrostates”, thus explaining why our Quantum Demon setup works not only at the micro level but also at the macro level, properly understood. One implication of our analysis is that the Second Law cannot provide a universal lawlike basis for an account of the arrow of time; this account has to be sought elsewhere.

This volume provides a broad perspective on the state of the art in the philosophy and conceptual foundations of quantum mechanics. Its essays take their starting point in the work and influence of Itamar Pitowsky, who has greatly influenced our understanding of what is characteristically non-classical about quantum probabilities and quantum logic, and this serves as a vantage point from which they reflect on key ongoing debates in the field. Readers will find a definitive and multi-faceted description of the major open questions in the foundations of quantum mechanics today, including: Is quantum mechanics a new theory of (contextual) probability? Should the quantum state be interpreted objectively or subjectively? How should probability be understood in the Everett interpretation of quantum mechanics? What are the limits of the physical implementation of computation? The impact of this volume goes beyond the exposition of Pitowsky’s influence: it provides a unique collection of essays by leading thinkers containing profound reflections on the field.

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.

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.

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

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.

Flat Physicalism is a theory of through and through type reductive physicalism, understood in light of recent results in the conceptual foundations of physics. In Flat Physicalism, as in physics, so-called "high level" concepts and laws are nothing but partial descriptions of the complete states of affairs of the universe. "Flat physicalism" generalizes this idea, to form a reductive picture in which there is no room for levels, neither explanatory nor ontological. The paper explains how phenomena that seem to be cases of multiple realization of special sciences kinds by physical kinds are fully explains in a reductive physicalist way. Finally, the paper exemplifies the fruitfulness of this reductive approach by showing how it can account even for a case of high-level anomaly in a deterministic universe (for example anomaly of the mental, should this turn our to be a fact about the world) - a result that may be called Anomalous Physicalism.

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.

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.

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).

Multiple realizability seems to be empirically justified and provides the conceptual basis for the autonomy of the special sciences. But it is mysterious. In this talk I propose a new reductionist approach to the special sciences that removes the mystery: I explain why the special sciences kinds appear to be multiply realized although they are identical with physical kinds and in what sense the special sciences kinds and laws are autonomous although they are physical laws. This approach is based on the approach by Hemmo & Shenker to the reduction of thermodynamics to statistical mechanics.

A remarkable thesis prevails in the physics of information, saying that the logical properties of operations that are carried out by computers determine their physical properties. More specifically, it says that logically irreversible operations are dissipative by klog2 per bit of lost information. (A function is logically irreversible if its input cannot be recovered from its output. An operation is dissipative if it turns useful forms of energy into useless ones, such as heat energy.) This is Landauer's dissipation thesis, hereafter LDT. LDT underlies and motivates numerous researches in physics and computer science. Nevertheless, this paper shows that is it plainly wrong. This conclusion is based on a detailed study of LDT in terms of the various notions of entropy used in main stream statistical mechanics. It is supported by a counter example for LDT. Further support is found in an analysis of the phase space representation on which LDT relies. This analysis emphasises the constraints placed on the choice of probability distribution by the fact that it has to be the basis for calculating phase averages corresponding to thermodynamic properties of individual systems. An alternative representation is offered, in which logical irreversibility has nothing to do with dissipation. The strong connection between logic and physics, that LDT implies, is thereby broken off.