The Identity of Indiscernibles seems like a good enough way to define identity. Roughly it simply says that if x and y have all and only the same properties, these will be the same object. However the principle has come under attack using a series of thought experiments employing the idea of radical symmetry. I follow the history of the debate including its theological origins to assess the contemporary arguments against the Identity of Indiscernibles. I (...) argue that the principle is viable as a logical truth, and so can be put to work in our idea of objects. (shrink)

Gonzalo Rodriguez-Pereyra presents an original study of the place and role of the Identity of Indiscernibles in Leibniz's philosophy. The Principle of the Identity of Indiscernibles rules out numerically distinct but perfectly similar things; Leibniz derived it from more basic principles and used it to establish important philosophical theses. Rodriguez-Pereyra aims to establish what Leibniz meant by the Principle of Identity of Indiscernibles, what his arguments for and from it were, and to assess those (...) arguments and Leibniz's claims about the Principle of Identity of Indiscernibles. He argues that Leibniz had a very strong version of the principle, according to which no possibilia are intrinsically perfectly similar, where this excludes things that differ in magnitude alone. The book discusses Leibniz's arguments for the Identity of Indiscernibles in the Meditation on the Principle of the Individual, the Discourse on Metaphysics, Notationes Generales, Primary Truths, the letter to Casati of 1689, the correspondence with Clarke, as well as the use of the Identity of Indiscernibles in Leibniz's arguments against the Cartesian conception of the material world, atoms, absolute space and time, the Lockean conception of the mind as a tabula rasa, and freedom of indifference. Rodriguez-Pereyra argues that the Identity of Indiscernibles was a central but inessential principle of Leibniz's philosophy. (shrink)

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)

The mathematical field of graph theory has recently been used to provide counterexamples to the Principle of the Identity of Indiscernibles. In response to this, it has been argued that appeal to relations between graphs allows the Principle to survive the counterexamples. In this paper, I aim to show why that proposal does not succeed.

In his well-known 1952 dialogue Max Black describes a counterexample to the Principle of the Identity of Indiscernibles (PII). The counterexample is a world containing nothing but two purportedly indiscernible iron spheres. Reflecting on Black's example, Robert Adams uses the possibility of a world containing two almost indiscernible spheres to argue for the possibility of the indiscernible spheres world. One of Adams's almost indiscernible spheres has a small impurity, and, Adams writes, "Surely... the absence of the impurity would (...) not make such a universe impossible." The appeal to "surely" constitutes a gap in Adams's argument. This paper bridges the gap with a premise that exploits the counterfactual conditional and the related notion of causal independence. The paper then argues that causal independence bears in a similar way on an issue Nathan Salmon raises concerning Kripke's argument for the Essentiality of Origins. (shrink)

we propose a revised version of Black's original argument against the principle of identity of indiscernibles. Our aim is to examine a puzzle regarding the intuitiveness of arguments, by showing that the revised version is clearly less intuitive than Black's original one, and appears to be unjustified by our ordinary means of assessment of intuitions.

SummaryOne form of the principle of the identity of indiscernibles asserts that for any two distinct entities it is necessarily the case that there is a description which distinguishes between them, in that it applies to one but not to the other. In this paper it is argued that this form of the principle is false. The argument is based upon the nature of language, in particular the need for ostensive definition of terms which are not verbally definable. (...) It is concluded that the identity of indiscernibles, in its linguistic form, requires a power of discrimination which no language could possess. Other versions of the principle, however, formulated in terms of properties rather than descriptions, are unaffected by the argument and may well be true. (shrink)

This paper examines the view that ordinary particulars are complexes of universals. Russell's attempt to develop such a theory is articulated and defended against some common misinterpretations and unfounded criticisms in Section I. The next two sections address an argument which is standardly cited as the primary problem confronting the theory: (1) it is committed to the necessary truth of the principle of the identity of indiscernibles; (2) the principle is not necessarily true. It is argued in Section (...) II that a proponent of the theory need not accept (1) and an argument against (2) is presented in Section III. The final section attempts to show that Russell's theory ultimately fails because of inadequacies in its treatment of space and time. The paper closes with a suggestion for remedying this difficulty. (shrink)

The Identity of Indiscernibles is the principle that there cannot be two individual things in nature that are qualitatively identical. The principle is not exactly popular. Michael Della Rocca tries to resurrect it by arguing that we must accept this principle, for otherwise we cannot explain the impossibility of completely overlapping indiscernible objects of the same kind that share all their parts and exist in the same place at the same time. I try to show that his argument (...) goes wrong: we need not embrace the identity of indiscernibles to deal with the co-location problem. (shrink)

A and B continue their conversation concerning the Identity of Indiscernibles. Both are aware of recent critiques of the principle that haven’t received replies; B summarizes those critiques, and A offers the replies that are due. B then raises a new worry.

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)

The paper formulates and defends a version of the Identity of Indiscernibles and demonstrates that it entails a non-trivial version of the doctrine of essentialism.

: Hegel is commonly thought to affirm Leibniz’s principle of the identity of indiscernibles, which states that no two things are exactly alike. I argue that this interpretation is mistaken: it cannot accommodate passages in which Hegel rejects PII, and the texts cited in favor of this interpretation admit of another reading, which I provide. On my view, Hegel distinguishes between different senses of PII, and the sense of PII he accepts only entails that determinacy is immanent to (...) individuals qua concrete particulars. (shrink)

Causal essentialists hold that a property essentially bears its causal and nomic relations. Further, as many causal essentialists have noted, the main motivations for causal essentialism also motivate holding that properties are individuated in terms of their causal and nomic relations. This amounts to a kind of identity of indiscernibles thesis; properties that are indiscernible with respect to their causal and nomic relations are identical. This can be compared with the more well-known identity of indiscernibles thesis, (...) according to which particulars that are qualitatively indiscernible are identical. Robert Adams has developed a well-known objection to this thesis by considering a series of possibilities involving nearly qualitatively indiscernible particulars that naturally leads to a possibility involving qualitatively indiscernible particulars. I argue that we can construct parallel cases involving a series of possibilities involving properties that are nearly indiscernible with respect to their causal and nomic relations that naturally lead to possibilities involving properties that are indiscernible with respect to their causal and nomic relations. The same features that make Adams’ argument forceful also carry over to my cases, giving us a powerful objection to the causal essentialist identity of indiscernibles thesis. (shrink)

Recently, several authors have claimed to have found graph-theoretic counterexamples to the Principle of the Identity of Indiscernibles. In this paper, I argue that their counterexamples presuppose a certain view of what unlabeled graphs are, and that this view is optional at best.

The paper formulates and defends a version of the Identity of Indiscernibles and demonstrates that it entails a non-trivial version of the doctrine of essentialism.

The identity of indiscernibles states that indiscernible objects must be identical. Many philosophers have held that the PII turns out to be either true but trivial, or non-trivial but false, depending on how the notion of discernibility is spelled out. In this paper, I propose and defend an account of this notion which aims to yield a minimally non-trivial and yet plausible version of the PII. I argue moreover that this version of the principle is immune to a (...) number of well-known and recent objections to the PII. (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.

The view that numerical difference entails qualitative difference has come under attack from various quarters. One classical attack, advanced by Black, involves possible worlds which are symmetrical. In a symmetrical world, it is claimed, the identity of indiscernibles is false. I argue that such attacks are mistaken, basically because they confuse epistemological issues (such as, how to specify a quality difference) with ontological ones (such as, whether there is such a quality difference). In brief, though there may be (...) some reasons for doubting the necessity of the Identity of lndiscernibles, the possibility of a symmetrical world is not one of them. (shrink)

The Identity of Indiscernibles is the principle that objects cannot differ only numerically. It is widely held that one interpretation of this principle is trivially true: the claim that objects that bear all of the same properties are identical. This triviality ostensibly arises from haecceities (properties like \textit{is identical to a}). I argue that this is not the case; we do not trivialize the Identity of Indiscernibles with haecceities, because it is impossible to express the haecceities (...) of indiscernible objects. I then argue that this inexpressibility generalizes to all of their trivializing properties. Whether the Identity of Indiscernibles is trivially true ultimately turns on whether we can quantify over properties that we cannot express. (shrink)

It is surprisingly difficult to determine what modal strength Leibniz wants to ascribe to his principle of the identity of indiscernibles (PII). I consider this question by examining (i) some direct textual evidence, (ii) Leibniz's main arguments for PII, (iii) Leibniz's presumable response to a prominent contemporary defense of the necessity of PII against Max Black style counterexamples, and (iv) Leibniz's views about the possibility of primitive haecceities. I conclude that Leibniz probably takes PII to be necessary.

The strongest version of the principle of the Identity of Indiscernibles states that of necessity, there are no distinct things with all their universals in common (where such putative haecceities as being Aristotle do not count as universals: I use 'universal' rather than 'property' here and in what follows for the simple reason that 'universal' is the term of art that most safely excludes haecceities from its instances). It is commonly supposed that Max Black's famous paper 'The (...) class='Hi'>identity of indiscernibles' (2) refutes this thesis. (Armstong's [1], chapter 9 is representative here.) Black argues ([2], p. 156) that it is perfectly possible that there be a world consisting solely of two indiscernible spheres at some distance to each other and that this world constitutes a counterexample to the principle above. The strongest version of the bundle theory of substance claims that of necessity, the substances that make up the world are bundles of universals.1 It is commonly supposed that a consequence of Black's defeat of the principle of the Identity of Indiscernibles is that this bundle theory of substance is mistaken. (Again, Armstong's [1] is representative.) I shall argue that Black's thought experiment does not defeat the bundle theory and that, as a result, the bundle theory can be used to salvage the principle of the Identity of Indiscernibles. (shrink)

In Section 21 of his fifth letter to Clarke Leibniz attempts to derive the Identity of Indiscernibles from an application of the Principle of Sufficient Reason to God´s act of creation, namely that God has a reason to create the world he creates. In this paper I argue that this argument fails, not just because the Identity of Indiscernibles is false, but because there is a counterexample to one of the premises that Leibniz cannot satisfactorily rule (...) out. (shrink)

This paper concerns the question of whether Pauli's Exclusion Principle (EP) vindicates the contingent truth of Leibniz's Principle of the Identity of Indiscernibles (PII) for fermions as H. Weyl first suggested with the nomenclature ‘Pauli–Leibniz principle’. This claim has been challenged by a time-honoured argument, originally due to H. Margenau and further articulated and champione by other authors. According to this argument, the Exclusion Principle—far from vindicating Leibniz's principle—would refute it, since the same reduced state, viz. an improper (...) mixture, can be assigned as a separate state to each fermion of a composite system in antisymmetric state. As a result, the two fermions do have the same monadic state-dependent properties and hence are indiscernibles. PII would then be refuted in its strong version (viz. for monadic properties). I shall argue that a misleading assumption underlies Margenau's argument: in the case of two fermions in antisymmetric state, no separate states should be invoked since the states of the two particles are entangled and the improper mixture—assigned to each fermion by reduction—cannot be taken as an ontologically separate state nor consequently as encoding monadic properties. I shall then conclude that the notion of monadic properties together with the strong version of PII are inapplicable to fermions in antisymmetric state and this undercuts Margenau's argument. (shrink)

In this paper I defend the claim that quantum theory, Specifically quantum field theory (qft), Is incompatible with leibniz's principle of the identity of indiscernibles. This is in response to r. Barnette's criticism ("philosophy of science" 45:466-470) of an argument given by alberto cortes ("philosophy of science" 43:491-505) intended to establish this claim. I show that, Using the qft point of view, Cortes' argument can be restated in a way that leaves it immune to barnette's criticism.

Leibniz’s famous Principle of the Identity of Indiscernibles (PII) states that no two things are exactly alike. The PII is commonly thought to be metaphysically necessary for Leibniz: the coexistence of two indiscernibles is metaphysically impossible. This paper argues, against the standard interpretation, that Leibniz’s PII is metaphysically contingent. In other words, while the coexistence of indiscernibles would not imply a contradiction, the PII is true in the actual world because the Principle of Sufficient Reason rules (...) out violations of the PII. God could have created indiscernibles but he did not because he is wise and does nothing without a sufficient reason. Because it is plausible that all Leibnizian possible worlds are unified by a wise plan, this means that the PII is true in all possible worlds. God could create indiscernibles, but the resulting creation would not be a world. To argue for this conclusion, the paper carefully examines Leibniz’s mature account of metaphysical contingency. It shows that for Leibniz, only states of affairs that imply logical contradictions are metaphysically impossible. Next, it argues that the coexistence of indiscernibles would not imply a logical contradiction; it would merely imply what Leibniz calls a “moral absurdity,” that is, a violation of the Principle of Sufficient Reason. This means that the PII is true contingently and—since God can do whatever is metaphysically possible—that God can create two things that are exactly alike. (shrink)

Alberto Cortes, in [1], attempts to show that Leibniz's Principle of The Identity of Indiscernibles is a principle restricted to individuals, and that photons appear to violate L. L is stated by Leibniz as “no two substances are completely similar, or differ solo numero.” In second-order quantification theory with identity L becomes.

I give a critique of the argument against the Identity of Indiscernibles found in Max Black's dialogue "The Identity of Indiscernibles". I begin by postulating and giving existence and individuation conditions for actually existent thought experiment characters on analogy with fictional characters as postulated in Peter van Inwagen's "Creatures of Fiction". I then show that Black's two-spheres thought experiment raises not one but two discernibility questions: 1) Is it true in the two-spheres thought experiment that there (...) exist two indiscernible spheres? NO. 2) Is it true in the actual world that there are two indiscernible sphere-characters? YES. (shrink)

I argue that the standard counterexamples to the identity of indiscernibles fail because they involve a commitment to a certain kind of primitive or brute identity that has certain very unpalatable consequences involving the possibility of objects of the same kind completely overlapping and sharing all the same proper parts. The only way to avoid these consequences is to reject brute identity and thus to accept the identity of indiscernibles. I also show how the (...) rejection of the identity of indiscernibles derives some of its support from its affinity with a Kripkean account of trans-world identity and theories of direct reference. (shrink)

The principle of Identity of Indiscernibles has been challenged with various thought experiments involving symmetric universes. In this paper, I describe a fractal universe and argue that, while it is not a symmetric universe in the classical sense, under the assumption of a relational theory of space it nonetheless contains a set of objects indiscernible by pure properties alone. I then argue that the argument against the principle from this new thought experiment resists better than those from classical (...) symmetric universes three main objections put forth against this kind of arguments. (shrink)