In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripkestyle semantic founded on Baer*-semigroups as in [22].

The standard axiomatization of quantum mechanics (QM) is not fully explicit about the role of the time-parameter. Especially, the time reference within the probability algorithm (the Born Rule, BR) is unclear. From a probability principle P1 and a second principle P2 affording a most natural way to make BR precise, a logical conflict with the standard expression for the completeness of QM can be derived. Rejecting P1 is implausible. Rejecting P2 leads to unphysical results and to a conflict with a (...) generalization of P2, a principle P3. All three principles are shown to be without alternative. It is thus shown that the standard expression of QM completeness must be revised. An absolutely explicit form of the axioms is provided, including a precise form of the projection postulate. An appropriate expression for QM completeness, reflecting the restrictions of the Gleason and Kochen-Specker theorems is proposed. (shrink)

The standard interpretation of quantum physics (QP) and some recent generalizations of this theory rest on the adoption of a rerificationist theory of truth and meaning, while most proposals for modifying and interpreting QP in a “realistic” way attribute an ontological status to theoretical physical entities (ontological realism). Both terms of this dichotomy are criticizable, and many quantum paradoxes can be attributed to it. We discuss a new viewpoint in this paper (semantic realism, or briefly SR), which applies both to (...) classical physics (CP) and to QP. and is characterized by the attempt of giving up verificationism without adopting ontological realism. As a first step, we construct a formalized observative language L endowed with a correspondence truth theory. Then, we state a set of axioms by means of L which hold both in CP and in QP. and construct a further language Lv which can express bothtestable andtheoretical properties of a given physical system. The concepts ofmeaning andtestability do not collapse in L and Le hence we can distinguish between semantic and pragmatic compatibility of physical properties and define the concepts of testability and conjoint testability of statements of L and Le. In this context a new metatheoretical principle (MGP) is stated, which limits the validity of empirical physical laws. By applying SR (in particular. MGP) to QP, one can interpret quantum logic as a theory of testability in QP, show that QP is semantically incomplete, and invalidate the widespread claim that contextuality is unavoidable in QP. Furthermore. SR introduces some changes in the conventional interpretation of ideal measurements and Heisenberg’s uncertainty principle. (shrink)

Quantum Mechanics can be viewed as a linear dynamical theory having a familiar mathematical framework but a mysterious probabilistic interpretation, or as a probabilistic theory having a familiar interpretation but a mysterious formal framework. These points of view are usually taken to be somewhat in tension with one another. The first has generated a vast literature aiming at a “realistic” and “collapse-free” interpretation of quantum mechanics that will account for its statistical predictions. The second has generated an at least equally (...) large literature aiming to derive, or at any rate motivate, the formal structure of quantum theory in probabilistically intelligible terms. In this paper I explore, in a preliminary way, the possibility that these two programmes have something to offer one another. In particular, I show that a version of the measurement problem occurs in essentially any non-classical probabilistic theory, and ask to what extent various interpretations of quantum mechanics continue to make sense in such a general setting. I make a start on answering this question in the case of a rudimentary version of the Everett interpretation. (shrink)

The relationship between classical and quantum theory is of central importance to the philosophy of physics, and any interpretation of quantum mechanics has to clarify it. Our discussion of this relationship is partly historical and conceptual, but mostly technical and mathematically rigorous, including over 500 references. For example, we sketch how certain intuitive ideas of the founders of quantum theory have fared in the light of current mathematical knowledge. One such idea that has certainly stood the test of time is (...) Heisenberg's `quantum-theoretical Umdeutung (reinterpretation) of classical observables', which lies at the basis of quantization theory. Similarly, Bohr's correspondence principle (in somewhat revised form) and Schroedinger's wave packets (or coherent states) continue to be of great importance in understanding classical behaviour from quantum mechanics. On the other hand, no consensus has been reached on the Copenhagen Interpretation, but in view of the parodies of it one typically finds in the literature we describe it in detail. On the assumption that quantum mechanics is universal and complete, we discuss three ways in which classical physics has so far been believed to emerge from quantum physics, namely in the limit h -> 0 of small Planck's constant (in a finite system), in the limit N goes to infinity of a large system with $N$ degrees of freedom (at fixed h), and through decoherence and consistent histories. The first limit is closely related to modern quantization theory and microlocal analysis, whereas the second involves methods of C*-algebras and the concepts of superselection sectors and macroscopic observables. In these limits, the classical world does not emerge as a sharply defined objective reality, but rather as an approximate appearance relative to certain ``classical" states and observables. Decoherence subsequently clarifies the role of such states, in that they are ``einselected", i.e. robust against coupling to the environment. Furthermore, the nature of classical observables is elucidated by the fact that they typically define (approximately) consistent sets of histories. This combination of ideas and techniques does not quite resolve the measurement problem, but it does make the point that classicality results from the elimination of certain states and observables from quantum theory. Thus the classical world is not created by observation (as Heisenberg once claimed), but rather by the lack of it. (shrink)

State-reduction and the notion of actuality are compared to passage through time and the notion of the present; already in classical relativity the latter give rise to difficulties. The solution proposed here is to treat both tense and value-definiteness as relational properties or facts as relations; likewise the notions of change and probability. In both cases essential characteristics are absent: temporal relations are tenselessly true; probabilistic relations are deterministically true. The basic ideas go back to Everett, although the technical development (...) makes use of the decoherent histories theory of Griffiths, Omnès, and Gell-Mann and Hartle. Alternative interpretations of the decoherent histories framework are also considered. (shrink)

An epistemological interpretation of quantum mechanics hinges on the claim that the distinctive features of quantum mechanics can be derived from some distinctive features of an observational basis. Old and new variations of this theme are listed. The program has a limited success in non-relativistic quantum mechanics. The crucial issue is how far it can be extended to quantum field theory without introducing significant ontological postulates. A C*-formulation covers algebraic quantum field theory, but not the standard model. Julian Schwinger’s anabatic (...) methodology extended a strict measurement-based formulation of quantum mechanics through field theory. His extension also excluded the quark hypothesis and the standard model. Quarks and local gauge invariance are postulates that go beyond the limits of an epistemological interpretation of quantum mechanics. The ontological significance ascribed to these advances depends on the role accorded ontology. (shrink)

We first examine Howard's analysis of the Bell factorizability condition in terms of 'separability' and 'locality' and then consider his claims that the violations of Bell's inequality by the statistical predictions of quantum mechanics should be interpreted in terms of 'nonseparability' rather than 'nonlocality' and that 'nonseparability' implies the failure of spacetime as a principle of individuation for quantum-mechanical systems. We will argue that his argument for the first claim is less than compelling and that any argument for the second (...) claim will be interpretation-dependent and, hence, not generally valid. (shrink)

It has often been remarked that Bohr's writings on the interpretation of quantum mechanics make scant reference to the mathematical formalism of quantum theory; and it has not infrequently been suggested that this is another symptom of the general vagueness, obscurity and perhaps even incoherence of Bohr's ideas. Recent years have seen a reappreciation of Bohr, however. In this article we broadly follow this "rehabilitation program". We offer what we think is a simple and coherent reading of Bohr's statements about (...) the interpretation of quantum mechanics, basing ourselves on primary sources and making use of and filling lacunas in|recent secondary literature. We argue that Bohr's views on quantum mechanics are more firmly connected to the structure of the quantum formalism than usually acknowledged, even though Bohr's explicit use of this formalism remains on a rather global and qualitative level. In our reading, Bohr's pronouncements on the meaning of quantum mechanics should first of all be seen as responses to concrete physical problems, rather than as expressions of a preconceived philosophical doctrine. In our final section we attempt a more detailed comparison with the formalism and conclude that Bohr's interpretation is not far removed from present-day non-collapse interpretations of quantum mechanics. (shrink)

We criticize the bare theory of quantum mechanics -- a theory on which the Schrödinger equation is universally valid, and standard way of thinking about superpositions is correct.

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)

The semantics underlying the propositional structure of Hilbert space quantum mechanics involves an inherent ambiguity concerning the impossibility of assigning definite truth values to all propositions pertaining to a quantum system without generating a Kochen-Specker contradiction. Although the preceding Kochen-Specker result forbids a global, absolute assignment of truth values to quantum mechanical propositions, it does not exclude ones that are contextual. In this respect, the Bub-Clifton “uniqueness theorem” is utilized for arguing that truth-value definiteness is consistently restored with respect to (...) a determinate sublattice of propositions defined by the state of the quantum system concerned and a suitable “preferred” observable. It is suggested that the most natural choice of the latter, especially for confronting the problem of truth valuation in quantum mechanics, results in the determinateness of the observable to be measured. An account of truth of contextual correspondence is thereby provided that is appropriate to the quantum domain of discourse. The resulting account of truth is compatible with a realist conception of truth. Such an account essentially denies that there can be a universal context of reference or an Archimedean standpoint from which to evaluate logically the totality of facts of nature. (shrink)

In a recent paper Griffiths [38] has argued, based on the consistent histories interpretation, that Hilbert space quantum mechanics is noncontextual. According to Griffiths the problem of contextuality disappears if the apparatus is “designed and operated by a competent experimentalist” and we accept the Single Framework Rule. We will argue from a representational realist stance that the conclusion is incorrect due to the misleading understanding provided by Griffiths to the meaning of quantum contextuality and its relation to physical reality and (...) measurements. We will discuss how the quite general incomprehension of contextuality has its origin in the ''objective-subjective omelette'' created by Heisenberg and Bohr. We will argue that in order to unscramble the omelette we need to disentangle, firstly, representational realism from naive realism, secondly, ontology from epistemology, and thirdly, the different interpretational problems of QM. In this respect, we will analyze what should be considered as Meaningful Physical Statements within a theory and will argue that Counterfactual Reasoning -considered by Griffiths as ''tricky''- must be accepted as a necessary condition for any representational realist interpretation of QM. Finally we discuss what should be considered as a problem in QM from a representational realist perspective. (shrink)

In, Newton da Costa together with the author of this paper argued in favor of the possibility to consider quantum superpositions in terms of a paraconsistent approach. We claimed that, even though most interpretations of quantum mechanics attempt to escape contradictions, there are many hints that indicate it could be worth while to engage in a research of this kind. Recently, Arenhart and Krause have raised several arguments against this approach. In the present paper we attempt to answer the main (...) questions presented by Arenhart and Krause. We will argue, firstly, that the obstacles presented by them are based on a specific metaphysical stance, which we will characterize in terms of what we call the Orthodox Line of Research. Secondly, that this is not necessarily the only possible line, and that a different one, namely, a Constructive Metaphysical Line of Research provides a different perspective in which the Paraconsistent Approach to Quantum Superpositions can be regarded as a valuable prospect that could be used by different interpretations of quantum mechanics. Finally, we provide a set of specific answers to the main problems raised by Arenhart and Krause in order to clarify our line of research as well as the original perspective introduced by the PAQS. (shrink)

The integration of recent work on decoherence into a so-called modal interpretation offers a promising new approach to the measurement problem in quantum mechanics. In this paper I explain and develop this approach in the context of the interactive interpretation presented in Healey (1989). I begin by questioning a number of assumptions which are standardly made in setting up the measurement problem, and I conclude that no satisfactory solution can afford to ignore the influence of the environment. Further, I argue (...) that there are good reasons to believe that on a modal interpretation environmental interactions rapidly ensure that a quantummechanically describable apparatus indeed records a definite result following a measurement interaction. (shrink)

It has been suggested that the Modal Interpretation of Quantum Mechanics (QM) is "incomplete" if it lacks a dynamics for possessed values. I argue that this is only one of two possible attitudes one might adopt toward a Modal Interpretation without dynamics. According to the other attitude, such an interpretation is a complete interpretation of QM as standardly formulated, an interpretation whose innovation is to attempt to make sense of the quantum realm without the expedient of novel physics. Then I (...) explain why this attitude, though available, is unattractive. Without dynamics, the Modal Interpretation vanquishes the measurement problem only, it seems, to succumb to the problem of state preparation. On this view, the Modal Interpretation needs dynamics not to be an interpretation at all, but to be an adequate one. I review reasons to suspect that the dynamics which would best suit the Modal Interpretation--a dynamics equivalent to a set of two time transition probabilities of the sort used to solve the preparation problem--is not a dynamics the interpretation can have. I close with a brief discussion of versions of the Modal Interpretation that may not succumb to the considerations presented here. (shrink)

The modal-Hamiltonian interpretation belongs to the modal family of interpretations of quantum mechanics. By endowing the Hamiltonian with the role of selecting the subset of the definite-valued observables of the system, it accounts for ideal and non-ideal measurements, and also supplies a criterion to distinguish between reliable and non-reliable measurements in the non-ideal case. It can be reformulated in an explicitly invariant form, in terms of the Casimir operators of the Galilean group, and the compatibility of the MHI with the (...) theory of decoherence has been proved. Nevertheless, perhaps its main advantage in the eyes of a scientist is given by its several applications to well-known physical situations, leading to results compatible with experimental evidence. The purpose of this paper is to add a new application to the list: the case of optical isomerism, which is a central issue for the philosophy of physics and of chemistry since it points to the core of the problem of the relationship between physics and chemistry. Here it will be shown that the MHI supplies a direct and physically natural solution to the problem, a solution that does not require putting classical assumptions in “by hand.”. (shrink)

In this paper we investigate the history of relationalism and its present use in some interpretations of quantum mechanics. In the first part of this article we will provide a conceptual analysis of the relation between substantivalism, relationalism and relativism in the history of both physics and philosophy. In the second part, we will address some relational interpretations of quantum mechanics, namely, Bohr’s relational approach, the modal interpretation by Kochen, the perspectival modal version by Bene and Dieks and the relational (...) interpretation by Rovelli. We will argue that all these interpretations ground their understanding of relations in epistemological terms. By taking into account the analysis on the first part of our work, we intend to highlight the fact that there is a different possibility for understanding quantum mechanics in relational terms which has not been yet considered within the foundational literature. This possibility is to consider relations in ontological terms. We will argue that such an understanding might be capable of providing a novel approach to the problem of representing what quantum mechanics is really talking about. (shrink)

In this paper we attempt to physically interpret the Modal Kochen–Specker theorem. In order to do so, we analyze the features of the possible properties of quantum systems arising from the elements in an orthomodular lattice and distinguish the use of “possibility” in the classical and quantum formalisms. Taking into account the modal and many worlds non-collapse interpretation of the projection postulate, we discuss how the MKS theorem rules the constraints to actualization, and thus, the relation between actual and possible (...) realms. (shrink)

The interpretation of the concept of reduced state is a subtle issue that has relevant consequences when the task is the interpretation of quantum mechanics itself. The aim of this paper is to argue that reduced states are not the quantum states of subsystems in the same sense as quantum states are states of the whole composite system. After clearly stating the problem, our argument is developed in three stages. First, we consider the phenomenon of environment-induced decoherence as an example (...) of the case in which the subsystems interact with each other; we show that decoherence does not solve the measurement problem precisely because the reduced state of the measuring apparatus is not its quantum state. Second, the non-interacting case is illustrated in the context of no-collapse interpretations, in which we show that certain well-known experimental results cannot be accounted for due to the fact that the reduced states of the measured system and the measuring apparatus are conceived as their quantum states. Finally, we prove that reduced states are a kind of coarse-grained states, and for this reason they cancel the correlations of the subsystem with other subsystems with which it interacts or is entangled. (shrink)

I propose a new class of interpretations, real world interpretations, of the quantum theory of closed systems. These interpretations postulate a preferred factorization of Hilbert space and preferred projective measurements on one factor. They give a mathematical characterisation of the different possible worlds arising in an evolving closed quantum system, in which each possible world corresponds to a (generally mixed) evolving quantum state. In a realistic model, the states corresponding to different worlds should be expected to tend towards orthogonality as (...) different possible quasiclassical structures emerge or as measurement-like interactions produce different classical outcomes. However, as the worlds have a precise mathematical definition, real world interpretations need no definition of quasiclassicality, measurement, or other concepts whose imprecision is problematic in other interpretational approaches. It is natural to postulate that precisely one world is chosen randomly, using the natural probability distribution, as the world realised in Nature, and that this world’s mathematical characterisation is a complete description of reality. (shrink)

Jim Cushing emphasized that physical theory should tell us an intelligible and objective story about the world, and concluded that the Bohm theory is to be preferred over the Copenhagen interpretation. We argue here, however, that the Bohm theory is only one member of a wider class of interpretations that can be said to fulfill Cushing’s desiderata. We discuss how the pictures provided by these interpretations differ from the classical one. In particular, it seems that a rather drastic form of (...) perspectivalism is needed if accordance with special relativity is to be achieved. (shrink)

The difficult issues related to the interpretation of quantum mechanics and, in particular, the “measurement problem” are revisited using as motivation the process of generation of structure from quantum fluctuations in inflationary cosmology. The unessential mathematical complexity of the particular problem is bypassed, facilitating the discussion of the conceptual issues, by considering, within the paradigm set up by the cosmological problem, another problem where symmetry serves as a focal point: a simplified version of Mott’s problem.

In this paper we analyze the definition of quantum superpositions within orthodox Quantum Mechanics and their relation to physical reality. We will begin by discussing how the metaphysical presuppositions imposed by Bohr on the interpretation of QM have become not only interpretational dogmas which constrain the limits of the present Orthodox Line of Research, but also how these desiderata implicitly preclude the possibility of developing a physical representation of quantum superpositions. We will then continue analyzing how most interpretations of QM (...) argue against the existence of superpositions. Firstly, we will focus on those interpretations which attempt to recover a classical representation about ''what there is'', and secondly, we will concentrate on the arguments provided by Dieks and Griffiths who, staying close to the orthodox formalism, also attempt to ''get rid of the ghost of Schrodinger's cat''. Contrary to the OLR, we will argue -based on our definition of Meaningful Physical Statements - that from a representational realist perspective which stays close to the orthodox Hilbert space formalism, quantum superpositions are not only the key to the most important -present and future- technological and experimental developments in quantum information processing but also, they must be considered as the kernel of any interpretation of QM that attempts to provide a physical representation of reality. We will also argue that the price to pay for such representational realist development must be the abandonment of the idea that 'Actuality = Reality'. (shrink)