We propose a new quantum ontology, in which properties are the fundamental building blocks. In this property ontology physical systems are defined as bundles of type-properties (specified by algebras of observables in a Hilbert space). Not all elements of such bundles are associated with definite case-properties, and this accommodates the Kochen and Specker theorem and contextuality. Moreover, we do not attribute an identity to the type-properties, which gives rise to a novel form of the bundle theory. There are no "particles" in the sense of classical individuals in this ontology, although the behavior of such individuals is mimicked in some circumstances. This picture leads in a natural way to the symmetrization postulates for systems of many "identical particles".
We propose a new quantum ontology, in which properties are the fundamental building blocks. In this property ontology physical systems are defined as bundles of type-properties (specified by algebras of observables in a Hilbert space). Not all elements of such bundles are associated with definite case-properties, and this accommodates the Kochen and Specker theorem and contextuality. Moreover, we do not attribute an identity to the type-properties, which gives rise to a novel form of the bundle theory. There are no "particles" in the sense of classical individuals in this ontology, although the behavior of such individuals is mimicked in some circumstances. This picture leads in a natural way to the symmetrization postulates for systems of many "identical particles".
According to classical physics particles are basic building blocks of the world. Classical particles are distinguishable objects, individuated by physical characteristics. By contrast, in quantum mechanics the standard view is that particles of the same kind ("identical particles") are in all circumstances indistinguishable from each other. This indistinguishability doctrine is motivated by the (anti)symmetrization postulates together with the assumption (``factorism'') that each single particle is represented in exactly one factor space in the tensor product Hilbert space of a many-particles system. Although the factorist assumption is standard in the literature, it is conceptually problematic. Particle indistinguishability is incompatible with the everyday meaning of ``particle'', and also with how this term is used both in classical physics and in the experimental practice of physics. The standard view requires quantum particles of the same kind to remain indistinguishable even in the classical limit, so that a transition to the classical picture of the world seems impossible. Earlier we have proposed an alternative conception of quantum particles that does not rely on factorism and that avoids these and other problems. We further explain and develop this proposal here. In our view, particles in quantum theory are not fundamental but \emph{emergent}. However, in those situations where the particle concept is applicable, quantum particles---identical or not---are distinguishable in the same way as classical particles.
Abstract In Chapter 4, the MHI was introduced in terms of interpretative postulates that define the ontological reference of each physical term of quantum mechanics in its standard formulation. On the basis of that presentation, an ontology of properties, framed in the algebraic formalism of quantum mechanics, was proposed. The aim of this chapter is to set out in detail the structure of the ontology proposed by the MHI, now with the technical metaphysical resources developed in the previous chapter. In particular, the nature of the properties that constitute the fundamental ontological items is discussed, and it is argued that quantum systems are not objects at all, but mere collections of properties that do not retain their identity either synchronically or diachronically. More precisely, quantum systems turn out to be non-objectual bundles of properties.
Abstract According to classical physics particles are basic building blocks of the world. These classical particles are distinguishable objects, individuated by unique combinations of physical properties. By contrast, in quantum mechanics the received view is that particles of the same kind (“identical particles”) are physically indistinguishable from each other and lack identity. This doctrine rests on the quantum mechanical (anti)symmetrization postulates together with the “factorist” assumption that each single particle is represented in exactly one factor space of the tensor product Hilbert space of a many-particle system. Even though standard in theoretical physics and the philosophy of physics, the assumption of factorism and the ensuing indistinguishability of particles are problematic. Particle indistinguishability is irreconcilable with the everyday meaning of “particle”, and also with how this term is used in the practice of physics. Moreover, it is a consequence of the standard view that identical quantum particles remain indistinguishable even in the classical limit, which makes a smooth transition to the classical particle concept impossible. Lubberdink (1998; 2009) and Dieks and Lubberdink (2011) have proposed an alternative conception of quantum particles that does not rely on factorism and avoids these difficulties. We further explain and discuss this alternative framework here. One of its key consequences is that particles in quantum theory are not fundamental but emergent; another that once they have emerged, quantum particles are always physically distinguishable and thus possess a physically grounded identity.
Standard quantum mechanics poses serious challenges to some principles deeply entrenched in traditional metaphysics. In particular, the theory defies the ontological category of individual object through three of its features: contextuality, non-separability, and indistinguishability. The difficulties have prompted the development of non-traditional ontological frameworks intended to account for the quantum domain. Some approaches advocate replacing the classical conception of a realm of objects endowed with properties by an ontology that either dispenses with the category of object altogether or treats it as a derivative notion. The Modal-Hamiltonian Interpretation (MHI) of quantum mechanics and Ontic Structural Realism (OSR) exemplify this position. MHI proposes an ontology in which quantum systems are non-objectual bundles of properties linked by definite physical relations. The OSR defends the ontological primacy of structures, within which objects are construed as nodes of relations. The aim of this article is to compare these two ontological approaches, highlighting both their points of convergence and their divergences, particularly in light of the ontological challenges posed by quantum mechanics. With this aim, the article is structured as follows. Section 2 outlines the ontology of MHI, introducing the distinction between type-properties and case-properties, characterizing quantum systems as non-objectual bundles, and analyzing the role of symmetry groups in providing physical content to the theory and governing actualization. Section 3 turns to OSR, examining its motivations, its distinction between physical and mathematical structures, and the modal character of structures. Section 4 offers a systematic comparison of the two approaches, considering their respective motivations and scope, their shared commitment to an object-free ontology, the role played by symmetry groups within each framework, and their contrasting interpretations of modality. Finally, Section 5 presents some concluding remarks.
While entanglement in the case of distinguishable particles is clearly understood, in the case of indistinguishable particles, there is still a wide debate regarding basic conceptual issues. Here, I will address two such issues. First, the debate almost always rests on a differentiated treatment of the cases of distinguishability and indistinguishability, even with respect to the definition of the concept of entanglement. Second, the fact that symmetrized and antisymmetrized states of indistinguishable particles are non-factorizable leads to certain perplexities about the very nature of entanglement. In the present work, both issues will be addressed from the perspective of an ontology of properties, which finds its natural expression in the algebraic formalism of quantum mechanics. The final goal will be to show that the proposed ontology allows a unified treatment of entanglement in the distinguishability and indistinguishability cases and offers a straightforward way out to perplexities. This article is part of the theme issue 'Identity, individuality and indistinguishability in physics and mathematics'.
The concept of individuality in quantum mechanics shows radical differences from the one used in classical physics. In particular, it is not possible to consider the fundamental particles described by quantum theory as individual distinguishable objects. In this paper we present arguments in favor of quantum non-individuality, which -in addition to those based on quantum statistics- relate to the Kochen-Specker theorem and the principle of superposition. Then, we analyze the possibility of referring to 'possible individuals' instead of 'actual individuals', and show that the Modal-Kochen-Specker theorem precludes this interpretational move.