In a series of recent papers, Simon Saunders, Fred Muller, and Michael Seevinck have collectively argued, against the folklore, that some nontrivial version of Leibniz’s principle of the identity of indiscernibles is upheld in quantum mechanics. They argue that all particles—fermions, paraparticles, anyons, even bosons—may be weakly discerned by some physical relation. Here I show that their arguments make illegitimate appeal to nonsymmetric, that is, permutation-noninvariant, quantities and that therefore their conclusions do not go through. However, I show that alternative, (...) symmetric quantities may be found to do the required work. I conclude that the Saunders-Muller-Seevinck heterodoxy can be saved. (shrink)

The mathematical notion of a permutation of indices in the state description admits different physical interpretations. Two main interpretations analyzed in this paper are: exchange of essences and exchange of haecceities. It is argued that adopting the essentialist approach leads to the conclusion, contrary to the conventional wisdom, that quantum particles of the same type are sometimes discernible by their properties. The indiscernibility thesis can be supported only by the alternative interpretation in terms of primitive thisness.

It is shown that the Hilbert-Bernays-Quine principle of identity of indiscernibles applies uniformly to all the contentious cases of symmetries in physics, including permutation symmetry in classical and quantum mechanics. It follows that there is no special problem with the notion of objecthood in physics. Leibniz's principle of sufficient reason is considered as well; this too applies uniformly. But given the new principle of identity, it no longer implies that space, or atoms, are unreal.

Structural realist interpretations of generally relativistic spacetimes have recently come to enjoy a remarkable degree of popularity among philosophers. I present a challenge to these structuralist interpretations that arises from considering cosmological models in general relativity. As a consequence of their high degree of spacetime symmetry, these models resist a structuralist interpretation. I then evaluate the various strategies available to the structuralist to react to this challenge. †To contact the author, please write to: Department of Philosophy, 9500 Gilman Drive, 0119, (...) University of California, San Diego, La Jolla, CA 92093‐0119; e‐mail: [email protected]. (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)

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).

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)

One of the reasons provided for the shift away from an ontology for physical reality of material objects & properties towards one of physical structures & relations (Ontological Structural Realism: OntSR) is that the quantum-mechanical description of composite physical systems of similar elementary particles entails they are indiscernible. As material objects, they 'whither away', and when they wither away, structures emerge in their stead. We inquire into the question whether recent results establishing the weak discernibility of elementary particles pose a (...) threat for this quantum-mechanical reason for OntSR, because precisely their newly discovered discernibility prevents them from 'whithering away'. We argue there is a straightforward manner to consider the recent results as a reason in favour of OntSR rather than against it. (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)

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)

It is strange to note so little discussion of the exclusion principle in the philosophical literature. Philosophers, largely engrossed in their perennial problems, are hardly aware of the fact that, during the last two decades, there has been introduced into physical methodology a principle of utmost philosophical importance, easily rivaling that of relativity and, in some respects, indeed that of causality. Discovered by Pauli in 1925, it immediately elucidated a whole realm of physical facts and was accepted by physicists with (...) wide acclaim. Called the exclusion principle—or Pauli principle, or principle of anti-symmetry—it was embodied in the axiomatics of quantum mechanics; its peculiar methodological significance passed out of view. (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.

Questions about the relation between identity and discernibility are important both in philosophy and in model theory. We show how a philosophical question about identity and dis- cernibility can be ‘factorized’ into a philosophical question about the adequacy of a formal language to the description of the world, and a mathematical question about discernibility in this language. We provide formal definitions of various notions of discernibility and offer a complete classification of their logical relations. Some new and surprising facts are (...) proved; for instance, that weak dis- cernibility corresponds to discernibility in a language with constants for every object, and that weak discernibility is the most discerning nontrivial discernibility relation. (shrink)

Quantum mechanics tells us that states involving indistinguishable fermions must be antisymmetrized. This is often taken to mean that indistinguishable fermions are always entangled. We consider several notions of entanglement and argue that on the best of them, indistinguishable fermions are not always entangled. We also present a simple but unconventional way of representing fermionic states that allows us to maintain a link between entanglement and non-factorizability.

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)

Muller and Saunders ([2008]) purport to demonstrate that, surprisingly, bosons and fermions are discernible; this article disputes their arguments, then derives a similar conclusion in a more satisfactory fashion. After briefly explicating their proof and indicating how it escapes earlier indiscernibility results, we note that the observables which Muller and Saunders argue discern particles are (i) non-symmetric in the case of bosons and (ii) trivial multiples of the identity in the case of fermions. Both problems undermine the claim that they (...) have shown particles to be physically discernible. We then prove two results concerning observables that are truly physical: one showing when particles are discernible and one showing when they are not (categorically) discernible. Along the way we clarify some frequently misunderstood issues concerning the interpretation of quantum observables. 1 Background2 Criticisms2.1 Bosons2.2 Fermions3 Reformulating the Insight3.1 What weakly discerns?3.2 General results4 Conclusion. (shrink)

Simon Saunders argues that, although distinct objects must be discernible, they need only be weakly discernible (Saunders 2003, 2006a). I will argue that this combination of views is unmotivated: if there can be objects which differ only weakly, there can be objects which don’t differ at all.

Putative counterexamples to the Principle of Identity of Indiscernibles (PII) are notoriously inconclusive. I establish ground rules for debate in this area, offer a new response to such counterexamples for friends of the PII, but then argue that no response is entirely satisfactory. Finally, I undermine some positive arguments for PII.

Department of History and Philosophy of Science. University of Cambridge, Free School Lane, Cambridge CB2 3RH This paper is concerned with the question of whether atomic particles of the same species, i. e. with the same intrinsic state-independent properties of mass, spin, electric charge, etc, violate the Leibnizian Principle of the Identity of Indiscernibles, in the sense that, while there is more than one of them, their state-dependent properties may also all be the same. The answer depends on what exactly (...) the state-dependent properties of atomic particles are taken to be. On the plausible interpretation that these should comprise all monadic and relational properties that can be expressed in terms of physical magnitudes associated with self-adjoint operators that can be defined for the individual particles, then the weakest form of the Principle is shown to be violated for bosons, fermions and higher-order paraparticles, treated in first quantization *Some of the arguments inn this paper appeared in a thesis submited by one of us (S.F.) In partial fulfilment of the requirements for the PhD degree of the University of London, in 1984. entitled 'Identity and ‘Individuality in Classical and Quantum Physics’. (shrink)

Saunders has recently claimed that “identical quantum particles” with an anti-symmetric state (fermions) are weakly discernible objects, just like irreflexively related ordinary objects in situations with perfect symmetry (Black’s spheres, for example). Weakly discernible objects have all their qualitative properties in common but nevertheless differ from each other by virtue of (a generalized version of) Leibniz’s principle, since they stand in relations an entity cannot have to itself. This notion of weak discernibility has been criticized as question begging, but we (...) defend and accept it for classical cases likes Black’s spheres. We argue, however, that the quantum mechanical case is different. Here the application of the notion of weak discernibility indeed is question begging and in conflict with standard interpretational ideas. We conclude that the introduction of the conceptual resource of weak discernibility does not change the interpretational status quo in quantum mechanics. (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)

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.

In this article I expound an understanding of the quantum mechanics of so-called “indistinguishable” systems in which permutation invariance is taken as a symmetry of a special kind, namely the result of representational redundancy. This understand- ing has heterodox consequences for the understanding of the states of constituent systems in an assembly and for the notion of entanglement. It corrects widespread misconceptions about the inter-theoretic relations between quantum mechanics and both classical particle mechanics and quantum field theory. The most striking (...) of the heterodox consequences are: that fermionic states ought not always to be considered entangled; it is possible for two fermions or two bosons to be discerned using purely monadic quantities; and that fermions may always be so discerned. (shrink)

A number of commentators (especially French and Redhead, 1988, and Butterfield, 1993) have investigated the status of the principle of the identity of indiscernibles (PII) for bosons and fermions. In this paper I extend that investigation to the full range of quantum particles of any allowed kind of statistics -- `quarticles', that is. I show that for any kind (except bosons and fermions) there are states in which PII is violated by every pair of particles, some pairs and not others, (...) and by no pairs. (shrink)