ABSTRACT
Supervenience is often employed to indicate how one type of phenomenon is dependent upon or determined by another. This chapter considers various forms of supervenience and attempts to show that this notion, even when taken in its strongest form, falls short of expressing a relation of genuine dependency. Then, it suggests what seems to be the most promising way to strengthen this notion so that it does have this effect, and then show that this emendation will not be adequate for all contexts. The chief difference between weak supervenience and strong superven-ience is that the former allows the properties in A associated with a given property in B to vary from one possible world to another, whereas the latter does not. Global supervenience is logically weaker than strong supervenience insofar as (SS) entails (GS) but not conversely.
