David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Philosophy of Science 35 (June):156-78 (1968)
The metamathematical theorems of Gödel and Church are frequently applied to the philosophy of mind, typically as rational evidence against mechanism. Using methods of Post and Smullyan, these results are presented as purely mathematical theorems and various such applications are discussed critically. In particular, J. Lucas's use of Gödel's theorem to distinguish between conscious and unconscious beings is refuted, while more generally, attempts to extract philosophy from metamathematics are shown to involve only dramatizations of the constructivity problem in foundations. More specifically, philosophical extrapolations from metamathematics are shown to involve premature extensions of Church's thesis
|Keywords||Logic Mathematics Metaphysics Mind Lucas, J|
|Categories||categorize this paper)|
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.
Citations of this work BETA
D. King (1996). Is the Human Mind a Turing Machine? Synthese 108 (3):379-89.
Similar books and articles
Karl-Georg Niebergall (1999). Nonmonotonicity in (the Metamathematics of) Arithmetic. Erkenntnis 50 (2-3):309-332.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
John R. Lucas (1971). Metamathematics and the Philosophy of Mind: A Rejoinder. Philosophy of Science 38 (2):310-13.
Roman Murawski (1997). Gödel's Incompleteness Theorems and Computer Science. Foundations of Science 2 (1):123-135.
Q. Yu (1992). Consistency, Mechanicalness, and the Logic of the Mind. Synthese 90 (1):145-79.
David Coder (1969). Godel's Theorem and Mechanism. Philosophy 44 (September):234-7.
Jeremy Avigad, “Clarifying the Nature of the Infinite”: The Development of Metamathematics and Proof Theory.
William E. Seager (2003). Yesterday's Algorithm: Penrose and the Godel Argument. Croatian Journal of Philosophy 3 (9):265-273.
N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
Added to index2009-01-28
Total downloads60 ( #76,203 of 2,117,590 )
Recent downloads (6 months)1 ( #459,263 of 2,117,590 )
How can I increase my downloads?