Abstract
The significance of Max Black’s indistinguishable spheres for the nature of particles in quantum mechanics is discussed, focusing in particular on the use of the idea of weak indiscernibility. It is argued that there can be four such Black spheres but that five are impossible. It follows from this that Black’s example cannot serve as a model for indistinguishability in physics. But Black’s discussion of his spheres gave rise to the idea of weak discernibility and it is argued that such predicates are unsatisfiable in the way intended. The underlying problem with weak discernibility spreads out to also undermine the whole notion that indistinguishability rests on a notion of the permutation invariance of particles. A better foundation is indicated.
Similar content being viewed by others
Notes
There is a small logical lacuna in Bigaj’s argument: it doesn’t follow from the fact that a relation can be formulated by cases that it is not possible for it to be formulated in a different (case-free) manner. This is obvious once one notes that any relation can be formulated by cases even if trivially and arbitrarily. But proving the impossibility of a case-free definition would be difficult to say the least. This would throw the onus back onto Muller. The second point is that Black’s spheres can clearly be formulated by cases, simply by taking the function f(x, y) in (1) as the distance function. Thus it is unclear why Bigaj thinks it a genuine case of weak discernibility. My argument in this paper shortcircuits this dialectical to-ing and fro-ing.
Relative indiscernibility plays no part in Saunders account or in relation to quantum particles. We ignore it here.
The last sentence seems a strange piece of logic. Since, by the third sentence, all named objects are absolutely discernible, they have only one classification — that of being absolutely discernible. Named objects cannot ever be classified as ‘only weakly discernible’.
The underlying point here is not new. Problems of applying an extensional set theory to indistinguishable objects have been noted as long ago as Toraldo di Francia (1978) and Dalla Chiara (1985), Dalla Chiara and Toralda Di Francia G (1995). It was emphasised with a great deal of technical development in French and Krause (2006) and Arenhart et al. (2019) also van Fraassen and Peschard (2008) p. 23. This is merely a sample of the many publications on the subject, mostly by these authors. Of course, it probably goes without saying that there are disagreements between these authors as to how to apply this idea. See also Dieks (2020) and Dieks and Versteegh (2008).
Thus we are also meant to understand that the space in which these spheres are situated is a metric space, indeed it is a Euclidean 3-space. We are meant to take such a setting as basic and intuitive—but we should be on our guard against this appeal to a naive metaphysics, particularly when we pass on to QM. (This assumption was questioned in Hacking (1975).)
This is simply a matter of definition: a regular tetrahedron is four vertex points with a fixed distance d between them. Coxeter (1973) ch. 1.
This does not contradict the idea presented in Della Rocca (2005), whose spheres can occupy the same space.
Bas van Fraassen has reached a similar conclusion:‘If an asymmetric relational predicate, or a symmetric irreflexive one, is instantiated at all then there are at least two things. Saunders’ term “weakly discernible” does not seem apt: we have here a way to show that logically, things can be distinct without being discernible, by an argument that does not appeal to PII but to its innocuous converse. Hence I do not consider the PII saved or satisfied even in the case of fermions by reflections on “weak discernibility”, contrary to Muller and Saunders (2008)...’ Howard (2011), 234
This therefore may support the, so-called, non-reflexive logics (for which see Arenhart (2017)): the name of which I regard as very unfortunate. However, this has a very significant corollary: the universal quantifier is now only over all individuals, it can no longer be paraphrased as everything is self-identical which would require the existence of a universal set. This removes one powerful objection to the traditional “law of identity”.
It may be thought that the dyadic character of weak discernibility is merely a first-attempt simplification and that it could be adjusted so as to be polyadic. This does not seems to be so. As we have seen, the problems with the formal notion of satisfaction and the dyadic predicate are made worse as one moves to more indiscernible objects. Nor does Saunders attempt any such generalisation, nor did Muller later; nor of course did Quine himself.
In general, for n objects there are n! permutations of these objects. Stanley (2012) ch 1.
Black’s skill in making his model universe seem so present to the mind’s eye, can be seen in an innocuous detail: making the spheres not too far apart, so that one feels one can “see” them both at once. Thus one can “see” that there are two, not one. But we easily forget that there is no light at all in Black’s universe to see anything. And if we could see them the spheres would be absolutely discernible in virtue of the light to the eye constituting a bijection to our visual image. From this it follows that indistinguishable entities cannot be discernibly seen.
Pauli’s exclusion principle is often invoked in an unclear way to try to cover up the problems with the underlying ideas here. But Pauli’s principle is a consequence of the antisymmetric state space for fermions, which, mathematically speaking, is essentially an exterior product space—the Pauli principle follows from the character of this exterior product. This antisymmetric space is an irreducible representation of the symmetric group in a tensor product space, and this concept does not involve permuting particles. For \(S_{4}\), for example, there are five such irreducible representations but only two have physical significance, the two one-dimensional representations—and to the extent that permutations of the vectors (note: not particles) are significant it is only through the way that they are encoded in these representations. These representations are homomorphisms to the group of invertible linear transformations of a vector space, for one needs sums and multiplication by scalars to be defined (along with scalar products). Groups are said to act on sets, but to be represented in vector spaces. This was set out carefully by Weyl in his (1931). A modern account is Goodman and Wallach (2009). See also Heathcote (2014) and Heathcote (2020).
Schrödinger also has an analogy for Einstein-Bose statistics: three boys and two shillings to be allocated as rewards. In this case there are 6 ways of distributing the shillings. The shillings represent the particles. Mary Hesse developed this analogy in Hesse (1963), 49–50. Importantly, these analogies show that indistinguishable particles make metaphysical and semantic sense, contra the claims in Jantzen (2017).
E. J. Lowe, in Lowe (2016), has also given an argument against a weak discernibility interpretation of the Black spheres, through an entirely different argument to the one given in the present paper. He disambiguates the relations between the spheres using \(\lambda -\)abstraction and argues that under no interpretation does it justify the claim of weak discernibility. He adds much of value in his discussion of ways that entities may be non-individuals. (I thank a reader of this journal for bringing Lowe’s article to my attention.)
References
Arenhart JRB (2012) Many entities no identity. Synthese 187:801–812
Arenhart JRB (2017) The received view on quantum non-individuality: formal and metaphysical analysis. Synthese 194:1323–1347. https://doi.org/10.1007/s11229-015-0997-5
Arenhart JR, Bueno O, Krause D (2019) Making sense of non-individuals in quantum mechanics. In: Olimpia L, Sebastian F, Cristian L, Federico H (eds) Quantum worlds: different perspectives about the ontology of quantum mechanics. Cambridge University Press, Cambridge
Berto F (2017) Counting the particles: entity and identity in the philosophy of physics. Metaphysica 18(1):1–21
Bigaj T (2015) Dissecting weak discernibility of quanta. Stud History Philos Mod Phys 50:43–53. https://doi.org/10.1016/j.shpsb.2015.02.003
Black M (1952) The Identity of Indiscernibles. Mind 61:153–164
Brading K, Castellani E (2003) Symmetries in Physics: Philosophical Reflections. Cambridge University Press, Cambridge
Bueno O (2014) Why identity is fundamental. Am Philos Quart 51:325–332
Cassinelli G, de Voto E, Levrero A (1997) On the decompositions of a quantum state. J Math Anal Appl 210:472–83
Castellani E (ed) (1998) Interpreting bodies: classical and quantum objects in modern Physics. Princeton University Press, Princeton
Caulton A, Butterfield J (2012) On kinds of indiscernibility in logic and metaphysics. Br J Philos Sci 63:27–84
Coxeter HSM (1973) Regular polytopes, 3rd edn. Methuen (reprinted by Dover books),London
Dalla Chiara ML (1985) Some foundational problems in mathematics suggested by physics. Synthese 62:303–315
Dalla Chiara ML, Toralda Di Francia G (1995) Identity Questions from quantum theory. In: Gavroglu K, Stachel J, Wartofsky MW (eds) Physics, philosophy, and the scientific community Boston studies in the Philosophy of Science, vol 163. Springer, Dordrecht
Della Rocca M (2005) Two spheres, twenty spheres, and the identity of indiscernibles. Pac Philos Q 86:480–492
Dieks D (2020) Identical quantum particles, entanglement, and individuality. Entropy 22(134):1–16. https://doi.org/10.3390/e22020134
Dieks D, Versteegh MAM (2008) Identical quantum particles and weak discernibility. Found Phys 38:923–34
Dorato M, Morganti M (2013) Grades of individuality. A pluralistic view of identity in quantum mechanics and the sciences. Philos Stud 163:591–610
French S (1989) Why the principle of the identity of indiscernibles is not contingently true either. Synthese 78:141–66
French S, Krause D (2006) Identity in physics: a historical, philosophical and formal analysis. Clarendon Press, Oxford
Goodman R, Wallach NR (2009) Symmetry, representations, and invariants. Graduate Texts in Mathematics, vol 255. Springer, New York
Guay A, Pradeu T (eds) (2016) Individuals across the sciences. Oxford University Press, New York
Hacking I (1975) The Identity of Indiscernibles. J Philos 72(9):249–256. https://doi.org/10.2307/2024896
Hawley K (2009) Identity and indiscernibility. Mind 118:101–119
Heathcote A (2014) On the exhaustion of mathematical entities by structures. Axiomathes. 24(2):167–180. https://doi.org/10.1007/s10516-013-9223-6
Heathcote A (2020) Multiplicity and indiscernibility. Synthese. https://doi.org/10.1007/s11229-020-02600
Hesse M (1963) Models and analogies in science, london: sheed and ward; reprinted 1966 Notre Dame. University of Notre Dame Press, Notre Dame
Howard D et al (2011) The physics and metaphysics of identity and individuality, a book symposium on identity in physics: a historical. Philosophical and Formal Analysis by Stephen French and Décio Krause, Metascience 20:225–251. https://doi.org/10.1007/s11016-010-9463-7
Hughes C (1999) Bundle theory from A to B. Mind 108(429):149–156
Jantzen BC (2017) Entities without Identity: a semantical dilemma. Erkenntnis. https://doi.org/10.1007/s10670-017-9958-3
Krause D, Arenhart JRB (2018) Quantum non-individuality: background concepts and possibilities. In: The map and the territory: exploring the foundations of science, thought and reality. Springer. https://doi.org/10.1007/978-3-319-72478-2
Lowe EJ (2003) Individuation. In: Loux MJ, Zimmerman DW (eds) The Oxford handbook of metaphysics. Oxford University Press, Oxford, pp 75–95
Lowe EJ (2016) Non-individuals. In: Guay A, Pradeu T (eds) Individuals across the sciences. Oxford University Press, New York, pp 49–60
Mackey GW (1978) Unitary group representations in physics, probability, and number theory. Reading, Mass, Benjamin/Cummings
Muller F (2011) Withering away, weakly. Synthese 180:223–233
Muller F (2015) The rise of relationals. Mind 124:201–237
Muller F, Saunders S (2008) Discerning fermions. Br J Philos Sci 59:499–548
Muller F, Seevinck M (2009) Discerning elementary particles. Philos Sci 76:179–200
O’Leary-Hawthorne J (1995) The bundle theory of substance and the identity of indiscernibles. Analysis 55:191–6. https://doi.org/10.1093/analys/55.3.191
Quine WV (1976) Grades of discriminability. J Philos 73:113–116
Quine WV (1986) Philosophy of logic, 2nd edn. Harvard University Press, Harvard
Saunders S (2003) Physics and Leibniz’s principles’ in Brading and Castellani, pp 289–307
Saunders S (2006) Are quantum particles objects? Analysis 66(1):52–63
Saunders S (2016) The emergence of individuals in physics. In: Guay A, Pradeu T (eds) Individuals Across the Sciences. Oxford University Press, Oxford
Schrödinger E (1950) What is an elementary particle? In: Endeavour, vol 9, pp 109–116 (Reprinted in Castellani E (ed) 1998)
Stanley RP (2012) Enumerative combinatorics, vol 1, 2nd edn. Cambridge University Press, Cambridge
Sternberg S (1994) Group theory and physics. Cambridge University Press, Cambridge
Tarzi S (2003) Exclusion principles as restricted permutation symmetries. Found Phys 33:955–979. https://doi.org/10.1023/A:1025669511908
Toraldo di Francia G (1978) What is a physical object? Scientia 113:57–65
Weyl H (1931) The theory of groups and quantum mechanics (trans. by H. P. Robertson of Gruppentheorie und Quantenmechanik, second edition). Methuen (reprinted Dover 1950), London
Wigner E (1939) Unitary representations of the inhomogeneous Lorentz group. Ann Math Second Ser 40(1):149–204
Zimmerman DW (1997) Distinct indiscernibles and the bundle theory. Mind 106:305–9
Acknowledgements
My thanks to a reader of this journal for many suggestions that led to improvements.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Heathcote, A. Five Indistinguishable Spheres. Axiomathes 32, 367–383 (2022). https://doi.org/10.1007/s10516-020-09531-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10516-020-09531-6