Switch to: Citations

Add references

You must login to add references.
  1. Gödel's Proof.Ernest Nagel - 1958 - New York, NY, USA: New York University Press.
    In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system and had radical implications that have echoed throughout many fields. A gripping combination of science and accessibility, _Godel’s Proof_ by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   86 citations  
  • The Rediscovery of the Mind.John R. Searle - 1992 - MIT Press.
    The title of The Rediscovery of the Mind suggests the question "When was the mind lost?" Since most people may not be aware that it ever was lost, we must also then ask "Who lost it?" It was lost, of course, only by philosophers, by certain philosophers. This passed unnoticed by society at large. The "rediscovery" is also likely to pass unnoticed. But has the mind been rediscovered by the same philosophers who "lost" it? Probably not. John Searle is an (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   601 citations  
  • Infinity and the Mind: The Science and Philosophy of the Infinite.Rudy von Bitter Rucker - 1982 - Boston, MA, USA: Princeton University Press.
    In Infinity and the Mind, Rudy Rucker leads an excursion to that stretch of the universe he calls the "Mindscape," where he explores infinity in all its forms: potential and actual, mathematical and physical, theological and mundane. Here Rucker acquaints us with Gödel's rotating universe, in which it is theoretically possible to travel into the past, and explains an interpretation of quantum mechanics in which billions of parallel worlds are produced every microsecond. It is in the realm of infinity, he (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  • Computation and Cognition: Toward a Foundation for Cognitive Science.Zenon W. Pylyshyn - 1984 - Cambridge: MIT Press.
    This systematic investigation of computation and mental phenomena by a noted psychologist and computer scientist argues that cognition is a form of computation, that the semantic contents of mental states are encoded in the same general way as computer representations are encoded. It is a rich and sustained investigation of the assumptions underlying the directions cognitive science research is taking. 1 The Explanatory Vocabulary of Cognition 2 The Explanatory Role of Representations 3 The Relevance of Computation 4 The Psychological Reality (...)
    Direct download  
     
    Export citation  
     
    Bookmark   967 citations  
  • The Symbol Grounding Problem.Stevan Harnad - 1990 - Physica D 42:335-346.
    There has been much discussion recently about the scope and limits of purely symbolic models of the mind and about the proper role of connectionism in cognitive modeling. This paper describes the symbol grounding problem : How can the semantic interpretation of a formal symbol system be made intrinsic to the system, rather than just parasitic on the meanings in our heads? How can the meanings of the meaningless symbol tokens, manipulated solely on the basis of their shapes, be grounded (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   312 citations  
  • The Emperor’s New Mind.Roger Penrose - 1989 - Oxford University Press.
    Winner of the Wolf Prize for his contribution to our understanding of the universe, Penrose takes on the question of whether artificial intelligence will ever ...
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   551 citations  
  • Godel, Escher, Bach: An Eternal Golden Braid.Douglas R. Hofstadter - 1979 - Hassocks, England: Basic Books.
    A young scientist and mathematician explores the mystery and complexity of human thought processes from an interdisciplinary point of view.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   491 citations  
  • Infinity and the Mind the Science and Philosophy of the Infinite.R. Rucker - 1982 - Boston, MA, USA: Birkhauser.
    This work brings together the limits of science and the furthest horizons of the imagination. With wit and ease, Rucker leads us through the arguments of mathematicians, physicists and philosophers, through the paradoxes of set theory, the mind-stretching concepts of space/time physics, and the staggering results of Godels incompleteness theorems. Rucker's own personal encounters with Godel the man, the mathematician and the philosopher provide a rare glimpse at genius, and reveal what very few mathematicians have dared to admit - the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   61 citations  
  • Godel's Proof.Ernest Nagel & James R. Newman - 1958 - New York, NY, USA: Routledge.
    In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system and had radical implications that have echoed throughout many fields. A gripping combination of science and accessibility, _Godel’s Proof_ by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  • Godel's Proof.Ernest Nagel & James R. Newman - 1958 - New York, NY, USA: Routledge.
    _'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.'_ _– The Guardian_ In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system. The importance of Godel's Proof rests upon its radical implications and has echoed throughout many fields, from maths (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Gödel's Proof.Ernest Nagel & James R. Newman - 1958 - Les Etudes Philosophiques 15 (2):294-295.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   16 citations  
  • Gödel's Proof.Ernest Nagel & James R. Newman - 1960 - Philosophy of Science 27 (2):205-207.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Computation and Cognition: Toward a Foundation for Cognitive Science.John Haugeland - 1987 - Philosophy of Science 54 (2):309-311.
  • Minds, Brains, and Programs.John R. Searle - 1980 - Behavioral and Brain Sciences 3 (3):417-57.
    What psychological and philosophical significance should we attach to recent efforts at computer simulations of human cognitive capacities? In answering this question, I find it useful to distinguish what I will call "strong" AI from "weak" or "cautious" AI. According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool. For example, it enables us to formulate and test hypotheses in a more rigorous and precise fashion. (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   1556 citations  
  • Computing Machinery and Intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.
    I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to (...)
    Direct download (18 more)  
     
    Export citation  
     
    Bookmark   830 citations  
  • Computing the Thinkable.David J. Chalmers - 1990 - Behavioral and Brain Sciences 13 (4):658-659.
  • The Rediscovery of the Mind by John Searle. [REVIEW]Daniel C. Dennett - 1993 - Journal of Philosophy 90 (4):193-205.
  • Gödel, Escher, Bach: An Eternal Golden Braid.Jonathan Lieberson - 1980 - Journal of Philosophy 77 (1):45-52.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   146 citations  
  • Lucas' Number is Finally Up.G. Lee Bowie - 1982 - Journal of Philosophical Logic 11 (3):279-85.
  • Minds, Brains, and Programs.John Searle - 1980 - In John Heil (ed.), Philosophy of Mind: A Guide and Anthology. Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark   587 citations  
  • Computing Machinery and Intelligence.Alan M. Turing - 2003 - In John Heil (ed.), Philosophy of Mind: A Guide and Anthology. Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark   549 citations  
  • Is the Brain’s Mind a Computer Program?John R. Searle - 1990 - Scientific American 262 (1):26-31.
  • The Rediscovery of the Mind.John R. Searle - 1992 - Inquiry: An Interdisciplinary Journal of Philosophy 37:253.
    No categories
     
    Export citation  
     
    Bookmark   418 citations  
  • On Computation and Cognition: Toward a Foundation of Cognitive Science.Zenon Pylyshyn - 1989 - Artificial Intelligence 38 (2):248-251.
  • Minds, Machines and Gödel.John R. Lucas - 1961 - Philosophy 36 (137):112-127.
    Gödei's Theorem seems to me to prove that Mechanism is false, that is, that minds cannot be explained as machines. So also has it seemed to many other people: almost every mathematical logician I have put the matter to has confessed to similar thoughts, but has felt reluctant to commit himself definitely until he could see the whole argument set out, with all objections fully stated and properly met. This I attempt to do.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   163 citations  
  • Minds and Machines.Hilary Putnam - 1960 - In Sidney Hook (ed.), Dimensions of Minds. New York, USA: New York University Press. pp. 138-164.
  • Godel's Proof.S. R. Peterson - 1961 - Philosophical Quarterly 11 (45):379.
    In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system and had radical implications that have echoed throughout many fields. A gripping combination of science and accessibility, Godel’s Proof by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   91 citations  
  • Infinity and the Mind. The Science and Philosophy of the Infinite.Joseph Shipman - 1985 - Journal of Symbolic Logic 50 (1):246-247.
    Direct download  
     
    Export citation  
     
    Bookmark   60 citations  
  • Minds, Machines and Gödel.J. R. Lucas - 2003 - Etica E Politica 5 (1):1.
    In this article, Lucas maintains the falseness of Mechanism - the attempt to explain minds as machines - by means of Incompleteness Theorem of Gödel. Gödel’s theorem shows that in any system consistent and adequate for simple arithmetic there are formulae which cannot be proved in the system but that human minds can recognize as true; Lucas points out in his turn that Gödel’s theorem applies to machines because a machine is the concrete instantiation of a formal system: therefore, for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   126 citations  
  • The Rediscovery of the Mind.Paul F. Snowdon - 1994 - Philosophical Quarterly 44 (175):259-260.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   76 citations  
  • Minds and Machines.Joseph S. Ullian - 1971 - Journal of Symbolic Logic 36 (1):177-177.
    Direct download  
     
    Export citation  
     
    Bookmark   93 citations  
  • Is Mathematical Insight Algorithmic?Martin Davis - 1990 - Behavioral and Brain Sciences 13 (4):659-660.
  • Truth, Method, and Correspondence in Spinoza and Leibniz.Don Garrett - 1990 - Studia Spinozana: An International and Interdisciplinary Series 6:13.
  • Computation and Cognition: Toward a Foundation for Cognitive Science.Epistemology and Cognition.Zenon W. Pylyshyn & Alvin T. Goldman - 1988 - Philosophical Quarterly 38 (153):526-532.
  • The Nonalgorithmic Mind.Roger Penrose - 1990 - Behavioral and Brain Sciences 13 (4):692-705.
  • The Powers of Machines and Minds.Chris Mortensen - 1990 - Behavioral and Brain Sciences 13 (4):678-679.
  • The Rediscovery of the Mind.John Searle - 1995 - Philosophy and Phenomenological Research 55 (1):201-207.
    No categories
     
    Export citation  
     
    Bookmark   383 citations  
  • Brains, Machines, and Mathematics.Michael A. Arbib - 1970 - Journal of Symbolic Logic 35 (3):482-483.
    Direct download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Can Machines Think?Daniel C. Dennett - 1984 - In M. G. Shafto (ed.), How We Know. Harper & Row.
  • Minds and Brains Without Programs.John R. Searle - 1987 - In Colin Blakemore (ed.), Mindwaves. Blackwell.
     
    Export citation  
     
    Bookmark   52 citations  
  • Why I Am Not a Turing Machine: Godel's Theorem and the Philosophy of Mind.Thomas Tymoczko - 1991 - In Jay L. Garfield (ed.), Foundations of Cognitive Science. Paragon House.