The recent literature on mental causation has not been kind to nonreductive, materialist functionalism (‘functionalism’, hereafter, except where that term is otherwise qualified). The exclusion problem2 has done much of the damage, but the epiphenomenalist threat has taken other forms. Functionalism also faces what I will call the ‘problem of metaphysically necessary effects’ (Block, 1990, pp. 157-60, Antony and Levine, 1997, pp. 91-92, Pereboom, 2002, p. 515, Millikan, 1999, p. 47, Jackson, 1998, pp. 660-61). Functionalist mental properties are individuated partly (...) by their relation to the very effects those properties’ instantiations are thought to cause. Consequently, functionalist causal generalizations would seem to have the following problematical structure: The state of being, among other things, a cause of e (under such-andsuch conditions) causes e (under those conditions).3 The connection asserted lacks the contingency one would expect of a causal generalization. Mental states of the kind in question are, by metaphysical necessity, causes of e; any state that does not cause e is thereby a different kind of state. Yet, a mental state’s being the sort of state it is must play some causal role if functionalism is to account for mental causation.4 In what follows, I first articulate more fully the problem of metaphysically necessary effects. I then criticize three functionalist attempts to solve the problem directly. Given the failure of functionalist efforts to meet the problem head-on, I consider less direct strategies: these involve formulating functionalism or its causal claims in such a way that they appear not to generate the problem of metaphysically necessary effects. I argue against these indirect solutions, in each case concluding either that the problem still arises or that avoiding it requires the adoption of an unorthodox form of functionalism (itself a surprising result). In the final.. (shrink)

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

It has been the dominant view that probabilistic explanations of particular facts must be inductive in character. I argue here that this view is mistaken, and that the aim of probabilistic explanation is not to demonstrate that the explanandum fact was nomically expectable, but to give an account of the chance mechanism(s) responsible for it. To this end, a deductive-nomological model of probabilistic explanation is developed and defended. Such a model has application only when the probabilities occurring in covering laws (...) can be interpreted as measures of objective chance, expressing the strength of physical propensities. Unlike inductive models of probabilistic explanation, this deductive model stands in no need of troublesome requirements of maximal specificity or epistemic relativization. (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...

Function theorists routinely speculate that a viable function theory will be equally applicable to biological traits and artifacts. However, artifact function has received only the most cursory scrutiny in its own right. Closer scrutiny reveals that only a pluralist theory comprising two distinct notions of function--proper function and system function--will serve as an adequate general theory. The first section describes these two notions of function. The second section shows why both notions are necessary, by showing that attempts to do away (...) with one of them fail. This demonstration draws on examples from the artifactual realm to motivate major points of the argument. The third section is an outline of artifact function. It confirms the conclusions of the second section, and also begins the task of describing some of the special features of artifact function needing accommodation within the general theory. (shrink)

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)

According to the received view in philosophy of mind, mental states or properties are _realized_ by brain states or properties but are not identical to them. This view is often called _realization_ _physicalism_. Carl Gillett has recently defended a detailed formulation of the realization relation. However, Gillett’s formulation cannot be the relation that realization physicalists have in mind. I argue that Gillett’s “dimensioned” view of realization fails to apply to a textbook case of realization. I also argue Gillett counts as (...) realization some cases that should not count if realization physicalism is to be distinguished from its competitors in the usual ways. I conclude that the relation described by Gillett cannot be realization. (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.

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.

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

The Church–Turing Thesis (CTT) is often employed in arguments for computationalism. I scrutinize the most prominent of such arguments in light of recent work on CTT and argue that they are unsound. Although CTT does nothing to support computationalism, it is not irrelevant to it. By eliminating misunderstandings about the relationship between CTT and computationalism, we deepen our appreciation of computationalism as an empirical hypothesis.

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)

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)

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)

On the occasion of a first conference on Cognitive Science, it seems appropriate to review the basis of common understanding between the various disciplines. In my estimate, the most fundamental contribution so far of artificial intelligence and computer science to the joint enterprise of cognitive science has been the notion of a physical symbol system, i.e., the concept of a broad class of systems capable of having and manipulating symbols, yet realizable in the physical universe. The notion of symbol so (...) defined is internal to this concept, so it becomes a hypothesis that this notion of symbols includes the symbols that we humans use every day of our lives. In this paper we attempt systematically, but plainly, to lay out the nature of physical symbol systems. Such a review is in ways familiar, but not thereby useless. Restatement of fundamentals is an important exercise. (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.

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.

In this book, William Lycan reviews the diverse philosophical views on consciousness--including those of Kripke, Block, Campbell, Sellars, and Casteneda--and ..

Somewhat loose arguments that non-reductive physicalist realism is untenable. Anomalous monism makes the mental irrelevant, functionalism is compatible with species-specific reduction, and supervenience is weak or reductive.

In this paper I will revisit an argument that I have called “the supervenience argument”; it is sometimes called “the exclusion argument” in the literature. I want to reconsider several aspects of this argument in light of some of the criticisms and comments it has elicited, clarifying some points and offering a slightly reformulated—and improved—version of the argument. My primary aim, however, is to discuss and respond to Ned Block’s edifying and challenging critique of the argument in his “Do Causal (...) Powers Drain Away?”—in particular, his claim that the argument has the consequence that if there is no bottom microphysical level, causal powers will “drain away”, leaving us with no causation anywhere. The supervenience argument was designed to show that on a certain popular and influential view of mentality and its relationship to the physical, mental properties turn out to be epiphenomenal, that is, without causal powers of their own. (shrink)

This book provides a post-positivist theory of deterministic and probabilistic causality that supports both quantitative and qualitative explanations. Features of particular interest include the ability to provide true explanations in contexts where our knowledge is incomplete, a systematic interpretation of causal modeling techniques in the social sciences, and a direct realist view of causal relations that is compatible with a liberal empiricism. The book should be of wide interest to both philosophers and scientists. Originally published in 1989. The Princeton Legacy (...) Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Computational methods such as computer simulations, Monte Carlo methods, and agent-based modeling have become the dominant techniques in many areas of science. Extending Ourselves contains the first systematic philosophical account of these new methods, and how they require a different approach to scientific method. Paul Humphreys draws a parallel between the ways in which such computational methods have enhanced our abilities to mathematically model the world, and the more familiar ways in which scientific instruments have expanded our access to the (...) empirical world. This expansion forms the basis for a new kind of empiricism, better suited to the needs of science than the older anthropocentric forms of empiricism. Human abilities are no longer the ultimate standard of epistemological correctness.Humphreys also includes arguments for the primacy of properties rather than objects, the need to consider technological constraints when appraising scientific methods, and a detailed account of how the path from computational template to scientific application is constructed. This last feature allows us to hold a form of selective realism in which anti-realist arguments based on formal reconstructions of theories can be avoided. One important consequence of the rise of computational methods is that the traditional organization of the sciences is being replaced by an organization founded on computational templates.Extending Ourselves will be of interest to philosophers of science, epistemologists, and to anyone interested in the role played by computers in modern science. (shrink)

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)

From an Ontological Point of View is a highly original and accessible exploration of fundamental questions about what there is. John Heil discusses such issues as whether the world includes levels of reality; the nature of objects and properties; the demands of realism; what makes things true; qualities, powers, and the relation these bear to one another. He advances an account of the fundamental constituents of the world around us, and applies this account to problems that have plagued recent work (...) in the philosophy of mind and metaphysics (color, intentionality, and the nature of consciousness). (shrink)

Cognitivism in psychology and philosophy is roughly the position that intelligent behavior can (only) be explained by appeal to internal that is, rational thought in a very broad sense. Sections 1 to 5 attempt to explicate in detail the nature of the scientific enterprise that this intuition has inspired. That enterprise is distinctive in at least three ways: It relies on a style of explanation which is different from that of mathematical physics, in such a way that it is not (...) basically concerned with quantitative equational laws; the states and processes with which it deals are in the sense that they are regarded as meaningful or representational; and it is not committed to reductionism, but is open to reduction in a form different from that encountered in other sciences. Spelling these points out makes it clear that the Cognitivist study of the mind can be rigorous and empirical, despite its unprecedented theoretical form. The philosophical explication has another advantage as well: It provides a much needed framework for articulating questions about whether the Cognitivist approach is right or wrong. The last three sections take that advantage of the account, and address several such questions, pro and con. (shrink)