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

Abstract
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.
Keywords Contemporary Philosophy  General Interest
Categories No categories specified
(categorize this paper)
ISBN(s) 0045-5091
DOI cjphil19841422
Options
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: 63,194
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

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.

Analytics

Added to PP index
2017-02-17

Total views
10 ( #871,719 of 2,448,323 )

Recent downloads (6 months)
1 ( #450,727 of 2,448,323 )

How can I increase my downloads?

Downloads

My notes