creators_name: Sloman, Aaron
type: techreport
datestamp: 1998-06-22
lastmod: 2011-03-11 08:53:49
metadata_visibility: show
title: Supervenience and Implementation
ispublished: pub
subjects: bio-theory
subjects: comp-sci-art-intel
subjects: phil-epist
subjects: phil-metaphys
subjects: phil-mind
full_text_status: public
abstract: 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
date_type: published
institution: University of Birmingham
department: School of Computer Science
refereed: FALSE
citation:   Sloman, Aaron  (1998) Supervenience and Implementation.  [Departmental Technical Report]     
document_url: http://cogprints.org/333/2/Sloman.supervenience.and.implementation.ps