Supervenience

Last updated
The upper levels on this chart can be considered to supervene on the lower levels. Levels of existence.svg
The upper levels on this chart can be considered to supervene on the lower levels.

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.

Contents

Examples of supervenience, in which case the truth values of some propositions cannot vary unless the truth values of some other propositions vary, include:

Supervenience is of interest to philosophers because it differs from other nearby relations, for example entailment. Some philosophers believe it possible for some A to supervene on some B without being entailed by B. In such cases it may seem puzzling why A should supervene on B and equivalently why changes in A should require changes in B. Two important applications of supervenience involve cases like this. One of these is the supervenience of mental properties (like the sensation of pain) on physical properties (like the firing of 'pain neurons'). A second is the supervenience of normative facts (facts about how things ought to be) on natural facts (facts about how things are).

It is sometimes claimed[ by whom? ] that what is at issue in these problems is the supervenience claim itself. For example, it has been claimed that what is at issue with respect to the mind-body problem is whether mental phenomena do in fact supervene on physical phenomena. This is incorrect. It is by and large agreed that some form of supervenience holds in these cases: Pain happens when the appropriate neurons fire. The disagreement is over why this is so. Materialists claim that we observe supervenience because the neural phenomena entail the mental phenomena, while dualists deny this. The dualist's challenge is to explain supervenience without entailment.[ citation needed ]

The problem is similar with respect to the supervenience of normative facts on natural facts. Discussing the is-ought problem it is agreed that facts about how persons ought to act are not entailed by natural facts but cannot vary unless natural facts vary, and this rigid binding without entailment might seem puzzling.

The possibility of "supervenience without entailment" or "supervenience without reduction" is contested territory among philosophers.

History


Supervenience, which means literally "coming or occurring as something novel, additional, or unexpected", [1] from "super," meaning on, above, or additional, and "venire," meaning to come in Latin, shows occurrences in the Oxford English Dictionary dating back to 1844.

Its systematic use in philosophy is considered to have begun in early 20th-century meta-ethics and emergentism. As G.E. Moore wrote in 1922, [2] "if a given thing possesses any kind of intrinsic value in a certain degree, then... anything exactly like it, must, under all circumstances, possess it in exactly the same degree" (p. 261). [1] This usage also carried over into the work of R. M. Hare. For discussion of the emergentist roots of supervenience see Stanford Encyclopedia of Philosophy: Supervenience.

In the 1970s, Donald Davidson was the first to use the term to describe a broadly physicalist (and non-reductive) approach to the philosophy of mind, called anomalous monism . As he said in 1970, "supervenience might be taken to mean that there cannot be two events alike in all physical respects but differing in some mental respects, or that an object cannot alter in some mental respects without altering in some physical respects." [3]

In subsequent years Terence ("Terry") Horgan, David Lewis, and especially Jaegwon Kim formalized the concept and began applying it to many issues in the philosophy of mind. This raised numerous questions about how various formulations relate to one another, how adequate the formulation is to various philosophical tasks (in particular, the task of formulating physicalism), and whether it avoids or entails reductionism.

Definitions

In the contemporary literature, there are two primary (and non-equivalent) formulations of supervenience (for both definitions let A and B be sets of properties).[ citation needed ]

(1) A-properties supervene on B-properties if and only if all things that are B-indiscernible are A-indiscernible. Formally:

(2) A-properties supervene on B-properties if and only if anything that has an A-property has some B-property such that anything that has that B-property also has that A-property. Formally:

For example, if one lets A be a set of mental properties, lets B be a set of physical properties, and chooses a domain of discourse consisting of persons, then (1) says that any two persons who are physically indiscernible are mentally indiscernible, and (2) says that any person who has a mental property has some physical property such that any person with that physical property has that mental property.

Some points of clarification: first, the definitions above involve quantification over properties and hence higher-order logic. Second, in (1), expressions of the form capture the concept of sharing all properties, or being indiscernible with respect to a set of properties. Thus, (1) can be understood more intuitively as the claim that all objects that are indiscernible with respect to a base set of properties are indiscernible with respect to a supervenient set of properties, or, as it is also sometimes said, that B-twins are A-twins. Finally, supervenience claims typically involve some modal force, however, the way that modal force is specified depends on which more specific variety of supervenience one decides upon (see below).

(1) and (2) are sometimes called "schemata" because they do not correspond to actual supervenience relations until the sets of properties A and B, the domain of entities to which those properties apply, and a modal force have been specified. For modal forms of supervenience, the modal strength of the relation is usually taken to be a parameter (that is, the possible worlds appealed to may be physically possible, logically possible, etc.). Also, note that in the early literature properties were not always central, and there remain some who prefer to frame the relation in terms of predicates, facts, or entities instead, for example.

Varieties of supervenience

Beginning in the 1980s, inspired largely by Jaegwon Kim's work, philosophers proposed many varieties of supervenience, which David Lewis called the "unlovely proliferation". [4] These varieties are based both on (1) and (2) above, but because (1) is more common we shall focus on varieties of supervenience based on it.

We can begin by distinguishing between local and global supervenience:

For example, if mental states locally supervene on brain states, then being in the same brain state entails being in the same mental state.

For example, if psychological properties globally supervene on physical properties, then any two worlds physically the same will be psychologically the same. The value of global supervenience is that it allows for supervenient properties to be determined not by local properties of an individual thing alone, but by some wider spatiotemporal distribution of things and properties. For example, something's being a dollar bill depends not only on the paper and the inks it is made out of, but also on a widely dispersed variety of features of the world it occupies.

Both local and global supervenience come in many forms. Local supervenience comes in strong and weak varieties:

The difference is essentially whether correlations between base and supervenient properties hold within actual worlds only, or across possible worlds. For example, if psychological properties strongly locally supervene on physical properties, then any two people physically the same, in any two worlds, will also be psychologically the same. On the other hand, if psychological properties only weakly locally supervene on physical properties, then those correlations between base and supervenient properties that hold in virtue of the supervenience relation are maintained within each world, but can be different in different worlds. For example, my physical duplicates in the actual world will have the same thoughts as I have; but my physical duplicates in other possible worlds may have different thoughts than I have in the actual world.

There are also several kinds of global supervenience relations, which were introduced to handle cases in which worlds are the same at the base level and also at the supervenient level, but where the ways the properties are connected and distributed in the worlds differ. For example, it is consistent with global mental–physical supervenience on the simple formulation described above for two worlds to have the same number of people in the same physical states, but for the mental states to be distributed over those people in different ways (e.g. I have my father's thoughts in the other world, and he has my thoughts). To handle this, property-preserving isomorphisms (1-1 and onto functions between the objects of two worlds, whereby an object in one world has a property if and only if the object which that function takes you to in the other world does) are used, and once this is done, several varieties of global supervenience can be defined.

Other varieties of supervenience include multiple-domains supervenience and similarity-based supervenience.

Examples of supervenient properties

Value properties

The value of a physical object to an agent is sometimes held to be supervenient upon the physical properties of the object. In aesthetics, the beauty of La Grande Jatte might supervene on the physical composition of the painting (the specific molecules that make up the painting), the artistic composition of the painting (in this case, dots), the figures and forms of the painted image, or the painted canvas as a whole. In ethics, the goodness of an act of charity might supervene on the physical properties of the agent, the mental state of the agent (his or her intention), or the external state of affairs itself. Similarly, the overall suffering caused by an earthquake might supervene on the spatiotemporal entities that constituted it, the deaths it caused, or the natural disaster itself. The claim that moral properties are supervenient upon non-moral properties is called moral supervenience.

Mental properties

In philosophy of mind, many philosophers make the general claim that the mental supervenes on the physical. In its most recent form this position derives from the work of Donald Davidson, although in more rudimentary forms it had been advanced earlier by others. The claim can be taken in several senses, perhaps most simply in the sense that the mental properties of a person are supervenient on their physical properties. Then:

An alternative claim, advanced especially by John Haugeland, is a kind of weak local supervenience claim; or, weaker still, mere global supervenience. The claim that mental properties supervene globally on physical properties requires only a quite modest commitment: any difference between two possible worlds with respect to their instantiated mental properties entails at least some difference in the physical properties instantiated in those two worlds. Importantly, it does not require that the mental properties of an individual person supervene only on that person's physical state.

This weak global thesis is particularly important in the light of direct reference theories, and semantic externalism with regard to the content both of words and (more relevant to our concerns here) of thoughts. Imagine two persons who are indistinguishable in their local physical properties. One has a dog in front of his eyes and the other has a dog-image artificially projected onto his retinae. It might be reasonable to say that the former is in the mental state of seeing a dog (and of knowing that he does so), whereas the latter is not in such a state of seeing a dog (but falsely believes that he sees one).

There is also discussion among philosophers about mental supervenience and our experience of duration. If all mental properties supervene only upon some physical properties at durationless moments, then it may be difficult to explain our experience of duration. The philosophical belief that mental and physical events exist as a series of durationless moments that lie between the physical past and the physical future is known as presentism.

Computational properties

There are several examples of supervenience to be found in computer networking. For example, in a dial-up internet connection, the audio signal on a phone line transports IP packets between the user's computer and the Internet service provider's computer. In this case, the arrangement of bytes in that packet supervenes on the physical properties of the phone signal. More generally, each layer of the OSI Model of computer networking supervenes on the layers below it.

We can find supervenience wherever a message is conveyed by a representational medium. When we see a letter "a" in a page of print, for example, the meaning Latin lowercase "a" supervenes on the geometry of the boundary of the printed glyph, which in turn supervenes on the ink deposition on the paper.

Biological properties

In biological systems phenotype can be said to supervene on genotype. [5] This is because any genotype encodes a finite set of unique phenotypes, but any given phenotype is not produced by a finite set of genotypes. Innumerable examples of convergent evolution can be used to support this claim. Throughout nature, convergent evolution produces incredibly similar phenotypes from a diverse set of taxa with fundamentally different genotypes underpinning the phenotypes. One example is evolution on islands which is a remarkably predictable example of convergent evolution where the same phenotypes consistently evolve for the same reasons. [6] Organisms released from predation tend to become larger, while organisms limited by food tend to become smaller. Yet there are almost infinite numbers of genetic changes that might lead to changes in body size. [7] [8] Another example of convergent evolution is the loss of sight that almost universally occurs in cave fish living in lightless pools. [9] Eyes are expensive, and in lightless cave pools there is little reason for fish to have eyes. Yet, despite the remarkably consistent convergent evolution producing sightless cave fish, the genetics that produce the loss of sight phenotype is different nearly every time. This is because phenotype supervenes on genotype.

Arguments against supervenience-based formulations of physicalism

Although supervenience seems to be perfectly suited to explain the predictions of physicalism (i.e. the mental is dependent on the physical), there are four main problems with it. They are Epiphenomenal ectoplasm, the lone ammonium molecule problem, modal status problem and the problem of necessary beings.

Epiphenomenal ectoplasm

Epiphenomenal ectoplasm was proposed by Horgan and Lewis in 1983;[ citation needed ] they envisioned a possible world (a world that could possibly exist) W which is identical to our world in the distribution of all mental and physical characteristics (i.e. they are identical), except world W contains an experience called epiphenomenal ectoplasm that does not causally interact with that world. The possibility of such a world should be compatible with physicalism as this is a property of the actual world; but a supervenience-based definition of physicalism would imply that such a world could not exist, because it differs from the actual world with respect to a mental property, but is physically identical. A typical response to this objection is Frank Jackson's; [10] he adjusted the supervenience-based definition of physicalism to state "Physicalism is true at a possible world W if and only if any world which is a minimal physical duplicate (i.e. is physically identical) of W is a duplicate of W simpliciter." This avoids the problem because the "ectoplasm" world is not a minimal physical duplicate, so its identity with the actual world need not follow.

The lone ammonium molecule problem

The lone ammonium molecule problem provides a problem for Jackson's solution to epiphenomenal ectoplasm. It was proposed by Jaegwon Kim in 1993 when he stated that according to Jackson's idea of supervenience, a possible world W was identical to the actual world, except it possessed an extra ammonium molecule on one of Saturn's rings. This may not seem to provide much of a problem, but because Jackson's solution refers only to minimal physical duplicates, this allows for the mental properties of W to be vastly different from those in the actual world. If such a difference would cause mental differences on Earth, it would not be consistent with our understanding of physicalism.[ citation needed ]

Suppose that the supervenience thesis for physicalism is stated as a nomological constraint, rather than a metaphysical one; this avoids any objection based on the thesis ruling out metaphysical possibilities which a physicalist would leave open. But the thesis would not rule out the metaphysical possibility of philosophical zombies, although their impossibility is a clear consequence of physicalism. [11]

Problem of necessary beings

The problem of necessary beings was proposed by Jackson in 1998, [10] in which he stated that the existence of a non-physical necessary being (in all possible worlds) would prove physicalism false. However, physicalism allows for the existence of necessary beings, because any minimal physical duplicate would have the same necessary being as the actual world. This however is paradoxical, based on the fact that physicalism both permits and prevents the existence of such beings.

See also

Notes

  1. 1 2 Horgan, Terry (1993) "From supervenience to superdupervenience: meeting the demands of a material world." Mind.102: 555-86.
  2. "The Conception of Intrinsic Value", in Philosophical Studies, New York: Harcourt, Brace, and Co., pp. 253-75.
  3. Davidson, Donald (1970) "Mental Events." Reprinted in Essays on Actions and Events. Oxford: Clarendon Press
  4. Lewis, David (1986) On the Plurality of Worlds . Oxford: Oxford University Press.
  5. Mitchell, Valone, W.A., T.J. (1990). "The Optimization Research Program: Studying Adaptations by Their Function". The Quarterly Review of Biology. 65 (1): 43–52. doi:10.1086/416584. S2CID   84451535.{{cite journal}}: CS1 maint: multiple names: authors list (link)
  6. Foster, J.B. (1964). "The evolution of mammals on islands". Nature. 202 (4929): 234–235. Bibcode:1964Natur.202..234F. doi:10.1038/202234a0. S2CID   7870628.
  7. Fisher, R.A. (1918). "The correlation between relatives on the supposition of Mendelian inheritance". Transactions of the Royal Society of Edinburgh. 52 (2): 399–433. doi:10.1017/S0080456800012163. S2CID   181213898.
  8. Kemper, K.E.; Visscher, P.M.; Gooddard, M.E. (2012). "Genetic architecture of body size in mammals". Genome Biol. 13 (4): 244. doi: 10.1186/gb-2012-13-4-244 . PMC   3446298 . PMID   22546202.
  9. Gatenby R.A., Gillies R.J & Brown J.S. (2011). "Of cancer and cave fish". Nature Reviews Cancer. 11 (4): 237–238. doi:10.1038/nrc3036. PMC   3971416 . PMID   21548400.
  10. 1 2 Jackson, F. (1998). From Metaphysics to Ethics. Oxford: Oxford University Press.
  11. Chalmers, David (1996). The Conscious Mind. New York: Oxford University Press.

Related Research Articles

Epiphenomenalism is a position in the philosophy of mind on the mind–body problem. It holds that subjective mental events are completely dependent for their existence on corresponding physical and biochemical events within the human body, but do not themselves influence physical events. According to epiphenomenalism, the appearance that subjective mental states influence physical events is an illusion, with consciousness being a by-product of physical states of the world. For instance, fear seems to make the heart beat faster, but according to epiphenomenalism, the biochemical secretions of the brain and nervous system —not the experience of fear—is what raises the heartbeat. Because mental events are a kind of overflow that cannot cause anything physical, yet have non-physical properties, epiphenomenalism is viewed as a form of property dualism.

Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for the existence of God. The argument is in a line of development that goes back to Anselm of Canterbury (1033–1109). St. Anselm's ontological argument, in its most succinct form, is as follows: "God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist." A more elaborate version was given by Gottfried Leibniz (1646–1716); this is the version that Gödel studied and attempted to clarify with his ontological argument.

In philosophy, physicalism is the view that "everything is physical", that there is "nothing over and above" the physical, or that everything supervenes on the physical. It is opposed to idealism, according to which the world arises from mind. Physicalism is a form of ontological monism—a "one substance" view of the nature of reality, unlike "two-substance" or "many-substance" (pluralism) views. Both the definition of "physical" and the meaning of physicalism have been debated.

An epiphenomenon is a secondary phenomenon that occurs alongside or in parallel to a primary phenomenon. The word has two senses: one that connotes known causation and one that connotes absence of causation or reservation of judgment about it.

<span class="mw-page-title-main">Equality (mathematics)</span> Relationship asserting that two quantities are the same

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. Equality between A and B is written A = B, and pronounced "A equals B". In this equality, A and B are the members of the equality and are distinguished by calling them left-hand side or left member, and right-hand side or right member. Two objects that are not equal are said to be distinct.

<span class="mw-page-title-main">Mind–body dualism</span> Philosophical theory

In the philosophy of mind, mind–body dualism denotes either the view that mental phenomena are non-physical, or that the mind and body are distinct and separable. Thus, it encompasses a set of views about the relationship between mind and matter, as well as between subject and object, and is contrasted with other positions, such as physicalism and enactivism, in the mind–body problem.

In the philosophy of mind, functionalism is the thesis that each and every mental state is constituted solely by its functional role, which means its causal relation to other mental states, sensory inputs, and behavioral outputs. Functionalism developed largely as an alternative to the identity theory of mind and behaviorism.

In metaphysics, phenomenalism is the view that physical objects cannot justifiably be said to exist in themselves, but only as perceptual phenomena or sensory stimuli situated in time and in space. In particular, some forms of phenomenalism reduce all talk about physical objects in the external world to talk about bundles of sense data.

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.

In analytic philosophy, actualism is the view that everything there is is actual. Another phrasing of the thesis is that the domain of unrestricted quantification ranges over all and only actual existents.

<span class="mw-page-title-main">Property dualism</span> Category of positions in the philosophy of mind

Property dualism describes a category of positions in the philosophy of mind which hold that, although the world is composed of just one kind of substance—the physical kind—there exist two distinct kinds of properties: physical properties and mental properties. In other words, it is the view that at least some non-physical, mental properties exist in, or naturally supervene upon, certain physical substances.

Jaegwon Kim was a Korean-American philosopher. At the time of his death, Kim was an emeritus professor of philosophy at Brown University. He also taught at several other leading American universities during his lifetime, including the University of Michigan, Cornell University, the University of Notre Dame, Johns Hopkins University, and Swarthmore College. He is best known for his work on mental causation, the mind-body problem and the metaphysics of supervenience and events. Key themes in his work include: a rejection of Cartesian metaphysics, the limitations of strict psychophysical identity, supervenience, and the individuation of events. Kim's work on these and other contemporary metaphysical and epistemological issues is well represented by the papers collected in Supervenience and Mind: Selected Philosophical Essays (1993).

Physical causal closure is a metaphysical theory about the nature of causation in the physical realm with significant ramifications in the study of metaphysics and the mind. In a strongly stated version, physical causal closure says that "all physical states have pure physical causes" — Jaegwon Kim, or that "physical effects have only physical causes" — Agustin Vincente, p. 150.

The philosophy of mind is a branch of philosophy that deals with the nature of the mind and its relation to the body and the external world.

The evolutionary argument against naturalism (EAAN) is a philosophical argument asserting a problem with believing both evolution and philosophical naturalism simultaneously. The argument was first proposed by Alvin Plantinga in 1993 and "raises issues of interest to epistemologists, philosophers of mind, evolutionary biologists, and philosophers of religion". The EAAN argues that the combined belief in both evolutionary theory and naturalism is epistemically self-defeating. The argument for this is that if both evolution and naturalism are true, then the probability of having reliable cognitive faculties is low, which then destroys any reason to believe in evolution or naturalism in the first place, as the cognitive faculties one used to deduce evolution or naturalism as logically valid are no longer reliable. This argument comes as an expansion of the argument from reason, although the two are separate philosophical arguments.

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.

<i>The Conscious Mind</i> 1996 philosophy book by David Chalmers

The Conscious Mind: In Search of a Fundamental Theory was published in 1996, and is the first book written by David Chalmers, an Australian philosopher specialising in philosophy of mind. Although the book has been greatly influential, Chalmers maintains that it is "far from perfect", as most of it was written as part of his PhD dissertation after "studying philosophy for only four years".

The principle of moral supervenience states that moral predicates supervene upon non-moral predicates, and hence that moral facts involving these predicates supervene upon non-moral facts. The moral facts are hence said to be supervenient facts, and the non-moral facts the supervenience base of the former. Moral facts could be about actions, character traits, or situations, e.g., stealing is wrong, Alice is virtuous, or Shane's suffering was morally bad.

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.