In Alessandro Giordani & Ciro De Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic. Berlin: De Gruyter. pp. 41-60 (2018)

Marco Buzzoni Gödel, Searle, and the Computational Theory of the (Other) Mind According to Sergio Galvan, some of the arguments offered by Lucas and Penrose are somewhat obscure or even logically invalid, but he accepts their fundamental idea that a human mind does not work as a computational machine. His main point is that there is a qualitative difference between the principles of the logic of provability and those of the logic of evidence and belief. To evaluate this suggestion, I shall first compare it with Searle’s concept of “intentionality”, and then introduce a distinction between two different senses of intentionality: a reflexive-transcendental sense and a positive (that is, historical empirical or formal logical) one. In the first of these senses, the nature of human reason is such that we have no idea how a real material system – or the corresponding formal one – could instantiate it. However, although this will turn out to be an important element of truth in Searle’s and Galvan’s conception, it does not exclude the opposite truth of Turing’s functionalism: because intentionality, intuition, vision or insight – taken in their reflexive-transcendental sense – are simply invisible to the scientific eye, a man and a machine (or a robot) that is and one that is not endowed with intentionality are de facto indistinguishable from a strictly scientific point of view. For this reason, we might eventually be entitled, or even — by the practical precautionary principle – morally obliged, to attribute minds to machines.
Keywords intentionality  Searle  Gödel  mind and machines
Categories (categorize this paper)
Buy the book Find it on
DOI 10.1515/9783110529494-004
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,316
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Arnold Beckmann, Ulrich Berger, Benedikt Löwe & John V. Tucker (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Berlin: Springer. pp. 575--583.
Computationalism and the Problem of Other Minds.Stuart S. Glennan - 1995 - Philosophical Psychology 8 (4):375-88.
Computationalism and the Problem of Other Minds.Stuart M. Glennan - 1995 - Philosophical Psychology 8 (4):375-388.
Godel, Lucas, and Mechanical Models of Mind.Robert F. Hadley - 1987 - Computational Intelligence 3:57-63.


Added to PP index

Total views
20 ( #560,485 of 2,519,509 )

Recent downloads (6 months)
1 ( #407,153 of 2,519,509 )

How can I increase my downloads?


My notes