The histories interpretation provides a consistent realistic ontology for quantum mechanics, based on two main ideas. First, a logic is employed which is compatible with the Hilbert-space structure of quantum mechanics as understood by von Neumann: quantum properties and their negations correspond to subspaces and their orthogonal complements. It employs a special syntactical rule to construct meaningful quantum expressions, quite different from the quantum logic of Birkhoff and von Neumann. Second, quantum time development is treated as an inherently stochastic process (...) under all circumstances, not just when measurements take place. The time-dependent Schrödinger equation provides probabilities, not a deterministic time development of the world.The resulting interpretive framework has no measurement problem and can be used to analyze in quantum terms what is going on before, after, and during physical preparation and measurement processes. In particular, appropriate measurements can reveal quantum properties possessed by the measured system before the measurement took place. There are no mysterious superluminal influences: quantum systems satisfy an appropriate form of Einstein locality.This ontology provides a satisfactory foundation for quantum information theory, since it supplies definite answers as to what the information is about. The formalism of classical information theory applies without change in suitable quantum contexts, and this suggests the way in which quantum information theory extends beyond its classical counterpart. (shrink)

Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality which allows us to simulate (and also to generalize) aspects of set theory within a mereotopological framework. This theory is extended to a theory of coarse- and fine-grained histories (or finite sequences of partitions evolving over time), drawing on machinery developed within the framework of the so-called ‘consistent histories’ interpretation of (...) quantum mechanics. (shrink)

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...) central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering. (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)

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (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)