Identity (philosophy)

Last updated

In metaphysics, identity (from Latin: identitas , "sameness") is the relation each thing bears only to itself. [1] [2] The notion of identity gives rise to many philosophical problems, including the identity of indiscernibles (if x and y share all their properties, are they one and the same thing?), and questions about change and personal identity over time (what has to be the case for a person x at one time and a person y at a later time to be one and the same person?). 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 (qualitative identity) and the same mother in another sense (numerical identity). [3] This article is mainly concerned with numerical identity, which is the stricter notion.

Contents

The philosophical concept of identity is distinct from the better-known notion of identity in use in psychology and the social sciences. The philosophical concept concerns a relation, specifically, a relation that x and y stand in if, and only if they are one and the same thing, or identical to each other (i.e. if, and only if x = y). The sociological notion of identity, by contrast, has to do with a person's self-conception, social presentation, and more generally, the aspects of a person that make them unique, or qualitatively different from others (e.g. cultural identity, gender identity, national identity, online identity, and processes of identity formation). Lately, identity has been conceptualized considering humans’ position within the ecological web of life. [4]

Metaphysics of identity

Metaphysicians and philosophers of language and mind ask other questions:

The law of identity originates from classical antiquity. The modern formulation of identity is that of Gottfried Leibniz, who held that x is the same as y if and only if every predicate true of x is true of y as well.

Leibniz's ideas have taken root in the philosophy of mathematics, where they have influenced the development of the predicate calculus as Leibniz's law. Mathematicians sometimes distinguish identity from equality. More mundanely, an identity in mathematics may be an equation that holds true for all values of a variable. Hegel argued that things are inherently self-contradictory [5] [6] and that the notion of something being self-identical only made sense if it were not also not-identical or different from itself and did not also imply the latter. In Hegel's words, "Identity is the identity of identity and non-identity." More recent metaphysicians have discussed trans-world identity—the notion that there can be the same object in different possible worlds. An alternative to trans-world identity is the counterpart relation in Counterpart theory. It is a similarity relation that rejects trans-world individuals and instead defends an objects counterpart – the most similar object.

Some philosophers have denied that there is such a relation as identity. Thus Ludwig Wittgenstein writes ( Tractatus 5.5301): "That identity is not a relation between objects is obvious." At 5.5303 he elaborates: "Roughly speaking: to say of two things that they are identical is nonsense, and to say of one thing that it is identical with itself is to say nothing." Bertrand Russell had earlier voiced a worry that seems to be motivating Wittgenstein's point ( The Principles of Mathematics §64): "[I]dentity, an objector may urge, cannot be anything at all: two terms plainly are not identical, and one term cannot be, for what is it identical with?" Even before Russell, Gottlob Frege, at the beginning of "On Sense and Reference," expressed a worry with regard to identity as a relation: "Equality gives rise to challenging questions which are not altogether easy to answer. Is it a relation?" More recently, C. J. F. Williams [7] has suggested that identity should be viewed as a second-order relation, rather than a relation between objects, and Kai Wehmeier [8] has argued that appealing to a binary relation that every object bears to itself, and to no others, is both logically unnecessary and metaphysically suspect.

Identity statements

Kind-terms, or sortals [9] give a criterion of identity and non-identity among items of their kind.

See also

Notes

  1. Stanford Encyclopedia of Philosophy: "Identity", First published Wed 15 Dec 2004; substantive revision Sun 1 Oct 2006.
  2. Audi, Robert (1999). "identity". The Cambridge Dictionary of Philosophy. Cambridge University Press.
  3. Sandkühler, Hans Jörg (2010). "Ontologie: 4 Aktuelle Debatten und Gesamtentwürfe". Enzyklopädie Philosophie (in German). Meiner. Archived from the original on 11 March 2021. Retrieved 14 January 2021.
  4. Milstein, T.; Castro-Sotomayor, J. (1 May 2020). Milstein, Tema; Castro-Sotomayor, José (eds.). Routledge Handbook of Ecocultural Identity. London: Routledge. doi:10.4324/9781351068840. ISBN   9781351068840. S2CID   229580440.
  5. Siemens, Reynold L. (1988). "Hegel and the Law of Identity". The Review of Metaphysics. 42 (1): 103–127. ISSN   0034-6632. JSTOR   20128696.
  6. Bole, Thomas J. (1987). "Contradiction in Hegel's "Science of Logic"". The Review of Metaphysics. 40 (3): 515–534. ISSN   0034-6632. JSTOR   20128487.
  7. C.J.F. Williams, What is identity?, Oxford University Press 1989. [ page needed ]
  8. Kai F. Wehmeier, "How to live without identity—and why," Australasian Journal of Philosophy 90:4, 2012, pp. 761–777.
  9. Theodore Sider. "Recent work on identity over time". Philosophical Books41 (2000): 81–89.

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'.

In ontology, the theory of categories concerns itself with the categories of being: the highest genera or kinds of entities according to Amie Thomasson. To investigate the categories of being, or simply categories, is to determine the most fundamental and the broadest classes of entities. A distinction between such categories, in making the categories or applying them, is called an ontological distinction. Various systems of categories have been proposed, they often include categories for substances, properties, relations, states of affairs or events. A representative question within the theory of categories might articulate itself, for example, in a query like, "Are universals prior to particulars?"

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

Existence is the state of being real or participating in reality. It can refer both to individual entities and the world as a whole. 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.

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

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

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

<i>Science of Logic</i> Work by Georg Wilhelm Friedrich Hegel

Science of Logic, first published between 1812 and 1816, is the work in which Georg Wilhelm Friedrich Hegel outlined his vision of logic. Hegel's logic is a system of dialectics, i.e., a dialectical metaphysics: it is a development of the principle that thought and being constitute a single and active unity. Science of Logic also incorporates the traditional Aristotelian syllogism: It is conceived as a phase of the "original unity of thought and being" rather than as a detached, formal instrument of inference.

Modal realism is the view propounded by philosopher David Lewis that all possible worlds are real in the same way as is the actual world: they are "of a kind with this world of ours." It is based on four tenets: possible worlds exist, possible worlds are not different in kind from the actual world, possible worlds are irreducible entities, and the term actual in actual world is indexical, i.e. any subject can declare their world to be the actual one, much as they label the place they are "here" and the time they are "now".

Perdurantism or perdurance theory is a philosophical theory of persistence and identity. The debate over persistence currently involves three competing theories—one three-dimensionalist theory called "endurantism" and two four-dimensionalist theories called "perdurantism" and "exdurantism". For a perdurantist, all objects are considered to be four-dimensional worms and they make up the different regions of spacetime. It is a fusion of all the perdurant's instantaneous time slices compiled and blended into a complete mereological whole. Perdurantism posits that temporal parts alone are what ultimately change. Katherine Hawley in How Things Persist states that change is "the possession of different properties by different temporal parts of an object".

A priori and a posteriori are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on experience. A priori knowledge is independent from any experience. Examples include mathematics, tautologies, and deduction from pure reason. A posteriori knowledge depends on empirical evidence. Examples include most fields of science and aspects of personal knowledge.

In philosophy, four-dimensionalism is the ontological position that an object's persistence through time is like its extension through space. Thus, an object that exists in time has temporal parts in the various subregions of the total region of time it occupies, just like an object that exists in a region of space has at least one part in every subregion of that space.

In contemporary metaphysics, temporal parts are the parts of an object that exist in time. A temporal part would be something like "the first year of a person's life", or "all of a table from between 10:00 a.m. on June 21, 1994 to 11:00 p.m. on July 23, 1996". The term is used in the debate over the persistence of material objects. Objects typically have parts that exist in space—a human body, for example, has spatial parts like hands, feet, and legs. Some metaphysicists believe objects have temporal parts as well.

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.

Metaphysics is the branch of philosophy that investigates principles of reality transcending those of any particular science. Cosmology and ontology are traditional branches of metaphysics. It is concerned with explaining the fundamental nature of being and the world. Someone who studies metaphysics can be called either a "metaphysician" or a "metaphysicist".

The following outline is provided as an overview of and topical guide to metaphysics:

Relations are ways in which things, the relata, stand to each other. Relations are in many ways similar to properties in that both characterize the things they apply to. Properties are sometimes treated as a special case of relations involving only one relatum. In philosophy, theories of relations are typically introduced to account for repetitions of how several things stand to each other.

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