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.

Leibniz was a philosopher of principles: the principles of Contradiction, of Sufficient Reason, of Identity of Indiscernibles, of Plenitude, of the Best, and of Continuity are among the most famous Leibnizian principles. In this article I shall focus on the first three principles; I shall discuss various formulations of the principles (sect. 1), what it means for these theses to have the status of principles or axioms in Leibniz’s philosophy (sect. 2), the fundamental character of the Principles of Contradiction (...) and Sufficient Reason (sect. 3), some attempts to demonstrate the Principles of Contradiction and Sufficient Reason (sect. 4), and one attempt to demonstrate the Principle of Identity of Indiscernibles (sect. 5). The main results of the chapter are summarized in a short conclusion (sect. 6). (shrink)

The aim of this paper is to render a detailed analysis of the correspondence with Clarke in order to shed some light in the relationship between the Principle of Identity of Indiscernibles and the Principle of Sufficient Reason. Most of the secondary literature takes for granted that Leibniz derives the Principle of Identity of Indiscernible from the Principle of Sufficient Reason in at least some parts of the correspondence. This would render the Principle of (...) Identity of Indiscernibles a merely contingent truth and not a necessary principle. I will argue that this interpretation is misleading, and that Leibniz never abandoned the idea that the Principle of Identity of Indiscernibles is a necessary truth. Although he is continuously using the Principle of Sufficient Reason in his argumentation, he keeps in parallel a strong argumentation that entails the necessity of the Principle of Identity of Indiscernibles. To achieve this goal, it will be necessary to point out first some contextual facts that may determine a correct understanding of the correspondence. It will be also necessary to frame the discussion about the principles into the broader debate on the possibility of Newtonian space. Finally, it will be shown that the mentioned hypothesis is supported by textual evidence throughout the entire correspondence. (shrink)

The relationship of the identity of indiscernibles principle to other major metaphysical principles (e.g., relational doctrine of space and time, elimination of singular terms) is discussed, the aim being to outline the necessary requirements of a systematic metaphysics incorporating the former principle. the conclusion is that no adequate systematic metaphysics of this sort is defensible. throughout special attention is paid to modern logical formulation of the principle and to its role in quine's philosophy.

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.

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)

The Principle of the Identity of Indiscernibles —the principle that no two numerically distinct things are perfectly similar—features prominently in Leibniz’s metaphysics. Despite its centrality to his philosophical system, it is surprisingly difficult to determine what modal status Leibniz ascribes to the PII. On many occasions Leibniz appears to endorse the necessity of the PII. There are a number of passages,however, where Leibniz seems to imply that numerically distinct indiscernibles are possible, which suggests that he subscribes (...) to a merely contingent version of the PII. In this paper I attempt to resolve this apparent inconsistency. I argue that Leibniz consistently takes the PII to be necessary and that this view of his shines through even in his correspondence with Clarke. I also show that competing interpretations, on which Leibniz’s PII is contingent, misread a number of crucial passages from this correspondence. (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)

There is a certain argument against the principle of the indiscernibility of identicals, or the thesis that whatever is true of a thing is true of anything identical with that thing. In this argument, PInI is used together with the self-evident principle of the necessity of self-identity to reach the conclusion, which is held to be paradoxical and, thus, fatal to PInI. My purpose is to show that the argument in question does not have this consequence. Further, I (...) argue that PInI is a universally valid principle which can be used to prove the necessity of identity. (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)

La plupart des commentateurs interprète le principe de l'identité des indiscernables comme principe purement logique, mais avec des implications métaphysiques, et donc, selon l'interprétation commune, comme fausseté ou vérité contingente ou triviale. Je soutiens, au contraire, que le principe, selon Leibniz, est vrai, mais que cette vérité n'est triviale ni contingente, mais nécessaire dans un sens métaphysique. Leibniz tent à démontrer la nécessité du principe dans deux manières : une manière logique et une manière métaphysique . Je soutiens que seule (...) la manière métaphysique peut réussir, et que la négligeance de cette manière aboutit au malentendu de ce principe. (shrink)

Faced with strong arguments to the effect that Leibniz''sPrinciple of the Identity of Indiscernibles (PII) is not a necessary truth, many supporters of the Principle have staged a strategic retreat to the claim that it is contingently true in this, the actual, world. The purpose of this paper is to examine the status of the various forms of PII in both classical and quantum physics, and it is concluded that this latter view is at best doubtful, at worst, (...) simply wrong. (shrink)

We analyze the notions of indiscernibility and indeterminacy in the light of the Galois theory of field extensions and the generalization to \(K\) -algebras proposed by Grothendieck. Grothendieck’s reformulation of Galois theory permits to recast the Galois correspondence between symmetry groups and invariants as a Galois–Grothendieck duality between \(G\) -spaces and the minimal observable algebras that discern (or separate) their points. According to the natural epistemic interpretation of the original Galois theory, the possible \(K\) -indiscernibilities between the roots of a (...) polynomial \(p(x)\in K[x]\) result from the limitations of the field \(K\) . We discuss the relation between this epistemic interpretation of the Galois–Grothendieck duality and Leibniz’s principle of the identity of indiscernibles. We then use the conceptual framework provided by Klein’s Erlangen program to propose an alternative ontologic interpretation of this duality. The Galoisian symmetries are now interpreted in terms of the automorphisms of the symmetric geometric figures that can be placed in a background Klein geometry. According to this interpretation, the Galois–Grothendieck duality encodes the compatibility condition between geometric figures endowed with groups of automorphisms and the ‘observables’ that can be consistently evaluated at such figures. In this conceptual framework, the Galoisian symmetries do not encode the epistemic indiscernibility between individuals, but rather the intrinsic indeterminacy in the pointwise localization of the figures with respect to the background Klein geometry. (shrink)

In considering the possibility that the fundamental particles of matter might violate Leibniz's Principle, one is confronted with logical proofs that the Principle is a Theorem of Logic. This paper shows that the proof of that theorem is not universal enough to encompass entities that might not be unique, and also strongly suggests that photons, for example, do violate Leibniz's Principle. It also shows that the existence of non-individuals would imply the breakdown of Quine's criterion of ontological (...) commitment. (shrink)

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)

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.

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.

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)

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.

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)

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

We analyze the notion of indiscernibility in the light of the Galois theory of field extensions and the generalization to K-algebras proposed by Grothendieck. Grothendieck's reformulation of Galois theory permits to recast the Galois correspondence between symmetry groups and invariants as a duality between G-spaces and the minimal observable algebras that separate theirs points. In order to address the Galoisian notion of indiscernibility, we propose what we call an epistemic reading of the Galois-Grothendieck theory. According to this viewpoint, the Galoisian (...) notion of indiscernibility results from the limitations of the `resolving power' of the observable algebras used to discern the corresponding `coarse-grained' states. The resulting Galois-Grothendieck duality is rephrased in the form of what we call a Galois indiscernibility principle. According to this principle, there exists an inverse correlation between the coarsegrainedness of the states and the size of the minimal observable algebra that discern these states. (shrink)

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)

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

The Principle of the Identity of Indiscernibles (PII) asserts that if putative objects x and y share all properties P, then they must be one and the same entity. Since the usual formal rendering of the PII has the same formal structure as the Leibniz Identity, it may be unclear whether it can be used to define identity and objectuality. As identity and objectuality are closely related, this study aims to examine their relationship within the framework of formal (...) ontology. Crucial for the discussion are issues about type and range of quantification and the invariance of the identity predicate coourring in the PII. Ultimately, the analysis reveals that the appeal to PII is insufficient for providing both identity and objectuality. Some further considerations about how the PII sensitively constrains the range of available ontologies or metaphysics are formulated. (shrink)

We show that Bounded Forcing Axioms (for instance, Martin's Axiom, the Bounded Proper Forcing Axiom, or the Bounded Martin's Maximum) are equivalent to principles of generic absoluteness, that is, they assert that if a $\Sigma_1$ sentence of the language of set theory with parameters of small transitive size is forceable, then it is true. We also show that Bounded Forcing Axioms imply a strong form of generic absoluteness for projective sentences, namely, if a $\Sigma^1_3$ sentence with parameters is forceable, then (...) it is true. Further, if for every real x, $x^{\sharp}$ exists, and the second uniform indiscernible is less than $\omega_2$ , then the same holds for $\Sigma^1_4$ sentences. (shrink)

The Principle of Sufficient Reason is a powerful and controversial philosophical principle stipulating that everything must have a reason or cause. This simple demand for thoroughgoing intelligibility yields some of the boldest and most challenging theses in the history of metaphysics and epistemology. In this entry we begin with explaining the Principle, and then turn to the history of the debates around it. A section on recent discussions of the Principle will be added in the near (...) future. (shrink)

Using the Hilbert-Bernays account as a spring-board, we first define four ways in which two objects can be discerned from one another, using the non-logical vocabulary of the language concerned. Because of our use of the Hilbert-Bernays account, these definitions are in terms of the syntax of the language. But we also relate our definitions to the idea of permutations on the domain of quantification, and their being symmetries. These relations turn out to be subtle---some natural conjectures about them are (...) false. We will see in particular that the idea of symmetry meshes with a species of indiscernibility that we will call `absolute indiscernibility'. We then report all the logical implications between our four kinds of discernibility. We use these four kinds as a resource for stating four metaphysical theses about identity. Three of these theses articulate two traditional philosophical themes: viz. the principle of the identity of indiscernibles, and haecceitism. The fourth is recent. Its most notable feature is that it makes diversity weaker than what we will call individuality : two objects can be distinct but not individuals. For this reason, it has been advocated both for quantum particles and for spacetime points. Finally, we locate this fourth metaphysical thesis in a broader position, which we call structuralism. We conclude with a discussion of the semantics suitable for a structuralist, with particular reference to physical theories as well as elementary model theory. (shrink)

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

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)

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

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.

Leibniz's principle of sufficient reason (PSR) is the claim that everything has a sufficient reason. But is Leibniz committed to the necessity or to the contingency of his great principle? I argue that Leibniz is committed to its contingency, given that he allows for the absolute possibility of entities that he claims violate the PSR. These are all cases of qualitatively indiscernible entities, such as indiscernible atoms, vacua, and bodies. However, Leibniz's commitment to the contingency of the PSR (...) seems to stand in tension with his inference of the PSR from his theory of truth. I argue that this apparent tension can be resolved satisfactorily. When it comes to his modal views on the PSR, Leibniz's position is entirely consistent. (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.