This book provides a thorough description of hypercomputation. It covers all attempts at devising conceptual hypermachines and all new promising computational paradigms that may eventually lead to the construction of a hypermachine. Readers will gain a deeper understanding of what computability is, and why the Church-Turing thesis poses an arbitrary limit to what can be actually computed. Hypercomputing is a relatively novel idea. However, the book’s most important features are its description of the various attempts of hypercomputation, from trial-and-error machines (...) to the exploration of the human mind, if we treat it as a computing device. (shrink)

Science is the study of our world, as it is in its messy reality. Nonetheless, science requires idealization to function—if we are to attempt to understand the world, we have to find ways to reduce its complexity. Idealization and the Aims of Science shows just how crucial idealization is to science and why it matters. Beginning with the acknowledgment of our status as limited human agents trying to make sense of an exceedingly complex world, Angela Potochnik moves on to explain (...) how science aims to depict and make use of causal patterns—a project that makes essential use of idealization. She offers case studies from a number of branches of science to demonstrate the ubiquity of idealization, shows how causal patterns are used to develop scientific explanations, and describes how the necessarily imperfect connection between science and truth leads to researchers’ values influencing their findings. The resulting book is a tour de force, a synthesis of the study of idealization that also offers countless new insights and avenues for future exploration. (shrink)

The received view of dynamical explanation is that dynamical cognitive science seeks to provide covering law explanations of cognitive phenomena. By analyzing three prominent examples of dynamicist research, I show that the received view is misleading: some dynamical explanations are mechanistic explanations, and in this way resemble computational and connectionist explanations. Interestingly, these dynamical explanations invoke the mathematical framework of dynamical systems theory to describe mechanisms far more complex and distributed than the ones typically considered by philosophers. Therefore, contemporary dynamicist (...) research reveals the need for a more sophisticated account of mechanistic explanation. (shrink)

This paper presents a counterfactual account of what a mechanism is. Mechanisms consist of parts, the behavior of which conforms to generalizations that are invariant under interventions, and which are modular in the sense that it is possible in principle to change the behavior of one part independently of the others. Each of these features can be captured by the truth of certain counterfactuals.

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.

In this paper, I outline two strands of evidence for the conclusion that the dynamical approach to cognitive science both seeks and provides covering law explanations. Two of the most successful dynamical models—Kelso’s model of rhythmic finger movement and Thelen et al.’s model of infant perseverative reaching—can be seen to provide explanations which conform to the famous explanatory scheme first put forward by Hempel and Oppenheim. In addition, many prominent advocates of the dynamical approach also express the provision of this (...) kind of explanation as a goal of dynamical cognitive science. I conclude by briefly outlining two consequences. First, dynamical cognitive science’s explanatory style may strengthen its links to the so-called “situated” approach to cognition, but, secondly, it may also undermine the widespread intuition that dynamics is related to emergentism in the philosophy of mind. (shrink)

Cognitive science has always included multiple methodologies and theoretical commitments. The philosophy of cognitive science should embrace, or at least acknowledge, this diversity. Bechtel’s (2009a) proposed philosophy of cognitive science, however, applies only to representationalist and mechanist cognitive science, ignoring the substantial minority of dynamically oriented cognitive scientists. As an example of nonrepresentational, dynamical cognitive science, we describe strong anticipation as a model for circadian systems (Stepp & Turvey, 2009). We then propose a philosophy of science appropriate to nonrepresentational, dynamical (...) cognitive science. (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)

Computational neuroscientists not only employ computer models and simulations in studying brain functions. They also view the modeled nervous system itself as computing. What does it mean to say that the brain computes? And what is the utility of the ‘brain-as-computer’ assumption in studying brain functions? In previous work, I have argued that a structural conception of computation is not adequate to address these questions. Here I outline an alternative conception of computation, which I call the analog-model. The term ‘analog-model’ (...) does not mean continuous, non-discrete or non-digital. It means that the functional performance of the system simulates mathematical relations in some other system, between what is being represented. The brain-as-computer view is invoked to demonstrate that the internal cellular activity is appropriate for the pertinent information-processing task.Keywords: Computation; Computational neuroscience; Analog computers; Representation; Simulation. (shrink)

Kaplan and Craver claim that all explanations in neuroscience appeal to mechanisms. They extend this view to the use of mathematical models in neuroscience and propose a constraint such models must meet in order to be explanatory. I analyze a mathematical model used to provide explanations in dynamical systems neuroscience and indicate how this explanation cannot be accommodated by the mechanist framework. I argue that this explanation is well characterized by Batterman’s account of minimal model explanations and that it demonstrates (...) how relationships between explanatory models in neuroscience and the systems they represent is more complex than has been appreciated. (shrink)

How are scientific explanations possible in ecology, given that there do not appear to be many—if any—ecological laws? To answer this question, I present and defend an account of scientific causal explanation in which ecological generalizations are explanatory if they are invariant rather than lawlike. An invariant generalization continues to hold or be valid under a special change—called an intervention—that changes the value of its variables. According to this account, causes are difference-makers that can be intervened upon to manipulate or (...) control their effects. I apply the account to ecological generalizations to show that invariance under interventions as a criterion of explanatory relevance provides interesting interpretations for the explanatory status of many ecological generalizations. Thus, I argue that there could be causal explanations in ecology by generalizations that are not, in a strict sense, laws. I also address the issue of mechanistic explanations in ecology by arguing that invariance and modularity constitute such explanations. (shrink)

Mechanistic explanations satisfy widely held norms of explanation: the ability to manipulate and answer counterfactual questions about the explanandum phenomenon. A currently debated issue is whether any nonmechanistic explanations can satisfy these explanatory norms. Weiskopf argues that the models of object recognition and categorization, JIM, SUSTAIN, and ALCOVE, are not mechanistic yet satisfy these norms of explanation. In this article I argue that these models are mechanism sketches. My argument applies recent research using model-based functional magnetic resonance imaging, a novel (...) neuroimaging method whose significance for current debates on psychological models and mechanistic explanation has yet to be explored. (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)

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.

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)

I offer an explication of the notion of computer, grounded in the practices of computability theorists and computer scientists. I begin by explaining what distinguishes computers from calculators. Then, I offer a systematic taxonomy of kinds of computer, including hard-wired versus programmable, general-purpose versus special-purpose, analog versus digital, and serial versus parallel, giving explicit criteria for each kind. My account is mechanistic: which class a system belongs in, and which functions are computable by which system, depends on the system's mechanistic (...) properties. Finally, I briefly illustrate how my account sheds light on some issues in the history and philosophy of computing as well as the philosophy of mind. (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.

In Studying Human Behavior, Helen E. Longino enters into the complexities of human behavioral research, a domain still dominated by the age-old debate of “nature versus nurture.” Rather than supporting one side or another or attempting..

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)

This paper explores the relationship between psychology and neurobiology in the context of cognitive science. Are the sciences that constitute cognitive science independent and theoretically autonomous, or is there a necessary interaction between them? I explore Fodor's Multiple Realization Thesis (MRT) which starts with the fact of multiple realization and purports to derive the theoretical autonomy of special sciences (such as psychology) from structural sciences (such as neurobiology). After laying out the MRT, it is shown that, on closer inspection, the (...) argument is either circular or self-undermining--the argument either assumes the very autonomy it seeks to demonstrate or the concluded autonomy is contradicted by the theoretical interdependence invoked by the premises of the argument. Next, I explore a concrete example of multiple realization in the explanation of animal behavior: the convergent evolution of jamming avoidance behaviors in three genera of weakly electric fish. Contrary to the image painted by the MRT, the work on these animals involves a high degree of interaction between the various levels of investigation. The fact that our understanding of electric fish behavior involves functional theories and multiple realization without the kind of disunified science that is supposed to follow from such a situation indicates that the mere fact of multiple realization cannot be the basis for an autonomous psychology. (shrink)

We argue that dynamical and mathematical models in systems and cognitive neuro- science explain (rather than redescribe) a phenomenon only if there is a plausible mapping between elements in the model and elements in the mechanism for the phe- nomenon. We demonstrate how this model-to-mechanism-mapping constraint, when satisfied, endows a model with explanatory force with respect to the phenomenon to be explained. Several paradigmatic models including the Haken-Kelso-Bunz model of bimanual coordination and the difference-of-Gaussians model of visual receptive fields are (...) explored. (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)

While mechanistic explanation and, to a lesser extent, nomological explanation are well-explored topics in the philosophy of biology, topological explanation is not. Nor is the role of diagrams in topological explanations. These explanations do not appeal to the operation of mechanisms or laws, and extant accounts of the role of diagrams in biological science explain neither why scientists might prefer diagrammatic representations of topological information to sentential equivalents nor how such representations might facilitate important processes of explanatory reasoning unavailable to (...) scientists who restrict themselves to sentential representations. Accordingly, relying upon a case study about immune system vulnerability to attacks on CD4+ T-cells, I argue that diagrams group together information in a way that avoids repetition in representing topological structure, facilitate identification of specific topological properties of those structures, and make available to controlled processing explanatorily salient counterfactual information about topological structures, all in ways that sentential counterparts of diagrams do not. (shrink)

This paper argues that besides mechanistic explanations, there is a kind of explanation that relies upon “topological” properties of systems in order to derive the explanandum as a consequence, and which does not consider mechanisms or causal processes. I first investigate topological explanations in the case of ecological research on the stability of ecosystems. Then I contrast them with mechanistic explanations, thereby distinguishing the kind of realization they involve from the realization relations entailed by mechanistic explanations, and explain how both (...) kinds of explanations may be articulated in practice. The second section, expanding on the case of ecological stability, considers the phenomenon of robustness at all levels of the biological hierarchy in order to show that topological explanations are indeed pervasive there. Reasons are suggested for this, in which “neutral network” explanations are singled out as a form of topological explanation that spans across many levels. Finally, I appeal to the distinction of explanatory regimes to cast light on a controversy in philosophy of biology, the issue of contingence in evolution, which is shown to essentially involve issues about realization. (shrink)

In this article, I argue that the use of scientific models that attribute intentional content to complex systems bears a striking similarity to the way in which statistical descriptions are used. To demonstrate this, I compare and contrast an intentional model with a statistical model, and argue that key similarities between the two give us compelling reasons to consider both as a type of phenomenological model. I then demonstrate how intentional descriptions play an important role in scientific methodology as a (...) type of phenomenal model, and argue that this makes them as essential as any other model of this type. (shrink)

I argue that of the four kinds of quantitative description relevant for understanding brain function, a control theoretic approach is most appealing. This argument proceeds by comparing computational, dynamical, statistical and control theoretic approaches, and identifying criteria for a good description of brain function. These criteria include providing useful decompositions, simple state mappings, and the ability to account for variability. The criteria are justified by their importance in providing unified accounts of multi-level mechanisms that support intervention. Evaluation of the four (...) kinds of description with respect to these criteria supports the claim that control theoretic characterizations of brain function are the kind of quantitative description we ought to provide.Keywords: Neural computation; Control theory; Neural representation; Cognitive architecture; Cognitive models; Theoretical neuroscience. (shrink)

Not all models are explanatory. Some models are data summaries. Some models sketch explanations but leave crucial details unspecified or hidden behind filler terms. Some models are used to conjecture a how-possibly explanation without regard to whether it is a how-actually explanation. I use the Hodgkin and Huxley model of the action potential to illustrate these ways that models can be useful without explaining. I then use the subsequent development of the explanation of the action potential to show what is (...) required of an adequate mechanistic model. Mechanistic models are explanatory. (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)

Life-science phenomena are often explained by specifying the mechanisms that bring them about. The new mechanistic philosophers have done much to substantiate this claim and to provide us with a better understanding of what mechanisms are and how they explain. Although there is disagreement among current mechanists on various issues, they share a common core position and a seeming commitment to some form of scientific realism. But is such a commitment necessary? Is it the best way to go about mechanistic (...) explanation? In this article, we propose an alternative antirealist account that also fits explanatory practice in the life sciences. We pay special attention to mechanistic models, i.e. scientific models that involve a mechanism, and to the role of coherence considerations in building such models. To illustrate our points, we consider the mechanism for the action potential. 1 Introduction2 Some Core Features of Mechanistic Explanation3 Scientific Realism and Mechanistic Explanation4 Antirealist Mechanistic Explanation: The Case of the Action Potential5 Some Outstanding Issues for the Antirealist Mechanist6 Two Problems for the Realist Mechanist7 Conclusions. (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)

We provide a taxonomy of the two most important debates in the philosophy of the cognitive and neural sciences. The first debate is over methodological individualism: is the object of the cognitive and neural sciences the brain, the whole animal, or the animal--environment system? The second is over explanatory style: should explanation in cognitive and neural science be reductionist-mechanistic, inter-level mechanistic, or dynamical? After setting out the debates, we discuss the ways in which they are interconnected. Finally, we make some (...) recommendations that we hope will help philosophers interested in the cognitive and neural sciences to avoid dead ends. (shrink)

Explanations in the life sciences frequently involve presenting a model of the mechanism taken to be responsible for a given phenomenon. Such explanations depart in numerous ways from nomological explanations commonly presented in philosophy of science. This paper focuses on three sorts of differences. First, scientists who develop mechanistic explanations are not limited to linguistic representations and logical inference; they frequently employ diagrams to characterize mechanisms and simulations to reason about them. Thus, the epistemic resources for presenting mechanistic explanations are (...) considerably richer than those suggested by a nomological framework. Second, the fact that mechanisms involve organized systems of component parts and operations provides direction to both the discovery and testing of mechanistic explanations. Finally, models of mechanisms are developed for specific exemplars and are not represented in terms of universally quantified statements. Generalization involves investigating both the similarity of new exemplars to those already studied and the variations between them. (shrink)

A variety of scientific disciplines have set as their task explaining mental activities, recognizing that in some way these activities depend upon our brain. But, until recently, the opportunities to conduct experiments directly on our brains were limited. As a result, research efforts were split between disciplines such as cognitive psychology, linguistics, and artificial intelligence that investigated behavior, while disciplines such as neuroanatomy, neurophysiology, and genetics experimented on the brains of non-human animals. In recent decades these disciplines integrated, and with (...) the advent of techniques for imaging activity in human brains, the term cognitive neuroscience has been applied to the integrated investigations of mind and brain. This book is a philosophical examination of how these disciplines continue in the mission of explaining our mental capacities. (shrink)

Gualtiero Piccinini articulates and defends a mechanistic account of concrete, or physical, computation. A physical system is a computing system just in case it is a mechanism one of whose functions is to manipulate vehicles based solely on differences between different portions of the vehicles according to a rule defined over the vehicles. Physical Computation discusses previous accounts of computation and argues that the mechanistic account is better. Many kinds of computation are explicated, such as digital vs. analog, serial vs. (...) parallel, neural network computation, program-controlled computation, and more. Piccinini argues that computation does not entail representation or information processing although information processing entails computation. Pancomputationalism, according to which every physical system is computational, is rejected. A modest version of the physical Church-Turing thesis, according to which any function that is physically computable is computable by Turing machines, is defended. (shrink)

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.

Scientific pluralism is an issue at the forefront of philosophy of science. This landmark work addresses the question, Can pluralism be advanced as a general, philosophical interpretation of science?

Shapiro tests these hypotheses against two rivals, the mental constraint thesis and the embodied mind thesis. Collecting evidence from a variety of sources (e.g., neuroscience, evolutionary theory, and embodied cognition) he concludes that the multiple realizability thesis, accepted by most philosophers as a virtual truism, is much less obvious than commonly assumed, and that there is even stronger reason to give up the separability thesis. In contrast to views of mind that tempt us to see the mind as simply being (...) resident in a brain or body, Shapiro argues for a far more encompassing integration of mind, brain, and body than philosophers have supposed. (publisher, edited). (shrink)

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)

According to one large family of views, scientific explanations explain a phenomenon (such as an event or a regularity) by subsuming it under a general representation, model, prototype, or schema (see Bechtel, W., & Abrahamsen, A. (2005). Explanation: A mechanist alternative. Studies in History and Philosophy of Biological and Biomedical Sciences, 36(2), 421–441; Churchland, P. M. (1989). A neurocomputational perspective: The nature of mind and the structure of science. Cambridge: MIT Press; Darden (2006); Hempel, C. G. (1965). Aspects of scientific (...) explanation. In C. G. Hempel (Ed.), Aspects of scientific explanation (pp. 331–496). New York: Free Press; Kitcher (1989); Machamer, P., Darden, L., & Craver, C. F. (2000). Thinking about mechanisms. Philosophy of Science, 67(1), 1–25). My concern is with the minimal suggestion that an adequate philosophical theory of scientific explanation can limit its attention to the format or structure with which theories are represented. The representational subsumption view is a plausible hypothesis about the psychology of understanding. It is also a plausible claim about how scientists present their knowledge to the world. However, one cannot address the central questions for a philosophical theory of scientific explanation without turning one’s attention from the structure of representations to the basic commitments about the worldly structures that plausibly count as explanatory. A philosophical theory of scientific explanation should achieve two goals. The first is explanatory demarcation. It should show how explanation relates with other scientific achievements, such as control, description, measurement, prediction, and taxonomy. The second is explanatory normativity. It should say when putative explanations succeed and fail. One cannot achieve these goals without undertaking commitments about the kinds of ontic structures that plausibly count as explanatory. Representations convey explanatory information about a phenomenon when and only when they describe the ontic explanations for those phenomena. (shrink)