This paper explores the consequences of the orthodox resolution of the measurement problem for the axiomatic base of non-relativistic elementary quantum mechanics. It is argued that the standard resolution of the measurement problem generates a paradox whose dissolution may be achieved through an enrichment of the axiomatic foundations of quantum mechanics. These results are also linked to some recent creative proposals by Nancy Cartwright concerning the nature of the so-called reduction of the wave packet.

In this essay, I offer a critical evaluation of Hilary Putnam's writings on epistemology and philosophy of science, in particular his engagement with interpretative problems in quantum mechanics. I trace the development of his thinking from the late 1960s when he adopted a strong causal-realist position on issues of meaning, reference, and truth, via the "internal realist" approach of his middle-period writings, to the various forms of pragmatist, naturalized, or "commonsense" epistemology proposed in his latest books. My contention is that (...) Putnam's retreat from a full-fledged realist outlook has been prompted in large part by his belief that it cannot possibly be reconciled with the implications of quantum mechanics for our understanding of processes and events in the subatomic domain. However, I suggest, this response should be seen as premature given the range of as-yet unresolved problems with quantum mechanics on the orthodox (Copenhagen) interpretation and also the existence of an alternative account - David Bohm's hidden-variables theory - which perfectly matches the established predictive-observational results while providing a credible realist ontology. I also examine Putnam's case for adopting a nonstandard (three-valued) "quantum logic" in relation to the thinking of other philosophers - Michael Dummett among them - who have espoused a more global or doctrinaire version of anti-realism. I conclude that Putnam's early (causal-realist) position is by no means untenable in light of the various arguments that he now takes as counting decisively against it. (shrink)

We show that in quantum logic of closed subspaces of Hilbert space one cannot substitute quantum operations for classical (standard Hilbert space) ones and treat them as primitive operations. We consider two possible ways of such a substitution and arrive at operation algebras that are not lattices what proves the claim. We devise algorithms and programs which write down any two-variable expression in an orthomodular lattice by means of classical and quantum operations in an identical form. Our results show that (...) lattice structure and classical operations uniquely determine quantum logic underlying Hilbert space. As a consequence of our result, recent proposals for a deduction theorem with quantum operations in an orthomodular lattice as well as a, substitution of quantum operations for the usual standard Hilbert space ones in quantum logic prove to be misleading. Quantum computer quantum logic is also discussed. (shrink)

ABSTRACT Topos quantum theory is standardly portrayed as a kind of ‘neo-realist’ reformulation of quantum mechanics.1 1 In this article, I study the extent to which TQT can really be characterized as a realist formulation of the theory, and examine the question of whether the kind of realism that is provided by TQT satisfies the philosophical motivations that are usually associated with the search for a realist reformulation of quantum theory. Specifically, I show that the notion of the quantum state (...) is problematic for those who view TQT as a realist reformulation of quantum theory. 1Introduction 2Topos Quantum Theory 2.1Phase space 2.2Hilbert space 2.3Beyond Hilbert space 2.4Defining realism 2.5The spectral presheaf 2.6The logic of topos quantum theory 3Interpreting States in Topos Quantum Theory 4Interpreting Truth Values and Clopen Subobjects in Topos Quantum Theory 4.1Interpreting the truth values 4.2Interpreting Subcl 5Neo-realism 5.1The covariant approach 6Conclusion. (shrink)

The notion of equality between two observables will play many important roles in foundations of quantum theory. However, the standard probabilistic interpretation based on the conventional Born formula does not give the probability of equality between two arbitrary observables, since the Born formula gives the probability distribution only for a commuting family of observables. In this paper, quantum set theory developed by Takeuti and the present author is used to systematically extend the standard probabilistic interpretation of quantum theory to define (...) the probability of equality between two arbitrary observables in an arbitrary state. We apply this new interpretation to quantum measurement theory, and establish a logical basis for the difference between simultaneous measurability and simultaneous determinateness. (shrink)

In 2002 the readers of the scientific magazine 'Physics World' voted Young's double-slit experiment applied to the interference of single electrons to be 'the most beautiful experiment in physics'; this experiment, in truth, had already been carried out 30 years beforehand. The present article aims to re-examine the latter real experiment and put it into its proper historical perspective. Even though the experiment was not afforded the importance it perhaps deserved among philosophers, its philosophical mplications add new arguments to the (...) already far-reaching debate triggered off by the ideal experiment. Within the context of quantum mechanics in particular, the experiment revealed for the first time the importance that ought to be attributed at the empirical level to single-case probability, that is, to the probability of a single electron's reaching the screen. I investigate how the empirical significance of the experimental results comes within the framework of the debate over the propensity interpretation of probability in quantum mechanics. I argue that the experiment, when examined in all its technical details does in fact throw light on the evidence for the propensity, as a physical property, of micro-objects. (shrink)