Abstract
Recently, there has been a debate as to whether or not the principle of the identity of indiscernibles (the PII) is compatible with quantum physics. It is also sometimes argued that the answer to this question has implications for the debate over the tenability of ontic structural realism (OSR). The central aim of this paper is to establish what relationship there is (if any) between the PII and OSR. It is argued that one common interpretation of OSR is undermined if the PII turns out to be false, since it is committed to a version of the bundle theory of objects, which implies the PII. However, if OSR is understood as the physical analogue of (sophisticated) mathematical structuralism then OSR does not imply the PII. It is further noted that it is (arguably) a virtue of OSR that it is compatible with a version of the PII for possible worlds.
Similar content being viewed by others
Notes
See Quine (1976, pp. 113–114), Saunders (2003a, pp. 4–5; 2006, p. 57), Ketland (2006, p. 306), Muller and Saunders (2008, p. 528), Muller and Seevinck (2009, p. 182), Ladyman and Bigaj (2010, pp. 125–127) and Muller (forthcoming, Section 3). However, not all of these authors distinguish all four grades of discernibility, and not all use the same terminology: Quine distinguishes strong, moderate and weak discriminability (corresponding to absolute, relative and weak discernibility); Saunders distinguishes absolute, relative and weak discernibility; Ketland distinguishes monadic, polyadic and weak discernibility (corresponding to absolute, relational and weak discernibility).
The analogue does hold in the case of ϕ-discernibility, since relative ϕ-discernibility implies relational ϕ-discernibility and relational ϕ-discernibility is equivalent to weak ϕ-discernibility.
Another intuitively plausible definition of indiscernibility, would classify a and b as indiscernibile (in a structure) if and only if there is an automorphism of the structure that maps them onto each other. If two objects are not relationally discernible then they are indiscernible in this sense:
-
(i)
Suppose a and b are not relationally p-discernible.
-
(ii)
So there is no n-ary predicate, R, such that \( \exists x_{1} \ldots \exists x_{n - 1} \neg (Ra,\, x_{1} , \ldots , \,x_{n - 1} \leftrightarrow Rb, \,x_{1} , \ldots , \, x_{n - 1} ) \) or…
-
(iii)
So for every n-ary predicate, R, ∀x 1…∀x n−1(Ra,x 1 ,…,x n−1 ↔ Rb,x 1 ,…,x n−1) and…
-
(iv)
So for every n-ary relation, R*, and every (n−1)-tuple of elements 〈a 1 ,…, a n−1〉, the n-tuple 〈a, a 1 ,…, a n−1〉 ∈ R* if and only if 〈b, a 1 ,…, a n−1〉 ∈ R* and the n-tuple 〈a 1 , a, a 2 ,…, a n−1〉 ∈ R* if and only if 〈a 1 , b, a 2 …, a n−1〉 ∈ R* and…
-
(v)
So the function f (f(a) = b, f(b) = a and f(x) = x for all other x) is an automorphism of the structure.
However, the converse does not hold. Consider the structure:
({a, b}; {〈a, b〉, 〈b, a〉})
The function f (f(a) = b, f(b) = a) is an automorphism of this structure, but a and b are relationally discernible (in fact, they are even weakly p-discernible).
-
(i)
In fact, as James Ladyman has pointed out to me, this is probably not even an accurate characterisation of the version of the PII that Leibniz had in mind. Leibniz (arguably) thought that no two distinct objects share all the same intrinsic properties. But whether or not there are monadic predicates for all and only the intrinsic properties depends on the language in question. In English, for example, there are monadic predicates for what appear to be relational properties (e.g. “uncle”) and it seems likely that there exist intrinsic properties for which there are currently no predicates in English (even within the last 100 years physicists have discovered new intrinsic properties and have had to invent new predicates for them (charm, strangeness, etc.): it would be rash to suppose that this will not happen again).
If one is not familiar with this debate then one might think that our scientific theories could not possibly suggest that the weakest version of the PII was false, because, on the face of it, it seems there could be no empirical grounds to postulate the existence of two distinct objects that share all the same properties and relations. But this is not correct. We would have empirical grounds to postulate the existence of two distinct but indiscernible objects if (for example) the properties of a system consisting of two such objects were not identical to the properties of a system consisting of just one of the objects (for example, the former system might have twice the mass of the latter). So even though the objects are individually indiscernible, there is a discernible difference between a system that consists of one such object and a system that consists of two such objects.
In the light of the arguments of Muller and Seevinck (2009), it is no longer so clear that free photons are a counterexample to all forms of the PII.
However, Rodriguez-Pereyra (2004) has argued that the bundle theory does not imply the PII.
As structures themselves contain objects one might think that this does no more than assert that “elementary” particles are themselves composed of more fundamental objects, and this does not appear to be a form of OSR at all. Possibly, Muller has in mind the view that there is no lowest level of objects: any objects we find will themselves turn out to be structures on further analysis. Cf. Saunders (2003b), Stachel (2006, p. 54), Ladyman (2007a) and Ladyman and Ross (2007).
Cf. Dieks and Versteegh (2008) who state that, “The form taken by the ‘bundle idea’ in the case of relational properties is actually much discussed in present-day philosophy of science, and known as a from of structuralism. […] This position fits PII very well” (Dieks and Versteegh 2008, p. 927). The connection between OSR and the bundle theory of objects has also been noted by French (“in the absence of further metaphysical explication of the notion of structure itself, it is not yet clear whether or not such an approach [i.e. OSR] collapses into another form of the well-known conception of objects as bundles of properties” (French 2006, pp. 10–11)), Pooley (“the idea of the independent existence of structures suggests an obvious comparison, viz. with the view that physical objects are nothing but bundles of collocated properties (‘bundle theory’)” (Pooley, 2006, p. 93)) and Ainsworth (“[the OSRist’s] claim that relata are secondary to relations is not as revolutionary as it might at first appear: a similar claim is put forward in the so-called ‘bundle theory’ of objects” (Ainsworth 2010, p. 52)).
We need to restrict ourselves to the context of a particular structure here. In the context of the structure we get if we remove the less than relation from the natural number structure 5 is not terminologically dependent on the less than relation, since we would still call an object 5 even though the less than relation does not exist (in that structure). Likewise, in the context of the structure we get if we remove 5 from the natural number structure the less than relation is not terminologically dependent on 5.
It is thus the denial of the claim that there can be two distinct but indiscernible possible worlds, a doctrine sometimes known as haecceitism.
References
Ainsworth, P. M. (2010). What is ontic structural realism? Studies in History and Philosophy of Modern Physics, 41(1), 50–57.
Black, M. (1952). The Identity of indiscernibles. Mind, 61, 153–164.
Burgess, J. (1999). Review of Stewart Shapiro, philosophy of mathematics: Structure and ontology. Notre Dame Journal of Formal Logic, 40, 283–291.
Button, T. (2006). Realistic structuralism’s identity crisis: A hybrid solution. Analysis, 66(3), 216–222.
Dieks, D., & Versteegh, M. A. M. (2008). Identical quantum particles and weak discernibility. Foundations of Physics, 38, 923–934.
Esfeld, M. (2004). Quantum entanglement and a metaphysics of relations. Studies in History and Philosophy of Modern Physics, 35, 601–617.
Esfeld, M., & Lam, V. (2008). Moderate structural realism about space-time. Synthese, 160, 27–46.
Forrest, P. (2006). The identity of indiscernibles. Stanford Encyclopedia of Philosophy, from http://plato.stanford.edu.
French, S. (2006). Identity and individuality in quantum theory. Stanford Encyclopedia of Philosophy, from http://plato.stanford.edu.
French, S. (2010). The interdependence of structure, objects and dependence. Synthese, 175, 89–109.
Keränen, J. (2001). The identity problem for realist structuralism. Philosophia Mathematica, 3, 308–330.
Ketland, J. (2006). Structuralism and the identity of indiscernibles. Analysis, 66(4), 303–315.
Ladyman, J. (1998). What is structural realism? Studies in the History and Philosophy of Science, 29(3), 409–424.
Ladyman, J. (2007a). Structural realism. Stanford Encyclopaedia of Philosophy, from http://plato.stanford.edu.
Ladyman, J. (2007b). On the identity and diversity of objects in a structure. Proceedings of the Aristotelian Society supplementary Volume LXXXVI, 23–43.
Ladyman, J., & Bigaj, T. (2010). The principle of the idenity of indiscernibles and quantum mechanics. Philsoophy of Science, 77, 117–136.
Ladyman, J., & Ross, D. (2007). Every thing must go. Oxford: Oxford University Press.
Leitgib, H., & Ladyman, J. (2008). Criteria of identity and structuralist ontology. Philosophia Mathematica, 16, 388–396.
MacBride, F. (2006). What constitutes the numerical diversity of mathematical objects. Analysis, 66(1), 63–69.
Morganti, M. (2004). On the preferability of epistemic structural realism. Synthese, 142, 81–107.
Muller, F. A. (forthcoming). Withering Away, Weakly. Synthese. doi:10.1007/s11229-009-9609-6
Muller, F. A., & Saunders, S. (2008). Discerning fermions. British Journal for Philosophy of Science, 59, 499–548.
Muller, F. A., & Seevinck, M. P. (2009). Discerning elementary particles. Philosophy of Science, 76, 179–200.
Parsons, C. (1990). The structuralist view of mathematical objects. Synthese, 84, 303–346.
Pooley, O. (2006). Points, particles and structural realism. In D. Rickles, S. French, & J. Saatsi (Eds.), Structural foundations of quantum gravity (pp. 83–120). Oxford: Oxford University Press.
Quine, W. V. O. (1976). Grades of discriminability. Journal of Philosophy, 73, 113–116.
Rodriguez-Pereyra, G. (2004). The bundle theory is compatible with distinct but indiscernible particulars. Analysis, 64(1), 72–81.
Saunders, S. (2003a). Physics and Leibniz’s Principles. In K. Brading & E. Castellani (Eds.), Symmetries in physics: Philosophical reflections. Cambridge: Cambridge University Press.
Saunders, S. (2003b). Structural realism again. Synthese, 126, 127–133.
Saunders, S. (2006). Are quantum particles objects? Analysis, 66(1), 52–63.
Shapiro, S. (1997). Philosophy of mathematics: Structure and ontology. Oxford: Oxford University Press.
Shapiro, S. (2008). Identity, indiscernibility, and ante rem structuralism: The tale of i and–i. Philosophia Mathematica (III), 16(3), 285–309.
Stachel, J. (2006). Structure, individuality and quantum gravity. In D. Rickles, S. French, & J. Saatsi (Eds.), Structural foundations of quantum gravity (pp. 53–82). Oxford: Oxford University Press.
Acknowledgments
I gratefully acknowledge the financial support of the Leverhulme foundation. This paper was inspired by discussions in the Bristol structuralism group and I owe a huge academic debt to everyone there. I’m especially indebted to James Ladyman, who made some helpful comments on an early draft of this paper. I’m also indebted to the anonymous referees of the journal, both of whom made a number of useful comments.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ainsworth, P. Ontic Structural Realism and the Principle of the Identity of Indiscernibles. Erkenn 75, 67–84 (2011). https://doi.org/10.1007/s10670-011-9279-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10670-011-9279-x