Supervenience and Dependence Relations

Core Idea

Supervenience is a dependence relation: if A supervenes on B, there cannot be a difference in A without a difference in B. This framework allows dependence without reduction and appears prominently in discussions of mental-physical relations, normativity, and properties at different organizational levels.

How It's Best Learned

Work through formal definitions of weak and strong supervenience with examples, then examine concrete cases (color properties supervenient on microphysical properties) and identify their logical limits.

Common Misconceptions

Assuming supervenience entails reduction or strict causal determination. Thinking weak and strong supervenience are logically equivalent or that supervenience is itself a causal relation.

Explainer

You know from your study of necessary and sufficient conditions that some facts necessitate others: if X is a necessary condition for Y, you can't have Y without X. Supervenience is a precise way of using this logical relationship to describe how different *levels* or *kinds* of properties depend on each other — without claiming that one level reduces to or is identical with the other.

The core definition: A-properties supervene on B-properties if and only if any two things that are indiscernible with respect to their B-properties are also indiscernible with respect to their A-properties. More simply: no A-difference without a B-difference. If mental properties supervene on physical properties, then any two beings with exactly the same physical properties must have exactly the same mental properties — you cannot change someone's beliefs or pains without changing something physical about them. This gives us a dependence relation: the A-level is determined by the B-level, in the sense that fixing the B-facts fixes the A-facts.

The distinction between weak and strong supervenience matters significantly. Weak supervenience holds *within* a single possible world: any two objects in the same world that share all B-properties also share all A-properties. Strong supervenience holds *across* possible worlds: if an object has A-property P in virtue of its B-properties, then any object in *any* possible world with those same B-properties also has P. Strong supervenience is logically stronger — it rules out worlds where the same B-base realizes different A-properties. For physicalism about the mind, strong supervenience is typically what's needed: it's not enough that mental duplicates are physical duplicates in our world; that should be a necessary, world-independent fact.

What makes supervenience philosophically powerful is that it allows dependence without reduction. Consider the relationship between aesthetic properties and physical properties. Whether a painting is beautiful arguably supervenes on its physical features — any molecule-for-molecule duplicate of the Mona Lisa would be equally beautiful. But this doesn't mean "beautiful" means the same thing as some specification of physical properties, or that aesthetic facts just are physical facts. Supervenience captures a one-way determination relation that falls short of identity. Similarly, moral properties might supervene on natural properties — no moral difference without some natural difference — without moral facts being reducible to natural facts. This is why supervenience became central to non-reductive physicalism: mental properties depend on physical properties without being identical to them.

The limits of supervenience as a philosophical tool are worth noting. Supervenience describes a *pattern* — the A-level covaries with the B-level — but it doesn't explain *why* or *how*. Saying that mental properties supervene on physical ones doesn't tell us what the metaphysical relationship is: Is it grounding? Causation? Realization? Emergence? Supervenience is compatible with many different metaphysical stories. It is a necessary condition for many forms of dependence but not sufficient to characterize any particular one. This is why philosophers increasingly supplement supervenience claims with grounding claims — "the mental is grounded in the physical" — which aim to capture the explanatory priority and the metaphysical mechanism, not just the covariation pattern.