Canadian Journal of Philosophy 14 (June):189-91 (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.
Keywords Logic  Mechanism  Lewis, D
Categories (categorize this paper)
ISBN(s) 0045-5091
DOI 10.1080/00455091.1984.10716377
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: 65,703
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

Mechanism: A Rejoinder.John R. Lucas - 1970 - Philosophy 45 (April):149-51.
Lucas Against Mechanism II.David Lewis - 1979 - Canadian Journal of Philosophy 9 (June):373-6.
Godel's Theorem and Mechanism.David Coder - 1969 - Philosophy 44 (September):234-7.
R. Lucas, Kurt Godel, and Fred Astaire.David L. Boyer - 1983 - Philosophical Quarterly 33 (April):147-59.
Minds, Machines and Godel: A Reply to Mr Lucas.C. Whitely - 1962 - Philosophy 37 (January):61-62.
Mental Machinery and Godel.Robert Kirk - 1986 - Synthese 66 (March):437-452.
Lucas Against Mechanism.David K. Lewis - 1969 - Philosophy 44 (June):231-3.


Added to PP index

Total views
42 ( #260,372 of 2,462,519 )

Recent downloads (6 months)
1 ( #449,311 of 2,462,519 )

How can I increase my downloads?


My notes