Lucas Against Mechanism II: A Rejoinder

Canadian Journal of Philosophy 14 (2):189-191 (1984)


David Lewis criticizes an argument I put forward against mechansim on the grounds that I fail to distinguish between OL, Lucas's ordinary potential arithmetic output, and OML, Lucas's arithmetical output when accused of being some particular machine M; and correspondingly, between OM the ordinary potential arithmetic output of the machine M, and ONM, the arithmetic output of the machine M when accused of being a particular machine N. For any given machine, M, N, O, P, Q, R,... etc., I can in principle calculate a Godel sentence for that machine - indeed infinitely many, depending on the Godel numbering scheme adopted. The Godel sentence of a particular machine can, I claim, be seen to be true, if that machine is adequate for Elementary Peano Arithmetic. Hence, if I were accused of being M, I can on that supposition see that the Godel sentence of M is true, since I am capable of Elementary Peano Arithmetic and the machine M is said to be an adequate characterization of me.

Download options


    Upload a copy of this work     Papers currently archived: 72,855

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

12 (#816,550)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles

Lucas Against Mechanism: A Rejoinder.John Lucas - 2003 - Etica E Politica 5 (1):1.
Lucas Against Mechanism II: A Rejoinder.John R. Lucas - 1984 - Canadian Journal of Philosophy 14 (June):189-91.
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, Godel and Astaire: A Rejoinder.J. R. Lucas - 1984 - Philosophical Quarterly 34 (137):507-508.
R. Lucas, Kurt Godel, and Fred Astaire.David L. Boyer - 1983 - Philosophical Quarterly 33 (April):147-59.
Human and Machine Logic: A Rejoinder.John Lucas - 2003 - Etica E Politica 5 (1):1.
Godel's Theorem is a Red Herring.I. J. Good - 1968 - British Journal for the Philosophy of Science 19 (February):357-8.
Lucas Against Mechanism II.David Lewis - 1979 - Canadian Journal of Philosophy 9 (June):373-6.
This Gödel is Killing Me: A Rejoinder.John Lucas - 2003 - Etica E Politica 5 (1):1.
Mechanism: A Rejoinder.John R. Lucas - 1970 - Philosophy 45 (April):149-51.
Godel's Theorem and Mechanism.David Coder - 1969 - Philosophy 44 (September):234-7.