Supervenience

From CasGroup
Revision as of 09:10, 1 January 2009 by Jfromm (talk | contribs) (New page: '''Supervenience''' is a form of independence in interdependence: a system A is causal independent from a system B, and yet physically embedded in it. If a system A is embedded in a system...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Supervenience is a form of independence in interdependence: a system A is causal independent from a system B, and yet physically embedded in it. If a system A is embedded in a system B, it is usually not possible to say who chances in system B affect system A. They are causal independent of each other. And yet there cannot be a difference in the system A without difference in the underlying system B, because the system A is embedded and realized by system B.

Supervenience is a kind of dependency relationship, typically held to obtain between sets of properties. A set of properties A is supervenient on a set of properties B, if and only if any two objects x and y which share all properties in B (are "B-indiscernible") must also share all properties in A.

Links