Developing and motivating the notion of supervenience. Investigating the relationship to reducibility and definability (equivalence, under certain conditions), and to microphysical determination.

Supervenience in most of its guises entails necessary coextension. Thus theoretical supervenience entails nomically necessary coextension. Kim's result, thus strengthened, has yet to hit home. I suspect that many supervenience enthusiasts would cool at necessary coextension: they didn't mean to be saying anything quite so strong. Furthermore, nomically necessary coextension can be a good reason for property identification, leading to reducibility in principle. This again is more than many supervenience theorists bargained for. They wanted supervenience without reducibility. It is not (...) always available for this mediating role. (shrink)

THIS PAPER CORRECTS AN ERROR IN MY EARLIER PAPER, "CONCEPTS OF SUPERVENIENCE" ("PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH", VOLUME 45, 1984), AND PRESENTS FURTHER MATERIAL ON SUPERVENIENCE. THE ERROR IS THE CLAIM THAT "GLOBAL" SUPERVENIENCE ENTAILS "STRONG" SUPERVENIENCE. HOWEVER, IT IS ARGUED THAT THIS FAILURE OF ENTAILMENT ONLY GOES TO SHOW THE INADEQUACY OF GLOBAL SUPERVENIENCE AS AN EXPLICATION OF "DEPENDENCY" OR "DETERMINATION" RELATION, AND, IN PARTICULAR, THAT MATERIALISM FORMULATED IN TERMS OF GLOBAL SUPERVENIENCE APPEARS TOO WEAK. (IT IS POINTED OUT, AMONG (...) OTHER THINGS, THAT GLOBAL SUPERVENIENCE DOES NOT ENTAIL "WEAK" SUPERVENIENCE). A STRONGER FORM OF GLOBAL SUPERVENIENCE, BASED ON "SIMILARITY" RATHER THAN "INDISCERNIBILITY" BETWEEN WORLDS, IS FORMULATED AND BRIEFLY DISCUSSED. (shrink)