---
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."
altloc: []
chapter: ~
commentary: ~
commref: ~
confdates: ~
conference: ~
confloc: ~
contact_email: ~
creators_id: []
creators_name:
- family: Sloman
given: Aaron
honourific: ''
lineage: ''
date: 1998-01
date_type: published
datestamp: 1998-06-22
department: School of Computer Science
dir: disk0/00/00/03/33
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 333
fileinfo: /style/images/fileicons/application_postscript.png;/333/2/Sloman.supervenience.and.implementation.ps
full_text_status: public
importid: ~
institution: University of Birmingham
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2011-03-11 08:53:49
latitude: ~
longitude: ~
metadata_visibility: show
note: ~
number: ~
pagerange: ~
pubdom: FALSE
publication: ~
publisher: ~
refereed: FALSE
referencetext: ~
relation_type: []
relation_uri: []
reportno: Virtual and Physical Machines Technical repor
rev_number: 10
series: ~
source: ~
status_changed: 2007-09-12 16:26:42
subjects:
- bio-theory
- comp-sci-art-intel
- phil-epist
- phil-metaphys
- phil-mind
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
thesistype: ~
title: Supervenience and Implementation
type: techreport
userid: 142
volume: ~