The recently established universal uncertainty principle revealed that two nowhere commuting observables can be measured simultaneously in some state, whereas they have no joint probability distribution in any state. Thus, one measuring apparatus can simultaneously measure two observables that have no simultaneous reality. In order to reconcile this discrepancy, an approach based on quantum logic is proposed to establish the relation between quantum reality and measurement. We provide a language speaking of values of observables independent of measurement based on quantum (...) logic and we construct in this language the state-dependent notions of joint determinateness, value identity, and simultaneous measurability. This naturally provides a contextual interpretation, in which we can safely claim such a statement that one measuring apparatus measures one observable in one context and simultaneously it measures another nowhere commuting observable in another incompatible context. (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)

In the present paper we give a precise definition of a hidden-variable theory for quantum mechanics, whereby we adopt the weakest possible definition of a hidden-variable theory, which is compatible with the assumption that the bounded observables of a quantum mechanical system are represented by the elements of the real part Ar of a W*-algebra A (of the most general type) and the states are represented by the “normal states” (in the mathematical sense) of A. We then go on to (...) show that an example put forward by Bell in 1966 satisfies our definition (Sec. 2). Finally we make use of Bell's famous theorem to show that for a sufficiently non-commutative W*-algebra A no hidden-variable theory in our sense exists (Theorem 3.3 and its corollaries). (shrink)

The logic of a physical theory reflects the structure of the propositions referring to the behaviour of a physical system in the domain of the relevant theory. It is argued in relation to classical mechanics that the propositional structure of the theory allows truth-value assignment in conformity with the traditional conception of a correspondence theory of truth. Every proposition in classical mechanics is assigned a definite truth value, either ‘true’ or ‘false’, describing what is actually the case at a certain (...) moment of time. Truth-value assignment in quantum mechanics, however, differs; it is known, by means of a variety of ‘no go’ theorems, that it is not possible to assign definite truth values to all propositions pertaining to a quantum system without generating a Kochen–Specker contradiction. 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 particular observable to be measured. An account of truth of contextual correspondence is thereby provided that is appropriate to the quantum domain of discourse. The conceptual implications of the resulting account are traced down and analyzed at length. In this light, the traditional conception of correspondence truth may be viewed as a species or as a limit case of the more generic proposed scheme of contextual correspondence when the non-explicit specification of a context of discourse poses no further consequences. (shrink)

The overwhelming majority of the attempts in exploring the problems related to quantum logical structures and their interpretation have been based on an underlying set-theoretic syntactic language. We propose a transition in the involved syntactic language to tackle these problems from the set-theoretic to the category-theoretic mode, together with a study of the consequent semantic transition in the logical interpretation of quantum event structures. In the present work, this is realized by representing categorically the global structure of a quantum algebra (...) of events (or propositions) in terms of sheaves of local Boolean frames forming Boolean localization functors. The category of sheaves is a topos providing the possibility of applying the powerful logical classification methodology of topos theory with reference to the quantum world. In particular, we show that the topos-theoretic representation scheme of quantum event algebras by means of Boolean localization functors incorporates an object of truth values, which constitutes the appropriate tool for the definition of quantum truth-value assignments to propositions describing the behavior of quantum systems. Effectively, this scheme induces a revised realist account of truth in the quantum domain of discourse. We also include an Appendix, where we compare our topos-theoretic representation scheme of quantum event algebras with other categorial and topos-theoretic approaches. (shrink)

Quantum theory is a probabilistic theory that embodies notoriously striking correlations, stronger than any that classical theories allow but not as strong as those of hypothetical ‘super-quantum’ theories. This raises the question ‘Why the quantum?’—whether there is a handful of principles that account for the character of quantum probability. We ask what quantum-logical notions correspond to this investigation. This project isn’t meant to compete with the many beautiful results that information-theoretic approaches have yielded but rather aims to complement that work.

Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the theory and (...) to design an interpretation to solve it, leaving aside the remaining difficulties. On the contrary, our aim in the present work is to formulate a “global” solution, according to which different problems can be adequately tackled in terms of a single ontology populated of properties, in which systems are bundles of properties. In particular, we will conceive indistinguishability between bundles as a relation derived from indistinguishability between properties, and we will show that states, when operating on combinations of indistinguishable bundles, act as if they were symmetric with no need of a symmetrization postulate. (shrink)

Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hubert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families (...) of projections indexed by a partially ordered set C(A) of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that C(A) consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Hey ting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n x n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski-Mulvey) of the "Bohrification" A̱ of A, which is a commutative Rickart C*-algebra in the topos of functors from C(A) to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns-Lakser completions. Finally, we establish a connection between probability measures on the lattice of projections on a Hubert space H and probability valuations on the internal Gelfand spectrum of A̱ for A = B(H). (shrink)

The traditional “realist” conception of physics, according to which human concepts, laws and theories can grasp the essence of a reality in our absence , seems incompatible with quantum formalism and it most fruitful interpretation. The proof rests on the violation by quantum mechanical formalism of some fundamental principles of the classical ontology. We discuss if the conception behind Einstein’s idea of a reality in our absence, could be still maintained and at which price. We conclude that quantum mechanical formalism (...) is not formulated on those terms, leaving for a separated paper the discussion about the terms in which it could be formulated and the onto-epistemological implications it might have. (shrink)

The present study attempts to provide a consistent and coherent account of what the world could be like, given the conceptual framework and results of contemporary quantum theory. It is suggested that standard quantum mechanics can, and indeed should, be understood as a realist theory within its domain of application. It is pointed out, however, that a viable realist interpretation of quantum theory requires the abandonment or radical revision of the classical conception of physical reality and its traditional philosophical presuppositions. (...) It is argued, in this direction, that the conceptualization of the nature of reality, as arising out of our most basic physical theory, calls for a kind of contextual realism. Within the domain of quantum mechanics, knowledge of 'reality in itself', 'the real such as it truly is' independent of the way it is contextualized, is impossible in principle. In this connection, the meaning of objectivity in quantum mechanics is analyzed, whilst the important question concerning the nature of quantum objects is explored. (shrink)

We present a procedure which allows us to recover classical and nonclassical logical structures as concrete logics associated with physical theories expressed by means of classical languages. This procedure consists in choosing, for a given theory ${{\mathcal{T}}}$ and classical language ${{\fancyscript{L}}}$ expressing ${{\mathcal{T}}, }$ an observative sublanguage L of ${{\fancyscript{L}}}$ with a notion of truth as correspondence, introducing in L a derived and theory-dependent notion of C-truth (true with certainty), defining a physical preorder $\prec$ induced by C-truth, and finally selecting (...) a set of sentences ϕ V that are verifiable (or testable) according to ${{\mathcal{T}}, }$ on which a weak complementation ⊥ is induced by ${{\mathcal{T}}. }$ The triple $(\phi_{V},\prec,^{\perp})$ is then the desired concrete logic. By applying this procedure we recover a classical logic and a standard quantum logic as concrete logics associated with classical and quantum mechanics, respectively. The latter result is obtained in a purely formal way, but it can be provided with a physical meaning by adopting a recent interpretation of quantum mechanics that reinterprets quantum probabilities as conditional on detection rather than absolute. Hence quantum logic can be considered as a mathematical structure formalizing the properties of the notion of verification in quantum physics. This conclusion supports the general idea that some nonclassical logics can coexist without conflicting with classical logic (global pluralism) because they formalize metalinguistic notions that do not coincide with the notion of truth as correspondence but are not alternative to it either. (shrink)

This article analyzes the implications of protective measurement for the meaning of the wave function. According to protective measurement, a charged quantum system has mass and charge density proportional to the modulus square of its wave function. It is shown that the mass and charge density is not real but effective, formed by the ergodic motion of a localized particle with the total mass and charge of the system. Moreover, it is argued that the ergodic motion is not continuous but (...) discontinuous and random. This result suggests a new interpretation of the wave function, according to which the wave function is a description of random discontinuous motion of particles, and the modulus square of the wave function gives the probability density of the particles being in certain locations. It is shown that the suggested interpretation of the wave function disfavors the de Broglie-Bohm theory and the many-worlds interpretation but favors the dynamical collapse theories, and the random discontinuous motion of particles may provide an appropriate random source to collapse the wave function. (shrink)

While its applications have made quantum theory arguably the most successful theory in physics, its interpretation continues to be the subject of lively debate within the community of physicists and philosophers concerned with conceptual foundations. This situation poses a problem for a pragmatist for whom meaning derives from use. While disputes about how to use quantum theory have arisen from time to time, they have typically been quickly resolved, and consensus reached, within the relevant scientific sub-community. Yet rival accounts of (...) the meaning of quantum theory continue to proliferate . In this article I offer a diagnosis of this situation and outline a pragmatist solution to the problem it poses, leaving further details for subsequent articles. (shrink)

There has been recent interest in formulating theories of non-representational indeterminacy. The aim of this paper is to clarify the relevance of quantum mechanics to this project. Quantum-mechanical examples of vague objects have been offered by various authors, displaying indeterminate identity, in the face of the famous Evans argument that such an idea is incoherent. It has also been suggested that the quantum-mechanical treatment of state-dependent properties exhibits metaphysical indeterminacy. In both cases it is important to consider the details of (...) the metaphysical account and the way in which the quantum phenomenon is captured within it. Indeed if we adopt a familiar way of thinking about indeterminacy and apply it in a natural way to quantum mechanics, we run into illuminating difficulties and see that the case is far less straightforward than might be hoped. (shrink)

Entropy is ubiquitous in physics, and it plays important roles in numerous other disciplines ranging from logic and statistics to biology and economics. However, a closer look reveals a complicated picture: entropy is defined differently in different contexts, and even within the same domain different notions of entropy are at work. Some of these are defined in terms of probabilities, others are not. The aim of this chapter is to arrive at an understanding of some of the most important notions (...) of entropy and to clarify the relations between them, After setting the stage by introducing the thermodynamic entropy, we discuss notions of entropy in information theory, statistical mechanics, dynamical systems theory and fractal geometry. (shrink)

In this paper we will address the problem of the existence of orbitals by analyzing the relationship between molecular chemistry and quantum mechanics. In particular, we will consider the concept of orbital in the light of the arguments that deny its referring character. On this basis, we will conclude that the claim that orbitals do not exist relies on a metaphysical reductionism which, if consistently sustained, would lead to consequences clashing with the effective practice of science in its different branches.

According to a common belief concerning the Mach-Boltzmann debate on atoms, the new experiments performed in microphysics at the turn of the 19th and 20th centuries confirmed Boltzmann's atomic hypothesis and disproved Mach's anti-atomic view. This paper intends to show that this belief is partially unjustified. Mach's view on atoms consists in fact of different kinds of arguments. While the new experiments in microphysics refute indeed his scientific arguments against the atomic hypothesis, his epistemological arguments are unaffected. In this regard, (...) Mach's epistemological approach remains relevant for today's discussion on the status of the notion of atom. (shrink)

The famous EPR article of 1935 challenged the completeness of quantum mechanics and spurred decades of theoretical and experimental research into the foundations of quantum theory. A crowning achievement of this research is the demonstration that nature cannot in general consist in noncontextual pre-measurement properties that uniquely determine possible measurement outcomes, through experimental violations of Bell inequalities and Kochen-Specker theorems. In this article, I reconstruct an argument from Niels Bohr’s writings that the reality of the Einstein-Planck-de Broglie relations alone implies (...) that no such properties can exist for momentum and position measurements, show how this argument responds to the challenge of EPR on general physical grounds, and advance that this reconstruction shows that and how Bohr’s “complementarity” is a view of the objective content and logic of quantum theory. (shrink)

** The primary topic of this dissertation is the study of the relationships between parts and wholes as described by particular physical theories, namely generalized probability theories in a quasi-classical physics framework and non-relativistic quantum theory. ** A large part of this dissertation is devoted to understanding different aspects of four different kinds of correlations: local, partially-local, no-signaling and quantum mechanical correlations. Novel characteristics of these correlations have been used to study how they are related and how they can be (...) discerned via Bell-type inequalities that give non-trivial bounds on the strength of the correlations. ** The study of quantum correlations has also prompted us to study a) the multi-partite qubit state space with respect to its entanglement and separability characteristics, and b) the differing strength of the correlations in separable and entangled qubit states. Results include a novel classification of multipartite (partial) separability and entanglement, strong constraints on the monogamy of entanglement and of non-local correlations, and many new entanglement detection criteria that are directly experimentally accessible. ** Because of the generality of the investigation these results also have strong foundational as well as philosophical repercussions for the different sorts of physical theories as a whole; notably for the viability of hidden variable theories for quantum mechanics, for the possibility of doing experimental metaphysics, for the question of holism in physical theories, and for the classical vs. quantum dichotomy. (shrink)

This is a preliminary version of an article to appear in the forthcoming Ashgate Companion to the New Philosophy of Physics.In it, I aim to review, in a way accessible to foundationally interested physicists as well as physics-informed philosophers, just where we have got to in the quest for a solution to the measurement problem. I don't advocate any particular approach to the measurement problem (not here, at any rate!) but I do focus on the importance of decoherence theory to (...) modern attempts to solve the measurement problem, and I am fairly sharply critical of some aspects of the "traditional" formulation of the problem. (shrink)

It is known that the global state of a composite quantum system can be completely determined by specifying correlations between measurements performed on subsystems only. Despite the fact that the quantum correlations thus suffice to reconstruct the quantum state, we show, using a Bell inequality argument, that they cannot be regarded as objective local properties of the composite system in question. It is well known since the work of Bell, that one cannot have locally preexistent values for all physical quantities, (...) whether they are deterministic or stochastic. The Bell inequality argument we present here shows this is also impossible for correlations among subsystems of an individual isolated composite system. Neither of them can be used to build up a world consisting of some local realistic structure. As a corrolary to the result we argue that entanglement cannot be considered ontologically robust. The Bell inequality argument has an important advantage over others because it does not need perfect correlations but only statistical correlations. It can therefore easily be tested in currently feasible experiments using four particle entanglement. (shrink)

We develop a systematic approach to quantum probability as a theory of rational betting in quantum gambles. In these games of chance, the agent is betting in advance on the outcomes of several (finitely many) incompatible measurements. One of the measurements is subsequently chosen and performed and the money placed on the other measurements is returned to the agent. We show how the rules of rational betting imply all the interesting features of quantum probability, even in such finite gambles. These (...) include the uncertainty principle and the violation of Bell's inequality among others. Quantum gambles are closely related to quantum logic and provide a new semantics for it. We conclude with a philosophical discussion on the interpretation of quantum mechanics. (shrink)

The aim of this paper is to introduce a new member of the family of the modal interpretations of quantum mechanics. In this modal-Hamiltonian interpretation, the Hamiltonian of the quantum system plays a decisive role in the property-ascription rule that selects the definite-valued observables whose possible values become actual. We show that this interpretation is effective for solving the measurement problem, both in its ideal and its non-ideal versions, and we argue for the physical relevance of the property-ascription rule by (...) applying it to well-known physical situations. Moreover, we explain how this interpretation supplies a description of the elemental categories of the ontology referred to by the theory, where quantum systems turn out to be bundles of possible properties. (shrink)

This essay is a discussion of the philosophical and foundational issues that arise in non-relativistic quantum theory. After introducing the formalism of the theory, I consider: characterizations of the quantum formalism, empirical content, uncertainty, the measurement problem, and non-locality. In each case, the main point is to give the reader some introductory understanding of some of the major issues and recent ideas.

We argue that the intractable part of the measurement problem -- the 'big' measurement problem -- is a pseudo-problem that depends for its legitimacy on the acceptance of two dogmas. The first dogma is John Bell's assertion that measurement should never be introduced as a primitive process in a fundamental mechanical theory like classical or quantum mechanics, but should always be open to a complete analysis, in principle, of how the individual outcomes come about dynamically. The second dogma is the (...) view that the quantum state has an ontological significance analogous to the significance of the classical state as the 'truthmaker' for propositions about the occurrence and non-occurrence of events, i.e., that the quantum state is a representation of physical reality. We show how both dogmas can be rejected in a realist information-theoretic interpretation of quantum mechanics as an alternative to the Everett interpretation. The Everettian, too, regards the 'big' measurement problem as a pseudo-problem, because the Everettian rejects the assumption that measurements have definite outcomes, in the sense that one particular outcome, as opposed to other possible outcomes, actually occurs in a quantum measurement process. By contrast with the Everettians, we accept that measurements have definite outcomes. By contrast with the Bohmians and the GRW 'collapse' theorists who add structure to the theory and propose dynamical solutions to the 'big' measurement problem, we take the problem to arise from the failure to see the significance of Hilbert space as a new kinematic framework for the physics of an indeterministic universe, in the sense that Hilbert space imposes kinematic objective probabilistic constraints on correlations between events. (shrink)

Two of the main interpretative problems in quantum mechanics are the so-called measurement problem and the question of the compatibility of quantum mechanics with relativity theory. Modal interpretations of quantum mechanics were designed to solve both of these problems. They are no-collapse (typically) indeterministic interpretations of quantum mechanics that supplement the orthodox state description of physical systems by a set of possessed properties that is supposed to be rich enough to account for the classical-like behavior of macroscopic systems, but sufficiently (...) restricted so as to avoid the no-hidden-variables theorems. But, as recent no-go theorems suggest, current modal interpretations are incompatible with relativity. In this paper, we suggest a strategy for circumventing these theorems. We then show how this strategy could naturally be integrated in a relational version of the modal interpretation, where quantum-mechanical states assign relational rather than intrinsic properties. (shrink)

We examine the question of whether scientific theories can ever be complete. For two closely related reasons, we will argue that they cannot. The first reason is the inability to determine what are “valid empirical observations”, a result that is based on a self-reference Gödel/Tarski-like proof. The second reason is the existence of “meta-empirical” evidence of the inherent incompleteness of observations. These reasons, along with theoretical incompleteness, are intimately connected to the notion of belief and to theses within the philosophy (...) of science: the Quine-Duhem (and underdetermination) thesis and the observational/theoretical distinction failure. Some puzzling aspects of the philosophical theses will become clearer in light of these connections. Other results that follow are: no absolute measure of the informational content of empirical data, no absolute measure of the entropy of physical systems, and no complete computer simulation of the natural world are possible. The connections with the mathematical theorems of Gödel and Tarski reveal the existence of other connections between scientific and mathematical incompleteness: computational irreducibility, complexity, infinity, arbitrariness and self-reference. Finally, suggestions will be offered of where a more rigorous (or formal) “proof” of scientific incompleteness can be found. (shrink)

The philosophical debate about quantum logic between the late 1960s and the early 1980s was generated mainly by Putnam's claims that quantum mechanics empirically motivates introducing a new form of logic, that such an empirically founded quantum logic is the `true' logic, and that adopting quantum logic would resolve all the paradoxes of quantum mechanics. Most of that debate focussed on the latter claim, reaching the conclusion that it was mistaken. This chapter will attempt to clarify the possible misunderstandings surrounding (...) the more radical claims about the revision of logic, assessing them in particular both in the context of more general quantum-like theories (in the framework of von Neumann algebras), and against the background of the current state of play in the philosophy and interpretation of quantum mechanics. Characteristically, the conclusions that might be drawn depend crucially on which of the currently proposed solutions to the measurement problem is adopted. (shrink)

A framework for the mind-matter problem in a holistic universe which has no parts is outlined. The conceptual structure of modern quantum theory suggests to use complementary Boolean descriptions as elements for a more comprehensive non-Boolean description of a world without an a priori mind-matter distinction. Such a description in terms of a locally Boolean but globally non-Boolean structure makes allowance for the fact that Boolean descriptions play a privileged role in science. If we accept the insight that there are (...) no ultimate building blocks, the existence of holistic correlations between contextually chosen parts is a natural consequence. The main problem of a genuinely non-Boolean description is to find an appropriate partition of the universe of discourse. If we adopt the idea that all fundamental laws of physics are invariant under time translations, then we can consider a partition of the world into a tenseless and a tensed domain.In the sense of a regulative principle, the material domain is defined as the tenseless domain with its homogeneous time. The tensed domain contains the mental domain with a tensed time characterized by a privileged position, the Now. Since this partition refers to two complementary descriptions which are not given a priori we have to expect correlations between these two domains. In physics it corresponds to Newton 's separation of universal laws of nature and contingent initial conditions Both descriptions have a non-Boolean structure and can be encompassed into a single non-Boolean description. Tensed and tenseless time can be synchronized by holistic correlations. (shrink)

I defend the projection postulate against two of Margenau's criticisms. One involves two types of nonideal measurements, measurements that disturb and measurements that annihilate. Such measurements cannot be characterized using the original version of the projection postulate. This is one of the most interesting and powerful objections to the projection postulate since most realistic measurements are nonideal, in Margenau's sense. I show that a straightforward generalization of the projection postulate is capable of handling the more realistic kinds of measurements considered (...) by Margenau. His other objection involves the EPR (Einstein-Podolsky-Rosen) situation. He suggests that there is a significant potential for violations of the no-superluminalsignals requirement of the special theory of relativity, if projections occur in this situation and others like it. He also suggests that what is paradoxical about this situation disappears if the projection postulate is rejected. I show that it is not possible to use measurements on pairs of spatially-separated systems whose states are entangled to transmit information superluminally, and generalize this result to include nonideal measurements. I also show that EPR's dilemma does not really depend on the projection postulate. (shrink)

It is widely believed that many of the competing accounts of scientific explanation have ramifications which are relevant to the scientific realism debate. I claim that the two issues are orthogonal. For definiteness, I consider Cartwright's argument that causal explanations secure belief in theoretical entities. In Section I, van Fraassen's anti-realism is reviewed; I argue that this anti-realism is, prima facie, consistent with a causal account of explanation. Section II reviews Cartwright's arguments. In Section III, it is argued that causal (...) explanations do not license the sort of inferences to theoretical entities that would embarass the anti-realist. Section IV examines the epistemic commitments involved in accepting a causal explanation. Section V presents my conclusions: contra Cartwright, the anti-realist may incorporate a causal account of explanation into his vision of science in an entirely natural way. (shrink)

Standard proofs of generalized Bell theorems, aiming to restrict stochastic, local hidden-variable theories for quantum correlation phenomena, employ as a locality condition the requirement of conditional stochastic independence. The connection between this and the no-superluminary-action requirement of the special theory of relativity has been a topic of controversy. In this paper, we introduce an alternative locality condition for stochastic theories, framed in terms of the models of such a theory (§2). It is a natural generalization of a light-cone determination condition (...) that is essentially equivalent to mathematical conditions that have been used to derive Bell inequalities in the deterministic case. Further, it is roughly equivalent to a condition proposed by Bell that, in one investigation, needed to be supplemented with a much stronger assumption in order to yield an inequality violated by some quantum mechanical predictions. It is shown here that this reflects a very general situation: from the proposed locality condition, even adding the strict anticorrelation condition and the auxiliary hypotheses needed to derive experimentally useful (and theoretically telling) inequalities, no Bell-type inequality is derivable. (These independence claims are the burden of §4.) A certain limitation on the scope of the proposed stochastic locality condition is exposed (§5), but it is found to be rather minor. The conclusion is thus supported that conditional stochastic independence, however reasonable on other grounds, is essentially stronger than what is required by the special theory.Our results stand in apparent contradiction with a class of derivations purporting to obtain generalized Bell inequalities from locality alone. It is shown in Appendix (B) that such proofs do not achieve their goal. This fits with our conclusion that generalized Bell theorems are not straightforward generalizations of theorems restricting deterministic hidden-variable theories, and that, in fact, such generalizations do not exist. This leaves open the possibility that a satisfactory, non-deterministic account of the quantum correlation phenomena can be given within the framework of the special theory. (shrink)

The work of Gleason and of Kochen and Specker has been thought to refute a naïve realist approach to quantum mechanics. The argument of this paper substantially bears out this conclusion. The assumptions required by their work are not arbitrary, but have sound theoretical justification. Moreover, if they are false, there seems no reason why their falsity should not be demonstrable in some sufficiently ingenious experiment. Suitably interpreted, the work of Bell and Wigner may be seen to yield independent arguments (...) for the falsity of naïve realistic approach to quantum mechanics. Quantum mechanics is no more like classical statistical mechanics than its creators thought it was. (shrink)

The relation between logic and philosophy of science, often taken for granted, is in fact problematic. Although current fashionable criticisms of the usefulness of logic are usually mistaken, there are indeed difficulties which should be taken seriously — having to do, amongst other things, with different scientific mentalities in the two disciplines (section 1). Nevertheless, logic is, or should be, a vital part of the theory of science. To make this clear, the bulk of this paper is devoted to the (...) key notion of a scientific theory in a logical perspective. First, various formal explications of this notion are reviewed (section 2), then their further logical theory is discussed (section 3). In the absence of grand inspiring programs like those of Klein in mathematics or Hilbert in metamathematics, this preparatory ground-work is the best one can do here. The paper ends on a philosophical note, discussing applicability and merits of the formal approach to the study of science (section 4). (shrink)

One of the most interesting programs in the foundations of quantum mechanics is the realist quantum logic approach associated with Putnam, Bub, Demopoulos and Friedman (and which is the focus of my own research.) I believe that realist quantum logic is our best hope for making sense of quantum mechanics, but I have come to suspect that the usual version may not be the correct one. In this paper, I would like to say why and to propose an alternative.

Recent discussions of experimental tests of the Sum Rule have been carried out in the context of the special circumstances attending the Cross-Ramsey experiment. A more general analysis of possible tests is presented. A technical mistake of Fine and Glymour concerned with a misunderstanding of the physics of the Cross-Ramsey experiment is explained and a detailed analysis of a thought experiment based on the Einstein-Podolsky-Rosen wave function is given. It is concluded, in agreement with Fine, that scattering experiments do not (...) test the Sum Rule as a principle which supplements standard quantum mechanics. (shrink)

Recent literature on Bohm's alternative to mainstream quantum mechanics may create the misleading impression that, except for perfunctory dismissals, the theory was ignored by the physics community in the years immediately following its proposal. As a matter of fact, Einstein, Pauli, and Heisenberg all published criticisms of Bohm's theory, explaining their reasons for not accepting the theory. These criticisms will be discussed and evaluated in this article.

In much the same way that it is possible to construct a model of hyperbolic geometry in the Euclidean plane, it is possible to model quantum logic within the classical propositional calculus.

The Bell 1964 theorem states that nonlocality is a necessary feature of hidden variable theories that reproduce the statistical predictions of quantum mechanics. In view of the no-go theorems for non-contextual hidden variable theories already existing up to 1964, and due to Gleason and Bell, one is forced to acknowledge the contextual character of the hidden variable theory which the Bell 1964 theorem refers to. Both the mathematical and the physical justifications of this contextualism are reconsidered. Consequently, the role of (...) contextualism in recent no-hidden-variables proofs and the import of these proofs are investigated. With reference to the physical intuition underlying contextualism, the possibility is considered whether a context-dependence of individual measurement results is compatible with context-independence of the statistics of measurement results. (shrink)

Standard quantum mechanics unquestionably violates the separability principle that classical physics (be it point-like analytic, statistical, or field-theoretic) accustomed us to consider as valid. In this paper, quantum nonseparability is viewed as a consequence of the Hilbert-space quantum mechanical formalism, avoiding thus any direct recourse to the ramifications of Kochen-Specker’s argument or Bell’s inequality. Depending on the mode of assignment of states to physical systems – unit state vectors versus non-idempotent density operators – we distinguish between strong/relational and weak/deconstructional forms (...) of quantum nonseparability. The origin of the latter is traced down and discussed at length, whereas its relation to the all important concept of potentiality in forming a coherent picture of the puzzling entangled interconnections among spatially separated systems is also considered. Finally, certain philosophical consequences of quantum non-separability concerning the nature of quantum objects, the question of realism in quantum mechanics, and possible limitations in revealing the actual character of physical reality in its entirety are explored. (shrink)