An outstanding problem in so-called modal interpretations of quantum mechanics has been the specification of a dynamics for the properties introduced in such interpretations. We develop a general framework (in the context of the theory of stochastic processes) for specifying a dynamics for interpretations in this class, focusing on the modal interpretation by Vermaas and Dieks. This framework admits many empirically equivalent dynamics. We give some examples, and discuss some of the properties of one of them. This approach is applicable (...) to a wider class of theories, in particular, those using (discrete) strict effective—as in decoherence theory—superselection rules. (shrink)

I define sublaltices of quantum propositions that can be taken as having determinate (but perhaps unknown) truth values for a given quantum state, in the sense that sufficiently many two-valued maps satisfying a Boolean homomorphism condition exist on each determinate sublattice to generate a Kolmogorov probability space for the probabilities defined by the slate. I show that these sublattices are maximal, subject to certain constraints, from which it follows easily that they are unique. I discuss the relevance of this result (...) for the measurement problem, relating it to an early proposal by Jauch and Piron for defining a new notion of state for quantum systems, to a recent uniqueness proof by Clifton for the sublattice of propositions specified as determinate by modal interpretations of quantum mechanics that exploit the polar decompostion theorem, and to my own previous suggestions for interpreting quantum mechanics without the projection postulate. (shrink)

I show that the quantum state ω can be interpreted as defining a probability measure on a subalgebra of the algebra of projection operators that is not fixed (as in classical statistical mechanics) but changes with ω and appropriate boundary conditions, hence with the dynamics of the theory. This subalgebra, while not embeddable into a Boolean algebra, will always admit two-valued homomorphisms, which correspond to the different possible ways in which a set of “determinate” quantities (selected by ω and the (...) boundary conditions) can have values. The probabilities defined by ω (via the Born rule) are probabilities over these two-valued homomorphisms or value assignments. So any universe of interacting systems, including those functioning as measuring instruments, can be modelled quantum mechanically without the projection postulate. (shrink)

A novel manifestation of nonlocality of quantum mechanics is presented. It is shown that it is possible to ascertain the existence of an object in a given region of space without interacting with it. The method might have practical applications for delicate quantum experiments.

Here Roland Omnès offers a clear, up-to-date guide to the conceptual framework of quantum mechanics. In an area that has provoked much philosophical debate, Omnès has achieved high recognition for his Interpretation of Quantum Mechanics (Princeton 1994), a book for specialists. Now the author has transformed his own theory into a short and readable text that enables beginning students and experienced physicists, mathematicians, and philosophers to form a comprehensive picture of the field while learning about the most recent advances. This (...) new book presents a more streamlined version of the Copenhagen interpretation, showing its logical consistency and completeness. The problem of measurement is a major area of inquiry, with the author surveying its history from Planck to Heisenberg before describing the consistent-histories interpretation. He draws upon the most recent research on the decoherence effect (related to the modern resolution of the famous Schrödinger's cat problem) and an exact formulation of the correspondence between quantum and particle physics (implying a derivation of classical determinism from quantum probabilism). Interpretation is organized with the help of a universal and sound language using so-called consistent histories. As a language and a method, it can now be shown to be free of ambiguity and it makes interpretation much clearer and closer to common sense. (shrink)

We discuss two recent attempts two solve Schrodinger's cat paradox. One is the modal interpretation developed by Kochen, Healey, Dieks, and van Fraassen. It allows for an observable which pertains to a system to possess a value even when the system is not in an eigenstate of that observable. The other is a recent theory of the collapse of the wave function due to Ghirardi, Rimini, and Weber. It posits a dynamics which has the effect of collapsing the state of (...) macroscopic systems. We argue that the modal interpretation cannot account for non-accurate measurements and that both accounts have the consequence that in ordinary measurement situations the observables that ends up well defined are not quite the ones that we want to be well defined. (shrink)

According to Zurek, decoherence is a process resulting from the interaction between a quantum system and its environment; this process singles out a preferred set of states, usually called “pointer basis”, that determines which observables will receive definite values. This means that decoherence leads to a sort of selection which precludes all except a small subset of the states in the Hilbert space of the system from behaving in a classical manner: environment-induced-superselection—einselection —is a consequence of the process of decoherence. (...) The aim of this paper is to present a new approach to decoherence, different from the mainstream approach of Zurek and his collaborators. We will argue that this approach offers conceptual advantages over the traditional one when problems of foundations are considered; in particular, from the new perspective, decoherence in closed quantum systems becomes possible and the preferred basis acquires a well founded definition. (shrink)

R.I.G Hughes offers the first detailed and accessible analysis of the Hilbert-space models used in quantum theory and explains why they are so successful.

In this sequence of philosophical essays about natural science, the author argues that fundamental explanatory laws, the deepest and most admired successes of modern physics, do not in fact describe regularities that exist in nature. Cartwright draws from many real-life examples to propound a novel distinction: that theoretical entities, and the complex and localized laws that describe them, can be interpreted realistically, but the simple unifying laws of basic theory cannot.

To understand the thesis of actualism, consider the following example. Imagine a race of beings — call them ‘Aliens’ — that is very different from any life-form that exists anywhere in the universe; different enough, in fact, that no actually existing thing could have been an Alien, any more than a given gorilla could have been a fruitfly. Now, even though there are no Aliens, it seems intuitively the case that there could have been such things. After all, life might (...) have evolved very differently than the way it did in fact. So in virtue of what is it true that there could have been Aliens when in fact there are none, and when, moreover, nothing that exists in fact could have been an Alien? So-called "possibilists" offer the following answer: ‘It is possible that there are Aliens’ is true because there are in fact individuals that could have been Aliens. At first blush, this might appear directly to contradict the premise that no existing thing could possibly have been an Alien. The possibilist's thesis, however, is that existence, or actuality, encompasses only a subset of the things that, in the broadest sense, are. So for the possibilist, ‘It is possible that there are Aliens’ is true simply in virtue of the fact that there are possible-but-nonactual Aliens, i.e., things that could have existed (but do not) and which would have been Aliens if they had. Actualists reject this answer; they deny that there are any nonactual individuals. Thus, actualism is the philosophical position that everything there is — everything that can in any sense be said to be — exists, or is actual. (shrink)

We extend the work of French and Redhead [1988] further examining the relation of quantum statistics to the assumption that quantum entities have the sort of identity generally assumed for physical objects, more specifically an identity which makes them susceptible to being thought of as conceptually individuatable and labelable even though they cannot be experimentally distinguished. We also further examine the relation of such hypothesized identity of quantum entities to the Principle of the Identity of Indiscernibles. We conclude that although (...) such an assumption of identity is consistent with the facts of quantum statistics, methodological considerations show that we should take quantum entities to be entirely unindividuatable, in the way suggested by a Fock space description. (shrink)

According to Zurek, decoherence is a process resulting from the interaction between a quantum system and its environment; this process singles out a preferred set of states, usually called “pointer basis”, that determines which observables will receive definite values. This means that decoherence leads to a sort of selection which precludes all except a small subset of the states in the Hilbert space of the system from behaving in a classical manner: environment-induced-superselection—einselection —is a consequence of the process of decoherence. (...) The aim of this paper is to present a new approach to decoherence, different from the mainstream approach of Zurek and his collaborators. We will argue that this approach offers conceptual advantages over the traditional one when problems of foundations are considered; in particular, from the new perspective, decoherence in closed quantum systems becomes possible and the preferred basis acquires a well founded definition. (shrink)

Historically, nonclassical physics developed in three stages. First came a collection of ad hoc assumptions and then a cookbook of equations known as "quantum mechanics". The equations and their philosophical underpinnings were then collected into a model based on the mathematics of Hilbert space. From the Hilbert space model came the abstaction of "quantum logics". This book explores all three stages, but not in historical order. Instead, in an effort to illustrate how physics and abstract mathematics influence each other we (...) hop back and forth between a purely mathematical development of Hilbert space, and a physically motivated definition of a logic, partially linking the two throughout, and then bringing them together at the deepest level in the last two chapters. This book should be accessible to undergraduate and beginning graduate students in both mathematics and physics. The only strict prerequisites are calculus and linear algebra, but the level of mathematical sophistication assumes at least one or two intermediate courses, for example in mathematical analysis or advanced calculus. No background in physics is assumed. (shrink)

Our account of the problem of the classical limit of quantum mechanics involves two elements. The first one is self-induced decoherence, conceived as a process that depends on the own dynamics of a closed quantum system governed by a Hamiltonian with continuous spectrum; the study of decoherence is addressed by means of a formalism used to give meaning to the van Hove states with diagonal singularities. The second element is macroscopicity represented by the limit $\hbar \rightarrow 0$ : when the (...) macroscopic limit is applied to the Wigner transformation of the diagonal state resulting from decoherence, the description of the quantum system becomes equivalent to the description of an ensemble of classical trajectories on phase space weighted by their corresponding probabilities. (shrink)

We generalize the modal interpretation of quantum mechanics so that it may be applied to composite systems represented by arbitrary density operators. We discuss the interpretation these density operators receive and relate this to the discussion about the interpretation of proper and improper mixtures in the standard interpretation.

Schrödinger logics are logical systems in which the principle of identity is not true in general. The intuitive motivation for these logics is both Erwin Schrödinger's thesis that identity lacks sense for elementary particles of modern physics, and the way which physicists deal with this concept; normally, they understand identity as meaning indistinguishability . Observing that these concepts are equivalent in classical logic and mathematics, which underly the usual physical theories, we present a higher-order logical system in which these concepts (...) are systematically separated. A 'classical' semantics for the system is presented and some philosophical related questions are mentioned. One of the main characteristics of our system is that Leibniz' Principle of the Identity of Indiscernibles cannot be derived. This fact is in accordance with some authors who maintain that quantum mechanics violates this principle. Furthermore, our system may be viewed as a way of making sense some of Schrödinger's logical intuitions about the nature of elementary particles. (shrink)

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...) no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)

We must restrict to mere probability not only statements of comparatively great uncertainty, like predictions about the weather, where we would cautiously ...

Steven French and Decio Krause examine the metaphysical foundations of quantum physics. They draw together historical, logical, and philosophical perspectives on the fundamental nature of quantum particles and offer new insights on a range of important issues. Focusing on the concepts of identity and individuality, the authors explore two alternative metaphysical views; according to one, quantum particles are no different from books, tables, and people in this respect; according to the other, they most certainly are. Each view comes with certain (...) costs attached and after describing their origins in the history of quantum theory, the authors carefully consider whether these costs are worth bearing. Recent contributions to these discussions are analyzed in detail and the authors present their own original perspective on the issues. The final chapter suggests how this perspective can be taken forward in the context of quantum field theory. (shrink)

Two recently proposed quantum experiments are analyzed. The first allows to find an object without "touching" it. The second allows to teleport quantum states, transmitting a very small amount of information. It is shown that in the standard approach these experiments are in conflict with the intuitive notions of causality and locality. It is argued that the situation is less paradoxical in the framework of the many-worlds interpretation of quantum theory.

In this paper we argue that the emergence of the classical world from the underlying quantum reality involves two elements: self-induced decoherence and macroscopicity. Self-induced decoherence does not require the openness of the system and its interaction with the environment: a single closed system can decohere when its Hamiltonian has continuous spectrum. We show that, if the system is macroscopic enough, after self-induced decoherence it can be described as an ensemble of classical distributions weighted by their corresponding probabilities. We also (...) argue that classicality is an emergent property that arises when the behavior of the system is described from an observational perspective. (shrink)

We study the process of observation (measurement), within the framework of a “perspectival” (“relational,” “relative state”) version of the modal interpretation of quantum mechanics. We show that if we assume certain features of discreteness and determinism in the operation of the measuring device (which could be a part of the observer's nerve system), this gives rise to classical characteristics of the observed properties, in the first place to spatial localization. We investigate to what extent semi-classical behavior of the object system (...) itself (as opposed to the observational system) is needed for the emergence of classicality. Decoherence is an essential element in the mechanism of observation that we assume, but it turns out that in our approach no environment-induced decoherence on the level of the object system is required for the emergence of classical properties. (shrink)

This book traces the development of formal logic from its origins inancient Greece to the present day. The authors first discuss the work oflogicians from Aristotle to Frege, showing how they were influenced by thephilosophical or mathematical ideas of their time. They then examinedevelopments in the present century.