Etica E Politica 5 (1):1 (1961)

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 every machine consistent and able of doing simple arithmetic, there is a formula that it can’t produce as true but that we can see to be true, and so human minds and machines have to be different. Lucas considers as well in this article some possible objections to his argument: for any Gödelian formula we could, for instance, construct a machine able to produce it or we could put the Gödelian formulae that we had proved as axioms of a further machine. However - as Lucas underlines - for every of such machines we could again formulate another Gödelian formula, the Gödelian formula of these machines, that they are not able to proof but that we can recognize as true. More general arguments, such as the possibility to escape Gödelian argument by suggesting that Gödel’s theorem applies to consistent systems while we could be inconsistent ones, are moreover refuted by Lucas by maintaining that our inconsistency corresponds to occasional malfunctioning of a machine and not to his normal inconsistency; indeed, a inconsistent machine is characterized by producing any statement, on the contrary human being are selective and not disposed to assert anything.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2003
DOI 10.1017/s0031819100057983
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,489
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

Minds, Brains, and Programs.John Searle - 1980 - Behavioral and Brain Sciences 3 (3):417-57.
The Singularity: A Philosophical Analysis.David J. Chalmers - 2010 - Journal of Consciousness Studies 17 (9-10):9 - 10.

View all 125 citations / Add more citations

Similar books and articles

Godel's Theorem and Mechanism.David Coder - 1969 - Philosophy 44 (September):234-7.
Minds, Machines, and Gödel: A Retrospect.J. R. Lucas - 1996 - In P. J. R. Millican & A. Clark (eds.), Etica E Politica. Clarendon Press. pp. 1.
The Mind's I has Two Eyes.J. Martin & K. Engleman - 1990 - Philosophy 65 (264):510-515.
Minds, Machines and Godel: A Reply to Mr Lucas.C. Whitely - 1962 - Philosophy 37 (January):61-62.
Lucas Against Mechanism.David K. Lewis - 1969 - Philosophy 44 (June):231-3.
Lucas Against Mechanism II.David Lewis - 1979 - Canadian Journal of Philosophy 9 (June):373-6.
Lucas Against Mechanism: A Rejoinder.John Lucas - 2003 - Etica E Politica 5 (1):1.
McCall’s Gödelian Argument is Invalid.Panu Raatikainen - 2002 - Facta Philosophica 4 (1):167-69.


Added to PP index

Total views
131 ( #90,556 of 2,520,788 )

Recent downloads (6 months)
11 ( #66,706 of 2,520,788 )

How can I increase my downloads?


My notes