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)

The ontic conception of scientific explanation has been constructed and motivated on the basis of a putative lexical ambiguity in the term explanation. I raise a puzzle for this ambiguity claim, and then give a deflationary solution under which all ontically-rendered talk of explanation is merely elliptical; what it is elliptical for is a view of scientific explanation that altogether avoids the ontic conception. This result has revisionary consequences for New Mechanists and other philosophers of science, many of whom have (...) assimilated their conception of explanation to the ontic conception. (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.

Accounts of mechanistic explanation have emphasized the importance of looking down—decomposing a mechanism into its parts and operations. Using research on visual processing as an exemplar, I illustrate how productive such research has been. But once multiple components of a mechanism have been identified, researchers also need to figure out how it is organized—they must look around and determine how to recompose the mechanism. Although researchers often begin by trying to recompose the mechanism in terms of sequential operations, they frequently (...) find that the components of a mechanism interact in complex ways involving positive and negative feedback and that the organization often exhibits highly interactive local networks linked by a few long-range connections (small-worlds organization) and power law distributions of connections. The mechanisms are themselves active systems that are perturbed by inputs but not set in motion by them. Researchers also need to look up —situate a mechanism in its context, which may be a larger mechanism that modulates its behavior. When looking down is combined with looking around and up, mechanistic research results in an integrated, multi-level perspective. (shrink)

Philosophers of science increasingly recognize the importance of idealization: the intentional introduction of distortion into scientific theories. Yet this recognition has not yielded consensus about the nature of idealization. e literature of the past thirty years contains disparate characterizations and justifications, but little evidence of convergence towards a common position.

We review the various explanations that have been offered toaccount for subjects'' behaviour in Wason ''s famous selection task. Weargue that one element that is lacking is a good understanding ofsubjects'' semantics for the key expressions involved, and anunderstanding of how this semantics is affected by the demands the taskputs upon the subject''s cognitive system. We make novel proposals inthese terms for explaining the major content effects of deonticmaterials. Throughout we illustrate with excerpts from tutorialdialogues which motivate the kinds of (...) analysis proposed. Our long termgoal is an integration of the various insights about conditionalreasoning on offer from different cognitive science methodologies. Thepurpose of this paper is to try to draw the attention of logicians andsemanticists to this area, since we believe that empirical investigationof the cognitive processes involved could benefit from semanticanalyses. (shrink)

We sketch a framework for building a unified science of cognition. This unification is achieved by showing how functional analyses of cognitive capacities can be integrated with the multilevel mechanistic explanations of neural systems. The core idea is that functional analyses are sketches of mechanisms , in which some structural aspects of a mechanistic explanation are omitted. Once the missing aspects are filled in, a functional analysis turns into a full-blown mechanistic explanation. By this process, functional analyses are seamlessly integrated (...) with multilevel mechanistic explanations. (shrink)

In most accounts of realization of computational processes by physical mechanisms, it is presupposed that there is one-to-one correspondence between the causally active states of the physical process and the states of the computation. Yet such proposals either stipulate that only one model of computation is implemented, or they do not reflect upon the variety of models that could be implemented physically. -/- In this paper, I claim that mechanistic accounts of computation should allow for a broad variation of models (...) of computation. In particular, some non-standard models should not be excluded a priori. The relationship between mathematical models of computation and mechanistically adequate models is studied in more detail. (shrink)

In most accounts of realization of computational processes by physical mechanisms, it is presupposed that there is one-to-one correspondence between the causally active states of the physical process and the states of the computation. Yet such proposals either stipulate that only one model of computation is implemented, or they do not reflect upon the variety of models that could be implemented physically. In this paper, I claim that mechanistic accounts of computation should allow for a broad variation of models of (...) computation. In particular, some non-standard models should not be excluded a priori. The relationship between mathematical models of computation and mechanistically adequate models is studied in more detail. (shrink)

The concept of mechanism is analyzed in terms of entities and activities, organized such that they are productive of regular changes. Examples show how mechanisms work in neurobiology and molecular biology. Thinking in terms of mechanisms provides a new framework for addressing many traditional philosophical issues: causality, laws, explanation, reduction, and scientific change.

Proponents of mechanistic explanation all acknowledge the importance of organization. But they have also tended to emphasize specificity with respect to parts and operations in mechanisms. We argue that in understanding one important mode of organization—patterns of causal connectivity—a successful explanatory strategy abstracts from the specifics of the mechanism and invokes tools such as those of graph theory to explain how mechanisms with a particular mode of connectivity will behave. We discuss the connection between organization, abstraction, and mechanistic explanation and (...) illustrate our claims by looking at an example from recent research on so-called network motifs. (shrink)

The central aim of this paper is to shed light on the nature of explanation in computational neuroscience. I argue that computational models in this domain possess explanatory force to the extent that they describe the mechanisms responsible for producing a given phenomenon—paralleling how other mechanistic models explain. Conceiving computational explanation as a species of mechanistic explanation affords an important distinction between computational models that play genuine explanatory roles and those that merely provide accurate descriptions or predictions of phenomena. It (...) also serves to clarify the pattern of model refinement and elaboration undertaken by computational neuroscientists. (shrink)

After a decade of intense debate about mechanisms, there is still no consensus characterization. In this paper we argue for a characterization that applies widely to mechanisms across the sciences. We examine and defend our disagreements with the major current contenders for characterizations of mechanisms. Ultimately, we indicate that the major contenders can all sign up to our characterization.

In this paper I offer an analysis of causation based upon a theory of mechanisms-complex systems whose internal parts interact to produce a system's external behavior. I argue that all but the fundamental laws of physics can be explained by reference to mechanisms. Mechanisms provide an epistemologically unproblematic way to explain the necessity which is often taken to distinguish laws from other generalizations. This account of necessity leads to a theory of causation according to which events are causally related when (...) there is a mechanism that connects them. I present reasons why the lack of an account of fundamental physical causation does not undermine the mechanical account. (shrink)

This paper analyzes the generation and function of hitherto ignored or misrepresented interfield theories , theories which bridge two fields of science. Interfield theories are likely to be generated when two fields share an interest in explaining different aspects of the same phenomenon and when background knowledge already exists relating the two fields. The interfield theory functions to provide a solution to a characteristic type of theoretical problem: how are the relations between fields to be explained? In solving this problem (...) the interfield theory may provide answers to questions which arise in one field but cannot be answered within it alone, may focus attention on domain items not previously considered important, and may predict new domain items for one or both fields. Implications of this analysis for the problems of reduction and the unity and progress of science are mentioned. (shrink)

It is common to defend the Homeostatic Property Cluster ( HPC ) view as a third way between conventionalism and essentialism about natural kinds ( Boyd , 1989, 1991, 1997, 1999; Griffiths , 1997, 1999; Keil , 2003; Kornblith , 1993; Wilson , 1999, 2005; Wilson , Barker , & Brigandt , forthcoming ). According to the HPC view, property clusters are not merely conventionally clustered together; the co-occurrence of properties in the cluster is sustained by a similarity generating ( (...) or homeostatic ) mechanism . I argue that conventional elements are involved partly but ineliminably in deciding which mechanisms define kinds , for deciding when two mechanisms are mechanisms of the same type, and for deciding where one particular mechanism ends and another begins. This intrusion of conventional perspective into the idea of a mechanism raises doubts as to whether the HPC view is sufficiently free of conventional elements to serve as an objective arbiter in scientific disputes about what the kinds of the special sciences should be. (shrink)

In a recent paper, Kaplan (Synthese 183:339–373, 2011) takes up the task of extending Craver’s (Explaining the brain, 2007) mechanistic account of explanation in neuroscience to the new territory of computational neuroscience. He presents the model to mechanism mapping (3M) criterion as a condition for a model’s explanatory adequacy. This mechanistic approach is intended to replace earlier accounts which posited a level of computational analysis conceived as distinct and autonomous from underlying mechanistic details. In this paper I discuss work in (...) computational neuroscience that creates difficulties for the mechanist project. Carandini and Heeger (Nat Rev Neurosci 13:51–62, 2012) propose that many neural response properties can be understood in terms of canonical neural computations. These are “standard computational modules that apply the same fundamental operations in a variety of contexts.” Importantly, these computations can have numerous biophysical realisations, and so straightforward examination of the mechanisms underlying these computations carries little explanatory weight. Through a comparison between this modelling approach and minimal models in other branches of science, I argue that computational neuroscience frequently employs a distinct explanatory style, namely, efficient coding explanation. Such explanations cannot be assimilated into the mechanistic framework but do bear interesting similarities with evolutionary and optimality explanations elsewhere in biology. (shrink)

Tyler Burge presents an original study of the most primitive ways in which individuals represent the physical world. By reflecting on the science of perception and related psychological and biological sciences, he gives an account of constitutive conditions for perceiving the physical world, and thus aims to locate origins of representational mind.

The notion of levels has been widely used in discussions of cognitive science, especially in discussions of the relation of connectionism to symbolic modeling of cognition. I argue that many of the notions of levels employed are problematic for this purpose, and develop an alternative notion grounded in the framework of mechanistic explanation. By considering the source of the analogies underlying both symbolic modeling and connectionist modeling, I argue that neither is likely to provide an adequate analysis of processes at (...) the level at which cognitive theories attempt to function: One is drawn from too low a level, the other from too high a level. If there is a distinctly cognitive level, then we still need to determine what are the basic organizational principles at that level. (shrink)

How regular do mechanisms need to be, in order to count as mechanisms? This paper addresses two arguments for dropping the requirement of regularity from the definition of a mechanism, one motivated by examples from the sciences and the other motivated by metaphysical considerations regarding causation. I defend a broadened regularity requirement on mechanisms that takes the form of a taxonomy of kinds of regularity that mechanisms may exhibit. This taxonomy allows precise explication of the degree and location of regular (...) operation within a mechanism, and highlights the role that various kinds of regularity play in scientific explanation. I defend this regularity requirement in terms of regularity’s role in individuating mechanisms against a background of other causal processes, and by prioritizing mechanisms’ ability to serve as a model of scientific explanation, rather than as a metaphysical account of causation. It is because mechanisms are regular, in the expanded sense described here, that they are capable of supporting the kinds of generalizations that figure prominently in scientific explanations. (shrink)

Provability, Computability and Reflection.

Contents: Preface. - Introduction. - Science as a caricature of reality. - Three methodological revolutions. - The method of idealization. - Explanations and applications. - Truth and idealization. - A generalization of idealization. - References.

In the book, I argue that the mind can be explained computationally because it is itself computational—whether it engages in mental arithmetic, parses natural language, or processes the auditory signals that allow us to experience music. All these capacities arise from complex information-processing operations of the mind. By analyzing the state of the art in cognitive science, I develop an account of computational explanation used to explain the capacities in question.

one takes to be the most salient, any pair could be judged more similar to each other than to the third. Goodman uses this second problem to showthat there can be no context-free similarity metric, either in the trivial case or in a scientifically ...

Carl F. Craver investigates what we are doing when we use neuroscience to explain what's going on in the brain. When does an explanation succeed and when does it fail? Craver offers explicit standards for successful explanation of the workings of the brain, on the basis of a systematic view about what neuroscientific explanations are.

This book offers a philosophy for error-prone humans trying to understand messy systems in the real world.

This book brings together his essays on the philosphy of mind, artificial intelligence, and cognitive ethology that appeared in inaccessible journals from 1984...

Carl Craver investigates what we are doing when we sue neuroscience to explain what's going on in the brain.

In this article, after presenting the basic idea of causal accounts of implementation and the problems they are supposed to solve, I sketch the model of computation preferred by Chalmers and argue that it is too limited to do full justice to computational theories in cognitive science. I also argue that it does not suffice to replace Chalmers’ favorite model with a better abstract model of computation; it is necessary to acknowledge the causal structure of physical computers that is not (...) accommodated by the models used in computability theory. Additionally, an alternative mechanistic proposal is outlined. (shrink)

I propound a mechanistic theory of natural kinds in the human sciences. By examining a culture- bound psychiatric disorder, bulimia nervosa, I illustrate how partially socially constructed phenomena raise a serious challenge to traditional theories of natural kinds. As a solution to the challenge, I show how the mechanistic approach allows us to include real but partly socially sustained phenomena among natural kinds. This is desirable because the theory of natural kinds supplies the human sciences with a clear normative account (...) of concept formation. Furthermore, my theory suggests a conceptual framework for interdisciplinary research on complex phenomena. As a prerequisite for the mechanistic approach, the concept of natural kind in the philosophy of science must be distinguished from the use of the notion in other parts of philosophy. (shrink)