Skip to main content
Log in

Cognition Is Not Computation: The Argument from Irreversibility

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

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.

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.

Similar content being viewed by others

REFERENCES

  • Ashcraft, M. H.: 1994, Human Memory and Cognition, HarperCollins, New York, NY.

    Google Scholar 

  • Barr, A.: 1983, 'Artificial Intelligence: Cognition as Computation', in Fritz Machlup (ed.), The Study of Information: Interdisciplinary Messages, Wiley Interscience, New York, NY, pp. 237–262.

    Google Scholar 

  • Barwise, J. and J. Etchemendy: 1993, Turing's World 3.0, CSLI Publications, Stanford, CA.

    Google Scholar 

  • Bennett, C. H.: 1973, 'Logical Reversibility of Computation', IBM Journal of Research Development November, 525–532.

  • Bennett, C. H.: 1982, The Thermodynamics of Computation – A Review', International Journal of Theoretical Physics 21, 905–940.

    Google Scholar 

  • Bennett, C. H.: 1984, 'Thermodynamically Reversible Computation', Phys. Rev. Lett. 53, 1202.

    Google Scholar 

  • Berlekamp, E., J. Conway, R. Guy: 1982, Winning Ways, Vol. 2, Academic Press, New York. [See chapter 25 for Conway's description of Life.]

    Google Scholar 

  • Block, N.: 1995, 'On a Confusion About a Function of Consciousness', Behavioral and Brain Sciences 18, 227–247.

    Google Scholar 

  • Boolos, G. S. and R. C. Jeffrey: 1980, Computability and Logic, Cambridge University Press, Cambridge.

    Google Scholar 

  • Bringsjord, S. and D. Ferrucci: forthcoming, Artificial Intelligence, Literary Creativity, and Story Generation: The State of the Art, Lawrence Erlbaum, Hillsdale, NJ.

  • Bringsjord, S. and M. Zenzen: forthcoming, In Defense of Uncomputable Cognition, Kluwer, Dordrecht.

  • Bringsjord, S.: 1991, 'Is the Connectionist-Logicist Clash One of AI's Wonderful Red Herrings?', Journal of Experimental and Artificial Intelligence 3.4, 319–349.

    Google Scholar 

  • Bringsjord, S.: 1992, What Robot's Can and Can't Be, Kluwer, Dordrecht.

    Google Scholar 

  • Bringsjord, S.: 1994, 'Computation, Among Other Things, Is Beneath Us', Minds and Machines 4.4, 469–488.

    Google Scholar 

  • Bringsjord, S.: 1995, 'Could, How Could We Tell If, and Why Should – Androids Have Inner Lives', in Ford, K. and Glymour, C. (eds.), Android Epistemology, MIT Press, Cambridge, MA, pp. 93–122.

    Google Scholar 

  • Bringsjord, S. and M. Zenzen: 1991, 'In Defense of Hyper Logicist AI', IJCAI' 91, Morgan Kaufmann, Mountain View, CA, pp. 1066–1072.

    Google Scholar 

  • Davis, M. and E. Weyuker: 1983, Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science, Academic Press, New York, NY.

    Google Scholar 

  • Dennett, D.: 1991, Consciousness Explained, Little, Brown, Boston, MA.

    Google Scholar 

  • Dennett, D: 1993, 'Review of John Searle's The Rediscovery of the Mind', Journal of Philosophy 90.4, 193–205.

    Google Scholar 

  • Descartes, R.: 1911 – first edition, The Philosophical Works of Descartes, Vol. I, translated by Haldane, E. S. and Ross, G. R. T., Cambridge University Press, Cambridge.

    Google Scholar 

  • Dietrich, E.: 1990, 'Computationalism', Social Epistemology 4.2, 135–154.

    Google Scholar 

  • Ebbinghaus, H. D., J. Flum, and W. Thomas: 1984, Mathematical Logic, Springer Verlag, New York, NY.

    Google Scholar 

  • Fetzer, J.: 1994, 'Mental Algorithms: Are Minds Computational Systems?', Pragmatics and Cognition 2.1 1–29.

    Google Scholar 

  • Harnad, S.: 1991, 'Other Bodies, Other Minds: A Machine Incarnation of an Old Philosophical Problem', Minds and Machines 1.1 43–54.

    Google Scholar 

  • Haugeland, J.: 1981, Artificial Intelligence: The Very Idea, MIT Press, Cambridge, MA.

    Google Scholar 

  • Hobbes, T.: 1839, 'De Corpore', Chap. 1, in English Works, edn., Molesworth, reprinted in (1962); Body, Man and Citizen, Collier, New York, NY.

    Google Scholar 

  • Hofstadter, D. R.: 1985, 'Waking Up from the Boolean Dream', Chapter 26 in his Metamagical Themas: Questing for the Essence of Mind and Pattern, Bantam, New York, NY, pp. 631–665.

    Google Scholar 

  • Hopcroft, J. E. and J. D. Ullman: 1979, Introduction to Automata Theory, Languages and Computation, Addison Wesley, Reading, MA.

    Google Scholar 

  • Jacquette, D.: 1994, Philosophy of Mind, Prentice Hall, Englewood Cliffs, NJ.

    Google Scholar 

  • Johnson-Laird, P.: 1988, The Computer and the Mind, Harvard University Press, Cambridge, MA.

    Google Scholar 

  • Lewis, H. and C. Papadimitriou: 1981, Elements of the Theory of Computation, Prentice Hall, Englewood Cliffs, NJ.

    Google Scholar 

  • Marxen, H. and J. Buntrock: 1990, 'Attacking the Busy Beaver 5', Bulletin of the European Association for Theoretical Computer Science 40, 247–251.

    Google Scholar 

  • Maudlin, T.: 1989, 'Computation and Consciousness', Journal of Philosophy 84: 407–432.

    Google Scholar 

  • McCulloch, W. S. and W. Pitts: 1943, 'A Logical Calculus of the Ideas Immanent in Nervous Activity', Bulletin of Mathematical Biophysics 5, 115–137.

    Google Scholar 

  • Newell, A.: 1980, 'Physical Symbol Systems', Cognitive Science 4 135–183.

    Google Scholar 

  • Partee, B., A. Meulen, and R. Wall: 1990, Mathematical Methods in Linguistics, Kluwer Academic Publishers, Dordrecht.

    Google Scholar 

  • Poundstone, W.: 1985, The Recursive Universe, William Morrow, New York.

    Google Scholar 

  • Putnam, H.: 1960, 'Minds and Machines', in his (1975) Mind, Language, and Reality: Philosophical Papers, Vol. 2, Cambridge University Press, Cambridge.

    Google Scholar 

  • Rado, T.: 1963, 'On Non-Computable Functions', Bell System Technical Journal 41, 877–884.

    Google Scholar 

  • Rogers, H.: 1967, Theory of Recursive Functions and Effective Computability, McGraw Hill, New York, NY.

    Google Scholar 

  • Schacter, D. L.: 1989, 'On the Relation Between Memory and Consciousness: Dissociable Interactions and Conscious Experience', in H. Roediger and F. Craik (eds.), Varieties of Memory and Consciousness: Essays in Honour of Endel Tulving, Erlbaum, Hillsdale, NJ.

    Google Scholar 

  • Searle, J.: 1980, 'Minds, Brains and Programs', Behavioral and Brain Sciences 3, 417–424.

    Google Scholar 

  • Simon, H.: 1980, 'Cognitive Science: The Newest Science of the Artificial', Cognitive Science 4, 33–56.

    Google Scholar 

  • Simon, H.: 1981, 'Study of Human Intelligence by Creating Artificial Intelligence', American Scientist 69.3, 300–309.

    Google Scholar 

  • Smolensky, P.: 1988, 'On the Proper Treatment of Connectionism', Behavioral and Brain Sciences 11, 1–22.

    Google Scholar 

  • Smolensky, P.: 1988, 'Putting Together Connectionism – Again', Behavioral and Brain Sciences 11, 59–70.

    Google Scholar 

  • Soare, R.: 1980, Recursively Enumerable Sets and Degrees, Springer Verlag, New York, NY.

    Google Scholar 

  • Stillings, N. A., S. E. Weisler, C. H., Chase, M. H. Feinstein, J. L. Garfield, and E. L. Rissland: 1995, Cognitive Science: An Introduction, MIT Press, Cambridge, MA.

    Google Scholar 

  • Zenzen, M. and H. Hollinger: 1985, The Nature of Irreversibility, D. Reidel, Dordrecht.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bringsjord, S., Zenzen, M. Cognition Is Not Computation: The Argument from Irreversibility. Synthese 113, 285–320 (1997). https://doi.org/10.1023/A:1005019131238

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005019131238

Keywords

Navigation