Switch to: Citations

Add references

You must login to add references.
  1. Gödel's Proof.Ernest Nagel & James R. Newman - 1960 - Philosophy of Science 27 (2):205-207.
     
    Export citation  
     
    Bookmark   4 citations  
  • 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 (4 more)  
     
    Export citation  
     
    Bookmark   146 citations  
  • 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   142 citations  
  • 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   241 citations  
  • Minds and Machines.Hilary Putnam - 1960 - In Sidney Hook (ed.), Dimensions of Minds. New York, USA: New York University Press. pp. 138-164.
  • 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 (12 more)  
     
    Export citation  
     
    Bookmark   1295 citations  
  • 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  
  • 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   415 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   76 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  
  • Computation and Cognition: Toward a Foundation for Cognitive Science.John Haugeland - 1987 - Philosophy of Science 54 (2):309-311.
  • Minds and Machines.Joseph S. Ullian - 1971 - Journal of Symbolic Logic 36 (1):177-177.
    Direct download  
     
    Export citation  
     
    Bookmark   93 citations  
  • Gödel's Proof.Ernest Nagel - 1958 - 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  
     
    Export citation  
     
    Bookmark   86 citations  
  • Godel's Proof.Ernest Nagel & James R. Newman - 1958 - 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 (...)
     
    Export citation  
     
    Bookmark   8 citations  
  • Godel's Proof.Ernest Nagel & James R. Newman - 1958 - 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 (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Lucas' Number is Finally Up.G. Lee Bowie - 1982 - Journal of Philosophical Logic 11 (3):279-85.
  • Is Mathematical Insight Algorithmic?Martin Davis - 1990 - Behavioral and Brain Sciences 13 (4):659-660.
  • 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 (11 more)  
     
    Export citation  
     
    Bookmark   265 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 (17 more)  
     
    Export citation  
     
    Bookmark   589 citations  
  • Truth, Method, and Correspondence in Spinoza and Leibniz.Don Garrett - 1990 - Studia Spinozana: An International and Interdisciplinary Series 6:13.
  • Godel, Escher, Bach: An Eternal Golden Braid.Douglas R. Hofstadter - 1979 - Basic Books.
  • Gödel's Proof.Ernest Nagel & James R. Newman - 1958 - Les Etudes Philosophiques 15 (2):294-295.
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  • 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.
  • 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   225 citations  
  • Is the Brain's Mind a Computer Program?John R. Searle - 1990 - Scientific American 262 (1):26-31.
  • 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.
  • Computing the Thinkable.David J. Chalmers - 1990 - Behavioral and Brain Sciences 13 (4):658-659.
  • The Rediscovery of the Mind.John Searle - 1995 - Philosophy and Phenomenological Research 55 (1):201-207.
    No categories
     
    Export citation  
     
    Bookmark   168 citations  
  • Brains, Machines, and Mathematics.Michael A. Arbib - 1970 - Journal of Symbolic Logic 35 (3):482-483.
    Direct download  
     
    Export citation  
     
    Bookmark   29 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   471 citations  
  • The Rediscovery of the Mind.John R. Searle - 1994 - Inquiry: An Interdisciplinary Journal of Philosophy 37:253.
    No categories
     
    Export citation  
     
    Bookmark   195 citations  
  • Computation and Cognition.Zenon W. Pylyshyn - 1984 - MIT Press.
  • Infinity and the Mind the Science and Philosophy of the Infinite.Rudolf V. B. Rucker - 1982
     
    Export citation  
     
    Bookmark   56 citations  
  • Infinity and the Mind: The Science and Philosophy of the Infinite.Rudy vB Rucker - 1982 - 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  
     
    Export citation  
     
    Bookmark   44 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   48 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.
     
    Export citation  
     
    Bookmark   1 citation