Back to Search
Start Over
Two Concepts of “Form” and the So-Called Computational Theory of Mind.
- Source :
- Philosophical Psychology; Dec2006, Vol. 19 Issue 6, p795-821, 27p
- Publication Year :
- 2006
-
Abstract
- According to the computational theory of mind (CTM), to think is to compute. But what is meant by the word ‘compute’? The generally given answer is this: Every case of computing is a case of manipulating symbols, but not vice versa—a manipulation of symbols must be driven exclusively by the formal properties of those symbols if it is qualify as a computation. In this paper, I will present the following argument. Words like ‘form' and ‘formal' are ambiguous, as they can refer to form in either the syntactic or the morphological sense. CTM fails on each disambiguation, and the arguments for CTM immediately cease to be compelling once we register that ambiguity. The terms ‘mechanical' and ‘automatic' are comparably ambiguous. Once these ambiguities are exposed, it turns out that there is no possibility of mechanizing thought, even if we confine ourselves to domains (such as first-order sentential logic) where all problems can be settled through decision-procedures. The impossibility of mechanizing thought thus has nothing to do with recherché mathematical theorems, such as those proven by Gödel and Rosser. A related point is that CTM involves, and is guilty of reinforcing, a misunderstanding of the concept of an algorithm. [ABSTRACT FROM AUTHOR]
- Subjects :
- SYNTAX (Grammar)
SEMANTICS
COMPARATIVE linguistics
PHILOSOPHY of mind
BRAIN
Subjects
Details
- Language :
- English
- ISSN :
- 09515089
- Volume :
- 19
- Issue :
- 6
- Database :
- Complementary Index
- Journal :
- Philosophical Psychology
- Publication Type :
- Academic Journal
- Accession number :
- 23093598
- Full Text :
- https://doi.org/10.1080/09515080601001887