Skip to main content
Log in

On implementing a computation

  • General Articles
  • Published:
Minds and Machines Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Chalmers, D. J. (forthcoming), ‘Does a Rock Implement Every Finite-state Automaton?”Synthese.

  • Chalmers, D. J. (1994), ‘A Computational Foundation for the Study of Cognition’, Philosophy-Neuroscience-Psychology Technical Report 94–03, Washington University.

  • Dretske, F. (1981),Knowledge and the Flow of Information, MIT Press.

  • Fodor, J. A. (1987),Psychosemantics: The Problem of Meaning in the Philosophy of Mind, MIT Press.

  • Haugeland, J. (1985),Artificial intelligence: The Very Idea. MIT Press.

  • 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.

  • Putnam, H. (1988),Representation and Reality, MIT Press.

  • Pylyshyn, Z. W. (1984),Computation and Cognition: Toward a Foundation for Cognitive Science, MIT Press.

  • 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.

  • 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 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Chalmers, D.J. On implementing a computation. Mind Mach 4, 391–402 (1994). https://doi.org/10.1007/BF00974166

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00974166

Key words

Navigation