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.
Key wordsComputation implementation artificial intelligence cognition Turing machines
Unable to display preview. Download preview PDF.
- Chalmers, D. J. (forthcoming), ‘Does a Rock Implement Every Finite-state Automaton?”Synthese.Google Scholar
- Chalmers, D. J. (1994), ‘A Computational Foundation for the Study of Cognition’, Philosophy-Neuroscience-Psychology Technical Report 94–03, Washington University.Google Scholar
- Dretske, F. (1981),Knowledge and the Flow of Information, MIT Press.Google Scholar
- Fodor, J. A. (1987),Psychosemantics: The Problem of Meaning in the Philosophy of Mind, MIT Press.Google Scholar
- Haugeland, J. (1985),Artificial intelligence: The Very Idea. MIT Press.Google Scholar
- Putnam, H. (1967), ‘The Nature of Mental States’, in W.H. Capitan and D.D. Merrill (eds.),Art, Mind, and Religion, University of Pittsburgh Press.Google Scholar
- Putnam, H. (1988),Representation and Reality, MIT Press.Google Scholar
- Pylyshyn, Z. W. (1984),Computation and Cognition: Toward a Foundation for Cognitive Science, MIT Press.Google Scholar
- Searle, J. R. (1980), ‘Minds, Brains and Programs’,Behavioral and Brain Science 3, 417–57.Google Scholar
- Searle, J. R. (1990), ‘Is the Brain a Digital Computer?’,Proceedings and Addresses of the American Philosophical Association 64, 21–37.Google Scholar
- Searle, J. R. (1991),The Rediscovery of the Mind, MIT Press.Google Scholar
- Turing, A. M. (1936), ‘On Computable Numbers, with the Application to the Entscheidungsproblem’,Proceedings of the London Mathematical Society, Series 2 42, 230–65.Google Scholar