This is a systematic review of the concept of indistinguishability, in both classical and quantum mechanics, with particular attention to Gibbs paradox. Section 1 is on the Gibbs paradox; section 2 is a defense of classical indistinguishability, notwithstanding the widely-held view, that classical particles can always be distinguished by their trajectories. The last section is about the notion of object more generally, and on whether indistinguishables should be thought of as objects at all.

Nature seems to be such that we can describe it accurately with quantum theories of bosons and fermions alone, without resort to parastatistics. This has been seen as a deep mystery: paraparticles make perfect physical sense, so why don’t we see them in nature? We consider one potential answer: every paraparticle theory is physically equivalent to some theory of bosons or fermions, making the absence of paraparticles in our theories a matter of convention rather than a mysterious empirical discovery. We (...) argue that this equivalence thesis holds in all physically admissible quantum field theories falling under the domain of the rigorous Doplicher–Haag–Roberts approach to superselection rules. Inadmissible parastatistical theories are ruled out by a locality-inspired principle we call charge recombination. 1 Introduction2 Paraparticles in Quantum Theory3 Theoretical Equivalence3.1 Field systems in algebraic quantum field theory3.2 Equivalence of field systems4 A Brief History of the Equivalence Thesis4.1 The Green decomposition4.2 Klein transformations4.3 The argument of Drühl, Haag, and Roberts4.4 The Doplicher–Roberts reconstruction theorem5 Sharpening the Thesis6 Discussion6.1 Interpretations of Quantum Mechanics6.2 Structuralism and haecceities6.3 Paraquark theories. (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)

Particle indistinguishability has always been considered a purely quantum mechanical concept. In parallel, indistinguishable particles have been thought to be entities that are not properly speaking objects at all. I argue, to the contrary, that the concept can equally be applied to classical particles, and that in either case particles may (with certain exceptions) be counted as objects even though they are indistinguishable. The exceptions are elementary bosons (for example photons).

The Received View on quantum non-individuality is, roughly speaking, the view according to which quantum objects are not individuals. It seems clear that the RV finds its standard expression nowadays through the use of the formal apparatuses of non-reflexive logics, mainly quasi-set theory. In such logics, the relation of identity is restricted, so that it does not apply for terms denoting quantum particles; this “lack of identity” formally characterizes their non-individuality. We face then a dilemma: on the one hand, identity (...) seems too important to be given up, on the other hand the RV seems to require that identity be given up. In this paper we shall discuss how the specific characterization of the RV through non-reflexive logics came to be framed. We examine some of the main objections to this version of the RV and argue that they are misguided under this specific “non-reflexive” understanding of the RV. Finally, we shall also argue that this non-reflexive view is not the only option for a metaphysical articulation of the RV: less radical approaches to identity and logic are open. In particular, some of these alternative approaches to the RV we present may be immune to most of the criticisms presented against the non-reflexive approach. (shrink)

How best to think about quantum systems under permutation invariance is a question that has received a great deal of attention in the literature. But very little attention has been paid to taking seriously the proposal that permutation invariance reflects a representational redundancy in the formalism. Under such a proposal, it is far from obvious how a constituent quantum system is represented. Consequently, it is also far from obvious how quantum systems compose to form assemblies, i.e. what is the formal (...) structure of their relations of parthood, overlap and fusion. In this paper, I explore one proposal for the case of fermions and their assemblies. According to this proposal, fermionic assemblies which are not entangled—in some heterodox, but natural sense of ‘entangled’—provide a prima facie counterexample to classical mereology. This result is puzzling; but, I argue, no more intolerable than any other available interpretative option. (shrink)

We critically examine the claim that identity is a fundamental concept. According to those putting forward this thesis, there are four related reasons that can be called upon to ground the fundamental character of identity: identity is presupposed in every conceptual system; identity is required to characterize individuality; identity cannot be defined; the intelligibility of quantification requires identity. We address each of these points and argue that none of them advances compelling reasons to hold that identity is fundamental; in fact, (...) most of the tasks that seem to require identity may be performed without identity. So, in the end, identity may not be a fundamental concept after all. (shrink)

I begin by criticizing an elaboration of an argument in this journal due to Hawley , who argued that, where Leibniz’s Principle of the Identity of Indiscernibles faces counterexamples, invoking relations to save PII fails. I argue that insufficient attention has been paid to a particular distinction. I proceed by demonstrating that in most putative counterexamples to PII , the so-called Discerning Defence trumps the Summing Defence of PII. The general kind of objects that do the discerning in all cases (...) form a category that has received little if any attention in metaphysics. This category of objects lies between indiscernibles and individuals and is called relationals: objects that can be discerned by means of relations only and not by properties. Remarkably, relationals turn out to populate the universe. (shrink)

It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the line of (...) solving a problem posed by Y. Manin, namely, to incorporate quantum mechanical notions at the foundations of mathematics. We also show that our system is capable of representing quantum superpositions. (shrink)

Steven French articulates and defends the bold claim that there are no objects in the world. He draws on metaphysics and philosophy of science to argue for structural realism--the position that we live in a world of structures--and defends a form of eliminativism about objects that sets laws and symmetry principles at the heart of ontology.

The purpose of the present paper is to consider the traditional interpretive problems of quantum mechanics from the viewpoint of a modal ontology of properties. In particular, we will try to delineate a quantum ontology that (i) is modal, because describes the structure of the realm of possibility, and (ii) lacks the ontological category of individual. The final goal is to supply an adequate account of quantum non-individuality on the basis of this ontology.

The notion of strict identity is sometimes given an explicit second-order definition: objects with all the same properties are identical. Here, a somewhat different problem is raised: Under what conditions is the identity relation on the domain of a structure first-order definable? A structure may have objects that are distinct, but indiscernible by the strongest means of discerning them given the language (the indiscernibility formula). Here a number of results concerning the indiscernibility formula, and the definability of identity, are collected (...) and a number of applications discussed. (shrink)

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)

The symmetrization postulates of quantum mechanics (symmetry for bosons, antisymmetry for fermions) are usually taken to entail that quantum particles of the same kind (e.g., electrons) are all in exactly the same state and therefore indistinguishable in the strongest possible sense. These symmetrization postulates possess a general validity that survives the classical limit, and the conclusion seems therefore unavoidable that even classical particles of the same kind must all be in the same state—in clear conflict with what we know about (...) classical particles. In this article we analyze the origin of this paradox. We shall argue that in the classical limit classical particles emerge, as new entities that do not correspond to the “particle indices” defined in quantum mechanics. Put differently, we show that the quantum mechanical symmetrization postulates do not pertain to particles, as we know them from classical physics, but rather to indices that have a merely formal significance. This conclusion raises the question of whether many discussions in the literature about the status of identical quantum particles have not been misguided. (shrink)

Properties sometimes attributed to the “particle” aspect of a neutron, e.g., mass and magnetic moment, cannot straightforwardly be regarded in the Bohm interpretation of quantum mechanics as localized at the hypothetical position of the particle. This is shown by examining a series of effects in neutron interferometry. A related thought-experiment also provides a variation of a recent demonstration that which-way detectors can appear to behave anomolously in the Bohm theory.

The practice of describing multiparticle quantum systems in terms of labeled particles indicates that we think of quantum entities as individuatable. The labels, together with particle indistinguishability, create the need for symmetrization or antisymmetrization (or, in principle, higher-order symmetries), which in turn results in “surplus formal structure” in the formalism, formal structure which corresponds to nothing in the real world. We argue that these facts show quanta to be unindividuatable entities, things in principle incapable of supporting labels, and so things (...) which support no factual difference_if two of them are thought of as being switched. When thinking of the metaphysics of quanta, we should eschew the misleading labels of the tensor product Hilbert space formalism and prefer the ontologically more faithful description of the Fock space formalism. This conception eliminates puzzles about the quantum statistics of bosons. (shrink)

According to the modal interpretation, the standard mathematical framework of quantum mechanics specifies the physical magnitudes of a system, which have definite values. Probabilities are assigned to the possible values that these magnitudes may adopt. The interpretation is thus concerned with physical properties rather than with measurement results: it is a realistic interpretation. One of the notable achievements of this interpretation is that it dissolves the notorious measurement problem. The papers collected here, together with the introduction and concluding critical appraisal, (...) explain the various forms of the modal interpretation, survey its achievements, and discuss those problems that have yet to be solved. Audience: Philosophers of science, theoretical physicists, and graduate students in these disciplines. (shrink)

We demonstrate that the quantum-mechanical description of composite physical systems of an arbitrary number of similar fermions in all their admissible states, mixed or pure, for all finite-dimensional Hilbert spaces, is not in conflict with Leibniz's Principle of the Identity of Indiscernibles (PII). We discern the fermions by means of physically meaningful, permutation-invariant categorical relations, i.e. relations independent of the quantum-mechanical probabilities. If, indeed, probabilistic relations are permitted as well, we argue that similar bosons can also be discerned in all (...) their admissible states; but their categorical discernibility turns out to be a state-dependent matter. In all demonstrated cases of discernibility, the fermions and the bosons are discerned (i) with only minimal assumptions on the interpretation of quantum mechanics; (ii) without appealing to metaphysical notions, such as Scotusian haecceitas, Lockean substrata, Postian transcendental individuality or Adamsian primitive thisness; and (iii) without revising the general framework of classical elementary predicate logic and standard set theory, thus without revising standard mathematics. This confutes: (a) the currently dominant view that, provided (i) and (ii), the quantum-mechanical description of such composite physical systems always conflicts with PII; and (b) that if PII can be saved at all, the only way to do it is by adopting one or other of the thick metaphysical notions mentioned above. Among the most general and influential arguments for the currently dominant view are those due to Schrodinger, Margenau, Cortes, Dalla Chiara, Di Francia, Redhead, French, Teller, Butterfield, Giuntini, Mittelstaedt, Castellani, Krause and Huggett. We review them succinctly and critically as well as related arguments by van Fraassen and Massimi. (shrink)

This paper offers a critical assessment of the current state of the debate about the identity and individuality of material objects. Its main aim, in particular, is to show that, in a sense to be carefully specified, the opposition between the Leibnizian ‘reductionist’ tradition, based on discernibility, and the sort of ‘primitivism’ that denies that facts of identity and individuality must be analysable has become outdated. In particular, it is argued that—contrary to a widespread consensus—‘naturalised’ metaphysics supports both the acceptability (...) of non-qualitatively grounded (both ‘contextual’ and intrinsic) identity and a pluralistic approach to individuality and individuation. A case study is offered that focuses on non-relativistic quantum mechanics, in the context of which primitivism about identity and individuality, rather than being regarded as unscientific, is on the contrary suggested to be preferable to the complicated forms of reductionism that have recently been proposed. More generally, by assuming a plausible form of anti-reductionism about scientific theories and domains, it is claimed that science can be regarded as compatible with, or even as suggesting, the existence of a series of equally plausible grades of individuality. The kind of individuality that prevails in a certain context and at a given level can be ascertained only on the basis of the specific scientific theory at hand. (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)

It is argued that recent discussion of the principle of the identity of indiscernibles (PII) and quantum mechanics has lost sight of the broader philosophical motivation and significance of PII and that the `received view' of the status of PII in the light of quantum mechanics survives recent criticisms of it by Muller, Saunders, and Seevinck.

This paper puts forward the hypothesis that the distinctive features of quantum statistics are exclusively determined by the nature of the properties it describes. In particular, all statistically relevant properties of identical quantum particles in many-particle systems are conjectured to be irreducible, ‘inherent’ properties only belonging to the whole system. This allows one to explain quantum statistics without endorsing the ‘Received View’ that particles are non-individuals, or postulating that quantum systems obey peculiar probability distributions, or assuming that there are primitive (...) restrictions on the range of states accessible to such systems. With this, the need for an unambiguously metaphysical explanation of certain physical facts is acknowledged and satisfied. (shrink)

Structural realism is considered by many realists and antirealists alike as the most defensible form of scientific realism. There are now many forms of structural realism and an extensive literature about them. There are interesting connections with debates in metaphysics, philosophy of physics and philosophy of mathematics. This entry is intended to be a comprehensive survey of the field.

We maximally extend the quantum‐mechanical results of Muller and Saunders ( 2008 ) establishing the ‘weak discernibility’ of an arbitrary number of similar fermions in finite‐dimensional Hilbert spaces. This confutes the currently dominant view that ( A ) the quantum‐mechanical description of similar particles conflicts with Leibniz’s Principle of the Identity of Indiscernibles (PII); and that ( B ) the only way to save PII is by adopting some heavy metaphysical notion such as Scotusian haecceitas or Adamsian primitive thisness. We (...) take sides with Muller and Saunders ( 2008 ) against this currently dominant view, which has been expounded and defended by many. *Received July 2008; revised May 2009. †To contact the authors, please write to: F. A. Muller, Faculty of Philosophy, Erasmus University Rotterdam, Burg. Oudlaan 50, H5–16, 3062 PA Rotterdam, The Netherlands; e‐mail: [email protected] , and Institute for the History and Foundations of Science, Utrecht University, Budapestlaan 6, IGG–3.08, 3584 CD Utrecht, The Netherlands; e‐mail: [email protected] . M. P. Seevinck, Institute for the History and Foundations of Science, Utrecht University, Budapestlaan 6, IGG–3.08, 3584 CD Utrecht, The Netherlands; e‐mail: [email protected]. (shrink)

In this paper I consider some logical and mathematical aspects of the discussion of the identity and individuality of quantum entities. I shall point out that for some aspects of the discussion, the logical basis cannot be put aside; on the contrary, it leads us to unavoidable conclusions which may have consequences in how we articulate certain concepts related to quantum theory. Behind the discussion, there is a general argument which suggests the possibility of a metaphysics of non-individuals, based on (...) a reasonable interpretation of quantum basic entities. I close the paper with a suggestion that consists in emphasizing that quanta should be referred to by the cardinalities of the collections to which they belong, for which an adequate mathematical framework seems to be possible. (shrink)

After decades of neglect philosophers of physics have discovered gauge theories--arguably the paradigm of modern field physics--as a genuine topic for foundational and philosophical research. Incidentally, in the last couple of years interest from the philosophy of physics in structural realism--in the eyes of its proponents the best suited realist position towards modern physics--has also raised. This paper tries to connect both topics and aims to show that structural realism gains further credence from an ontological analysis of gauge theories--in particular (...) U(1) gauge theory. In the first part of the paper the framework of fiber bundle gauge theories is briefly presented and the interpretation of local gauge symmetry will be examined. In the second part, an ontological underdetermination of gauge theories is carved out by considering the various kinds of non-locality involved in such typical effects as the Aharonov-Bohm effect. The analysis shows that the peculiar form of non-separability figuring in gauge theories is a variant of spatiotemporal holism and can be distinguished from quantum theoretic holism. In the last part of the paper the arguments for a gauge theoretic support of structural realism are laid out and discussed. (shrink)

The concept of individuality in quantum mechanics shows radical differences from the concept of individuality in classical physics, as E. Schrödinger pointed out in the early steps of the theory. Regarding this fact, some authors suggested that quantum mechanics does not possess its own language, and therefore, quantum indistinguishability is not incorporated in the theory from the beginning. Nevertheless, it is possible to represent the idea of quantum indistinguishability with a first-order language using quasiset theory (Q). In this work, we (...) show that Q cannot capture one of the most important features of quantum non-individuality, which is the fact that there are quantum systems for which particle number is not well defined. An axiomatic variant of Q, in which quasicardinal is not a primitive concept (for a kind of quasisets called finite quasisets), is also given. This result encourages the searching of theories in which the quasicardinal, being a secondary concept, stands undefined for some quasisets, besides showing explicitly that in a set theory about collections of truly indistinguishable entities, the quasicardinal needs not necessarily be a primitive concept. (shrink)

Our aim in this paper is to take quite seriously Heinz Post’s claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead and Teller’s words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be modified. We build (...) a vector space with inner product, the Q-space, using the non-classical part of quasi-set theory, to deal with indistinguishable elements. Vectors in Q-space refer only to occupation numbers and permutation operators act as the identity operator on them, reflecting in the formalism the fact of unobservability of permutations. Thus, this paper can be regarded as a tentative to follow and enlarge Heinsenberg’s suggestion that new phenomena require the formation of a new “closed” (that is, axiomatic) theory, coping also with the physical theory’s underlying logic and mathematics. (shrink)

In this paper I present a new argument against vague identity — one that is more fundamental than existing arguments — and I also try to explain why we find the idea of vague identity puzzling, in a way that will dispel the puzzlement. In brief, my argument is this: to make clear sense of something, one must at least model it set-theoretically; but due to the special place of identity in set-theoretic models, any vague relation that one does model (...) set-theoretically will not be identity, for real identity will already be there, built into the background of the model, and perfectly precise. (shrink)

For most of the history of metaphysics, the subject has been dominated by the concept of substance. There is an everyday commonsense notion of substance which is perfectly harmless and which I shall defend against attempts to remove it or revise it away. But I deny that substance has to be construed as a primitive even in everyday terms. Borrowing Strawson’s distinction between descriptive and revisionary metaphysics, I press the legitimate claims of revisionary metaphysics and argue that there is no (...) place for a fundamental concept of substance within it, although aspects of the concept are likely to find their place therein. (shrink)

The paper defends a view of structural realism similar to that of French and Ladyman, although it differs from theirs in an important respect: I do not take indistinguishabiity of particles in quantum mechanics to have the significance they think it has. It also differs from Cao's view of structural realism, criticized in my "Critical Notice: Cao's `The Conceptual Development of 20th Century Field Theories".

If quantum mechanics (QM) is to be taken as an atomistic theory with the elementary particles as atoms (an ATEP), then the elementary particlcs must be individuals. There must then be, for each elementary particle a, a property being identical with a that a alone has. But according to QM, elementary particles of the same kind share all physical properties. Thus, if QM is an ATEP, identity is a metaphysical but not a physical property. That has unpalatable consequences. Dropping the (...) assumption that QM is an ATEP makes it possible to replace the assumption that elementary particles are individuals with the assumption that there are various kinds of elementary stuff that have smallest quantities — the smallest quantity of light, for example, is a photon. The problems about identity disappear, and the explanatory virtues of an ATEP are maintained. (shrink)

There has been considerable recent philosophical debate over the implications of many particle quantum mechanics for the metaphysics of individuality (cf. Huggett [1997]). In this paper I look at things from a rather different perspective: by investigating the significance of permutation symmetry. I consider how various philosophical positions link up to the physical postulate of the indistinguishability of permuted states-permutation invariance-and how this postulate is used to explain quantum statistics. I offer an explanation of the statistics that relies on the (...) neglected parallel between permutations and covariant spatial transformation. And I explore the parallel, showing that a further kind of symmetry explains why permutations are invariant when spatial symmetries are not. (shrink)

It has been suggested that quantum particles are genuinelyvague objects (Lowe 1994a). The present work explores thissuggestion in terms of the various metaphysical packages that areavailable for describing such particles. The formal frameworksunderpinning such packages are outlined and issues of identityand reference are considered from this overall perspective. Indoing so we hope to illuminate the diverse ways in whichvagueness can arise in the quantum context.

We outline Ladyman's 'metaphysical' or 'ontic' form of structuralrealism and defend it against various objections. Cao, in particular, has questioned theview of ontology presupposed by this approach and we argue that by reconceptualisingobjects in structural terms it offers the best hope for the realist in thecontext of modern physics.

We extend the work of French and Redhead [1988] further examining the relation of quantum statistics to the assumption that quantum entities have the sort of identity generally assumed for physical objects, more specifically an identity which makes them susceptible to being thought of as conceptually individuatable and labelable even though they cannot be experimentally distinguished. We also further examine the relation of such hypothesized identity of quantum entities to the Principle of the Identity of Indiscernibles. We conclude that although (...) such an assumption of identity is consistent with the facts of quantum statistics, methodological considerations show that we should take quantum entities to be entirely unindividuatable, in the way suggested by a Fock space description. (shrink)

Spacetime substantivalism leads to a radical form of indeterminism within a very broad class of spacetime theories which include our best spacetime theory, general relativity. Extending an argument from Einstein, we show that spacetime substantivalists are committed to very many more distinct physical states than these theories' equations can determine, even with the most extensive boundary conditions.