Introduction: Something on the State of the Art 1 I. Functionalism and Realism 1. Operationalism and Ordinary Language 35 2. The Appeal to Tacit Knowledge in Psychological Explanations 63 3. What Psychological States are Not 79 4. Three Cheers for Propositional Attitudes 100 II. Reduction and Unity of Science 5. Special Sciences 127 6. Computation and Reduction 146 III. Intensionality and Mental Representation 7. Propositional Attitudes 177 8. Tom Swift and His Procedural Grandmother 204 9. Methodological Solipsism Considered as a (...) Research Strategy in Cognitive Psychology 225 IV. Nativism 10. The Present Status of the Innateness Controversy 257 Notes 317. (shrink)

The computational view of mind rests on certain intuitions regarding the fundamental similarity between computation and cognition. We examine some of these intuitions and suggest that they derive from the fact that computers and human organisms are both physical systems whose behavior is correctly described as being governed by rules acting on symbolic representations. Some of the implications of this view are discussed. It is suggested that a fundamental hypothesis of this approach is that there is a natural domain of (...) human functioning that can be addressed exclusively in terms of a formal symbolic or algorithmic vocabulary or level of analysis. Much of the paper elaborates various conditions that need to be met if a literal view of mental activity as computation is to serve as the basis for explanatory theories. The coherence of such a view depends on there being a principled distinction between functions whose explanation requires that we posit internal representations and those that we can appropriately describe as merely instantiating causal physical or biological laws. In this paper the distinction is empirically grounded in a methodological criterion called the " cognitive impenetrability condition." Functions are said to be cognitively impenetrable if they cannot be influenced by such purely cognitive factors as goals, beliefs, inferences, tacit knowledge, and so on. Such a criterion makes it possible to empirically separate the fixed capacities of mind from the particular representations and algorithms used on specific occasions. In order for computational theories to avoid being ad hoc, they must deal effectively with the "degrees of freedom" problem by constraining the extent to which they can be arbitrarily adjusted post hoc to fit some particular set of observations. This in turn requires that the fixed architectural function and the algorithms be independently validated. It is argued that the architectural assumptions implicit in many contemporary models run afoul of the cognitive impenetrability condition, since the required fixed functions are demonstrably sensitive to tacit knowledge and goals. The paper concludes with some tactical suggestions for the development of computational cognitive theories. (shrink)

"Twin earth" examples have motivated a number of proposals for the lexicography of kind terms in natural languages. It is argued that these proposals create unacceptable difficulties for the analysis of de dicto propositional attitudes. A conservative solution of the twin earth problems is then proposed according to which they reflect pragmatic features of language use rather than semantic features of lexical content.