Supervenience: Model Theory of Metaphysics?

Supervenience, Dependence, Disjunction

“…Special attention is paid to issues arising over the use of infinitary forms of conjunctions and disjunction in this connection, in [Glanzberg, 2001] and [Bader, 2012], and is raised (with various other qualms) in note 11 of [Sobel, 2001], though Post was especially worried about the closure of the class of physical properties under plain old negation. An interesting suggestion in response to those worries is made on p. 62 of [Klagge, 1995]. Many are similarly dubious about whether the class of moral properties is closed under negation; for example, Heil [1995, p. 162] suggests that there are worlds in which no moral properties are instantiated  perhaps because devoid of agents.…”