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)

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

Modal interpretations have the ambition to construe quantum mechanics as an objective, man-independent description of physical reality. Their second leading idea is probabilism: quantum mechanics does not completely fix physical reality but yields probabilities. In working out these ideas an important motif is to stay close to the standard formalism of quantum mechanics and to refrain from introducing new structure by hand. In this paper we explain how this programme can be made concrete. In particular, we show that the Born (...) probability rule, and sets of definite-valued observables to which the Born probabilities pertain, can be uniquely defined from the quantum state and Hilbert space structure. We discuss the status of probability in modal interpretations, and to this end we make a comparison with many-worlds alternatives. An overall point that we stress is that the modal ideas define a general framework and research programme rather than one definite and finished interpretation. (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)

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)

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.

The logical theory which is called thecalculus of (binary) relations, and which will constitute the subject of this paper, has had a strange and rather capricious line of historical development. Although some scattered remarks regarding the concept of relations are to be found already in the writings of medieval logicians, it is only within the last hundred years that this topic has become the subject of systematic investigation. The first beginnings of the contemporary theory of relations are to be found (...) in the writings of A. De Morgan, who carried out extensive investigations in this domain in the fifties of the Nineteenth Century. De Morgan clearly realized the inadequacy of traditional logic for the expression and justification, not merely of the more intricate arguments of mathematics and the sciences, but even of simple arguments occurring in every-day life; witness his famous aphorism, that all the logic of Aristotle does not permit us, from the fact that a horse is an animal, to conclude that the head of a horse is the head of an animal. In his effort to break the bonds of traditional logic and to expand the limits of logical inquiry, he directed his attention to the general concept of relations and fully recognized its significance. Nevertheless, De Morgan cannot be regarded as the creator of the modern theory of relations, since he did not possess an adequate apparatus for treating the subject in which he was interested, and was apparently unable to create such an apparatus. His investigations on relations show a lack of clarity and rigor which perhaps accounts for the neglect into which they fell in the following years. (shrink)

Even those generally skeptical of propensity interpretations of probability must now grant the following two points. First, the above single-case propensity interpretation meets recognized formal conditions for being a genuine interpretation of probability. Second, this interpretation is not logically reducible to a hypothetical relative frequency interpretation, nor is it only vacuously different from such an interpretation.The main objection to this propensity interpretation must be not that it is too vague or vacuous, but that it is metaphysically too extravagant. It asserts (...) not only that there are physical possibilities in nature, but further that nature itself contains innate tendencies toward these possibilities, tendencies which have the logical structure of probabilities. Thus the basic dispute between advocates of an actualist relative frequency interpretation and a single-case propensity interpretation is not a matter of epistemology, but metaphysics. The frequency theorist wishes to maintain that claims about physical probabilities are nothing more than claims about relative frequencies that will occur in the actual history of the world, be it infinite or no. It is a substantial, though hardly conclusive, argument for the propensity view that the mathematical structures commonly employed in studies of stochastic processes and statistical inference are richer than can be accommodated by a relative frequency interpretation. Whether it is possible to bridge this gap without going beyond an actualist metaphysics remains to be seen.38. (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)

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)

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)

In this paper we argue that the formalisms for decoherence originally devised to deal just with closed or open systems can be subsumed under a general conceptual framework, in such a way that they cooperate in the understanding of the same physical phenomenon. This new perspective dissolves certain conceptual difficulties of the einselection program but, at the same time, shows that the openness of the quantum system is not the essential ingredient for decoherence. †To contact the authors, please write to: (...) Mario Castagnino, CONICET-IAFE, Universidad Nacional de Buenos Aires, Casilla de Correos 67, Sucursal 28, 1428 Buenos Aires, Argentina; Roberto Laura, IFIR-Universidad Nacional de Rosario, Av. Pellegrini 250, 2000 Rosario, Argentina; Olimpia Lombardi, CONICET-Universidad Nacional de Buenos Aires, C. Larralde 3440, 6°D, 1430, Buenos Aires; e-mail: [email protected]. (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)

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)

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

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.

This paper expands on, and provides a qualified defence of, Arthur Fine's selective interactions solution to the measurement problem. Fine's approach must be understood against the background of the insolubility proof of the quantum measurement. I first defend the proof as an appropriate formal representation of the quantum measurement problem. The nature of selective interactions, and more generally selections, is then clarified, and three arguments in their favour are offered. First, selections provide the only known solution to the measurement problem (...) that does not relinquish any of the explicit premises of the insolubility proofs. Second, unlike some no-collapse interpretations of quantum mechanics, selections suffer no difficulties with non-ideal measurements. Third, unlike most collapse interpretations, selections can be independently motivated by an appeal to quantum propensities. IntroductionThe problem of quantum measurement2.1 The ignorance interpretation of mixtures2.2 The eigenstate–eigenvalue link2.3 The quantum theory of measurementThe insolubility proof of the quantum measurement3.1 Some notation3.2 The transfer of probability condition (TPC)3.3 The occurrence of outcomes condition (OOC)A defence of the insolubility proof4.1 Stein's critique4.2 Ignorance is not required4.3 The problem of quantum measurement is an idealisationSelections5.1 Representing dispositional properties5.2 Selections solve the measurement problem5.3 Selections and ignoranceNon-ideal selections6.1 No-collapse interpretations and non-ideal measurements6.2 Exact and approximate measurements6.3 Selections for non-ideal interactions6.4 Approximate selections6.5 Implications for ignoranceSelective interactions test quantum propensities7.1 Equivalence classes as physical ‘aspects’: a critique7.2 Quantum dispositions7.3 Selections as a propensity modal interpretation7.4 A comparison with Popper's propensity interpretation. (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)