What psychological and philosophical significance should we attach to recent efforts at computer simulations of human cognitive capacities? In answering this question, I find it useful to distinguish what I will call "strong" AI from "weak" or "cautious" AI. According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool. For example, it enables us to formulate and test hypotheses in a more rigorous and precise fashion. (...) But according to strong AI, the computer is not merely a tool in the study of the mind; rather, the appropriately programmed computer really is a mind, in the sense that computers given the right programs can be literally said to. (shrink)

This paper is the introduction to Function, Selection, and Design, consisting of the following sections: 1. Introduction 2. The Philosophical Problem 3. Recent Prehistory: The "State of the Art" in the 1960s 4. Wright and Cummins 5. Millikan 6. The Core Consensus and the Peripheral Disagreements 7. Unconclusion.

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

I want to explore what happens to two philosophical issues when we assume that the mind, a functional device, is to be understood by the same sort of functional analysis that guides biological investigation of other organismic systems and characteristics. The first problem area concerns the concept of rationality, its connection with reliability and reproductive success, and the status of rationality hypotheses in attribution of beliefs. It has been argued that ascribing beliefs to someone requires the assumption that that person (...) is rational. It also has been argued that evolutionary theory can account for the capacity we have for rational thought by appealing to the idea that rational methods for constructing beliefs are reliable and therefore represented a selected advantage. Both of these claims about rationality are critically examined. In the second part of the paper, I turn to some criticisms that have been advanced against "functionalist" solutions to the mind/body problem. These criticisms are defused when that doctrine is understood in terms of a Teleological (rather than a Turing Machine) notion of function. However, functionalism does not emerge totally unscathed. Voltaire's Dr. Pangloss saw everything in terms of its function and its perfect performance of its function. In the philosophy of mind, his influence lives on in the form of two ideas: (i) that we must possess rational methods for constructing beliefs, since our minds are the product of natural selection, and (ii) that psychological states and properties are individuated by their psychological functions. Contemporary biology provides the resources for avoiding Pangloss's wideeyed teleology in the study of adaptation. It is to be hoped that progress in psychology will loosen the grip of Panglossian assumptions in the study of mind. (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)

Function and teleology can be naturalized either by reference to systems with a particular type of organization or by reference to a particular kind of history. As functions are generally ascribed to states or traits according to their current role and regardless of their origin, etiological accounts are inappropriate. Here, I offer a systems-theoretical interpretation as a new version of an organizational account of functionality, which is more comprehensive than traditional cybernetic views and provides explicit criteria for empirically testable function (...) ascriptions. I propose, that functional states, traits or items are those components of a complex system, which are under certain circumstances necessary for their self-re-production. I show, how this notion can be applied in intra- and trans-generational function ascriptions in biology, how it can deal with the problems of multifunctionality and functional equivalents, and how it relates to concepts like fitness and adaptation. Finally, I argue that most intentional explanations can be treated as functional explanations. (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)

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)

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

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

Only computational explanations of a content‐involving sort can answer certain ‘how’‐questions; can support content‐involving counterfactuals; and have the generality characteristic of psychological explanations. Purely formal characteriza‐tions of computations have none of these properties, and do not determine content. These points apply not only to psychological explanation, but to Turing machines themselves. Computational explanations which involve content are not opposed to naturalism. They are also required if we are to explain the content‐involving properties of mental states.

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)

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)

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 this book, William Lycan reviews the diverse philosophical views on consciousness--including those of Kripke, Block, Campbell, Sellars, and Casteneda--and ..

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)

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)

Philosophers of science typically associate the causal-mechanical view of scientific explanation with the work of Railton and Salmon. In this paper I shall argue that the defects of this view arise from an inadequate analysis of the concept of mechanism. I contrast Salmon's account of mechanisms in terms of the causal nexus with my own account of mechanisms, in which mechanisms are viewed as complex systems. After describing these two concepts of mechanism, I show how the complex-systems approach avoids certain (...) objections to Salmon's account of causal-mechanical explanation. I conclude by discussing how mechanistic explanations can provide understanding by unification. (shrink)

Philosophers of science typically associate the causal-mechanical view of scientific explanation with the work of Railton and Salmon. In this paper I shall argue that the defects of this view arise from an inadequate analysis of the concept of mechanism. I contrast Salmon's account of mechanisms in terms of the causal nexus with my own account of mechanisms, in which mechanisms are viewed as complex systems. After describing these two concepts of mechanism, I show how the complex-systems approach avoids certain (...) objections to Salmon's account of causal-mechanical explanation. I conclude by discussing how mechanistic explanations can provide understanding by unification. (shrink)

A critique of, and alternative to, the received view of linguistic communication.

The renowned philosopher Jerry Fodor, a leading figure in the study of the mind for more than twenty years, presents a strikingly original theory on the basic constituents of thought. He suggests that the heart of cognitive science is its theory of concepts, and that cognitive scientists have gone badly wrong in many areas because their assumptions about concepts have been mistaken. Fodor argues compellingly for an atomistic theory of concepts, deals out witty and pugnacious demolitions of rival theories, and (...) suggests that future work on human cognition should build upon new foundations. This lively, conversational, and superbly accessible book is the first volume in the Oxford Cognitive Science Series, where the best original work in this field will be presented to a broad readership. Concepts will fascinate anyone interested in contemporary work on mind and language. Cognitive science will never be the same again. (shrink)

This chapter contains section titled: Methodological Naturalism Internalism The Limits of Naturalistic Inquiry Computation and Content Intentionality and Naturalistic Inquiry.

Externalism about the mind holds that the explanation of our representational capacities requires appeal to mental states that are individuated by reference to features of the environment. Externalists claim that ‘narrow’ taxonomies cannot account for important features of psychological explanation. I argue that this claim is false, and offer a general argument for preferring narrow taxonomies in psychology.

This collection of 17 essays by the author offers a comprehensive theory of mind, encompassing traditional issues of consciousness and free will.

Philosophers of science typically associate the causal‐mechanical view of scientific explanation with the work of Railton and Salmon. In this paper I shall argue that the defects of this view arise from an inadequate analysis of the concept of mechanism. I contrast Salmon’s account of mechanisms in terms of the causal nexus with my own account of mechanisms, in which mechanisms are viewed as complex systems. After describing these two concepts of mechanism, I show how the complex‐systems approach avoids certain (...) objections to Salmon’s account of causal‐mechanical explanation. I conclude by discussing how mechanistic explanations can provide understanding by unification. (shrink)

In exploring the nature of psychological explanation, this book looks at how psychologists theorize about the human ability to calculate, to speak a language and the like. It shows how good theorizing explains or tries to explain such abilities as perception and cognition. It recasts the familiar explanations of "intelligence" and "cognitive capacity" as put forward by philosophers such as Fodor, Dennett, and others in terms of a theory of explanation that makes established doctrine more intelligible to professionals and their (...) students.In particular, the book shows that vestigial adherence to the positivists' D-N model has distorted the view of philosophers of science about what psychologists (and biologists) do and has masked the real nature of explanation. Major sections in the book cover Analysis and Subsumption; Functional Analysis; Understanding Cognitive Capacities; and Historical Reflections.Robert Cummins is Associate Professor of Philosophy at the University of Illinois, Chicago Circle. A Bradford Book. (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)

A version of the Church-Turing Thesis states that every effectively realizable physical system can be simulated by Turing Machines (‘Thesis P’). In this formulation the Thesis appears to be an empirical hypothesis, subject to physical falsification. We review the main approaches to computation beyond Turing definability (‘hypercomputation’): supertask, non-well-founded, analog, quantum, and retrocausal computation. The conclusions are that these models reduce to supertasks, i.e. infinite computation, and that even supertasks are no solution for recursive incomputability. This yields that the realization (...) of hypercomputing devices is implausible, and that Thesis P is not essentially different from the standard Church-Turing Thesis. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase of a certain kind. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against (...) a difficulty that has persistently been raised against it, and undercuts various objections that have been made to the computational theory of mind. (shrink)

A survey of the field of hypercomputation, including discussion of a variety of objections.