This book, based on Jaegwon Kim's 1996 Townsend Lectures, presents the philosopher's current views on a variety of issues in the metaphysics of the mind...

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)

I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to (...) the question, "Can machines think?" is to be sought in a statistical survey such as a Gallup poll. But this is absurd. Instead of attempting such a definition I shall replace the question by another, which is closely related to it and is expressed in relatively unambiguous words. The new form of the problem can be described in terms of a game which we call the 'imitation game." It is played with three people, a man (A), a woman (B), and an interrogator (C) who may be of either sex. The interrogator stays in a room apart front the other two. The object of the game for the interrogator is to determine which of the other two is the man and which is the woman. He knows them by labels X and Y, and at the end of the game he says either "X is A and Y is B" or "X is B and Y is A." The interrogator is allowed to put questions to A and B. We now ask the question, "What will happen when a machine takes the part of A in this game?" Will the interrogator decide wrongly as often when the game is played like this as he does when the game is played between a man and a woman? These questions replace our original, "Can machines think?". (shrink)

In this paper Lucas comes back to Gödelian argument against Mecanism to clarify some points. First of all, he explains his use of Gödel’s theorem instead of Turing’s theorem, showing how Gödel’ theorem, but not Turing’s theorem, raises questions concerning truth and reasoning that bear on the nature of mind and how Turing’s theorem suggests that there is something that cannot be done by any computers but not that it can be done by human minds. He considers moreover how Gödel’s (...) theorem can be interpreted as a sophisticated form of the Cretan paradox, posed by Epimenides, able to escape the viciously self-referential nature of the Cretan paradox, and how it can be used against Mechanism as a schema of disproof. Finally, Lucas suggests some answers to the most recurrent criticisms against his argument: criticisms about the implicit idealisation in the way he set up the context between mind and machine; questions concerning modality and finitude, issues of transfinite arithmetic; questions concerning the need of formalizing rational inference and some questions about consistency. (shrink)

In the beginning, there was the DN (Deductive Nomological) model of explanation, articulated by Hempel and Oppenheim (1948). According to DN, scientific explanation is subsumption under natural law. Individual events are explained by deducing them from laws together with initial conditions (or boundary conditions), and laws are explained by deriving them from other more fundamental laws, as, for example, the simple pendulum law is derived from Newton's laws of motion.

INTRODUCTION: TWO KINDS OF RLDUCTIONISM The man who laughs is the one who has not yet heard the terrible news. BERTHOLD BRECHT I propose, in this book, ...

This book grew out of a graduate student paper [261] in which I set down some criticisms of J. R. Lucas' attempt to refute mechanism by means of G6del's theorem. I had made several such abortive attempts myself and had become familiar with their pitfalls, and especially with the double edged nature of incompleteness arguments. My original idea was to model the refutation of mechanism on the almost universally accepted G6delian refutation of Hilbert's formalism, but I kept getting stuck on (...) questions of mathematical philosophy which I found myself having to beg. A thorough study of the foundational works of Hilbert and Bernays finally convinced me that I had all too naively and uncritically bought this refutation of formalism. I did indeed discover points of surprisingly close contact between formalism and mechanism, but also that it was possible to under mine certain strong arguments against these positions precisely by invok ing G6del's and related work. I also began to realize that the Church Turing thesis itself is the principal bastion protecting mechanism, and that G6del's work was perhaps the best thing that ever happened to both mechanism and formalism. I pushed these lines of argument in my dis sertation with the patient help of my readers, Raymond Nelson and Howard Stein. I would especially like to thank the latter for many valuable criticisms of my dissertation as well as some helpful suggestions for reor ganizing it in the direction of the present book. (shrink)

A biochemical pathway is a sequence of chemical reactions in a biological organism. Such pathways specify mechanisms that explain how cells carry out their major functions by means of molecules and reactions that produce regular changes. Many diseases can be explained by defects in pathways, and new treatments often involve finding drugs that correct those defects. This paper presents explanation schemas and treatment strategies that characterize how thinking about pathways contributes to biomedical discovery. It discusses the significance of pathways for (...) understanding the nature of diseases, explanations, and theories. (shrink)

Stuart Glennan, and the team of Peter Machamer, Lindley Darden, and Carl Craver have recently provided two accounts of the concept of a mechanism. The main difference between these two versions rests on how the behavior of the parts of the mechanism is conceptualized. Glennan considers mechanisms to be an interaction of parts, where the interaction between parts can be characterized by direct, invariant, change-relating generalizations. Machamer, Darden, and Craver criticize traditional conceptualizations of mechanisms which are based solely on parts (...) interacting and introduce a new conceptactivity. This essay is an attempt at carving out a relationship between these two philosophical interpretations of a mechanism. I will claim that, rather than being in conflict, Glennan's concept of interaction and Machamer, Darden, and Craver's notion of activity actually complement one another, each emphasizing a missing element of the other. (shrink)

The aim of Stich's book is to further the controversial thesis that the conceptual framework of ‘folk’ psychology will have no significant role to play in a mature cognitive science. Skepticism about the scientific relevance of folk psychology has been voiced by others ; but Stich's critique is both novel and more fully developed than earlier ones. The charge is not–-or not simply–-that ‘folk theory’ is a “degenerating paradigm“, or that, in general, the constructs of folk theory fail to refer (...) altogether. Stich's thesis is subtler, and rests on the claim that the individuation of folk-psychological states is irremediably vague and context-and-observer relative in a way that makes a folk-psychological taxonomy ill-suited to the requirements of scientific explanation and systematization. Stich, of course, does not reject mentalism as such, as did the behaviorists: he merely rejects the assumption–-often tacitly accepted by cognitive scientists and by their philosophical interpreters–-that the mental states posited by a mature cognitive science will essentially correspond to the intentional, propositional attitude states of folk psychology. Thus, for Stich, there is no reason to suppose that cognitive science will turn out to be a sophisticated extension of folk psychology. The “Panglossian prospect” of a conceptual reunification of the scientific image of mind with the ‘manifest’ image under the banner of cognitivism is just what this book calls into question. (shrink)

Reductionism is often understood to include two theses: (1) every singular occurrence that the special sciences can explain also can be explained by physics; (2) every law in a higher-level science can be explained by physics. These claims are widely supposed to have been refuted by the multiple realizability argument, formulated by Putnam (1967, 1975) and Fodor (1968, 1975). The present paper criticizes the argument and identifies a reductionistic thesis that follows from one of the argument's premises.

Let thin properties be properties shared by coincident entities, e.g., a person and her body, and thick properties ones that are not shared. Thick properties entail sortal properties, e.g., being a person, and the associated persistence conditions. On the first account of realization defined here, the realized property and its realizers will belong to the same individual. This restricts the physical realizers of mental properties, which are thick, to thick physical properties. We also need a sense in which mental properties (...) can be realized in thin physical properties shared by a person and her body. Defining this in turn requires defining a sense in which the instantiations of sortal properties and of thick properties are realized in micro‐structural states of affairs. A fourth notion of realization is needed to allow for the possibility of coincident entities that share a sortal property, e.g., coincident persons. (shrink)

Since the appearance of a widely influential book, Self-Knowledge and Self-ldentity, Sydney Shoemaker has continued to work on a series of interrelated issues in the philosophy of mind and metaphysics. This volume contains a collection of the most important essays he has published since then. The topics that he deals with here include, among others, the nature of personal and other forms of identity, the relation of time to change, the nature of properties and causality and the relation between the (...) two, dualism and immortality, and the nature of mental states. All the essays show the same care and precision in argument as the earlier book, but they also reveal a substantial shift in Professor Shoemaker's position to a form of materialism. In fact, a number of papers together constitute what is probably the most subtle and rigourous defence yet of a sophisticated functionalism in the account of the mind. (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)

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 paper presents an extended argument for the claim that mental content impacts the computational individuation of a cognitive system (section 2). The argument starts with the observation that a cognitive system may simultaneously implement a variety of different syntactic structures, but that the computational identity of a cognitive system is given by only one of these implemented syntactic structures. It is then asked what are the features that determine which of implemented syntactic structures is the computational structure of the (...) system, and it is contended that these features are certain aspects of mental content. The argument helps (section 3) to reassess the thesis known as computational externalism, namely, the thesis that computational theories of cognition make essential reference to features in the individual's environment. It is suggested that the familiar arguments for computational externalism?which rest on thought experiments and on exegesis of Marr's theories of vision?are unconvincing, but that they can be improved. A reconstruction of the visex/audex thought experiment is offered in section 3.1. An outline of a novel interpretation of Marr's theories of vision is presented in section 3.2. The corrected arguments support the claim that computational theories of cognition are intentional. Computational externalism is still pending, however, upon the thesis that psychological content is extrinsic. (shrink)

1. It seems plausible to say that a language is a system of expressions the use of which is subject to certain rules. It would seem, thus, that learning to use a language is learning to obey the rules for the use of its expressions. However, taken as it stands, this thesis is subject to an obvious and devastating refutation. After formulating this refutation, I shall turn to the constructive task of attempting to restate the thesis in a way which (...) avoids it. In doing so, I shall draw certain distinctions the theoretical elaboration of which will, I believe, yield new insight into the psychology of language and of what might be called “norm conforming behavior” generally. The present paper contains an initial attempt along these lines. (shrink)

Function and teleology can be naturalized either by reference to systems with a particular type of organization or by reference to a particular kind of history. As functions are generally ascribed to states or traits according to their current role and regardless of their origin, etiological accounts are inappropriate. Here, I offer a systems-theoretical interpretation as a new version of an organizational account of functionality, which is more comprehensive than traditional cybernetic views and provides explicit criteria for empirically testable function (...) ascriptions. I propose, that functional states, traits or items are those components of a complex system, which are under certain circumstances necessary for their self-re-production. I show, how this notion can be applied in intra- and trans-generational function ascriptions in biology, how it can deal with the problems of multifunctionality and functional equivalents, and how it relates to concepts like fitness and adaptation. Finally, I argue that most intentional explanations can be treated as functional explanations. (shrink)

Here is a rather mundane set of claims about the stapler on my desk: The function of my stapler is to staple sheets of paper together. If the stapler is loaded with staples, but for some reason will not staple papers, the stapler is malfunctioning. That is, it is not doing what it is supposed to do. It is defective, or misshapen, misaligned or inadequate to its task, or in some other way normatively defective: there is something wrong with it. (...) The reason that my stapler has its function, and is capable of having something wrong with it, is that my stapler is designed to staple sheets of paper together. Some human being sat down at some point and formed intentions about the production of objects which would, if everything went as planned, staple sheets of paper together. As a result of this person’s intentions, my stapler was produced, and because of the particular content of these intentions, my stapler was bestowed with its particular function. (shrink)

The main claim of this paper is that notions of implementation based on an isomorphic correspondence between physical and computational states are not tenable. Rather, ``implementation'' has to be based on the notion of ``bisimulation'' in order to be able to block unwanted implementation results and incorporate intuitions from computational practice. A formal definition of implementation is suggested, which satisfies theoretical and practical requirements and may also be used to make the functionalist notion of ``physical realization'' precise. The upshot of (...) this new definition of implementation is that implementation cannot distinguish isomorphic bisimilar from non-isomporphic bisimilar systems anymore, thus driving a wedge between the notions of causal and computational complexity. While computationalism does not seem to be affected by this result, the consequences for functionalism are not clear and need further investigations. (shrink)

The main claim of this paper is that notions of implementation based on an isomorphic correspondence between physical and computational states are not tenable. Rather, ``implementation'' has to be based on the notion of ``bisimulation'' in order to be able to block unwanted implementation results and incorporate intuitions from computational practice. A formal definition of implementation is suggested, which satisfies theoretical and practical requirements and may also be used to make the functionalist notion of ``physical realization'' precise. The upshot of (...) this new definition of implementation is that implementation cannot distinguish isomorphic bisimilar from non-isomporphic bisimilar systems anymore, thus driving a wedge between the notions of causal and computational complexity. While computationalism does not seem to be affected by this result, the consequences for functionalism are not clear and need further investigations. (shrink)

The philosophical theory of scientific explanation proposed here involves a radically new treatment of causality that accords with the pervasively statistical character of contemporary science. Wesley C. Salmon describes three fundamental conceptions of scientific explanation--the epistemic, modal, and ontic. He argues that the prevailing view is untenable and that the modal conception is scientifically out-dated. Significantly revising aspects of his earlier work, he defends a causal/mechanical theory that is a version of the ontic conception. Professor Salmon's theory furnishes a robust (...) argument for scientific realism akin to the argument that convinced twentieth-century physical scientists of the existence of atoms and molecules. To do justice to such notions as irreducibly statistical laws and statistical explanation, he offers a novel account of physical randomness. The transition from the "reviewed view" of scientific explanation to the causal/mechanical model requires fundamental rethinking of basic explanatory concepts. (shrink)

Wesley Salmon is renowned for his seminal contributions to the philosophy of science. He has powerfully and permanently shaped discussion of such issues as lawlike and probabilistic explanation and the interrelation of explanatory notions to causal notions. This unique volume brings together twenty-six of his essays on subjects related to causality and explanation, written over the period 1971-1995. Six of the essays have never been published before and many others have only appeared in obscure venues. The volume includes a section (...) of accessible introductory pieces, as well as more advanced and technical pieces, and will make essential work in the philosophy of science readily available to both scholars and students. (shrink)

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)

Recently, connectionist models have been developed that seem to exhibit structuresensitive cognitive capacities without executing a program. This paper examines one such model and argues that it does execute a program. The argument proceeds by showing that what is essential to running a program is preserving the functional structure of the program. It has generally been assumed that this can only be done by systems possessing a certain temporalcausal organization. However, counterfactualpreserving functional architecture can be instantiated in other ways, for (...) example geometrically, which are realizable by connectionist networks. (shrink)