A theory of computational implementation

Synthese 191 (6):1277-1307 (2014)
Authors
Michael Rescorla
University of California, Los Angeles
Abstract
I articulate and defend a new theory of what it is for a physical system to implement an abstract computational model. According to my descriptivist theory, a physical system implements a computational model just in case the model accurately describes the system. Specifically, the system must reliably transit between computational states in accord with mechanical instructions encoded by the model. I contrast my theory with an influential approach to computational implementation espoused by Chalmers, Putnam, and others. I deploy my theory to illuminate the relation between computation and representation. I also rebut arguments, propounded by Putnam and Searle, that computational implementation is trivial
Keywords Physical computation  Physical realization  Computational implementation  Representation  Triviality arguments
Categories (categorize this paper)
DOI 10.1007/s11229-013-0324-y
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history
Admin Source id: feed://298/10.1007/s11229-013-0324-y   Serial ID: 618597
Change log    Delete without trace    Inspect

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 34,425
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Counterfactuals.David K. Lewis - 1973 - Blackwell.
Computation Without Representation.Gualtiero Piccinini - 2008 - Philosophical Studies 137 (2):205-241.
Explanation and Invariance in the Special Sciences.James Woodward - 2000 - British Journal for the Philosophy of Science 51 (2):197-254.

View all 25 references / Add more references

Citations of this work BETA

The Swapping Constraint.Henry Ian Schiller - 2018 - Minds and Machines 28 (3):605-622.
Virtual Machines and Real Implementations.Tyler Millhouse - 2018 - Minds and Machines 28 (3):465-489.

Add more citations

Similar books and articles

Against Structuralist Theories of Computational Implementation.Michael Rescorla - 2013 - British Journal for the Philosophy of Science 64 (4):681-707.
Computational Vs. Causal Complexity.Matthias Scheutz - 2001 - Minds and Machines 11 (4):543-566.
On Implementing a Computation.David J. Chalmers - 1994 - Minds and Machines 4 (4):391-402.
A Computational Foundation for the Study of Cognition.David J. Chalmers - 2011 - Journal of Cognitive Science 12 (4):323-357.
Implementation and Indeterminacy.Curtis Brown - 2004 - Conferences in Research and Practice in Information Technology 37.
Is Computation Based on Interpretation?Marcin Miłkowski - 2012 - Semiotica 2012 (188):219-228.
When Physical Systems Realize Functions.Matthias Scheutz - 1999 - Minds and Machines 9 (2):161-196.

Analytics

Added to PP index
2013-09-01

Total downloads
88 ( #70,596 of 2,267,200 )

Recent downloads (6 months)
11 ( #34,743 of 2,267,200 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature