Abstract
To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase ‘of a certain kind’. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against a difficulty that has persistently been raised against it, and undercuts various objections that have been made to the computational theory of mind.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Belnap, N. D.: 1996, ‘Agents in Branching Time’, in Copeland 1996a.
Block, N.: 1978, ‘Troubles with Functionalism’, in Savage 1978, pp. 261–325.
Chang, C. C. and Keisler, H. J.: 1973, Model Theory, North Holland, Amsterdam.
Copeland, B. J.: 1979, ‘On When a Semantics is not a Semantics’, Journal of Philosophical Logic 8, 399–413.
Copeland, B. J.: 1986, ‘What is a Semantics for Classical Negation?’, Mind XCV, 478–90.
Copeland, B. J.: 1993a, ‘The Curious Case of the Chinese Gym’, Synthese 95, 173–86.
Copeland, B. J.: 1993b, Artificial Intelligence: a Philosophical Introduction, Blackwell, Oxford.
Copeland, B. J.: 1994, ‘Vagueness and Bivalence’, Proceedings of the Aristotelian Society, LXVIII, 193–200.
Copeland, B. J. (ed.): 1996a, Logic and Reality: Essays on the Legacy of Arthur Prior, Oxford University Press, Oxford.
Copeland, B. J.: 1996b, ‘The Broad Concept of Computation’, Forthcoming.
Copeland, B. J.: 1997, Turing's Machines, Oxford University Press, Oxford.
Copeland, B. J. and Proudfoot, D.: 1996, ‘On Alan Turing's Anticipation of Connectionism’, Synthese 108, this issue.
Cummins, R.: 1989, Meaning and Mental Representation, MIT Press, Cambridge, Mass.
Cummins, R. and Schwarz, G.: 1991, ‘Connectionism, Computation, and Cognition’, in Horgan and Tienson 1991, 60–73.
Demopoulos, W. and Friedman, M.: 1985, ‘Bertrand Russell's The Analysis of Matter: Its Historical Context and Contemporary Interest’, Philosophy of Science 52, 621–39.
Deutsch, D.: 1985, ‘Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer’, Proceedings of the Royal Society, Series A, 400 97–117.
Fodor, J. A.: 1975, The Language of Thought, Thomas Y. Crowell, New York.
Gandy, R.: 1980, ‘Church's Thesis and Principles for Mechanisms’, in J. Barwise, H. J. Keisler, and K. Kunen (eds): 1980, The Kleene Symposium, North-Holland, Amsterdam, pp. 123–148.
Goel, V.: 1991, ‘Notationality and the Information Processing Mind’, Minds and Machines 1, 129–165.
Goel, V.: 1992, ‘Are Computational Explanations Vacuous?’, Proceedings of the Fourteenth Annual Conference of the Cognitive Science Society, Erlbaum, Hillsdale, New Jersey, pp. 647–52.
Horgan, T. and Tienson, J.: 1991, Connectionism and the Philosophy of Mind, Kluwer, Dordrecht.
Lycan, W. G.: 1981, ‘Form, Function, and Feel’, Journal of Philosophy 78, 24–50.
Lycan, W. G.: 1987, Consciousness, MIT Press, Cambridge, Mass.
Newman, M. H. A.: 1928, ‘Mr. Russell's “Causal Theory of Perception”’, Mind 37, 137–48.
Proudfoot, D. and Copeland, B. J.: 1994, ‘Turing, Wittgenstein and the Science of the Mind’, Australasian Journal of Philosophy 72, 497–519.
Quine, W. V. O.: 1960, Word and Object, MIT Press, Cambridge, Mass.
Russell, B.: 1927, The Analysis of Matter, Kegan Paul, Trench, Trubner, London.
Russell, B.: 1968, The Autobiography of Bertrand Russell, Allen & Unwin, London.
Savage, C. W. (ed.): 1978, Perception and Cognition: Issues in the Foundations of Psychology, University of Minnesota Press, Minneapolis.
Searle, J.: 1990, ‘Is the Brain a Digital Computer?’, Proceedings and Addresses of the American Philosophical Association 64, 21–37.
Searle, J.: 1992, The Rediscovery of the Mind, MIT Press, Cambridge, Mass.
Segerberg, K.: 1989, ‘Getting Started: Beginnings in the Logic of Action’. Atti del Convegno Internazionale di Storia della Logica, Le teorie delle modalità; San Gimignano 5–8 dicembre 1987. CLUEB, Bologna, Italy.
Segerberg, K.: 1996, ‘To Do and Not To Do’, in Copeland 1996a.
Smith B. C.: forthcoming, A View from Somewhere, MIT Press, Cambridge, Mass.
Sterelny, K.: 1990, The Representational Theory of Mind, Blackwell, Oxford.
Turing, A. M.: 1936, ‘On Computable Numbers, with an Application to the Entscheidungsproblem’, Proceedings of the London Mathematical Society, Series 2, 42 (1936–37), 230–65.
Turing, A. M.: 1948, ‘Intelligent Machinery’, National Physical Laboratory Report, Reprinted in Meltzer, B. and Michie, D. (eds), Machine Intelligence, Edinburgh University Press, Edinburgh, pp. 3–23.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Copeland, B.J. What is computation?. Synthese 108, 335–359 (1996). https://doi.org/10.1007/BF00413693
Issue Date:
DOI: https://doi.org/10.1007/BF00413693