The discussion of supervenience is replete with the use of infinitary logical operations. For instance, one may often find a supervenient property that corresponds to an infinite collection of supervenience-base properties, and then ask about the infinite disjunction of all those base properties. This is crucial to a well-known argument of Kim (1984) that supervenience comes nearer to reduction...

This paper describes the use of supervenience in integrating planning and reaction in complex, dynamic environments. Supervenience is a form of abstraction with affinities both to abstraction in AI planning systems and to partitioning schemes in hierarchical control systems. The use of supervenienee can be distilled to an easy-to-state constraint on the design of multilevel dynamic-world p "lan...

J. L. Mackie argued that if there were objective moral properties or facts, then the supervenience relation linking the nonmoral to the moral would be metaphysically queer. Moral realists reply that objective supervenience relations are ubiquitous according to contemporary versions of metaphysical naturalism and, hence, that there is nothing especially queer about moral supervenience. In this p...