The selected quote formulates the core thesis of **psychophysical supervenience**: a formal dependency relationship specifying that the higher-level (macro) properties of a system are modal extensions of its lower-level (micro) physical base.
```
[ Macro-Level M ]
║
Supervenience ║ (Non-reductive / Asymmetric)
Dependency ║
▼
[ Micro-Level P ]
│
│ Causal Closure (Physics)
▼
[ Physical Effect P* ]
```
At its core, supervenience asserts a relation of **indiscernibility**: if two possible worlds (or two systems within a world) are exact physical duplicates down to their micro-constituents, they must also be exact duplicates in their macro-level properties.
---
## 1. Formal Anatomy and Modal Scope
Mathematically and modal-logically, supervenience is defined over sets of properties. Let $B$ be a set of micro-physical (base) properties, and $A$ be a set of macro-emergent properties.
$A$ **supervenes on** $B$ if and only if, necessarily, for any two entities $x$ and $y$:
$$\forall A_i \in A, \, (A_i(x) \neq A_i(y)) \implies \exists B_j \in B \, (B_j(x) \neq B_j(y))$$
Equivalently: **No $A$-difference without a $B$-difference.**
The exact philosophical import depends on the modal operator applied to this conditional:
1. **Weak Supervenience:** The non-variance holds *within* a single given world. Two objects in the same world cannot differ in $A$ without differing in $B$.
2. **Strong Supervenience:** The non-variance holds *across all possible worlds* governed by the same modal strength (typically physical or logical necessity). If an object $x$ in world $W_1$ has property $A$, and object $y$ in world $W_2$ is an exact $B$-duplicate of $x$, then $y$ must also possess property $A$.
3. **Global Supervenience:** The dependency is defined over entire worlds rather than localized individuals: any two worlds that are micro-physically identical in all spatial and temporal coordinates are macro-physically and phenomenologically identical in their entirety.
---
## 2. Theoretical Importance: Why Supervenience Matters
Supervenience was imported into metaphysics and the philosophy of mind—most prominently by Donald Davidson and Jaegwon Kim—to construct a middle ground: **non-reductive physicalism**.
Physicalists wished to preserve two commitments that appeared to be in tension:
* **Physical Realism & Closure:** Physical states do all the heavy lifting; every physical effect has a complete, sufficient physical cause.
* **Macro-Autonomy / Irreducibility:** High-level properties (such as mental states, economic trends, or biological functions) are not strictly *identical* to micro-physical configurations because they can be **multiply realized** (e.g., pain can be instantiated by a human carbon-based brain, an octopus neural net, or a theoretical silicon chip).
Supervenience provides the structural glue: it guarantees that macro-phenomena remain tied to physical reality without requiring structural identity between macro and micro types.
### Concrete Illustration
> *Analogy:* Consider a digital screen displaying a high-resolution image of a face. The macro-property (the "face") supervenes entirely on the micro-properties (the RGB state, spatial coordinate, and brightness of each individual pixel).
>
> You cannot alter the facial expression (a macro-change) without altering the state of at least one pixel (a micro-change). Yet, the concept of a "smile" is not identical to a specific pixel configuration, as an entirely different array of pixels on a higher-resolution monitor could display the exact same smile.
---
## 3. Structural Dynamics & Material Disagreements
While supervenience establishes an *asymmetric co-variance*, it remains metaphysically passive. It states *that* properties co-vary, but does not explain *why* or *how* they do so. This ambiguity gives rise to several contentious debates in contemporary metaphysics:
### A. The Causal Exclusion Problem (Jaegwon Kim)
Jaegwon Kim famously argued that supervenience alone fails to save non-reductive physicalism from collapsing into **epiphenomenalism** or outright **reductionism**.
Kim's argument follows this logic:
1. Suppose a macro-state $M_1$ causes another macro-state $M_2$.
2. By supervenience, $M_2$ must be realized by a physical base state $P_2$.
3. For $M_1$ to cause $M_2$, $M_1$ must do so by causing $M_2$'s physical base, $P_2$.
4. However, by the **Causal Closure of the Physical**, $P_2$ already has a complete, sufficient physical cause, $P_1$.
5. Unless we accept widespread, systematic **causal overdetermination** (that $P_2$ is independently caused twice over), the physical cause $P_1$ *excludes* $M_1$ as a real cause.
```
M1 ─────(Alleged Macro Cause)─────> M2
│ ▲
│ (Supervenes) │ (Supervenes)
▼ │
P1 ─────(Sufficient Cause)────────> P2
```
Kim concluded that supervenience forces a choice: either macro-properties are causally inert (epiphenomenalism), or they are strictly identical to their physical bases (reductive physicalism / identity theory).
### B. Downward Causation vs. Epiphenomenalism
For strong emergence to occur, macro-states must exert **downward causation**—where the emergent macro-state $M_1$ actively influences lower-level physical trajectories, altering $P_2$ in a way not predictable by $P_1$ alone.
However, strict adherence to the selected quote's supervenience principle implies that $M_1$ itself is entirely fixed by $P_1$. If $P_1$ uniquely determines $M_1$, any "downward" influence exerted by $M_1$ on $P_2$ is already structurally dictated by $P_1$. Thus, critics point out that **supervenience leaves no room for genuine downward causation**.
---
## 4. Analytical Summary & Conceptual Matrix
| Metaphysical Framework | Holds Supervenience? | Causal Efficacy of Macro-States | Type-Identity ($M = P$) |
| :--- | :--- | :--- | :--- |
| **Reductive Materialism / Identity Theory** | Yes | Yes (because $M$ *is* $P$) | **Yes** |
| **Non-Reductive Physicalism** | Yes | Disputed (vulnerable to Kim's Exclusion Argument) | **No** |
| **Epiphenomenalism** | Yes | No (Macro-states are inert shadows) | **No** |
| **Strong Emergence** | **No** (or breaks physical closure via new fundamental laws) | Yes (via genuine downward causation) | **No** |
| **Substance Dualism** | **No** | Yes (via non-physical interaction) | **No** |
---
## 5. Scope Conditions and Open Questions
1. **Is Supervenience a Metaphysical Primitive?**
Does supervenience explain realization, or is it merely a marker that an explanation is needed? Critics claim that declaring $A$ supervenes on $B$ merely states a pattern of correlation without providing the underlying *mechanism* (such as functional composition, ground, or token identity).
2. **Global vs. Local Supervenience in Quantum Mechanics:**
Entangled quantum systems present challenges to local supervenience. The state of an entangled system of two particles cannot be derived purely from the localized intrinsic properties of the individual particles, forcing physicalists to adopt strictly **global supervenience** models.
3. **Grounding as an Alternative:**
In contemporary metaphysics, many scholars have replaced or augmented "supervenience" with the concept of **metaphysical grounding**. While supervenience is a modal notion concerned with co-variance across worlds, grounding is an explanatory, non-symmetric constitutive relation (*$B$ exists in virtue of $A$*).