Identity of indiscernibles
The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. That is, entities x and y are identical if every predicate possessed by x is also possessed by y and vice versa. It states that no two distinct things (such as snowflakes) can be exactly alike, but this is intended as a metaphysical principle rather than one of natural science. A related principle is the indiscernibility of identicals, discussed below.
A form of the principle is attributed to the German philosopher Gottfried Wilhelm Leibniz. While some think that Leibniz's version of the principle is meant to be only the indiscernibility of identicals, others have interpreted it as the conjunction of the identity of indiscernibles and the indiscernibility of identicals (the converse principle). Because of its association with Leibniz, the indiscernibility of identicals is sometimes known as Leibniz's law. It is considered to be one of his great metaphysical principles, the other being the principle of noncontradiction and the principle of sufficient reason (famously been used in his disputes with Newton and Clarke in the Leibniz–Clarke correspondence).
Some philosophers have decided, however, that it is important to exclude certain predicates (or purported predicates) from the principle in order to avoid either triviality or contradiction. An example (detailed below) is the predicate that denotes whether an object is equal to x (often considered a valid predicate). As a consequence, there are a few different versions of the principle in the philosophical literature, of varying logical strength—and some of them are termed "the strong principle" or "the weak principle" by particular authors, in order to distinguish between them.
Willard Van Orman Quine thought that the failure of substitution in intensional contexts (e.g., "Sally believes that p" or "It is necessarily the case that q") shows that modal logic is an impossible project.[relevant?] Saul Kripke holds that this failure may be the result of the use of the disquotational principle implicit in these proofs, and not a failure of substitutivity as such.[relevant?]
The identity of indiscernibles has been used to motivate notions of noncontextuality within quantum mechanics.
Identity and indiscernibility
Both identity and indiscernibility are expressed by the word "same". Identity is about numerical sameness, it is expressed by the equality sign ("="). It is the relation each object bears only to itself. Indiscernibility, on the other hand, concerns qualitative sameness: two objects are indiscernible if they have all their properties in common. Formally, this can be expressed as "". The two senses of sameness are linked by two principles: the principle of indiscernibility of identicals and the principle of identity of indiscernibles. The principle of indiscernibility of identicals is uncontroversial and states that if two entities are identical with each other then they have the same properties. The principle of identity of indiscernibles, on the other hand, is more controversial in making the converse claim that if two entities have the same properties then they must be identical. This entails that "no two distinct things exactly resemble each other". Note that these are all second-order expressions. Neither of these principles can be expressed in first-order logic (are nonfirstorderizable). Taken together, they are sometimes referred to as Leibniz's law. Formally, the two principles can be expressed in the following way:
- The indiscernibility of identicals:
- For any and , if is identical to , then and have all the same properties.
- The identity of indiscernibles:
- For any and , if and have all the same properties, then is identical to .
If all such predicates ∀F are included, then the second principle as formulated above can be trivially and uncontroversially shown to be a logical tautology: if x is non-identical to y, then there will always be a putative "property F" that distinguishes them, namely "being identical to x".
On the other hand, it is incorrect to exclude all predicates that are materially equivalent (i.e., contingently equivalent) to one or more of the four given above. If this is done, the principle says that in a universe consisting of two non-identical objects, because all distinguishing predicates are materially equivalent to at least one of the four given above (in fact, they are each materially equivalent to two of them), the two non-identical objects are identical—which is a contradiction.
The equality relation expressed by the sign "=" is an equivalence relation in being reflexive (everything is equal to itself), symmetric (if x is equal to y then y is equal to x) and transitive (if x is equal to y and y is equal to z then x is equal to z). The principle of indiscernibility of identicals together with the axiom of reflexivity can be used to define the equality relation. Other properties of the equality relation, like symmetry and transitivity, follow from these two axioms and therefore no additional axioms are needed to account for them.
Indiscernibility and conceptions of properties
Indiscernibility is usually defined in terms of shared properties: two objects are indiscernible if they have all their properties in common. The plausibility and strength of the principle of identity of indiscernibles depend on the conception of properties used to define indiscernibility.
One important distinction in this regard is between pure and impure properties. Impure properties are properties that, unlike pure properties, involve reference to a particular substance in their definition. So, for example, being a wife is a pure property while being the wife of Socrates is an impure property due to the reference to the particular "Socrates". Sometimes, the terms qualitative and non-qualitative are used instead of pure and impure. Discernibility is usually defined in terms of pure properties only. The reason for this is that taking impure properties into consideration would result in the principle being trivially true since any entity has the impure property of being identical to itself, which it does not share with any other entity.
Another important distinction concerns the difference between intrinsic and extrinsic properties. A property is extrinsic to an object if having this property depends on other objects (with or without reference to particular objects), otherwise it is intrinsic. For example, the property of being an aunt is extrinsic while the property of having a mass of 60 kg is intrinsic. Defining indiscernibility in terms of only intrinsic pure properties results in the strongest version of the identity of indiscernibles. According to this version, it would be impossible for two distinct but intrinsically identical books to lie next to each other on a table. On a weaker version, taking also extrinsic pure properties into consideration, this case is possible since the two books are discernible through their extrinsic properties.
Max Black has argued against the identity of indiscernibles by counterexample. Notice that to show that the identity of indiscernibles is false, it is sufficient that one provide a model in which there are two distinct (numerically nonidentical) things that have all the same properties. He claimed that in a symmetric universe wherein only two symmetrical spheres exist, the two spheres are two distinct objects even though they have all their properties in common.
Black argues that even relational properties (properties specifying distances between objects in space-time) fail to distinguish two identical objects in a symmetrical universe. Per his argument, two objects are, and will remain, equidistant from the universe's plane of symmetry and each other. Even bringing in an external observer to label the two spheres distinctly does not solve the problem, because it violates the symmetry of the universe.
Indiscernibility of identicals
As stated above, the principle of indiscernibility of identicals—that if two objects are in fact one and the same, they have all the same properties—is mostly uncontroversial. However, one famous application of the indiscernibility of identicals was by René Descartes in his Meditations on First Philosophy. Descartes concluded that he could not doubt the existence of himself (the famous cogito argument), but that he could doubt the existence of his body.
This argument is criticized by some modern philosophers on the grounds that it allegedly derives a conclusion about what is true from a premise about what people know. What people know or believe about an entity, they argue, is not really a characteristic of that entity. A response may be that the argument in the Meditations on First Philosophy is that the inability of Descartes to doubt the existence of his mind is part of his mind's essence. One may then argue that identical things should have identical essences.
- Entities x and y are identical if and only if any predicate possessed by x is also possessed by y and vice versa.
- Clark Kent is Superman's secret identity; that is, they're the same person (identical) but people don't know this fact.
- Lois Lane thinks that Clark Kent cannot fly.
- Lois Lane thinks that Superman can fly.
- Therefore Superman has a property that Clark Kent does not have, namely that Lois Lane thinks that he can fly.
- Therefore, Superman is not identical to Clark Kent.
- Since in proposition 6 we come to a contradiction with proposition 2, we conclude that at least one of the premises is wrong. Either:
- Leibniz's law is wrong; or
- A person's knowledge about x is not a predicate of x; or
- The application of Leibniz's law is erroneous; the law is only applicable in cases of monadic, not polyadic, properties; or
- What people think about are not the actual objects themselves; or
- A person is capable of holding conflicting beliefs.
- Any of which will undermine Descartes' argument.
- 1st axiom of a metric
- Disquotational principle – Philosophical assertion about rational thought
- Indistinguishable particles, a similar idea in quantum mechanics
- Intensional fallacy
- Identity (philosophy) – Relation each thing bears to itself alone
- Masked-man fallacy – Formal fallacy when one makes an illicit use of Leibniz's law in an argument, a fallacious use of this principle
- Ship of Theseus – philosophical question
- Structural type system, a similar idea in computer science
- First-order logic § Equality and its axioms
- Forrest, Peter (Fall 2008). "The Identity of Indiscernibles". In Edward N. Zalta (ed.). The Stanford Encyclopedia of Philosophy. Retrieved 2012-04-12.
- Quine, W. V. O. "Notes on Existence and Necessity." The Journal of Philosophy, Vol. 40, No. 5 (March 4, 1943), pp. 113–127
- Kripke, Saul. "A Puzzle about Belief". First appeared in, Meaning and Use. ed., A. Margalit. Dordrecht: D. Reidel, 1979. pp. 239–283
- Sandkühler, Hans Jörg (2010). "Ontologie: 4 Aktuelle Debatten und Gesamtentwürfe". Enzyklopädie Philosophie. Meiner.
- Noonan, Harold; Curtis, Ben (2018). "Identity". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Retrieved 4 January 2021.
- Audi, Robert. "identity". The Cambridge Dictionary of Philosophy. Cambridge University Press.
- Black, Max (1952). "The Identity of Indiscernibles". Mind. 61 (242): 153–64. doi:10.1093/mind/LXI.242.153. JSTOR 2252291.
- Alfred North Whitehead and Bertrand Russell (1910). Principia Mathematica. 1. Cambridge: University Press. Here: Sect.13 Identity, Def. 13.01, Lem.13.16.,17., p.176,178
- Forrest, Peter (2020). "The Identity of Indiscernibles: 1. Formulating the Principle". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Retrieved 25 January 2021.
- Honderich, Ted (2005). "identity of indiscernibles". The Oxford Companion to Philosophy. Oxford University Press.
- Rosenkrantz, Gary S. (1979). "THE PURE AND THE IMPURE". Logique et Analyse. 22 (88): 515. ISSN 0024-5836.
- Cowling, Sam (2015). "Non-Qualitative Properties". Erkenntnis. 80 (2): 275–301. doi:10.1007/s10670-014-9626-9.
- Marshall, Dan; Weatherson, Brian (2018). "Intrinsic vs. Extrinsic Properties". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Retrieved 25 January 2021.
- Allen, Sophie. "Properties: 7a. Intrinsic and Extrinsic Properties". Internet Encyclopedia of Philosophy. Retrieved 25 January 2021.
- Metaphysics: An Anthology. eds. J. Kim and E. Sosa, Blackwell Publishing, 1999
- Carriero, John Peter (2008). Between Two Worlds: A Reading of Descartes's Meditations. Princeton University Press. ISBN 978-1400833191.
- Pitt, David (October 2001), "Alter Egos and Their Names" (PDF), The Journal of Philosophy, 98 (10): 531–552, 550, doi:10.2307/3649468, JSTOR 3649468, archived from the original (PDF) on 2006-05-08