The central problem of the dissertation concerns the possibility of a distinction between truth-evaluable and non-truth-evaluable utterances of a natural language. The class of truth-evaluable utterances includes assertions, con. ectures and other kinds of speech act susceptible of truth evaluation. The class of non-truth-evaluable utterances includes commands, exhortations, wishes i.e. utterances not evaluated as being true or false. The problem is placed in the context of radical interpretation theory and it shown that it is a substantial problem of Davidson‘s early (...) theory of radical interpret at ion. I consider the possibility of distinguishing between locutionary and illocutionary act in uttering a sentence and its significance in the present project. I discuss the suggestion that the mood of the verb of the sentence signifies the required distinction between truth-evaluable utterances and non-truth-evaluable ones. I argue that no criterion for the distinction based on the mood of the verb is adequate. The solution that I propose to the problem of classifylng truth-evaluable utterances appeals to mental states. The view that grounds this line of inquiry is that the truth-evaluability of an utterance is a characteristic of it exclusively relevant to the doxastic dimension of the speaker’s mind. I discuss the constraints that the nature of radical interpretation puts upon the way we construe the notion of belief. I propose that a possible classification of mental states into doxastic and non-doxastic that would result in a classification of utterances into truth-evaluable and non-truthevaluable ones can be given by an elaborated version of a decision theoretic scheme. I suggest that a decision theoretic scheme based on a decision theory that, like Savage’s theory, grants independence axioms is a better candidate to offer a solution to the central problem of the dissertation than a scheme based on a non- standard decision theory such as Richard Jeffrey’s. I conclude by showing that the proposal I make satisfies the constraints I have considered and that it can be accommodated by a radical interpretation theory. (shrink)

This paper discusses in broad terms the metaphysical projects of Sydney Shoemaker’s Physical Realization . Specifically, I examine the effectiveness of Shoemaker’s novel “subset” account of realization for defusing the problem of mental causation, and compare the “subset” account with the standard “second-order” account. Finally, I discuss the physicalist status of the metaphysical worldview presented in Shoemaker’s important new contribution to philosophy of mind and metaphysics.

Reductionists about dispositions must either say the natural properties are all dispositional or individuate properties hyperintensionally. Lewis stands in as an example of the sort of combination I think is incoherent: properties individuated by modal profile + categoricalism.

Terms for consciousness, used with a cognitive meaning, emerged as count nouns in the 17th century. This transformation repeats an evolution that had taken place in late antiquity, when related vocabulary, used in the sense of conscience, went from being mass nouns designating states to count nouns designating faculties possessed by every individual. The reified concept of consciousness resulted from the rejection of the Scholastic-Aristotelian theory of mind according to which the mind is not a countable thing, but a pure (...) potentiality. This rejection was motivated by an acute sense of the mind’s fallible subjectivity. While conditioned by recent historical events, the 17th century’s pervasive sense of subjectivity also reveals a heavy debt to Hellenistic philosophy, which had been recently rediscovered. But whereas Hellenistic thought, mistrustful of theoria, only reifies conscience, early modern thinking, more mistrustful of praxis and seeking its grounding in theoria, goes a step further and reifies consciousness. Partly modeled on theological ideas, the resulting concept of consciousness is plagued by paradoxes that have becomes notorious for their intractability. But essentially the same model of consciousness underwrites contemporary theory, embroiling contemporary debates in the same controversies that dominated the 17th century. Sidestepping these difficulties by returning to the Scholastic-Aristotelian theory of mind would be a tall order, but it is not impossible. Alfred North Whitehead's theory of consciousness offers an example. His novel theory of time enables Whitehead to rehabilitate the Aristotelian concept of passive mind in a wholly naturalistic way. (shrink)

Sociobiology has always had a strong relationship with classical psychometrics, and with intelligence testing in particular. The major ideological impact of Eugenics prior to 1940 led many psychometricians to adopt a sociobiological perspective, but when this turned out, in the 1960's, to be controversial many of the procedures of classical psychometrics were abandoned. Their place was taken by functional psychometrics, based on criterion reference testing, where the content of test items was related directly to very specific skills which may be (...) required in the work place or other setting, and the use of intervening psychological traits such as intelligence was eliminated. It is demonstrated here that much of the theory of traits can be derived directly from functional psychometrics, without the need to make any sociobiological presuppositions. (shrink)

“Triviality arguments” against functionalism in the philosophy of mind hold that the claim that some complex physical system exhibits a given functional organization is either trivial or has much less content than is usually supposed. I survey several earlier arguments of this kind, and present a new one that overcomes some limitations in the earlier arguments. Resisting triviality arguments is possible, but requires functionalists to revise popular views about the “autonomy” of functional description.

Functionalism in the philosophy of mind is the doctrine that what makes something a mental state of a particular type does not depend on its internal constitution, but rather on the way it functions, or the role it plays, in the system of which it is a part. This doctrine is rooted in Aristotle's conception of the soul, and has antecedents in Hobbes's conception of the mind as a “calculating machine”, but it has become fully articulated (and popularly endorsed) only (...) in the last third of the 20th century. Though the term ‘functionalism’ is used to designate a variety of positions in a variety of other disciplines, including psychology, sociology, economics, and architecture, this entry focuses exclusively on functionalism as a philosophical thesis about the nature of mental states. (shrink)

According to pancomputationalism, everything is a computing system. In this paper, I distinguish between different varieties of pancomputationalism. I find that although some varieties are more plausible than others, only the strongest variety is relevant to the philosophy of mind, but only the most trivial varieties are true. As a side effect of this exercise, I offer a clarified distinction between computational modelling and computational explanation.<br><br>.

The comment addresses central issues of a "theory theory" approach as exemplified in Gopnik' and Goldman's BBS-articles. Gopnik, on the one hand, tries to demonstrate that empirical evidence from developmental psychology supports the view of a "theory theory" in which common sense beliefs are constructed to explain ourselves and others. Focusing the informational processing routes possibly involved we would like to argue that his main thesis (e.g. idea of intentionality as a cognitive construct) lacks support at least for two reasons: (...) one methodological and one structural. On the other hand, Goldman raises an important question when he is asking how people ascribe mental states to themselves. Reasons why Goldman's attempt to understand common sense mental representations by using an analogy from visual perception is problematic are discussed. The role which is attributed to a phenomenology is evaluated. (shrink)

In this paper I argue that Turing’s responses to the mathematical objection are straightforward, despite recent claims to the contrary. I then go on to show that by understanding the importance of learning machines for Turing as related not to the mathematical objection, but to Lady Lovelace’s objection, we can better understand Turing’s response to Lady Lovelace’s objection. Finally, I argue that by understanding Turing’s responses to these objections more clearly, we discover a hitherto unrecognized, substantive thesis in his philosophical (...) thinking about the nature of mind. (shrink)

Despite the current resurgence of modest forms of mind–body dualism, traditional Cartesian immaterial-substance dualism has few, if any, defenders. This paper argues that no convincing case has been made against substance dualism, and that standard objections to it can be credibly answered.

There are two constraints on any functionalist solution to the Mind-Body Problem construed as an answer to the question, “What is the relationship between the mental properties and relations (hereafter, simply the mental properties) and physical properties and relations?” The first constraint is that it must actually address the Mind-Body Problem and not simply redefine the debate in terms of other, more tractable, properties (e.g., the species-specific property of having human-pain). Such moves can be seen to be spurious by the (...) very multiple-realizability intuitions that motivate functionalism in the first place. For, according to those intuitions, it is possible for a being to experience pain, have beliefs, etcetera, and yet not only to be of a different species, but to have an entirely different material constitution from human beings. (shrink)

This article addresses a classical question: Can a machine use language meaningfully and if so, how can this be achieved? The first part of the paper is mainly philosophical. Since meaning implies intentionality on the part of the language user, artificial systems which obviously lack intentionality will be `meaningless'. There is, however, no good reason to assume that intentionality is an exclusively biological property and thus a robot with bodily structures, interaction patterns and development similar to those of human beings (...) would constitute a system possibly capable of meaning – a conjecture supported through a Wittgenstein-inspired thought experiment. The second part of the paper focuses on the empirical and constructive questions. Departing from the principle of epigenesis stating that during every state of development new structure arises on the basis of existing structure plus various sorts of interaction, a model of human cognitive and linguistic development is proposed according to which physical, social and linguistic interactions between the individual and the environment have their respective peaks in three consecutive stages of development: episodic, mimetic and symbolic. The transitions between these stages are qualitative, and bear a similarity to the stages in phylogenesis proposed by Donald and Deacon. Following the principle of epigenetic development, robotogenesis could possibly recapitulate ontogenesis, leading to the emergence of intentionality, consciousness and meaning. (shrink)

§1. Overview. Philosophers and mathematicians have drawn lots of conclusions from Gödel's incompleteness theorems, and related results from mathematical logic. Languages, minds, and machines figure prominently in the discussion. Gödel's theorems surely tell us something about these important matters. But what?A descriptive title for this paper would be “Gödel, Lucas, Penrose, Turing, Feferman, Dummett, mechanism, optimism, reflection, and indefinite extensibility”. Adding “God and the Devil” would probably be redundant. Despite the breath-taking, whirlwind tour, I have the modest aim of forging (...) connections between different parts of this literature and clearing up some confusions, together with the less modest aim of not introducing any more confusions.I propose to focus on three spheres within the literature on incompleteness. The first, and primary, one concerns arguments that Gödel's theorem refutes the mechanistic thesis that the human mind is, or can be accurately modeled as, a digital computer or a Turing machine. The most famous instance is the much reprinted J. R. Lucas [18]. To summarize, suppose that a mechanist provides plans for a machine,M, and claims that the output ofMconsists of all and only the arithmetic truths that a human, or the totality of human mathematicians, will ever or can ever know. We assume that the output ofMis consistent. (shrink)

We examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge about the behaviour of programs proceed deductively or empirically? Are computer programs on a par with mathematical objects, with mere data, or with mental processes? We conclude that distinct positions taken in regard to these questions emanate from distinct sets of received beliefs or paradigms within the discipline: – The rationalist (...) paradigm, which was common among theoretical computer scientists, defines computer science as a branch of mathematics, treats programs on a par with mathematical objects, and seeks certain, a priori knowledge about their ‘correctness’ by means of deductive reasoning. – The technocratic paradigm, promulgated mainly by software engineers and has come to dominate much of the discipline, defines computer science as an engineering discipline, treats programs as mere data, and seeks probable, a posteriori knowledge about their reliability empirically using testing suites. – The scientific paradigm, prevalent in the branches of artificial intelligence, defines computer science as a natural (empirical) science, takes programs to be entities on a par with mental processes, and seeks a priori and a posteriori knowledge about them by combining formal deduction and scientific experimentation. We demonstrate evidence corroborating the tenets of the scientific paradigm, in particular the claim that program-processes are on a par with mental processes. We conclude with a discussion in the influence that the technocratic paradigm has been having over computer science. (shrink)

A survey of the field of hypercomputation, including discussion of a variety of objections.

A survey of more philosophical applications of Gödel's incompleteness results.

I defend a theory of mental representation that satisfies naturalistic constraints. Briefly, we begin by distinguishing (i) what makes something a representation from (ii) given that a thing is a representation, what determines what it represents. Representations are states of biological organisms, so we should expect a unified theoretical framework for explaining both what it is to be a representation as well as what it is to be a heart or a kidney. I follow Millikan in explaining (i) in terms (...) of teleofunction, explicated in terms of natural selection. -/- To explain (ii), we begin by recognizing that representational states do not have content, that is, they are neither true nor false except insofar as they both “point to” or “refer” to something, as well as “say” something regarding whatever it is they are about. To distinguish veridical from false representations, there must be a way for these separate aspects to come apart; hence, we explain (ii) by providing independent theories of what I call f-reference and f-predication (the ‘f’ simply connotes ‘fundamental’, to distinguish these things from their natural language counterparts). -/- Causal theories of representation typically founder on error, or on what Fodor has called the disjunction problem. Resemblance or isomorphism theories typically founder on what I’ve called the non-uniqueness problem, which is that isomorphisms and resemblance are practically unconstrained and so representational content cannot be uniquely determined. These traditional problems provide the motivation for my theory, the structural preservation theory, as follows. F-reference, like reference, is a specific, asymmetric relation, as is causation. F-predication, like predication, is a non-specific relation, as predicates typically apply to many things, just as many relational systems can be isomorphic to any given relational system. Putting these observations together, a promising strategy is to explain f-reference via causal history and f-predication via something like isomorphism between relational systems. -/- This dissertation should be conceptualized as having three parts. After motivating and characterizing the problem in chapter 1, the first part is the negative project, where I review and critique Dretske’s, Fodor’s, and Millikan’s theories in chapters 2-4. Second, I construct my theory about the nature of representation in chapter 5 and defend it from objections in chapter 6. In chapters 7-8, which constitute the third and final part, I address the question of how representation is implemented in biological systems. In chapter 7 I argue that single-cell intracortical recordings taken from awake Macaque monkeys performing a cognitive task provide empirical evidence for structural preservation theory, and in chapter 8 I use the empirical results to illustrate, clarify, and refine the theory. (shrink)

This paper offers an account of what it is for a physical system to be a computing mechanism—a system that performs computations. A computing mechanism is a mechanism whose function is to generate output strings from input strings and (possibly) internal states, in accordance with a general rule that applies to all relevant strings and depends on the input strings and (possibly) internal states for its application. This account is motivated by reasons endogenous to the philosophy of computing, namely, doing (...) justice to the practices of computer scientists and computability theorists. It is also an application of recent literature on mechanisms, because it assimilates computational explanation to mechanistic explanation. The account can be used to individuate computing mechanisms and the functions they compute and to taxonomize computing mechanisms based on their computing power. (shrink)

Some philosophers have conflated functionalism and computationalism. I reconstruct how this came about and uncover two assumptions that made the conflation possible. They are the assumptions that (i) psychological functional analyses are computational descriptions and (ii) everything may be described as performing computations. I argue that, if we want to improve our understanding of both the metaphysics of mental states and the functional relations between them, we should reject these assumptions. # 2004 Elsevier Ltd. All rights reserved.

The aims of this paper are threefold: To show that game-playing (GP), the discipline of Artificial Intelligence (AI) concerned with the development of automated game players, has a strong epistemological relevance within both AI and the vast area of cognitive sciences. In this context games can be seen as a way of securely reducing (segmenting) real-world complexity, thus creating the laboratory environment necessary for testing the diverse types and facets of intelligence produced by computer models. This paper aims to promote (...) the belief that games represent an excellent tool for the project of computational psychology (CP). To underline how, despite this, GP has mainly adopted an engineering-inspired methodology and in doing so has distorted the framework of cognitive functionalism. Many successes (i.e. chess, checkers) have been achieved refusing human-like reasoning. The AI has appeared to work well despite ignoring an intrinsic motivation, that of creating an explanatory link between machines and mind. To assert that substantial improvements in GP may be obtained in the future only by renewed interest in human-inspired models of reasoning and in other cognitive studies. In fact, if we increase the complexity of games (from NP-Completeness to AI-Completeness) in order to reproduce real-life problems, computer science techniques enter an impasse. Many of AI’s recent GP experiences can be shown to validate this. The lack of consistent philosophical foundations for cognitive AI and the minimal philosophical commitment of AI investigation are two of the major reasons that play an important role in explaining why CP has been overlooked. (shrink)

Over the past several decades, the philosophical community has witnessed the emergence of an important new paradigm for understanding the mind.1 The paradigm is that of machine computation, and its influence has been felt not only in philosophy, but also in all of the empirical disciplines devoted to the study of cognition. Of the several strategies for applying the resources provided by computer and cognitive science to the philosophy of mind, the one that has gained the most attention from philosophers (...) has been the Computational Theory of Mind (CTM). CTM was first articulated by Hilary Putnam (1960, 1961), but finds perhaps its most consistent and enduring advocate in Jerry Fodor (1975, 1980, 1981, 1987, 1990, 1994). It is this theory, and not any broader interpretations of what it would be for the mind to be a computer, that I wish to address in this paper. What I shall argue here is that the notion of symbolic representation employed by CTM is fundamentally unsuited to providing an explanation of the intentionality of mental states (a major goal of CTM), and that this result undercuts a second major goal of CTM, sometimes refered to as the vindication of intentional psychology. This line of argument is related to the discussions of derived intentionality by Searle (1980, 1983, 1984) and Sayre (1986, 1987). But whereas those discussions seem to be concerned with the causal dependence of familiar sorts of symbolic representation upon meaning-bestowing acts, my claim is rather that there is not one but several notions of meaning to be had, and that the notions that are applicable to symbols are conceptually dependent upon the notion that is applicable to mental states in the fashion that Aristotle refered to as paronymy. That is, an analysis of the notions of meaning applicable to symbols reveals that they contain presuppositions about meaningful mental states, much as Aristotle's analysis of the sense of healthy that is applied to foods reveals that it means conducive to having a healthy body, and hence any attempt to explain mental semantics in terms of the semantics of symbols is doomed to circularity and regress. I shall argue, however, that this does not have the consequence that computationalism is bankrupt as a paradigm for cognitive science, as it is possible to reconstruct CTM in a fashion that avoids these difficulties and makes it a viable research framework for psychology, albeit at the cost of losing its claims to explain intentionality and to vindicate intentional psychology. I have argued elsewhere (Horst, 1996) that local special sciences such as psychology do not require vindication in the form of demonstrating their reducibility to more fundamental theories, and hence failure to make good on these philosophical promises need not compromise the broad range of work in empirical cognitive science motivated by the computer paradigm in ways that do not depend on these problematic treatments of symbols. (shrink)

This is an amended version of material that first appeared in A. Clark, Microcognition: Philosophy, Cognitive Science, and Parallel Distributed Processing (MIT Press, Cambridge, MA, 1989), Ch. 1, 2, and 6. It appears in German translation in Metzinger,T (Ed) DAS LEIB-SEELE-PROBLEM IN DER ZWEITEN HELFTE DES 20 JAHRHUNDERTS (Frankfurt am Main: Suhrkamp. 1999).

Discussion about the application of scientific knowledge in robotics in order to build people helpers is widespread. The issue herein addressed is philosophically poignant, that of robots that are “people”. It is currently popular to speak about robots and the image of Man. Behind this lurks the dialogical mind and the questions about the significance of an artificial version of it. Without intending to defend or refute the discourse in favour of ‘recreating’ Man, a lesser familiar question is brought forth: (...) “and what if we were capable of creating a very convincible replica of man (constructing a robot-person), what would the consequences of this be and would we be satisfied with such technology?” Thorny topic; it questions the entire knowledge foundation upon which strong AI/Robotics is positioned. The author argues for improved monitoring of technological progress and thus favours implementing weaker techniques. (shrink)

It is asked to what extent answers to such questions as ?Can machines think??, ?Could robots have feelings?? might be expected to yield insight into traditional mind?body questions. It has sometimes been assumed that answering the first set of questions would be the same as answering the second. Against this approach other philosophers have argued that answering the first set of questions would not help us to answer the second. It is argued that both of these assessments are mistaken. It (...) is then claimed, although not argued in detail, that the following three approaches to the first set of questions are mistaken: (1) machines (and robots) obviously cannot think, feel, create, etc., since they do only what they are programmed to do; (2) on the basis of ah analysis of the meaning of the words ?machine? ('robot?, ?think?, ?feel?, etc.) we can see that in principle it would be impossible for machines (or robots) to think, feel, create, etc.; (3) machines (and robots) obviously can (or could) think, feel, etc., since they do certain things which, if we were to do them, would require thought, feeling, etc. It is argued that, once it is seen why approach (2) is mistaken, it becomes desirable to decline ?in principle? approaches to the first set of questions and to favor ?piecemeal investigations? where attention is centered upon what is actually taking place in machine technology, the development of new programming techniques, etc. Some suggestions are made concerning the relevance of current computer simulation studies to traditional mind?body questions. A new set of questions is proposed as a substitute for the first set of questions. It is hoped that attempts to answer these may provide us with new and detailed portraits of the mind?body relationship. (shrink)

What psychological and philosophical significance should we attach to recent efforts at computer simulations of human cognitive capacities? In answering this question, I find it useful to distinguish what I will call "strong" AI from "weak" or "cautious" AI. According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool. For example, it enables us to formulate and test hypotheses in a more rigorous and precise fashion. (...) But according to strong AI, the computer is not merely a tool in the study of the mind; rather, the appropriately programmed computer really is a mind, in the sense that computers given the right programs can be literally said to. (shrink)

More than a decade ago, philosopher John Searle started a long-running controversy with his paper “Minds, Brains, and Programs” (Searle, 1980a), an attack on the ambitious claims of artificial intelligence (AI). With his now famous _Chinese Room_ argument, Searle claimed to show that despite the best efforts of AI researchers, a computer could never recreate such vital properties of human mentality as intentionality, subjectivity, and understanding. The AI research program is based on the underlying assumption that all important aspects of (...) human cognition may in principle be captured in a computational model. This assumption stems from the belief that beyond a certain level, implementational details are irrelevant to cognition. According to this belief, neurons, and biological wetware in general, have no preferred status as the substrate for a mind. As it happens, the best examples of minds we have at present have arisen from a carbon-based substrate, but this is due to constraints of evolution and possibly historical accidents, rather than to an absolute metaphysical necessity. As a result of this belief, many cognitive scientists have chosen to focus not on the biological substrate of the mind, but instead on the abstract causal structure_ _that the mind embodies (at an appropriate level of abstraction). The view that it is abstract causal structure that is essential to mentality has been an implicit assumption of the AI research program since Turing (1950), but was first articulated explicitly, in various forms, by Putnam (1960), Armstrong (1970) and Lewis (1970), and has become known as _functionalism_. From here, it is a very short step to _computationalism_, the view that computational structure is what is important in capturing the essence of mentality. This step follows from a belief that any abstract causal structure can be captured computationally: a belief made plausible by the Church–Turing Thesis, which articulates the power. (shrink)

G. Priest's anti-consistency argument (Priest 1979, 1984, 1987) and J. R. Lucas's anti-mechanist argument (Lucas 1961, 1968, 1970, 1984) both appeal to Gödel incompleteness. By way of refuting them, this paper defends the thesis of quartet compatibility, viz., that the logic of the mind can simultaneously be Gödel incomplete, consistent, mechanical, and recursion complete (capable of all means of recursion). A representational approach is pursued, which owes its origin to works by, among others, J. Myhill (1964), P. Benacerraf (1967), J. (...) Webb (1980, 1983) and M. Arbib (1987). It is shown that the fallacy shared by the two arguments under discussion lies in misidentifying two systems, the one for which the Gödel sentence is constructable and to be proved, and the other in which the Gödel sentence in question is indeed provable. It follows that the logic of the mind can surpass its own Gödelian limitation not by being inconsistent or non-mechanistic, but by being capable of representing stronger systems in itself; and so can a proper machine. The concepts of representational provability, representational maximality, formal system capacity, etc., are discussed. (shrink)

SummaryJ.R. Lucas has argued that it follows from Godel's Theorem that the mind cannot be a machine or represented by any formal system. Although this notorious argument against the mechanism thesis has received considerable attention in the literature, it has not been decisively rebutted, even though mechanism is generally thought to be the only plausible view of the mind. In this paper I offer an analysis of Lucas's argument which shows that it derives its persuasiveness from a subtle confusion. In (...) particular, I examine Benacerraf's reconstruction of Lucas's argument, thereby permitting a precise re‐statement of my own analysis and reinforcement of my conclusions regarding Lucas's mistake. This examination of Benacerraf's reconstruction permits us to evaluate certain radical and highly paradoxical conclusions concerning empirical psychology which Benacerraf draws, and this, in turn, permits us to consider certain suggestive implications for the mind which may, after all, follow from Godel's Theorem.RésuméJ.R. Lucas a dérivé du théorème de Gödel la conclusion que ľesprit ne peut pas être une machine ou être représenté par un systeme formel. Bien que cet argument célèbre contre la thése du mécanisme ait éveillé un interêt considérable dans la littérature, il ňa pas été réfuté de façon décisive, même si ľopinion générate prévaut que le mécanisme est la seule conception possible de ľesprit. Dans cet article, je propose une analyse du raisonnement de Lucas qui montre que sa force persuasive provient ?on;une subtile confusion. En particulier, j'examine la reconstruction, par Benacerraf, de la démonstration de Lucas, ce qui me pérmet de préciser ma propre analyse et de confirmer mes conclusions quant àľerreur de Lucas. Cet examen de la reconstruction de Benacerraf nous fournit ľoccasion de discuter certaines conclusions radicales et hautement paradoxals qu'il en tire concernant la psychologie expérimentale et nous conduit à certaines implications suggestives concernant ľesprit et qui pourraient finalement decouler du théorème de Gödel.ZusammenfassungJ.R. Lucas hat argumentiert, aus Gödels Theorem mUsse folgen, dass der menschliche Geist keine Maschine sein oder durch ein formales System dargestellt werden kann. Obschon dieses bekannte Argument gegen die mechanistische These in der Literatur beträchtliche Beachtung gefunden hat, ist es bisher noch nie eigentlich widerlegt worden, obgleich eine mechanistische Betrachtungsweise allgemein als die einzig plausible gilt. In dieser Arbeit biete ich eine Analyse von Lucas Argument an, die zeigen soil, dass seine Überzeugungskraft auf einer subtilen Konfusion beruht. Im besonderen untersuche ich Benacerrafs Rekonstruktion des Arguments, was rnirerlaubt, meine eigene Analyse in genauer Weise zu formulieren und meine Schlussfolgerung bezüglich des von Lucas gemachten Fehlers zu erharten. Diese Untersuchung von Benacerrafs Rekonstruktion ermöglicht es, gewisse radikale und im höchsten Grad paradoxe Schlüsse, die Benacerraf hinsichtlich der empirischen Psychologie zieht, zu beurteilen. Das wiederum erlaubt uns, gewisse den Geist betreffende Implikationen zu erörtern, die tatsächlich aus Gödels Theorem folgen kUnnten. (shrink)

For the last 25 years discussions and debates about commonsense psychology (or “folk psychology,” as it is often called) have been center stage in the philosophy of mind. There have been heated disagreements both about what folk psychology is and about how it is related to the scientific understanding of the mind/brain that is emerging in psychology and the neurosciences. In this chapter we will begin by explaining why folk psychology plays such an important role in the philosophy of mind. (...) Doing that will require a quick look at a bit of the history of philosophical discussions about the mind. We’ll then turn our attention to the lively contemporary discussions aimed at clarifying the philosophical role that folk psychology is expected to play and at using findings in the cognitive sciences to get a clearer understanding of the exact nature of folk psychology. (shrink)

Mental imagery (varieties of which are sometimes colloquially refered to as “visualizing,” “seeing in the mind's eye,” “hearing in the head,” “imagining the feel of,” etc.) is quasi-perceptual experience; it resembles perceptual experience, but occurs in the absence of the appropriate external stimuli. It is also generally understood to bear intentionality (i.e., mental images are always images of something or other), and thereby to function as a form of mental representation. Traditionally, visual mental imagery, the most discussed variety, was thought (...) to be caused by the presence of picturelike representations (mental images) in the mind, soul, or brain, but this is no longer universally accepted. (shrink)

This paper surveys some recent work on realization in the philosophy of mind and the philosophy of science.

This paper examines the standard view of realization operative incontemporary philosophy of mind, and proposes an alternative, generalperspective on realization. The standard view can be expressed, insummary form, as the conjunction of two theses, the sufficiency thesis andthe constitutivity thesis. Physicalists of both reductionist and anti-reductionist persuasions share a conception of realization wherebyrealizations are determinative of the properties they realize and physically constitutive of the individuals with those properties. Centralto the alternative view that I explore here is the idea that (...) the requisite,metaphysically robust notion of realization is ineliminably context-sensitive. I shall argue that the sufficiency and constitutivity theses aretypically not jointly satisfied by any one candidate realizer, and that goingcontext-sensitive in one's metaphysics is preferable to the standard view.The context-sensitive views developed here are implicit in a range ofcommon views in both the philosophy of mind and the philosophy of biology,even if they have not been explicitly articulated, and even though theyundermine other views that are commonly endorsed. (shrink)

While the concept of multiple realizability is widely used, it is seldom rigorously characterized. This paper defends a liberal conception of multiple realizability as sameness of type through _any_ differences in the (lower-level) conditions that give rise to instances of that type. This kind of “sameness through difference” is contrasted with another type of asymmetric dependency relation between properties, multiple _specification_. This liberal conception is then defended from objections, and it is augmented by a concept of relativized multiple realizability. The (...) last section presents a survey of the ontological, explanatory, and methodological consequences of this analysis of multiple realizability. (shrink)

The paper criticizes standard functionalist arguments for multiple realization. It focuses on arguments in which psychological states are conceived as computational, which is precisely where the multiple realization doctrine has seemed the strongest. It is argued that a type-type identity thesis between computational states and physical states is no less plausible than a multiple realization thesis. The paper also presents, more tentatively, positive arguments for a picture of local reduction.

The recent literature on mental causation has not been kind to nonreductive, materialist functionalism (‘functionalism’, hereafter, except where that term is otherwise qualified). The exclusion problem2 has done much of the damage, but the epiphenomenalist threat has taken other forms. Functionalism also faces what I will call the ‘problem of metaphysically necessary effects’ (Block, 1990, pp. 157-60, Antony and Levine, 1997, pp. 91-92, Pereboom, 2002, p. 515, Millikan, 1999, p. 47, Jackson, 1998, pp. 660-61). Functionalist mental properties are individuated partly (...) by their relation to the very effects those properties’ instantiations are thought to cause. Consequently, functionalist causal generalizations would seem to have the following problematical structure: The state of being, among other things, a cause of e (under such-andsuch conditions) causes e (under those conditions).3 The connection asserted lacks the contingency one would expect of a causal generalization. Mental states of the kind in question are, by metaphysical necessity, causes of e; any state that does not cause e is thereby a different kind of state. Yet, a mental state’s being the sort of state it is must play some causal role if functionalism is to account for mental causation.4 In what follows, I first articulate more fully the problem of metaphysically necessary effects. I then criticize three functionalist attempts to solve the problem directly. Given the failure of functionalist efforts to meet the problem head-on, I consider less direct strategies: these involve formulating functionalism or its causal claims in such a way that they appear not to generate the problem of metaphysically necessary effects. I argue against these indirect solutions, in each case concluding either that the problem still arises or that avoiding it requires the adoption of an unorthodox form of functionalism (itself a surprising result). In the final.. (shrink)

Two ways are considered of formulating a version of retentive physicalism, the view that in some important sense everything is physical, even though there do exist properties, e.g. higher-level scientific ones, which cannot be type-identified with physical properties. The first way makes use of disjunction, but is rejected on the grounds that the results yield claims that are either false or insufficiently materialist. The second way, realisation physicalism, appeals to the correlative notions of a functional property and its realisation, and (...) states, roughly, that any actual property whatsoever is either itself a physical property or else is, ultimately, realised by instances of physical properties. Realisation physicalism is distinctive since it makes no claims of identity whatsoever, and involves no appeal to the dubious concept of supervenience. After an attempt to formulate realisation physicalism more precisely, I explore a way in which, in principle, we could obtain evidence of its truth. (shrink)

Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statis- tics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement record- ing systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the (...) brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The stor- age and reactivation of perceptual symbols operates at the level of perceptual components – not at the level of holistic perceptual expe- riences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a com- mon frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift, run) and introspec- tion (e.g., compare, memory, happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and ab- stract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinato- rially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent type-token relations. Abstract concepts are grounded in complex simulations of combined physical and introspective events. Thus, a per- ceptual theory of knowledge can implement a fully functional conceptual system while avoiding problems associated with amodal sym- bol systems. Implications for cognition, neuroscience, evolution, development, and artificial intelligence are explored. (shrink)

Abstract I first suggest some ways in which the externalist account of psychological content can be reconciled with the aspectual character of intentionality. I then give an argument against the externalist account which includes as premises the claims that a system capable of having intentional states must understand a language, and that a system that understands a language must be capable of consciousness. I defend the latter claim by arguing that a correct understanding of observation sentences requires conscious, sensory experience, (...) and by appealing to the fact that language has meaning in a holistic manner. (shrink)

This thesis is an examination and critique of naturalistic representational theories of phenomenal character. Phenomenal character refers to the distinctive quality that perceptual and sensational experiences seem to have; it is identified with 'what it is like' to undergo experiences. The central claims of representationalism are that phenomenal character is identical with the content of experience and that all representational states, bearing appropriate relations to the cognitive system, are conscious experiences. These claims are taken to explain both how conscious experiential (...) states arise and their nature. After examining the desiderata for naturalistic explanations, I argue that theories which ascribe nonconceptual content to experiences are the most plausible versions of representationalism. Further, causal covariation and teleological theories yield distinctive and interesting representationalist positions, hence, they become the focus of this study. To assess representationalism, I investigate whether all differences in phenomenal character can be correlated with differences in content. I claim that a useful distinction can be drawn between implicit and explicit content, which allows one to best describe the phenomena of perfect and relative pitch. I then argue that ambiguous figures show that two experiences can have the same content but different phenomenal character. I explicate the Inverted Earth hypothesis and claim that to identify content and phenomenal character, representationalists either have to condone the possibility of philosophical zombies, or hold that people lack authoritative first-person knowledge of their current experiences. Both these positions are unpalatable. Finally, I argue that representationalists cannot ascribe contents to experiences of novel colours to account for their phenomenal character. I also question, in light of dissociation phenomena, whether there is one distinctive relationship that all experiences bear to the cognitive system. I conclude that phenomenal character cannot be identical with the type of content under investigation, and that naturalistic representationalist theories cannot fully explain conscious experience. (shrink)