In this paper I defend an etiological theory of biological functions (according to which the proper function of a trait is the effect for which it was selected by natural selection) against three objections which have been influential. I argue, contrary to Millikan, that it is wrong to base our defense of the theory on a rejection of conceptual analysis, for conceptual analysis does have an important role in philosophy of science. I also argue that biology requires a normative notion (...) of a "proper function", and that a normative notion is not ahistorical. (shrink)

Cognitive representations are typically analysed in terms of content, vehicle and format. While current work on formats appeals to intuitions about external representations, such as words and maps, in this paper we develop a computational view of formats that does not rely on intuitions. In our view, formats are individuated by the computational profiles of vehicles, i.e., the set of constraints that fix the computational transformations vehicles can undergo. The resulting picture is strongly pluralistic, it makes space for a variety (...) of different formats, and is intimately tied to the computational approach to cognition in cognitive science and artificial intelligence. (shrink)

Cognitive science, at least as done by many philosophers, seeks to develop what one might call a content-based theory of cognition. These theorists generally seek to predict/explain cognition by employing generalizations between contentful states like beliefs and desires. In his book, From Folk Psychology To Cognitive Science, Stephen Stich argues that cognitive science should not attempt to employ content-based theories in its explanations of human (and other) behavior. For the most part Stich directs his arguments towards belief/desire psychology. Some of (...) his arguments, however, are directed at content-based theories in general. In this paper, I will be concerned with one of these more general arguments—the principle of autonomy argument.The conclusion of the principle of autonomy argument is that the predictions and explanations generated by content-based theories, in so far as they are possible, do not fall within the domain of prediction and explanation in cognitive science. (shrink)

In this paper I criticize the most significant recent examples of the practical knowledge analysis of knowledge-how in the philosophical literature: David Carr [1979, Mind, 88, 394–409; 1981a, American Philosophical Quarterly, 18, 53–61; 1981b, Journal of Philosophy of Education, 15(1), 87–96] and Stanley & Williamson [2001, Journal of Philosophy, 98(8), 411–444]. I stress the importance of know-how in our contemporary understanding of the mind, and offer the beginnings of a treatment of know-how capable of providing insight in to the use (...) of know-how in contemporary cognitive science. Specifically, I claim that Carr’s necessary conditions for know-how fail to capture the distinction he himself draws between ability and knowing-how. Moreover, Carr ties knowing-how to conscious intent, and to an explicit knowledge of procedural rules. I argue that both moves are mistakes, which together render Carr’s theory an inadequate account both of common ascriptions of knowledge-how and of widely accepted ascriptions of knowledge-how within explanations in cognitive science. Finally, I note that Carr’s conditions fail to capture intuitions (heshares) regarding the ascription of know-how to persons lacking ability. I then consider the position advocated by Stanley & Williamson (2001), which seems avoid Carr’s commitments to conscious intent and explicit knowledge while still maintaining that “knowledge-how is simply a species of knowledge-that" (Stanley & Williamson, 2001, p. 411). I argue that Stanley and Williamson’s attempt to frame a reductionist view that avoids consciously occurrent beliefs during exercises of knowledge-how and explicit knowledge of procedural rules is both empirically implausible and explanatorily vacuous. In criticizing these theories I challenge the presuppositions of the most pervasive response to Ryle in the philosophic literature, what might be described as “the received view." I also establish several facts about knowing-how. First, neither conscious intent nor explicit representation (much less conscious representation) of procedural rules are necessary for knowing-how given the theory of cognition current in cognitive science. I argue that the discussed analyses fail to capture the necessary conditions for knowledge-how because know-how requires the instantiation of an ability and of the capacities necessary for exploiting an ability—not conscious awareness of purpose or explicit knowledge of rules. Second, one must understand knowledge-how as task-specific, i.e., as presupposing certain underlying conditions. Conceiving of know-how as task-specific allows one to understand ascriptions of know-how in the absence of ability as counterfactual ascriptions based upon underlying competence. (shrink)

Oscar is going to be the first artificial person — at any rate, he is going to be the first artificial person to be built in Tucson's Philosophy Department. Oscar's creator, John Pollock, maintains that once Oscar is complete he will experience qualia, will be self-conscious, will have desires, fears, intentions, and a full range of mental states (Pollock 1989, pp. ix–x). In this paper I focus on what seems to me to be the most problematical of these claims, viz., (...) that Oscar will experience qualia. I argue that we have not been given sufficient reasons to believe this bold claim. I doubt that Oscar will enjoy qualitative conscious phenomena and I maintain that it will be like nothing to be Oscar. (shrink)

Kripke (1982, Wittgenstein on rules and private language. Cambridge, MA: MIT Press) presents a rule-following paradox in terms of what we meant by our past use of “plus”, but the same paradox can be applied to any other term in natural language. Many responses to the paradox concentrate on fixing determinate meaning for “plus”, or for a small class of other natural language terms. This raises a problem: how can these particular responses be generalised to the whole of natural language? (...) In this paper, I propose a solution. I argue that if natural language is computable in a sense defined below, and the Church–Turing thesis is accepted, then this auxiliary problem can be solved. (shrink)

The view that the brain is a sort of computer has functioned as a theoretical guideline both in cognitive science and, more recently, in neuroscience. But since we can view every physical system as a computer, it has been less than clear what this view amounts to. By considering in some detail a seminal study in computational neuroscience, I first suggest that neuroscientists invoke the computational outlook to explain regularities that are formulated in terms of the information content of electrical (...) signals. I then indicate why computational theories have explanatory force with respect to these regularities:in a nutshell, they underscore correspondence relations between formal/mathematical properties of the electrical signals and formal/mathematical properties of the represented objects. I finally link my proposal to the philosophical thesis that content plays an essential role in computational taxonomy. (shrink)

An underlying assumption in computational approaches in cognitive and brain sciences is that the nervous system is an input–output model of the world: Its input–output functions mirror certain relations in the target domains. I argue that the input–output modelling assumption plays distinct methodological and explanatory roles. Methodologically, input–output modelling serves to discover the computed function from environmental cues. Explanatorily, input–output modelling serves to account for the appropriateness of the computed function to the explanandum information-processing task. I compare very briefly the (...) modelling explanation to mechanistic and optimality explanations, noting that in both cases the explanations can be seen as complementary rather than contrastive or competing. (shrink)

There are different ways to present a Presidential Address to the APA; the one I have chosen is simply to report on work that I am doing right now, on work in progress. I am going to present some of my further explorations into the computational model of the mind.\**.

Controversies over the innateness of cognitive processes, mechanisms, and structures play a persistent role in driving research in philosophy as well as the cognitive sciences, but the appropriate way to understand the category of the innate remains subject to dispute. One venerable approach in philosophy and cognitive science merely contrasts innate features with those that are learned. In fact, Jerry Fodor has recently suggested that this remains our best handle on innateness.

In the Fall of 1983, I offered a junior/senior-level course in Philosophy of Artificial Intelligence, in the Department of Philosophy at SUNY Fredonia, after returning there from a year’s leave to study and do research in computer science and artificial intelligence (AI) at SUNY Buffalo. Of the 30 students enrolled, most were computerscience majors, about a third had no computer background, and only a handful had studied any philosophy. (I might note that enrollments have subsequently increased in the Philosophy Department’s (...) AI-related courses, such as logic, philosophy of mind, and epistemology, and that several computer science students have added philosophy as a second major.) This article describes that course, provides material for use in such a course, and offers a bibliography of relevant articles in the AI, cognitive science, and philosophical literature. (shrink)

One of the principal tasks Dennett sets himself in Consciousness Explained is to demolish the Cartesian theater model of phenomenal consciousness, which in its contemporary garb takes the form of Cartesian materialism: the idea that conscious experience is a process of presentation realized in the physical materials of the brain. The now standard response to Dennett is that, in focusing on Cartesian materialism, he attacks an impossibly naive account of consciousness held by no one currently working in cognitive science or (...) the philosophy of mind. Our response is quite different. We believe that, once properly formulated, Cartesian materialism is no straw man. Rather, it is an attractive hypothesis about the relationship between the computational architecture of the brain and phenomenal consciousness, and hence one that is worthy of further exploration. Consequently, our primary aim in this paper is to defend Cartesian materialism from Dennett’s assault. We do this by showing that Dennett’s argument against this position is founded on an implicit assumption (about the relationship between phenomenal experience and information coding in the brain), which while valid in the context of classical cognitive science, is not forced on connectionism. (shrink)

When cognitive scientists apply computational theory to the problem of phenomenal consciousness, as many of them have been doing recently, there are two fundamentally distinct approaches available. Either consciousness is to be explained in terms of the nature of the representational vehicles the brain deploys; or it is to be explained in terms of the computational processes defined over these vehicles. We call versions of these two approaches _vehicle_ and _process_ theories of consciousness, respectively. However, while there may be space (...) for vehicle theories of consciousness in cognitive science, they are relatively rare. This is because of the influence exerted, on the one hand, by a large body of research which purports to show that the explicit representation of information in the brain and conscious experience are _dissociable_, and on the other, by the _classical_ computational theory of mind – the theory that takes human cognition to be a species of symbol manipulation. But two recent developments in cognitive science combine to suggest that a reappraisal of this situation is in order. First, a number of theorists have recently been highly critical of the experimental methodologies employed in the dissociation studies – so critical, in fact, it’s no longer reasonable to assume that the dissociability of conscious experience and explicit representation has been adequately demonstrated. Second, classicism, as a theory of human cognition, is no longer as dominant in cognitive science as it once was. It now has a lively competitor in the form of _connectionism; _and connectionism, unlike classicism, does have the computational resources to support a robust vehicle theory of consciousness. In this paper we develop and defend this connectionist vehicle theory of consciousness. It takes the form of the following simple empirical hypothesis: _phenomenal experience consists in the explicit_ _representation of information in neurally realized PDP networks_.. (shrink)

When it comes to applying computational theory to the problem of phenomenal consciousness, cognitive scientists appear to face a dilemma. The only strategy that seems to be available is one that explains consciousness in terms of special kinds of computational processes. But such theories, while they dominate the field, have counter-intuitive consequences; in particular, they force one to accept that phenomenal experience is composed of information processing effects. For cognitive scientists, therefore, it seems to come down to a choice between (...) a counter-intuitive theory or no theory at all. We offer a way out of this dilemma. We argue that the computational theory of mind doesn't force cognitive scientists to explain consciousness in terms of computational processes, as there is an alternative strategy available: one that focuses on the representational vehicles that encode information in the brain. This alternative approach to consciousness allows us to do justice to the standard intuitions about phenomenal experience, yet remain within the confines of cognitive science. (shrink)

O'Brien & Opie do not address the question of the psychotherapeutic role of unconscious representational states such as beliefs. A dilemma is proposed: if they accept the legitimacy of such states then they should modify what they say about dissociation, and if they do not, they owe us an account of why.

I sketch an explanatory framework that fits a variety of contemporary research programs in cognitive science. I then investigate the scope and the implications of this framework. The framework emphasizes (a) the explanatory role played by the semantic content of cognitive representations, and (b) the important mechanistic, non-intentional dimension of cognitive explanations. I show how both of these features are present simultaneously in certain varieties of cognitive explanation. I also consider the explanatory role played by grounded representational content, that is, (...) content evaluated by appeal to its truth, falsity, accuracy, inaccuracy and other relational properties. (shrink)

An influential view in cognitive science is that computation in cognitive systems is semantic, conceptually depending on representation: to compute is to manipulate representations. I argue that accepting the non-semantic teleomechanistic view of computation lays the ground for a promising alternative strategy, in which computation helps to explain and naturalise representation, rather than the other way around. I show that this computation-based approach to representation presents six decisive advantages over the semantic view. I claim that it can improve the two (...) most influential current theories of representation, teleosemantics and structural representation, by providing them with precious tools to tackle some of their main shortcomings. In addition, the computation-based approach opens up interesting new theoretical paths for the project of naturalising representation, in which teleology plays a role in individuating computations, but not representations. (shrink)

Understanding the role of ‘‘representations’’ in cognitive science is a fundamental problem facing the emerging framework of embodied, situated, dynamical cognition. To make progress, I follow the approach proposed by an influential representational skeptic, Randall Beer: building artificial agents capable of minimally cognitive behaviors and assessing whether their internal states can be considered to involve representations. Hence, I operationalize the concept of representing as ‘‘standing in,’’ and I look for representations in embodied agents involved in simple categorization tasks. In a (...) first experiment, no representation can be found, but the relevance of the task is undermined by the fact that agents with no internal states can reach high performance. A simple modification makes the task more “representationally hungry,” and in this case, agents’ internal states are found to qualify as representations. I conclude by discussing the benefits of reconciling the embodied-dynamical approach with the notion of representation. (shrink)

In this review of Hutto and Myin's Radicalizing Enactivism, I question the adequacy of a non-representational theory of mind. I argue first that such a theory cannot differentiate cognition from other bodily engagements such as wrestling with an opponent. Second, I question whether the simple robots constructed by Rodney Brooks are adequate as models of multimodal organisms. Last, I argue that Hutto and Myin pay very little attention to how semantically interacting representations are needed to give an account of choice (...) and action. (shrink)

Qualia are phenomenal properties of sensations and perceptual states: they are whatever it is that gives such states their “felt,” qualitative character. (In speaking of sensations, I speak of course not of mental objects or mental contents, but of mental events—of sensings, not sensa.).

O'Brien & Opie's (O&O's) theory demands a view of unconscious processing that is incompatible with virtually all current PDP models of neural activity. Relative to the alternatives, the theory is closer to an AI than a parallel distributed processing (PDP) perspective, and its treatment of phenomenology is ad hoc. It raises at least one important question: Could features of network relaxation be the “switch” that turns an unconscious into a conscious network?

Recent worries about possible epiphenomenalist consequences of nonreductive materialism are misplaced, not, as many have argued, because nonreductive materialism does not have epiphenomenalist implications but because the epiphenomenalist implications are actually virtues of the theory, rather than vices. It is only by showing how certain kinds of mental properties are causally impotent that cognitive scientific explanations of mentality as we know them are possible.

Within the strong branch of artificial intelligence, which is aimed at creating thinking machines with intellectual powers like those of man, the most explored research program is symbolic aI, defined as the attempt to use electronic computers to replicate the human mind, either assuming a structural and functional similarity between them, or trying to replicate the behavior produced by the human mind through computational processes that also have an intentional structure but are only instrumentally equivalent. In this paper we show (...) that strong symbolic aI, in either of its two variants, is impossible, since formal systems, that is what all computer programs ultimately are, are not sufficient to replicate in an intentional way four intellectual faculties of man that are essential to intelligent behavior: sense of the situation, common sense, procedural skills and theory abduction. (shrink)

Hubert Dreyfus once noted that it would be difficult to ascertain whether Edmund Husserl had a computational theory of mind. I provide evidence that he had one. Both Steven Pinker and Steven Horst think that the computational theory of mind must have two components: a representational-symbolic component and a causal component. Bearing this in mind, we proceed to a close-reading of the sections of “On the Logic of Signs” wherein Husserl presents, if I’m correct, his computational theory of mind embedded (...) in a language of thought. My argument goes like this: the computational theory of mind is the idea, following Haugeland, that the mind comes prepackaged as, or is endogenously constrained to be, an automatic formal system; this explains, according to Husserl, why automatic trains of thought without logical intent resemble arguments exhibiting deductive structure with logical intent. In general, an automatic formal system yields true results provided that the syntactic symbols with which they compute are univocal and are semantically evaluable, and the mechanized inferences they perform are valid and preserve truth. These two conditions describe a computational cognitive process: the first condition connects representations to syntax, and the second condition uses the syntax, in inauthentic judging, to arrive at true conclusions through blind causality. Now, in point of textual fact, these are the conditions which Husserl attributes to our “natural psychological mechanism of symbolic inference” which typically yields true results. Since a formal system attributed to the “internal structure” of the mind, and guided by blind causality, just is the computational theory of mind, it follows, I think, that Husserl had a computational theory of mind. This computational theory is, moreover, embedded in a language of thought, since Husserl attributes a language-like form to our thoughts so that they may be mechanically processed. I conclude with a discussion of my results. (shrink)

Intentional Mentalism is the view that mental intentionality is primary to non-mental intentionality and that the latter is derived from the former. In this article I examine three views which have been taken to motivate Intentional Mentalism: conventionalism as invoked by Searle, Gricean pragmatism, and the language of thought hypothesis. I argue that none of these views motivates Intentional Mentalism, and that, in fact, the former two imply its rejection.

In recent years, functionalism has emerged as the most appealing candidate for a materialistic theory of mind. Its central thesis - that types of mental states can be defined in terms of their causal and counterfactual relations to the sensory stimulations, other internal states, and behavior of the entities that have them - offers hope for a reasonable materialism: it promises type-identity conditions for beliefs, sensations, and emotions that are not irreducibly mental, yet would permit entities that are physically quite (...) different to be in mental states of the same type. (shrink)

This paper contributes to the recently renewed debate over methodological individualism (MI) by carefully sorting out various individualist claims and by making use of recent work on reduction and explanation outside the social sciences. My major focus is on individualist claims about reduction and explanation. I argue that reductionist versions of MI fail for much the same reasons that mental predicates cannot be reduced to physical predicates and that attempts to establish reducibility by weakening the requirements for reduction also fail. (...) I consider and reject a number of explanatory theses, among them the claims that any adequate theory must refer only to individuals and that individualist theory suffices to explain fully. The latter claim, I argue, is not entailed by the supervenience of social facts on individual facts. Lastly, I argue that there is one individualist restriction on explanation which is far more plausible and significant than one would initially suspect. (shrink)

In a recent series of papers, Donald Davidson has put forward a challenging and original philosophy of mind which he has called anomalous monism. Anomalous monism has certain similarities to another recent and deservedly popular position: functionalist cognitive psychology. Both functionalism, in its materialist versions, and anomalous monism require token-token psychophysical identities rather than type-type ones. Both deny that psychology can be translated into, or scientifically reduced to, neurophysiology. Both are mentalistic theories, allowing psychology to make use of intentional descriptions (...) in its theorizing. Anomalous monism uses a belief/desire/action psychology; cognitive science makes use of information-bearing states. But these similarities must not be allowed to conceal an essential difference between the two positions. Cognitive psychology claims to be a science, making interesting, lawlike generalizations for the purpose of explaining mental activity. Anomalous monism denies that psychology is a science by denying that psychological laws can be formulated. Davidson has other ideas for psychology connected with his work on meaning and truth. Hence, the title of one of his essays on anomalous monism is “Psychology as Philosophy”. (shrink)

A traditional explanation that dates back to Aristotle is that we access color in one perceptual modality only, whereas shape we perceive via two different modalities: visual and tactile. Two independent modalities make possible a verification of our percepts which is not possible for qualities accessed in one modality only.

Formal theories of mental representation have receded from the importance they had in the early days of cognitive science. I argue that such theories are crucial in any mental domain, not just for their own sake, but to guide experimental inquiry, as well as to integrate the domain into the mind as a whole. To illustrate the criteria of adequacy for theories of mental representation, I compare two theoretical approaches to language: classical generative grammar (Chomsky, 1965, 1981, 1995) and the (...) parallel architecture (Jackendoff, 1997, 2002). The grounds for comparison include (a) the internal coherence of the theory across phonology, syntax, and semantics; (b) the relation of language to other mental faculties; (c) the relationship between grammar and lexicon; (d) relevance to theories of language processing; and (e) the possibility of languages with little or no syntax. (shrink)

David Chalmers has recently developed a novel strategy of refuting external world skepticism, one he dubs the structuralist solution. In this paper, I make three primary claims: First, structuralism does not vindicate knowledge of other minds, even if it is combined with a functionalist approach to the metaphysics of minds. Second, because structuralism does not vindicate knowledge of other minds, the structuralist solution vindicates far less worldly knowledge than we would hope for from a solution to skepticism. Third, these results (...) suggest that the problem of external world skepticism should perhaps be construed as two different problems, since the problem might turn out to require two substantively different solutions, one for knowledge of the kind that is not dependent on other minds and one for knowledge that is. (shrink)

The idea that human thinking and machine computing are "radically the same" provides the central theme for this marvelously lucid and witty book on...

What counts as a computation and how it relates to cognitive function are important questions for scientists interested in understanding how the mind thinks. This paper argues that pragmatic aspects of explanation ultimately determine how we answer those questions by examining what is needed to make rigorous the notion of computation used in the (cognitive) sciences. It (1) outlines the connection between the Church-Turing Thesis and computational theories of physical systems, (2) differentiates merely satisfying a computational function from true computation, (...) and finally (3) relates how we determine a true computation to the functional methodology in cognitive science. All of the discussion will be directed toward showing that the only way to connect formal notions of computation to empirical theory will be in virtue of the pragmatic aspects of explanation. (shrink)

Recent experiments have shown that when individuals with a substance use disorder are confronted with drug-related cues, they exhibit an automatically activated tendency to approach these cues. The strength of the drug approach bias has been associated with clinically relevant measures, such as increased drug craving and relapse, and activations in brain reward areas. Retraining the approach bias by means of cognitive bias modification has been demonstrated to decrease relapse rates in patients with an alcohol use disorder and to reduce (...) alcohol cue-evoked limbic activity. Here, we review empirical and theoretical literature on the drug approach bias and explore two distinct models of how the drug approach bias may be embodied. First, we consider the “biological meaning” hypothesis, which grounds the automatic approach bias in the natural meaning of the body. Second, we consider the “sensorimotor hypothesis,” which appeals to the specific sensorimotor loops involved in the instantiation of addictive behaviors as the basis of the automatic approach bias. In order to differentiate between the adequacies of these competing explanations, we present specific, predictions that each model should make. (shrink)

Cognitive science has been dominated by the computational conception that cognition is computation across representations. To the extent to which cognition as computation across representations is supposed to be a purposive, meaningful, algorithmic, problem-solving activity, however, computers appear to be incapable of cognition. They are devices that can facilitate computations on the basis of semantic grounding relations as special kinds of signs. Even their algorithmic, problem-solving character arises from their interpretation by human users. Strictly speaking, computers as such — apart (...) from human users — are not only incapable of cognition, but even incapable of computation, properly construed. If we want to understand the nature of thought, then we have to study thinking, not computing, because they are not the same thing. (shrink)

I critically examine some provocative arguments that John Searle presents in his book The Rediscovery of Mind to support the claim that the syntactic states of a classical computational system are "observer relative" or "mind dependent" or otherwise less than fully and objectively real. I begin by explaining how this claim differs from Searle's earlier and more well-known claim that the physical states of a machine, including the syntactic states, are insufficient to determine its semantics. In contrast, his more recent (...) claim concerns the syntax, in particular, whether a machine actually has symbols to underlie its semantics. I then present and respond to a number of arguments that Searle offers to support this claim, including whether machine symbols are observer relative because the assignment of syntax is arbitrary, or linked to universal realizability, or linked to the sub-personal interpretive acts of a homunculus, or linked to a person's consciousness. I conclude that a realist about the computational model need not be troubled by such arguments. Their key premises need further support. (shrink)

It is generally accepted that, in the cognitive and neural sciences, there are both computational and mechanistic explanations. We ask how computational explanations can integrate into the mechanistic hierarchy. The problem stems from the fact that implementation and mechanistic relations have different forms. The implementation relation, from the states of an abstract computational system to the physical, implementing states is a homomorphism mapping relation. The mechanistic relation, however, is that of part/whole; the explaining features in a mechanistic explanation are the (...) components of the explanandum phenomenon and their causal organization. Moreover, each component in one level of mechanism is constituted and explained by components of an underlying level of mechanism. Hence, it seems, computational variables and functions cannot be mechanistically explained by the medium-dependent states and properties that implement them. How then, do the computational and the implementational integrate to create the mechanistic hierarchy? After explicating the general problem, we further demonstrate it through a concrete example, of reinforcement learning, in the cognitive and neural sciences. We then examine two possible solutions. On one solution, the mechanistic hierarchy embeds at the same levels computational and implementational properties. This picture fits with the view that computational explanations are mechanistic sketches. On the other solution, there are two separate hierarchies, one computational and another implementational, which are related by the implementation relation. This picture fits with the view that computational explanations are functional and autonomous explanations. It is less clear how these solutions fit with the view that computational explanations are full-fledged mechanistic explanations. Finally, we argue that both pictures are consistent with the reinforcement learning example, but that scientific practice does not align with the view that computational models are merely mechanistic sketches. (shrink)

Can animals think? In this paper I address the proposal that many animals, including insects such as honeybees, have genuine thoughts. I consider one prominent version of this view that claims that honeybees can represent and process information about their environments in a way that satisfies the main hallmarks of human conceptual thought. I shall argue, however, that this view fails to provide convincing grounds for accepting that animals possess concepts. More precisely, I suggest that two important aspects of conceptual (...) thought, viz., concept individuation and the generality constraint, are not satisfied. (shrink)

There is a prevalent notion among cognitive scientists and philosophers of mind that computers are merely formal symbol manipulators, performing the actions they do solely on the basis of the syntactic properties of the symbols they manipulate. This view of computers has allowed some philosophers to divorce semantics from computational explanations. Semantic content, then, becomes something one adds to computational explanations to get psychological explanations. Other philosophers, such as Stephen Stich, have taken a stronger view, advocating doing away with semantics (...) entirely. This paper argues that a correct account of computation requires us to attribute content to computational processes in order to explain which functions are being computed. This entails that computational psychology must countenance mental representations. Since anti-semantic positions are incompatible with computational psychology thus construed, they ought to be rejected. Lastly, I argue that in an important sense, computers are not formal symbol manipulators. (shrink)

There is a prevalent notion among cognitive scientists and philosophers of mind that computers are merely formal symbol manipulators, performing the actions they do solely on the basis of the syntactic properties of the symbols they manipulate. This view of computers has allowed some philosophers to divorce semantics from computational explanations. Semantic content, then, becomes something one adds to computational explanations to get psychological explanations. Other philosophers, such as Stephen Stich, have taken a stronger view, advocating doing away with semantics (...) entirely. This paper argues that a correct account of computation requires us to attribute content to computational processes in order to explain which functions are being computed. This entails that computational psychology must countenance mental representations. Since anti-semantic positions are incompatible with computational psychology thus construed, they ought to be rejected. Lastly, I argue that in an important sense, computers are not formal symbol manipulators. (shrink)