Identity of indiscernibles

Last updated

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.

Contents

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. [1]

The identity of indiscernibles has been used to motivate notions of noncontextuality within quantum mechanics.

Associated with this principle is also the question as to whether it is a logical principle, or merely an empirical principle.

Identity and indiscernibility

Both identity and indiscernibility are expressed by the word "same". [2] [3] Identity is about numerical sameness, and is expressed by the equality sign ("="). It is the relation each object bears only to itself. [4] Indiscernibility, on the other hand, concerns qualitative sameness: two objects are indiscernible if they have all their properties in common. [1] 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. [3] 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. [3] This entails that "no two distinct things exactly resemble each other". [1] 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:

  1. The indiscernibility of identicals:
    For any and , if is identical to , then and have all the same properties.
  2. The identity of indiscernibles:
    For any and , if and have all the same properties, then is identical to .

Principle 1 is generally regarded as an a priori logical truth. [1] Principle 2, on the other hand, is controversial; Max Black famously argued against it. [5]

In a universe of two distinct objects A and B, all predicates F are materially equivalent to one of the following properties:

If ∀F applies to all such predicates, then the second principle as formulated above reduces trivially and uncontroversially to a logical tautology. In that case, the objects are distinguished by IsA, IsB, and all predicates that are materially equivalent to either of these. This argument can combinatorially be extended to universes containing any number of distinct objects.

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 indiscernibility of identicals and identity of indiscernables can jointly be used to define the equality relation. The symmetry and transitivity of equality follow from the first principle, whereas reflexivity follows from the second. Both principles can be combined into a single axiom by using a biconditional operator () in place of material implication (). [6] [ citation needed ]

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. [7] The plausibility and strength of the principle of identity of indiscernibles depend on the conception of properties used to define indiscernibility. [7] [8]

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. [7] 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". [9] Sometimes, the terms qualitative and non-qualitative are used instead of pure and impure. [10] 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. [7] [8]

Another important distinction concerns the difference between intrinsic and extrinsic properties. [8] 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. [11] [12] If the identity of indiscernibles is defined only in terms of intrinsic pure properties, one cannot regard two books lying on a table as distinct when they are intrinsically identical. But if extrinsic and impure properties are also taken into consideration, the same books become distinct so long as they are discernible through the latter properties. [7] [8]

Critique

Symmetric universe

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. [13]

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. [14]

Numerous counterexamples are given to debunk Descartes' reasoning via reductio ad absurdum , such as the following argument based on a secret identity:

  1. Entities x and y are identical if and only if any predicate possessed by x is also possessed by y and vice versa.
  2. Clark Kent is Superman's secret identity; that is, they're the same person (identical) but people don't know this fact.
  3. Lois Lane thinks that Clark Kent cannot fly.
  4. Lois Lane thinks that Superman can fly.
  5. Therefore Superman has a property that Clark Kent does not have, namely that Lois Lane thinks that he can fly.
  6. Therefore, Superman is not identical to Clark Kent. [15]
  7. 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. [16]

See also

Related Research Articles

In analytic philosophy, anti-realism is a position which encompasses many varieties such as metaphysical, mathematical, semantic, scientific, moral and epistemic. The term was first articulated by British philosopher Michael Dummett in an argument against a form of realism Dummett saw as 'colorless reductionism'.

<span class="mw-page-title-main">Existence</span> State of being real

Existence is the state of being real or participating in reality. The terms "being", "reality", and "actuality" are often used as close synonyms. Existence contrasts with nonexistence, nothingness, and nonbeing. A common distinction is between the existence of an entity and its essence, which refers to the entity's nature or essential qualities.

First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables, so that rather than propositions such as "Socrates is a man", one can have expressions in the form "there exists x such that x is Socrates and x is a man", where "there exists" is a quantifier, while x is a variable. This distinguishes it from propositional logic, which does not use quantifiers or relations; in this sense, propositional logic is the foundation of first-order logic.

<span class="mw-page-title-main">Metaphysics</span> Branch of philosophy dealing with reality

Metaphysics is the branch of philosophy that studies the fundamental nature of reality. This includes the first principles of: being or existence, identity, change, space and time, cause and effect, necessity, actuality, and possibility.

<span class="mw-page-title-main">Ontology</span> Philosophical study of being and existence

In metaphysics, ontology is the philosophical study of being. It investigates what types of entities exist, how they are grouped into categories, and how they are related to one another on the most fundamental level. Ontologists often try to determine what the categories or highest kinds are and how they form a system of categories that encompasses the classification of all entities. Commonly proposed categories include substances, properties, relations, states of affairs, and events. These categories are characterized by fundamental ontological concepts, including particularity and universality, abstractness and concreteness, or possibility and necessity. Of special interest is the concept of ontological dependence, which determines whether the entities of a category exist on the most fundamental level. Disagreements within ontology are often about whether entities belonging to a certain category exist and, if so, how they are related to other entities.

Substance theory, or substance–attribute theory, is an ontological theory positing that objects are constituted each by a substance and properties borne by the substance but distinct from it. In this role, a substance can be referred to as a substratum or a thing-in-itself. Substances are particulars that are ontologically independent: they are able to exist all by themselves. Another defining feature often attributed to substances is their ability to undergo changes. Changes involve something existing before, during and after the change. They can be described in terms of a persisting substance gaining or losing properties. Attributes or properties, on the other hand, are entities that can be exemplified by substances. Properties characterize their bearers; they express what their bearer is like.

In metaphysics, identity is the relation each thing bears only to itself. The notion of identity gives rise to many philosophical problems, including the identity of indiscernibles, and questions about change and personal identity over time. It is important to distinguish between qualitative identity and numerical identity. For example, consider two children with identical bicycles engaged in a race while their mother is watching. The two children have the same bicycle in one sense and the same mother in another sense. This article is mainly concerned with numerical identity, which is the stricter notion.

In mathematics, equality is a relationship between two quantities or, more generally, two mathematical expressions, asserting that the quantities have the same value, or that the expressions represent the same mathematical object. The equality between A and B is written A = B, and pronounced "A equals B". The symbol "=" is called an "equals sign". Two objects that are not equal are said to be distinct.

Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. Some theorists conceive philosophical logic in a wider sense as the study of the scope and nature of logic in general. In this sense, philosophical logic can be seen as identical to the philosophy of logic, which includes additional topics like how to define logic or a discussion of the fundamental concepts of logic. The current article treats philosophical logic in the narrow sense, in which it forms one field of inquiry within the philosophy of logic.

<span class="mw-page-title-main">Supervenience</span> Relation between sets of properties or facts

In philosophy, supervenience refers to a relation between sets of properties or sets of facts. X is said to supervene on Y if and only if some difference in Y is necessary for any difference in X to be possible.

In logic, philosophy and related fields, mereology is the study of parts and the wholes they form. Whereas set theory is founded on the membership relation between a set and its elements, mereology emphasizes the meronomic relation between entities, which—from a set-theoretic perspective—is closer to the concept of inclusion between sets.

In logic and philosophy, a property is a characteristic of an object; a red object is said to have the property of redness. The property may be considered a form of object in its own right, able to possess other properties. A property, however, differs from individual objects in that it may be instantiated, and often in more than one object. It differs from the logical/mathematical concept of class by not having any concept of extensionality, and from the philosophical concept of class in that a property is considered to be distinct from the objects which possess it. Understanding how different individual entities can in some sense have some of the same properties is the basis of the problem of universals.

A free logic is a logic with fewer existential presuppositions than classical logic. Free logics may allow for terms that do not denote any object. Free logics may also allow models that have an empty domain. A free logic with the latter property is an inclusive logic.

In philosophical logic, the masked-man fallacy is committed when one makes an illicit use of Leibniz's law in an argument. Leibniz's law states that if A and B are the same object, then A and B are indiscernible. By modus tollens, this means that if one object has a certain property, while another object does not have the same property, the two objects cannot be identical. The fallacy is "epistemic" because it posits an immediate identity between a subject's knowledge of an object with the object itself, failing to recognize that Leibniz's Law is not capable of accounting for intensional contexts.

In philosophical logic, a slingshot argument is one of a group of arguments claiming to show that all true sentences stand for the same thing.

"On Denoting" is an essay by Bertrand Russell. It was published in the philosophy journal Mind in 1905. In it, Russell introduces and advocates his theory of denoting phrases, according to which definite descriptions and other "denoting phrases ... never have any meaning in themselves, but every proposition in whose verbal expression they occur has a meaning." This theory later became the basis for Russell's descriptivism with regard to proper names, and his view that proper names are "disguised" or "abbreviated" definite descriptions.

In mathematics and logic, Ackermann set theory (AST) is an axiomatic set theory proposed by Wilhelm Ackermann in 1956.

In philosophy, specifically in the area of metaphysics, counterpart theory is an alternative to standard (Kripkean) possible-worlds semantics for interpreting quantified modal logic. Counterpart theory still presupposes possible worlds, but differs in certain important respects from the Kripkean view. The form of the theory most commonly cited was developed by David Lewis, first in a paper and later in his book On the Plurality of Worlds.

In modal logic, the necessity of identity is the thesis that for every object x and object y, if x and y are the same object, it is necessary that x and y are the same object. The thesis is best known for its association with Saul Kripke, who published it in 1971, although it was first derived by the logician Ruth Barcan Marcus in 1947, and later, in simplified form, by W. V. O. Quine in 1953.

In philosophy, similarity or resemblance is a relation between objects that constitutes how much these objects are alike. Similarity comes in degrees: e.g. oranges are more similar to apples than to the moon. It is traditionally seen as an internal relation and analyzed in terms of shared properties: two things are similar because they have a property in common. The more properties they share, the more similar they are. They resemble each other exactly if they share all their properties. So an orange is similar to the moon because they both share the property of being round, but it is even more similar to an apple because additionally, they both share various other properties, like the property of being a fruit. On a formal level, similarity is usually considered to be a relation that is reflexive (everything resembles itself), symmetric (if a is similar to b then b is similar to a) and non-transitive (a need not resemble c despite a resembling b and b resembling c). Similarity comes in two forms: respective similarity, which is relative to one respect or feature, and overall similarity, which expresses the degree of resemblance between two objects all things considered. There is no general consensus whether similarity is an objective, mind-independent feature of reality, and, if so, whether it is a fundamental feature or reducible to other features. Resemblance is central to human cognition since it provides the basis for the categorization of entities into kinds and for various other cognitive processes like analogical reasoning. Similarity has played a central role in various philosophical theories, e.g. as a solution to the problem of universals through resemblance nominalism or in the analysis of counterfactuals in terms of similarity between possible worlds.

References

  1. 1 2 3 4 Forrest, Peter (Fall 2008). "The Identity of Indiscernibles". In Edward N. Zalta (ed.). The Stanford Encyclopedia of Philosophy. Retrieved 2012-04-12.
  2. Sandkühler, Hans Jörg (2010). "Ontologie: 4 Aktuelle Debatten und Gesamtentwürfe". Enzyklopädie Philosophie. Meiner. Archived from the original on 2021-03-11. Retrieved 2021-01-27.
  3. 1 2 3 Noonan, Harold; Curtis, Ben (2018). "Identity". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Retrieved 4 January 2021.
  4. Audi, Robert (1999). "identity". The Cambridge Dictionary of Philosophy. Cambridge University Press.
  5. Black, Max (1952). "The Identity of Indiscernibles". Mind. 61 (242): 153–64. doi:10.1093/mind/LXI.242.153. JSTOR   2252291.
  6. Alfred North Whitehead and Bertrand Russell (1910). Principia Mathematica. Vol. 1. Cambridge: University Press. Here: Sect.13 Identity, Def. 13.01, Lem.13.16.,17., p.176,178
  7. 1 2 3 4 5 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.
  8. 1 2 3 4 Honderich, Ted (2005). "identity of indiscernibles". The Oxford Companion to Philosophy. Oxford University Press.
  9. Rosenkrantz, Gary S. (1979). "The Pure and the Impure". Logique et Analyse. 22 (88): 515–523. ISSN   0024-5836. JSTOR   44085165.
  10. Cowling, Sam (2015). "Non-Qualitative Properties". Erkenntnis. 80 (2): 275–301. doi:10.1007/s10670-014-9626-9. S2CID   122265064.
  11. Marshall, Dan; Weatherson, Brian (2018). "Intrinsic vs. Extrinsic Properties". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Retrieved 25 January 2021.
  12. Allen, Sophie. "Properties: 7a. Intrinsic and Extrinsic Properties". Internet Encyclopedia of Philosophy. Retrieved 25 January 2021.
  13. Metaphysics: An Anthology. eds. J. Kim and E. Sosa, Blackwell Publishing, 1999
  14. Carriero, John Peter (2008). Between Two Worlds: A Reading of Descartes's Meditations. Princeton University Press. ISBN   978-1400833191.
  15. 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
  16. Kripke, Saul. "A Puzzle about Belief". First appeared in, Meaning and Use. ed., A. Margalit. Dordrecht: D. Reidel, 1979. pp. 239–283