Abstract

The paper is divided into two parts, each with subsections. In the first part, I shall discuss some matters that have been extensively examined by Kim, namely what the basic types of supervenience are and how they are pairwise logically related; in the course of this discussion, I shall distinguish a weak from a strong notion of global supervenience. In the second part, I shall examine supervenience in a context in which Kim has not: I shall attempt to solve a puzzle that arises when we consider supervenience relations involving vague properties and/or predicates. This is, of course, not a special case of property/predicate supervenience, but the typical one: for virtually all properties/predicates are vague. The two parts of the paper stand independently of each other. Of the discussion in the first part, essentially all that is presupposed in the second is the notion of “world strong supervenience” defined in section 1 of part I.