title: Supervenience and Implementation creator: Sloman, Aaron subject: Theoretical Biology subject: Artificial Intelligence subject: Epistemology subject: Metaphysics subject: Philosophy of Mind description: How can a virtual machine X be implemented in a physical machine Y? We know the answer as far as compilers, editors, theorem-provers, operating systems are concerned, at least insofar as we know how to produce these implemented virtual machines, and no mysteries are involved. This paper is about extrapolating from that knowledge to the implementation of minds in brains. By linking the philosopher's concept of supervenience to the engineer's concept of implementation, we can illuminate both. In particular, by showing how virtual machines can be implemented in causally complete physical machines, and still have causal powers, we remove some philosophical problems about how mental processes can be real and can have real effects in the world even if the underlying physical implementation has no causal gaps. This requires a theory of ontological levels. date: 1998-01 type: Departmental Technical Report type: NonPeerReviewed format: application/postscript identifier: http://cogprints.org/333/2/Sloman.supervenience.and.implementation.ps identifier: Sloman, Aaron (1998) Supervenience and Implementation. [Departmental Technical Report] relation: http://cogprints.org/333/