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.

In this paper I defend an etiological theory of biological functions (according to which the proper function of a trait is the effect for which it was selected by natural selection) against three objections which have been influential. I argue, contrary to Millikan, that it is wrong to base our defense of the theory on a rejection of conceptual analysis, for conceptual analysis does have an important role in philosophy of science. I also argue that biology requires a normative notion (...) of a "proper function", and that a normative notion is not ahistorical. (shrink)

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, ...

. . . Unlike Dewey, he has provided detailed incisive argumentation, and has shown just where the dogmas and dualisms break down." -- Richard Rorty, The Yale Review.

``Neural computing'' is a research field based on perceiving the human brain as an information system. This system reads its input continuously via the different senses, encodes data into various biophysical variables such as membrane potentials or neural firing rates, stores information using different kinds of memories (e.g., short-term memory, long-term memory, associative memory), performs some operations called ``computation'', and outputs onto various channels, including motor control commands, decisions, thoughts, and feelings. We show a natural model of neural computing that (...) gives rise to hyper-computation. Rigorous mathematical analysis is applied, explicating our model's exact computational power and how it changes with the change of parameters. Our analog neural network allows for supra-Turing power while keeping track of computational constraints, and thus embeds a possible answer to the superiority of the biological intelligence within the framework of classical computer science. We further propose it as standard in the field of analog computation, functioning in a role similar to that of the universal Turing machine in digital computation. In particular an analog of the Church-Turing thesis of digital computation is stated where the neural network takes place of the Turing machine. (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 title of The Rediscovery of the Mind suggests the question "When was the mind lost?" Since most people may not be aware that it ever was lost, we must also then ask "Who lost it?" It was lost, of course, only by philosophers, by certain philosophers. This passed unnoticed by society at large. The "rediscovery" is also likely to pass unnoticed. But has the mind been rediscovered by the same philosophers who "lost" it? Probably not. John Searle is an (...) analytic philosopher, with some of the same notions as the positivists and behaviorists who rejected consciousness and "lost" the mind in the first place, but he also does not sound like the kind of reductionist who would have joined that crowd. His views, indeed, are sensible enough, and some of his insights so important, that it is a shame to find his thought profoundly limited by some of the same mistakes and prejudices that ruined philosophy, and not just philosophy of mind, under the influence of those positivists and behaviorists. There is enough of genuine value in his treatment, that it can easily be taken up and, with relatively slight modification, added to what is of permanent value in the history of philosophy. (shrink)

In The Construction of Social Reality, John Searle argues that there are two kinds of facts--some that are independent of human observers, and some that require..

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)

Church's thesis, that all reasonable definitions of “computability” are equivalent, is not usually thought of in terms of computability by acontinuouscomputer, of which the general-purpose analog computer (GPAC) is a prototype. Here we prove, under a hypothesis of determinism, that the analytic outputs of aC∞GPAC are computable by a digital computer.In [POE, Theorems 5, 6, 7, and 8], Pour-El obtained some related results. (The proof there of Theorem 7 depends on her Theorem 2, for which the proof in [POE] is (...) incorrect, but for which a correct proof is given in [LIR]. Also, the proof in [POE] of Theorem 8 depends on the unproved assertion that a solution of an algebraic differential equation must be analytic on an open subset of its domain. However, this assertion was later proved in [BRR].) As in [POE], we reduce the problem to a problem about solutions of certain systems of algebraic differential equations (ADE's). If such a system is nonsingular (i.e. if the “separant” does not vanish along the given solution), then the argument is very easy (see [VSD] for an even simpler situation), so that the essential difficulties arise fromsingularsystems. Our main tools in handling these difficulties are drawn from the excellent (and difficult) paper [DEL] by Denef and Lipshitz. The author especially wants to thank Leonard Lipshitz for his kind help in the preparation of the present paper.We emphasize here that our proof of the simulation result applies only to the GPAC as described below. The GPAC's form a natural subclass of the class of all analog computers, and are based on certain idealized components (“black boxes”), mostly associated with the technology of past decades. One can easily envisage other kinds of black boxes of an input-output character that would lead to different kinds of analog computers. (For example, one could incorporate delays, or spatial integrators in addition to the present temporal integrators, etc.) Whether digital simulation is possible for these “extended” analog computers poses a rich and challenging set of research questions. (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)

Hilary Putnam, who may have been the first philosopher to advance the notion that the computer is an apt model for the mind, takes a radically new view of his...

Vermaas and Houkes advance four desiderata for theories of artifact function, and classify such theories into non-intentionalist reproduction theories on the one hand and intentionalist non-reproduction theories on the other. They argue that non-intentionalist reproduction theories fail to satisfy their fourth desideratum. They maintain that only an intentionalist non-reproduction theory can satisfy all the desiderata, and they offer a version that they believe does satisfy all of them. I reply that intentionalist non-reproduction theories, including their version, fail to satisfy their (...) first desideratum. Thus neither type of function theory satisfies all the desiderata. This suggests that the list of desiderata may well be inconsistent, and that ultimately we may have to decide whether to give up the first desideratum or the fourth one. I recommend giving up the fourth one on the grounds that this choice preserves the phenomenologically salient social aspects of artifact function. Vermaas and Houkes attempt to satisfy their desiderata Why this attempt fails What is to be done? (shrink)

Despite its significance in neuroscience and computation, McCulloch and Pitts's celebrated 1943 paper has received little historical and philosophical attention. In 1943 there already existed a lively community of biophysicists doing mathematical work on neural networks. What was novel in McCulloch and Pitts's paper was their use of logic and computation to understand neural, and thus mental, activity. McCulloch and Pitts's contributions included (i) a formalism whose refinement and generalization led to the notion of finite automata (an important formalism in (...) computability theory), (ii) a technique that inspired the notion of logic design (a fundamental part of modern computer design), (iii) the first use of computation to address the mind–body problem, and (iv) the first modern computational theory of mind and brain. (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.

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 received view is that computational states are individuated at least in part by their semantic properties. I offer an alternative, according to which computational states are individuated by their functional properties. Functional properties are specified by a mechanistic explanation without appealing to any semantic properties. The primary purpose of this paper is to formulate the alternative view of computational individuation, point out that it supports a robust notion of computational explanation, and defend it on the grounds of how computational (...) states are individuated within computability theory and computer science. A secondary purpose is to show that existing arguments for the semantic view are defective. (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)

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>.

This paper concerns Alan Turing’s ideas about machines, mathematical methods of proof, and intelligence. By the late 1930s, Kurt Gödel and other logicians, including Turing himself, had shown that no finite set of rules could be used to generate all true mathematical statements. Yet according to Turing, there was no upper bound to the number of mathematical truths provable by intelligent human beings, for they could invent new rules and methods of proof. So, the output of a human mathematician, for (...) Turing, was not a computable sequence (i.e., one that could be generated by a Turing machine). Since computers only contained a finite number of instructions (or programs), one might argue, they could not reproduce human intelligence. Turing called this the “mathematical
objection” to his view that machines can think. Logico-mathematical reasons, stemming from his own work, helped to convince Turing that it should be possible to reproduce human intelligence, and eventually compete with it, by developing the appropriate kind of digital computer. He felt it
should be possible to program a computer so that it could learn or discover new rules, overcoming the limitations imposed by the incompleteness and undecidability results in the same way that human
mathematicians presumably do. (shrink)

Many objects in the world have functions. Typewriters are for typing. Can-openers are for opening cans. Lawnmowers are for cutting grass. That is what these things are for. Every day around the world people attribute functions to objects. Some of the objects with functions are organs or parts of living organisms. Hearts are for pumping blood. Eyes are for seeing. Countless works in biology explain the “Form, Function, and Evolution of... ” everything from bee dances to elephant tusks to pandas’ (...) ‘thumbs’. Many scientific explanations, in areas as diverse as psychology, sociology, economics, medical research, and neuroscience, rest on appeals to the function and/or malfunction of things or systems. They talk of how humans and other organisms or their parts work, what their functions are, why they are present, and how different situations will affect them and how they will react. Philosophers, going back to Aristotle, used to make generous use of functions in describing objects, organisms, their interactions, and even as the basis of ethics and metaphysics. And yet, since the Enlightenment, talk of the function of natural objects, teleological function, began to be viewed with suspicion, as the mechanical model of the world replaced the old Aristotelian model. From a religious standpoint, it used to be easy to see how objects in the natural world could have natural functions, for God was said to instill functions by design throughout Creation. But philosophers became increasingly reluctant to invoke God to solve every difficult philosophical problem, and became unwilling to indulge in such religious explanations of teleology. (shrink)

This collection of essays serves both as an introduction to Ruth Millikan’s much-discussed volume Language, Thought, and Other Biological Categories and as an extension and application of Millikan’s central themes, especially in the philosophy of psychology. The title essay discusses meaning rationalism and argues that rationality is not in the head, indeed, that there is no legitimate interpretation under which logical possibility and necessity are known a priori. In other essays, Millikan clarifies her views on the nature of mental representation, (...) explores whether human thought is a product of natural selection, examines the nature of behavior as studied by the behavioral sciences, and discusses the issues of individualism in psychology, psychological explanation, indexicality in thought, what knowledge is, and the realism/antirealism debate. Table of Contents Preface Acknowledgments Introduction 1 In Defense of Proper Functions 2 Propensities, Exaptations, and the Brain 3 Thoughts without Laws 4 Biosemantics 5 On Mentalese Orthography, Part 1 6 Compare and Contrast Dretske, Fodor, and Millikan on Teleosemantics 7 What Is Behavior? A Philosophical Essay on Ethology and Individualism in Psychology, Part 1 8 The Green Grass Growing All Around: A Philosophical Essay on Ethology and Individualism in Psychology, Part 2 9 Explanation in Biopsychology 10 Metaphysical Antirealism? 11 Truth Rules, Hoverflies, and the Kripke-Wittgenstein Paradox 12 Naturalist Reflections on Knowledge 13 The Myth of the Essential Indexical 14 White Queen Psychology; or, The Last Myth of the Given References Index. (shrink)

Because of the “all-or-none” character of nervous activity, neural events and the relations among them can be treated by means of propositional logic. It is found that the behavior of every net can be described in these terms, with the addition of more complicated logical means for nets containing circles; and that for any logical expression satisfying certain conditions, one can find a net behaving in the fashion it describes. It is shown that many particular choices among possible neurophysiological assumptions (...) are equivalent, in the sense that for every net behaving under one assumption, there exists another net which behaves under the other and gives the same results, although perhaps not in the same time. Various applications of the calculus are discussed. (shrink)

Structural and functional descriptions of technical artefacts play an important role in engineering practice. A complete description of a technical artefact involves a description of both functional and structural features. Engineers, moreover, assume that there is an intimate relationship between the function and structure of technical artefacts and they reason from functional properties to structural ones and vice versa. This raises the question of how structural and functional descriptions are related. The kind of inference patterns that establish coherence between structural (...) and functional descriptions are explored in this paper, using the analysis of coherence creating relations of Thagard et al. Explanatory, analogical and practical inference patterns are discussed and it is argued that of these three, practical inferences may be the most important. Practical inferences, however, cannot provide a full underpinning of the coherence of structural and functional descriptions of technical artefacts. The paper ends with the suggestion that any account of the coherence of the structural and functional descriptions of technical artefacts must involve reference to their intentional features.Keywords: Technical artefact; Structural description; Functional description; Coherence relation; Practical inference. (shrink)

Properties like mass and temperature can be ordered on metrical scales. A property like hardness can perhaps only be ordered on an ordinal scale. Geometrical shapes seem to admit ordinal scales only in relation to specifically chosen families of shapes. The main claims of this paper are.

We examine to what extent an adequate ontology of technical artefacts can be based on existing general accounts of the relation between higher-order objects and their material basis. We consider two of these accounts: supervenience and constitution. We take as our starting point the thesis that artefacts have a ‘dual nature’, that is, that they are both material bodies and functional objects. We present two criteria for an adequate ontology of artefacts, ‘Underdetermination’ and ‘Realizability Constraints’ , which address aspects of (...) the dual nature thesis. Assessing supervenience accounts, we find them either wanting with respect to these criteria or insufficiently informative. Next, we argue that a recent application of Lynne Rudder Baker’s constitution view to artefacts cannot meet our criteria, although the broader view leaves room for improvement. Based on our evaluation of the most promising candidates, we conclude that so far general metaphysical views fail to address the most salient features of artefacts. Although they can account for the fact that artefacts have a ‘dual nature’, they do not offer the conceptual resources needed to describe the relation between these natures; this relation raises a hard problem in metaphysics.Keywords: Metaphysics; Artefact; Supervenience; Constitution; Underdetermination. (shrink)

I argue that technological functions warrant specific epistemological attention, which they have not received thus far. From a user’s perspective, knowledge about the possible functions of an artefact is not provided exclusively by beliefs about its physical characteristics; it is primarily provided by know-how related to its use. Analysing the latter shows that standards of practical and not just theoretical reasoning are involved. Moreover, knowledge of the function of artefacts is primarily based on testimony and a social division of labour (...) with respect to rational artefact use. Combining these two features, knowledge of functions can be shown to create a rich normative context, manifest in notions such as ‘improper’ use: designers inform users about how they ought to use artefacts. This normativity in knowledge of functions, which takes a different shape for possible and proper functions, is lacking in standard, descriptive knowledge.Keywords: Epistemology; Function; Knowing-how; Testimony; Artefact; Practical rationality. (shrink)

The philosophy of artifacts is as marginal as it is one-sided. The majority of contributions to it are asides in works devoted to other subjects and focus on one characteristic feature: that artifacts are objects with functions. Indeed many artifacts, such as screwdrivers and toasters, come in functional kinds. Perhaps for this reason, philosophers elevated functions to the essences of artifacts or have developed general theories of function to describe artifacts along with their main subject: biological items. Most such theories (...) present one monolithic notion of function that applies to both. Dissident voices claim autonomy for artifact functions, or at least a small measure of conceptual independence, but it is seldom questioned that a theory of artifacts consists merely of a theory of artifact functions. (shrink)

In this paper I criticize Cartwright's analysis of capacities and offer an alternative analysis. I argue that Cartwright's attempt to connect capacities to her condition CC fails because individuals can exercise capacities only in certain contexts. My own analysis emphasizes three features of capacities: 1) Capacities belong to individuals; 2) Capacities are typically not metaphysically fundamental properties of individuals, but can be explained by referring to structural properties of individuals; and 3) Laws are best understood as ascriptions of capacities.

Part of the distinction between artefacts, objects made by humans for particular purposes, and natural objects is that artefacts are subject to normative judgements. A drill, say, can be a good drill or a poor drill, it can function well or correctly or it can malfunction. In this paper I investigate how such judgements fit into the domain of the normative in general and what the grounds for their normativity are. Taking as a starting point a general characterization of normativity (...) proposed by Dancy, I argue how statements such as ‘this is a good drill’ or ‘this drill is malfunctioning’ can be seen to express normative facts, or the content of normative statements. What they say is that a user who has a desire to achieve a particular relevant outcome has a reason to use, or not to use, the artefact in question. Next this analysis is extended to show that not just statements that say that an artefact performs its function well or poorly, but all statements that ascribe a function to an artefact can be seen as expressing a normative fact. On this approach the normativity of artefacts is analyzed in terms of reasons on grounds of practical, and to a lesser extent theoretical, rationality. I close by investigating briefly to what extent reasons on moral grounds are, in the analysis adopted here, involved in the normativity of artefacts.Keywords: Artefact; Normativity; Instrumental reason; Practical rationality; Function; Use. (shrink)

In this paper I evaluate the ICE-theory of function ascriptions to technical artefacts as proposed by Houkes and Vermaas, 2004a and Houkes and Vermaas, 2004b. This account adds non-structural concepts to functional description of artefacts, which are typically not employed by engineers when they ascribe functions to artefacts. The aim of this paper is to analyse to what extent the ICE-theory can reproduce the engineering view that artefacts have their functions in virtue of their physicochemical structure. It is shown that (...) this theory can reproduce this engineering view for components of artefacts but not for the artefacts themselves: engineers can ascribe functions to components on the basis of only the physicochemical structure of artefacts; but when engineers ascribe functions to artefacts as a whole, they have to consider explicitly the goals for which agents use artefacts and the actions that constitute this use.Keywords: Function theory; Technical artefacts; Components; Physics and chemistry; Engineering; Action theory. (shrink)

In this paper we present an action-theoretic account of artefact using and designing and describe our ICE-theory of function ascriptions to technical artefacts. By means of this account and theory we analyse the thesis of the dual nature of technical artefacts according to which descriptions of technical artefacts draw on structural and intentional conceptualisations. We show that the ascription of technical functions to technical artefacts can connect the intentional and structural parts of descriptions of artefacts, but also separate these parts. (...) Our conclusion is that the concept of technical functions forms a ‘conceptual drawbridge’ between the intentional and structural natures of technical artefacts.Keywords: Intentional and structural descriptions; Technical artefacts; Function theory; Action theory; Use; Design. (shrink)

One thing about technical artefacts that needs to be explained is how their physical make-up, or structure, enables them to fulfil the behaviour associated with their function, or, more colloquially, how they work. In this paper I develop an account of such explanations based on the familiar notion of mechanistic explanation. To accomplish this, I outline two explanatory strategies that provide two different types of insight into an artefact’s functioning, and show how human action inevitably plays a role in artefact (...) explanation. I then use my own account to criticize other recent work on mechanistic explanation and conclude with some general implications for the philosophy of explanation.Keywords: Artefact; Technical function; Explanation; Levels of explanation; Mechanisms. (shrink)

Little, Brown, 1992 Review by Glenn Branch on Jul 5th 1999 Volume: 3, Number: 27.

I make three points about Searle’s philosophical work on consciousness and intentionality. First, I comment on Searle’s presentation and paper “The Problems of Consciousness.” I show that one of Searle’s philosophical claims about the relation between consciousness and intentionality appears to conflict with a demand he makes on acceptable empirical theories of the brain. Second, I argue that closer attention to the difference between conceptual connections and empirical connections corrects and improves Searle’s response to the so-called “Logical Connections” argument, the (...) argument that claims that mental states cannot be causes, since they are conceptually connected with actions. Third, I give a formulation of his Chinese Room argument that avoids some tempting responses. (shrink)

Looks at accounts by Locke, Fodor, Dretske, and Millikan concerning the nature of mental representation, and discusses connectionism and representation.

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)

Many areas of science develop by discovering mechanisms and role functions. Cummins' (1975) analysis of role functions-according to which an item's role function is a capacity of that item that appears in an analytic explanation of the capacity of some containing system-captures one important sense of "function" in the biological sciences and elsewhere. Here I synthesize Cummins' account with recent work on mechanisms and causal/mechanical explanation. The synthesis produces an analysis of specifically mechanistic role functions, one that uses the characteristic (...) active, spatial, temporal, and hierarchical organization of mechanisms to add precision and content to Cummins' original suggestion. This synthesis also shows why the discovery of role functions is a scientific achievement. Discovering a role function (i) contributes to the interlevel integration of multilevel mechanisms, and (ii) provides a unique, contextual variety of causal/mechanical explanation. (shrink)