Cognition Is Not Computation: The Argument from Irreversibility

The dominant scientific and philosophical view of the mind – according to which, put starkly, cognition is computation – is refuted herein, via specification and defense of the following new argument: Computation is reversible; cognition isn't; ergo, cognition isn't computation. After presenting a sustained dialectic arising from this defense, we conclude with a brief preview of the view we would put in place of the cognition-is-computation doctrine.

[1]  Selmer Bringsjord,et al.  Could, how could we tell if, and why should—androids have inner lives? , 1995 .

[2]  Stuart C. Shapiro,et al.  Computationalism , 2004, Minds and Machines.

[3]  James H. Fetzer Mental Algorithms: Are Minds Computational Systems? , 1994 .

[4]  Selmer Bringsjord,et al.  In Defense of Hyper-Logicist AI , 1991, IJCAI.

[5]  T. Rado On non-computable functions , 1962 .

[6]  M. W. Shields An Introduction to Automata Theory , 1988 .

[7]  Michael Zenzen,et al.  The Nature of Irreversibility , 1985 .

[8]  Bernard Meltzer,et al.  Brains and Programs , 1977, International Computing Symposium.

[9]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[10]  Michael L. Anderson,et al.  Symbol Systems , 2002 .

[11]  D. Hofstadter Metamagical Themas: Questing for the Essence of Mind and Pattern , 1985 .

[12]  H. Simon Studying human intelligence by creating artificial intelligence. , 1981, American scientist.

[13]  Jr. Hartley Rogers Theory of Recursive Functions and Effective Computability , 1969 .

[14]  Charles H. Bennett,et al.  Logical reversibility of computation , 1973 .

[15]  J. Schilperoord,et al.  Linguistics , 1999 .

[16]  Heiner Marxen,et al.  Attacking the Busy Beaver 5 , 1990, Bull. EATCS.

[17]  S. Bringsjord,et al.  Review of John Searle's The Rediscovery of the Mind," , 1995 .

[18]  P. Johnson-Laird The computer and the mind: an introduction to cognitive science , 1988 .

[19]  Dale Jacquette,et al.  Philosophy of Mind , 1993 .

[20]  W. Pitts,et al.  A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.

[21]  Avron Barr,et al.  Artificial Intelligence: Cognition as Computation, , 1982 .

[22]  M. Ashcraft Human memory and cognition , 1989 .

[23]  N. Block On a confusion about a function of consciousness , 1995, Behavioral and Brain Sciences.

[24]  P. Smolensky On the proper treatment of connectionism , 1988, Behavioral and Brain Sciences.

[25]  Herbert A. Simon,et al.  Cognitive Science: The Newest Science of the Artificial , 1980, Cogn. Sci..

[26]  Paul Smolensky,et al.  Putting together connectionism – again , 1988, Behavioral and Brain Sciences.

[27]  Allen Newell,et al.  Physical Symbol Systems , 1980, Cogn. Sci..

[28]  R. Soare Recursively enumerable sets and degrees , 1987 .

[29]  Edwina L. Rissland,et al.  Cognitive Science: An Introduction , 1987 .

[30]  John R. Searle,et al.  Minds, brains, and programs , 1980, Behavioral and Brain Sciences.

[31]  Jörg Flum,et al.  Mathematical logic , 1985, Undergraduate texts in mathematics.

[32]  Charles H. Bennett,et al.  The thermodynamics of computation—a review , 1982 .

[33]  Hilary Putnam Mind, Language and Reality: Philosophical Papers , 1975 .

[34]  A. Clark,et al.  Artificial Intelligence: The Very Idea. , 1988 .

[35]  Elaine J. Weyuker,et al.  Computability, complexity, and languages - fundamentals of theoretical computer science , 2014, Computer science and applied mathematics.

[36]  Charles H. Bennett Thermodynamically Reversible Computation , 1984 .

[37]  Christos H. Papadimitriou,et al.  Elements of the Theory of Computation , 1997, SIGA.

[38]  Selmer Bringsjord,et al.  Is the connectionist-logicist clash one of AI's wonderful red herrings? , 1991, J. Exp. Theor. Artif. Intell..

[39]  Tim Maudlin,et al.  Computation and Consciousness , 1989 .

[40]  Vladimiro Sassone,et al.  Bulletin of the European Association for Theoretical Computer Science , 2005 .

[41]  Stevan Harnad,et al.  Other bodies, other minds: A machine incarnation of an old philosophical problem , 1991, Minds and Machines.

[42]  B. Partee,et al.  Mathematical Methods in Linguistics , 1990 .

[43]  George Boolos,et al.  Computability and logic , 1974 .

[44]  Gerard Casey Minds and machines , 1992 .

[45]  Daniel L. Schacter,et al.  On the relation between memory and consciousness: Dissociable interactions and conscious experience. , 1989 .

[46]  Selmer Bringsjord computation, among other things, is beneath us , 2004, Minds and Machines.