According to the computational theory of mind (CTM), mental capacities are explained by inner computations, which in biological organisms are realized in the brain. Computational explanation is so popular and entrenched that it’s common for scientists and philosophers to assume CTM without argument.

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)

This article deals with mechanisms conceived as composed of entities and activities. In response to many perplexities about the nature of activities, a number of arguments are developed concerning their epistemic and ontological status. Some questions concerning the relations between cause and causal explanation and mechanisms are also addressed.

1. The Naturalistic Turn in Philosophy of Science 2. The Framework of Mechanistic Explanation: Parts, Operations, and Organization 3. Representing and Reasoning About Mechanisms 4. Mental Mechanisms: Mechanisms that Process Information 5. Discovering Mental Mechanisms 6 . Summary.

Some have suggested that there is no fact to the matter as to whether or not a particular physical system relaizes a particular computational description. This suggestion has been taken to imply that computational states are not real, and cannot, for example, provide a foundation for the cognitive sciences. In particular, Putnam has argued that every ordinary open physical system realizes every abstract finite automaton, implying that the fact that a particular computational characterization applies to a physical system does not (...) tell oneanything about the nature of that system. Putnam''s argument is scrutinized, and found inadequate because, among other things, it employs a notion of causation that is too weak. I argue that if one''s view of computation involves embeddedness (inputs and outputs) and full causality, one can avoid the universal realizability results. Therefore, the fact that a particular system realizes a particular automaton is not a vacuous one, and is often explanatory. Furthermore, I claim that computation would not necessarily be an explanatorily vacuous notion even if it were universally realizable. (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 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 purpose of this paper is to set forth a sense in which programs can and do explain behavior, and to distinguish from this a number of senses in which they do not. Once we are tolerably clear concerning the sort of explanatory strategy being employed, two rather interesting facts emerge; (1) though it is true that programs are "internally represented," this fact has no explanatory interest beyond the mere fact that the program is executed; (2) programs which are couched (...) in information processing terms may have an explanatory interest for a given range of behavior which is independent of physiological explanations of the same range of behavior. (shrink)

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)

During the 'sixties and 'seventies, Hilary Putnam, Jerry Fodor, and Richard Boyd, among others, developed a type of materialism that eschews reductionist claims.¹ In this view, explana- tions, natural kinds, and properties in psychology do not reduce to counterparts in more basic sciences, such as neurophysiology or physics. Nevertheless, all token psychological entities-- states, processes, and faculties--are wholly constituted of physical entities, ultimately out of entities over which microphysics quantifies. This view quickly became the standard position in philosophy of mind, (...) and reductionism fell out of favor. Recently, however, reductionism has been experiencing a rebirth, and many have suggested that the non-reductive approach was accepted too quickly and too uncritically. In this paper, we attempt to provide a more thorough account of the anti-reductionist position, and, in the process, to defend it against its recent critics. (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.

It is widely assumed that the explanatory states of scientific psychology are type-individuated by their semantic or intentional properties. First, I argue that this assumption is implausible for theories like David Marr's [1982] that seek to provide computational or syntactic explanations of psychological processes. Second, I examine the implications of this conclusion for the debate over psychological individualism. While most philosophers suppose that syntactic states supervene on the intrinsic physical states of information-processing systems, I contend they may not. Syntatic descriptions (...) must be adequately constrained, and the most plausible such constraints appeal to a system's teleological function or design and hence to its history. As a result, physical twins may not realize the same syntactic states. (shrink)

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)