What is computation?

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.

[1]  Robin Gandy,et al.  Church's Thesis and Principles for Mechanisms , 1980 .

[2]  R. Cummins.  Meaning and mental representation , 1990 .

[3]  J. Fodor.  The Language of Thought , 1980 .

[4]  N. Block.  Troubles with functionalism , 1993 .

[5]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[6]  B. Jack Copeland,et al.  Turing, Wittgenstein and the science of the mind , 1994 .

[7]  Bertrand Russell,et al.  The Autobiography of Bertrand Russell , 1950 .

[8]  B. J. Copeland.  What is a Semantics for Classical Negation , 1986 .

[9]  Michael Friedman,et al.  Bertrand Russell's The Analysis of Matter: Its Historical Context and Contemporary Interest , 1985, Philosophy of Science.

[10]  John R. Searle,et al.  Is the Brain a Digital Computer , 1990 .

[11]  Krister Segerberg,et al.  Getting started: Beginnings in the logic of action , 1992, Stud Logica.

[12]  W. Lycan.  Form, Function, and Feel , 1981 .

[13]  A. Taylor.  Proceedings of the Aristotelian Society , 1909, Nature.

[14]  Robert Cummins,et al.  Connectionism, computation, and cognition , 1991 .

[15]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[16]  H. Keisler,et al.  The Kleene Symposium , 1980 .

[17]  S. Leeds,et al.  Perception and Cognition: Issues in the Foundations of Psychology , 1978 .

[18]  D. Deutsch.  Quantum theory, the Church–Turing principle and the universal quantum computer , 1985, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[19]  Willard Van Orman Quine,et al.  Word and Object , 1960 .

[20]  M. H. A. Newman,et al.  I.—MR. RUSSELL'S “CAUSAL THEORY OF PERCEPTION” , 1928 .

[21]  B. Jack Copeland,et al.  On when a semantics is not a semantics: Some reasons for disliking the Routley-Meyer semantics for relevance logic , 1979, J. Philos. Log..

[22]  K. Sterelny.  The Representational Theory Of Mind , 1991 .

[23]  Christopher Menzel,et al.  Logic and Reality: Essays on the Legacy of Arthur Prior , 2000 .

[24]  Vinod Goel,et al.  Notationality and the information processing mind , 1991, Minds and Machines.

[25]  Richard Coyne,et al.  Turing ’ s Machines , 1999 .

[26]  B. J. Copeland,et al.  The curious case of the Chinese gym , 1993, Synthese.

[27]  T. Horgan,et al.  Connectionism and the Philosophy of Mind , 1991 .

[28]  B. Russell.  The Analysis of Matter , 1927 .

[29]  Are Computational Explanations Vacuous , 1992 .

[30]  R. Newcombe.  Consciousness , 1996, Journal of Clinical Neuroscience.

[31]  John R. Searle,et al.  The Rediscovery of the Mind , 1995, Artif. Intell..

[32]  B. Jack Copeland,et al.  On Alan Turing's anticipation of connectionism , 1996, Synthese.

[33]  K. Segerberg.  To do and not to do. , 1996 .

[34]  B. Jack Copeland,et al.  Artificial Intelligence: A Philosophical Introduction , 1993 .