Leibniz Quote on Identity: Indiscernibles

Quote

"There are never two beings in nature which are perfectly alike, and in which it is impossible to discover an internal difference." — Gottfried Wilhelm Leibniz, Monadology, Section 9 (1714)

Historical Context

Gottfried Wilhelm Leibniz composed the Monadology in 1714, toward the end of his extraordinarily productive career. The text was intended as a summary of his mature metaphysical system, addressed to a learned correspondent and modeled on the concise, aphoristic style of the scholastic philosophical manuals of his day. It was not published during Leibniz's lifetime; it first appeared in print in a German translation in 1720 and in the original French in 1840. Despite its delayed publication, the Monadology has become one of the most widely read and studied works of early modern philosophy, and its ninety short sections offer the most compact and authoritative statement of Leibniz's metaphysics.

The Stanford Encyclopedia of Philosophy notes that the Monadology was written during a period of intense philosophical activity for Leibniz. He had recently completed his correspondence with Samuel Clarke, a defender of Newtonian physics and metaphysics, in which he had defended his principle of sufficient reason and argued that every fact about the world has a reason why it is so rather than otherwise. The principle of the identity of indiscernibles, stated in Section 9 of the Monadology, is a direct consequence of the principle of sufficient reason: if two things were perfectly alike, there would be no sufficient reason for God to create one rather than the other, or to place one in a particular location rather than the other. Since God always acts for sufficient reasons, perfectly alike things cannot exist.

The intellectual context of the early eighteenth century was one of intense debate about the nature of substance, space, and individuality. Newton and Clarke defended an absolute conception of space as an independently existing container in which material bodies are located. On this view, two bodies could in principle be perfectly alike — having the same shape, size, and properties — while differing only in their location in absolute space. Leibniz rejected the Newtonian conception of absolute space and argued that space is merely the order of relations among coexisting things. On this relational view, the identity of a thing is determined not by its location in an absolute space but by its intrinsic properties and its relations to other things. If two things had all the same intrinsic properties and all the same relations, they would not be two things at all but one and the same thing described twice. This is the principle of the identity of indiscernibles.

Meaning

The statement "There are never two beings in nature which are perfectly alike, and in which it is impossible to discover an internal difference" is the canonical formulation of the principle of the identity of indiscernibles. The principle asserts that numerical diversity — the existence of two distinct things — necessarily entails qualitative diversity: if two things are genuinely distinct, there must be some property that one has and the other lacks. Perfectly identical things, in the sense of things that share all their properties, cannot exist as separate entities. If they shared all their properties, they would be one thing, not two.

Leibniz's argument for this principle rests on his commitment to the principle of sufficient reason, which holds that nothing happens without a reason why it is so rather than otherwise. If two perfectly alike things existed, there would be no sufficient reason for God to create one rather than the other, or to place one in position A and the other in position B. Since God must always have a sufficient reason for every choice, the existence of two perfectly alike things would violate the principle of sufficient reason. Therefore, no two perfectly alike things can exist. Every pair of distinct things must differ in at least one respect — and not merely in their spatial or temporal location, since Leibniz denied that space and time are independent realities, but in some intrinsic property or internal denomination.

The principle has significant consequences for Leibniz's metaphysics of monads. A monad, as Leibniz defined it, is a simple, indivisible, non-extended substance — the ultimate building block of reality. Because monads are simple, they cannot differ from one another in the way that composite things do: they have no parts that could be arranged differently, no extension that could vary in size. The only way monads can differ is in their internal states — the particular way each monad perceives or expresses the rest of the universe. The principle of the identity of indiscernibles thus guarantees that each monad is unique: each monad has a distinctive point of view on the universe, a distinctive way of representing the whole, and this internal difference is what makes it the individual that it is. The Internet Encyclopedia of Philosophy explains that for Leibniz, individuality is not an arbitrary fact but a metaphysical necessity: the principle of sufficient reason demands that every thing be distinguishable from every other, and the nature of monads — as simple substances whose only differences are internal — ensures that this demand is satisfied.

Philosophical Interpretation

The principle of the identity of indiscernibles has been one of the most debated ideas in the history of metaphysics, and its implications extend to the foundations of logic, the philosophy of mathematics, and the philosophy of science. The principle is sometimes confused with its converse, the principle of the indiscernibility of identicals, which states that if two things are identical (are the same thing), then they share all their properties. The indiscernibility of identicals is a logical truth that virtually no philosopher has denied. The identity of indiscernibles, by contrast, is a substantive metaphysical claim — that qualitative indistinguishability entails numerical identity — and it has been challenged by numerous philosophers.

The Stanford Encyclopedia of Philosophy observes that the most famous objection to the principle was raised by Max Black, who asked his readers to imagine a universe containing nothing but two perfectly symmetrical spheres, each having the same properties and standing in the same relations to the other. In this universe, Black argued, there are two distinct things — the two spheres — but there is no property that one has and the other lacks. The two spheres are qualitatively indistinguishable but numerically distinct, which contradicts the principle of the identity of indiscernibles. Defenders of Leibniz have responded that Black's two-sphere universe is impossible, because the existence of two spheres rather than one would violate the principle of sufficient reason, or that each sphere does have a property the other lacks — namely, the property of being identical to itself rather than to the other. The debate remains unresolved, and it illustrates the depth and difficulty of the questions that Leibniz's principle raises.

The principle also has implications for the concept of haecceity — the "thisness" or individual essence of a thing. If the identity of indiscernibles is true, then the individuality of a thing is fully determined by its qualitative properties, and there is no need for a non-qualitative property of "being this particular thing" to distinguish one individual from another. If the principle is false, then there may be irreducibly non-qualitative differences between individuals — differences that consist simply in the fact that one thing is this individual and another is that individual. Leibniz himself accepted a form of haecceitism, holding that each monad has a complete individual concept that includes everything that is true of it, past, present, and future. But his principle of the identity of indiscernibles suggests that this individual concept is determined by the monad's qualitative properties, not by a bare thisness that transcends them.

The principle has also found applications in contemporary philosophy of science, particularly in the foundations of quantum mechanics. The behavior of indistinguishable particles — electrons, photons, and other fundamental particles — has been interpreted by some physicists and philosophers as evidence for or against the identity of indiscernibles. The Internet Encyclopedia of Philosophy notes that the debate over whether quantum particles are individuals in the classical sense, and whether their indistinguishability supports or undermines Leibniz's principle, is one of the most active areas of research at the intersection of metaphysics and physics. The fact that Leibniz's principle, formulated three centuries ago, remains relevant to the interpretation of quantum mechanics testifies to its philosophical depth and its enduring power as a tool for thinking about the nature of individuality, identity, and the structure of reality.

The broader significance of Leibniz's principle lies in its connection to his rationalist vision of a universe in which everything has a reason and nothing is arbitrary. If the principle is true, then the universe is a place of perfect intelligibility, in which every thing is what it is for a reason and no two things exist without a difference that distinguishes them. This vision, grounded in the principle of sufficient reason and expressed in the elegant economy of the Monadology, represents one of the most ambitious attempts in the history of philosophy to demonstrate that reality is rational through and through, and that the diversity and individuality of things follow not from arbitrary facts but from the logical requirements of a sufficient reason.