On implementing a computation

Minds and Machines 4 (4):391-402 (1994)
Abstract
To clarify the notion of computation and its role in cognitive science, we need an account of implementation, the nexus between abstract computations and physical systems. I provide such an account, based on the idea that a physical system implements a computation if the causal structure of the system mirrors the formal structure of the computation. The account is developed for the class of combinatorial-state automata, but is sufficiently general to cover all other discrete computational formalisms. The implementation relation is non-vacuous, so that criticisms by Searle and others fail. This account of computation can be extended to justify the foundational role of computation in artificial intelligence and cognitive science.
Keywords Artificial Intelligence  Computation  Science  Test  Turing, A
Categories (categorize this paper)
DOI 10.1007/BF00974166
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,440
Through your library
References found in this work BETA
Minds, Brains and Programs.John R. Searle - 1980 - Behavioral and Brain Sciences 3 (3):417-57.

View all 10 references / Add more references

Citations of this work BETA
Computers.Gualtiero Piccinini - 2008 - Pacific Philosophical Quarterly 89 (1):32–73.
Realization Relations in Metaphysics.Umut Baysan - 2015 - Minds and Machines (3):1-14.
Realization and the Metaphysics of Mind.Thomas W. Polger - 2007 - Australasian Journal of Philosophy 85 (2):233 – 259.

View all 17 citations / Add more citations

Similar books and articles
Computationalism.Valerie Gray Hardcastle - 1995 - Synthese 105 (3):303-17.
How Molecules Matter to Mental Computation.Paul R. Thagard - 2002 - Philosophy of Science 69 (3):497-518.
Hypercomputation and the Physical Church-Turing Thesis.Paolo Cotogno - 2003 - British Journal for the Philosophy of Science 54 (2):181-223.
Concrete Digital Computation: What Does It Take for a Physical System to Compute? [REVIEW]Nir Fresco - 2011 - Journal of Logic, Language and Information 20 (4):513-537.
When Physical Systems Realize Functions.Matthias Scheutz - 1999 - Minds and Machines 9 (2):161-196.
A Computational Foundation for the Study of Cognition.David J. Chalmers - 2011 - Journal of Cognitive Science 12 (4):323-357.
Added to PP index
2009-01-28

Total downloads
215 ( #18,548 of 2,180,202 )

Recent downloads (6 months)
5 ( #50,958 of 2,180,202 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums