This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of ar-tificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understand-ing of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

The medium‐independence of computational descriptions has shaped common conceptions of computational explanation. So long as our goal is to explain how a system successfully carries out its computations, then we only need to describe the abstract series of operations that achieve the desired input–output mapping, however they may be implemented. It is argued that this abstract conception of computational explanation cannot be applied to so‐called real‐time computing systems, in which meeting temporal deadlines imposed by the systems with which a device (...) interfaces are constitutive of the computing tasks that a device performs. Instead, real‐time computing reveals the need for alternative conceptions of computational explanation, as well as computational implementation, that eschew medium‐independence. (shrink)

I aim to show that, contrary to standard deflationary or eliminativist theories of the self, we can argue from the phenomenology of pre-reflective self-awareness for the thesis that subjects of experience are substances. The phenomenological datum of subjectivity points to a specific metaphysical structure of our experience, that is, towards the substance view rather than the bundle or the minimal self view. Drawing on modern philosophical accounts of pre-reflective self-awareness, mineness and (self-) acquaintance, I will argue that a subject is (...) aware of being the one individual who has many experiences and that it is revealed to the subject that it is the bearer of experiences and their unifier. The subject is present in pre-reflective awareness and known as the subject of experiences, and even this minimal self-awareness gives us reason to favour the substance view. Thus, one can demonstrate how the debates on the phenomenology of pre-reflective self-awareness and the metaphysics of selfhood intersect. (shrink)

This paper argues that to negate the ontological difference between the natural and the artificial, is not plausible; nor is the reduction of the natural to the artificial or vice versa possible. Except if one intends to empty the semantic content of the terms and notions: “natural” and “artificial.” Most philosophical discussions on Artificial Intelligence (AI) have always been in relation to the human person, especially as it relates to human intelligence, consciousness and/or mind in general. This paper, intends to (...) broaden the conversation, by discussing AI in relation to the notions of “nature” and the “artificial.” This intention is to more critically understand the artificiality in and of artificial intelligence. To achieve this, the notion of “nature” in Aristotle’s Philosophy of Nature, has been employed as an epistemological tool in interrogating the notion of the artificial and the objectives of the science and technology of Artificial Intelligence. (shrink)

Mental representations remain the central posits of psychology after many decades of scrutiny. However, there is no consensus about the representational format(s) of biological cognition. This paper provides a survey of evidence from computational cognitive psychology, perceptual psychology, developmental psychology, comparative psychology, and social psychology, and concludes that one type of format that routinely crops up is the language-of-thought (LoT). We outline six core properties of LoTs: (i) discrete constituents; (ii) role-filler independence; (iii) predicate–argument structure; (iv) logical operators; (v) inferential (...) promiscuity; and (vi) abstract content. These properties cluster together throughout cognitive science. Bayesian computational modeling, compositional features of object perception, complex infant and animal reasoning, and automatic, intuitive cognition in adults all implicate LoT-like structures. Instead of regarding LoT as a relic of the previous century, researchers in cognitive science and philosophy-of-mind must take seriously the explanatory breadth of LoT-based architectures. We grant that the mind may harbor many formats and architectures, including iconic and associative structures as well as deep-neural-network-like architectures. However, as computational/representational approaches to the mind continue to advance, classical compositional symbolic structures – that is, LoTs – only prove more flexible and well-supported over time. (shrink)

Nowadays, philosophers and scientists tend to agree that, even though human and artificial intelligence work quite differently, they can still illuminate aspects of each other, and knowledge in one domain can inspire progress in the other. For instance, the notion of “artificial” or “synthetic” phenomenology has been gaining some traction in recent AI research. In this paper, we ask the question: what (if anything) is the use of thinking about phenomenology in the context of AI, and in particular machine learning? (...) We will isolate one sense of “phenomenology”, namely the sense in which it is commonly understood within analytic philosophy of perception. Then, we will give examples of projects within sensory substitution and restoration science that rely heavily on machine learning and to which, according to us, phenomenology in the sense specified makes a relevant contribution. Finally, we will shed some light on what this contribution looks like and why it is important. (shrink)

The book’s core argument is that an artificial intelligence that could equal or exceed human intelligence—sometimes called artificial general intelligence (AGI)—is for mathematical reasons impossible. It offers two specific reasons for this claim: Human intelligence is a capability of a complex dynamic system—the human brain and central nervous system. Systems of this sort cannot be modelled mathematically in a way that allows them to operate inside a computer. In supporting their claim, the authors, Jobst Landgrebe and Barry Smith, marshal evidence (...) from mathematics, physics, computer science, philosophy, linguistics, and biology, setting up their book around three central questions: What are the essential marks of human intelligence? What is it that researchers try to do when they attempt to achieve "artificial intelligence" (AI)? And why, after more than 50 years, are our most common interactions with AI, for example with our bank’s computers, still so unsatisfactory? Landgrebe and Smith show how a widespread fear about AI’s potential to bring about radical changes in the nature of human beings and in the human social order is founded on an error. There is still, as they demonstrate in a final chapter, a great deal that AI can achieve which will benefit humanity. But these benefits will be achieved without the aid of systems that are more powerful than humans, which are as impossible as AI systems that are intrinsically "evil" or able to "will" a takeover of human society. (shrink)

Starting in the 1950s, computer programs for simulating cognitive processes and intelligent behaviour were the hallmark of Good Old-Fashioned Artificial Intelligence and ‘cognitivist’ cognitive science. This article examines a somewhat neglected case of simulation pursued by one of the founding fathers of simulation methodology, Herbert A. Simon. In the 1970s and 1980s, Simon had repeated contacts with Marxist countries and scientists, in the context of which he advanced the idea that cognitivism could be used as a framework for simulating dialectical (...) materialism. Simon's idea was, in particular, to represent dialectical processes through a ‘symbolic’ version of dialectical logic. This article explores the context of Simon's interaction with Marxist countries—China and the USSR—and also assesses the outcome of the simulation. The difficulty with simulating distinctive features of dialectical materialism is read in light of the underlying assumptions of cognitivism and, ultimately, in light of the attempt to tame a rival world view. (shrink)

According to the semantic view of computation, computations cannot be individuated without invoking semantic properties. A traditional argument for the semantic view is what we shall refer to as the argument from the cognitive science practice. In its general form, this argument rests on the idea that, since cognitive scientists describe computations (in explanations and theories) in semantic terms, computations are individuated semantically. Although commonly invoked in the computational literature, the argument from the cognitive science practice has never been discussed (...) in detail. In this paper, we shall provide a critical reconstruction of this argument and an extensive analysis of its prospects, taking into account some ways of defending it that have never been explored so far. We shall argue that explanatory considerations support at best a weak version of the argument from the cognitive science practice, according to which semantic properties concur with formal syntactic properties in individuating computations in cognitive science, but not a strong version, according to which computation individuation in cognitive science is semantic as opposed to formal syntactic. (shrink)

Is it possible to build a conscious machine, an artifact that has qualitative experiences such as feeling pain, seeing the redness of a flower or enjoying the taste of coffee ? What makes such experiences conscious is their phenomenal character: it is like something to have such experiences. In contemporary philosophy of mind, the question of the qualitative aspect of conscious experiences is often addressed in terms of qualia. In a pre-theoretical and intuitive sense, qualia refer to the phenomenal character (...) or “what-it’s-like-ness” of a conscious experience: the painfulness of a pain experience or the redness of a visual experience of a red object. The problem of artificial qualia is the question of the theoretical possibility of the realization of qualia by artifacts. In this work, this problem will serve as a methodological tool to address what is arguably the most fundamental question of philosophy of mind: what exactly is consciousness? (shrink)

Throughout what is now the more than 50-year history of the computer many theories have been advanced regarding the contribution this machine would make to changes both in the structure of society and in ways of thinking. Like other theories regarding the future, these should also be taken with a pinch of salt. The history of the development of computer technology contains many predictions which have failed to come true and many applications that have not been foreseen. While we must (...) reserve judgment as to the question of the impact on the structure of society and human thought, there is no reason to wait for history when it comes to the question: what are the properties that could give the computer such far-reaching importance? The present book is intended as an answer to this question. The fact that this is a theoretical analysis is due to the nature of the subject. No other possibilities are available because such a description of the properties of the computer must be valid for any kind of application. An additional demand is that the description should be capable of providing an account of the properties which permit and limit these possible applications, just as it must make it possible to characterize a computer as distinct from a) other machines whether clocks, steam engines, thermostats, or mechanical and automatic calculating machines, b) other symbolic media whether printed, mechanical, or electronic and c) other symbolic languages whether ordinary languages, spoken or written or formal languages. This triple limitation, however, (with regard to other machines, symbolic media and symbolic languages) raises a theoretical question as it implies a meeting between concepts of mechanical-deterministic systems, which stem from mathematical physics, and concepts of symbolic systems which stem from the description of symbolic activities common to the humanities. The relationship between science and the humanities has traditionally been seen from a dualistic perspective, as a relationship between two clearly separate subject areas, each studied on its own set of premises and using its own methods. In the present case, however, this perspective cannot be maintained since there is both a common subject area and a new - and specific - kind of interaction between physical and symbolic processes. (shrink)

This paper is in two parts. Part 1 examines the phenomenon of making space as a process involving one or other kind of legal decision-making, for example when a state authority authorizes the creation of a new highway along a certain route or the creation of a new park in a certain location. In cases such as this a new abstract spatial entity comes into existence – the route, the area set aside for the park – followed only later by (...) concordant changes in physical reality. In Part 2 we show that features identified in studying this phenomenon of legal spacemaking can be detected in other spheres of human activity, for example in planning (where spacemaking is projected into the future), and in reasoning about history (where spacemaking is projected back through time). We shall see that these features display themselves in especially complex ways in our everyday use of language, and we conclude by examining the implications of this complexity for attempts to create an artificial intelligence that would enjoy a mastery of language that would be equivalent to that of human beings. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

I will argue that the ontological doctrine of physicalism inevitably entails the denial that there is anything conceptual in logic and mathematics. The elements of a formal system, even if they are tagged by suggestive names, are merely meaningless parts of a physically existing machinery, which have nothing to do with concepts, because they have nothing to do with the actual things. The only situation in which they can become meaning-carriers is when they are involved in a physical theory. But (...) in this role they refer to elements of the physical reality, i.e. they represent a physical concept. “Mathematical concepts” are just idols, that philosophy can completely deny and physics can completely ignore. (shrink)

I develop an interdisciplinary framework for understanding the nature of agents and agency that is compatible with recent developments in the metaphysics of science and that also does justice to the mechanistic and normative characteristics of agents and agency as they are understood in moral philosophy, social psychology, neuroscience, robotics, and economics. The framework I develop is internal perspectivalist. That is to say, it counts agents as real in a perspective-dependent way, but not in a way that depends on an (...) external perspective. Whether or not something counts as an agent depends on whether it is able to have a certain kind of perspective. My approach differs from many others by treating possession of a perspective as more basic than the possession of agency, representational content/vehicles, cognition, intentions, goals, concepts, or mental or psychological states; these latter capabilities require the former, not the other way around. I explain what it means for a system to be able to have a perspective at all, beginning with simple cases in biology, and show how self-contained normative perspectives about proper function and control can emerge from mechanisms with relatively simple dynamics. I then describe how increasingly complex control architectures can become organized that allow for more complex perspectives that approach agency. Next, I provide my own account of the kind of perspective that is necessary for agency itself, the goal being to provide a reference against which other accounts can be compared. Finally, I introduce a crucial distinction that is necessary for understanding human agency: that between inclinational and committal agency, and venture a hypothesis about how the normative perspective underlying committal agency might be mechanistically realized. (shrink)

Decision-making has traditionally been modelled as a serial process, consisting of a number of distinct stages. The traditional account assumes that an agent first acquires the necessary perceptual evidence, by constructing a detailed inner repre- sentation of the environment, in order to deliberate over a set of possible options. Next, the agent considers her goals and beliefs, and subsequently commits to the best possible course of action. This process then repeats once the agent has learned from the consequences of her (...) actions and subsequently updated her beliefs. Under this interpretation, the agent’s body is considered merely as a means to report the decision, or to acquire the relevant goods. However, embodied cognition argues that an agent’s body should be understood as a proper part of the decision-making pro- cess. Accepting this principle challenges a number of commonly held beliefs in the cognitive sciences, but may lead to a more unified account of decision-making. This thesis explores an embodied account of decision-making using a recent frame- work known as predictive processing. This framework has been proposed by some as a functional description of neural activity. However, if it is approached from an embodied perspective, it can also offer a novel account of decision-making that ex- tends the scope of our explanatory considerations out beyond the brain and the body. We explore work in the cognitive sciences that supports this view, and argue that decision theory can benefit from adopting an embodied and predictive perspective. (shrink)

Of primary importance in formulating a response to the increasing prevalence and power of artificial intelligence (AI) applications in society are questions of ontology. Questions such as: What “are” these systems? How are they to be regarded? How does an algorithm come to be regarded as an agent? We discuss three factors which hinder discussion and obscure attempts to form a clear ontology of AI: (1) the various and evolving definitions of AI, (2) the tendency for pre-existing technologies to be (...) assimilated and regarded as “normal,” and (3) the tendency of human beings to anthropomorphize. This list is not intended as exhaustive, nor is it seen to preclude entirely a clear ontology, however, these challenges are a necessary set of topics for consideration. Each of these factors is seen to present a 'moving target' for discussion, which poses a challenge for both technical specialists and non-practitioners of AI systems development (e.g., philosophers and theologians) to speak meaningfully given that the corpus of AI structures and capabilities evolves at a rapid pace. Finally, we present avenues for moving forward, including opportunities for collaborative synthesis for scholars in philosophy and science. (shrink)

SUMMARY Major theories of philosophical psychology and philosophy of mind are examined on the basis of the fundamental questions of ontology, metaphysics, epistemology, semantics and logic. The result is the choice between language of eliminative reductionism and dualism, neither of which answers properly the relation between mind and body. In the search for a non–dualistic and non–reductive language, Wittgenstein’s notion of language–games as the representative links between language and the world is considered together with Peirce’s semeiosis of cognition. The result (...) is a redefined notion of cognition as the goal–oriented ability to instantiate strategies from the rules of the language–games. Cognition is considered within the four-dimensional languagegames: rules/strategies, primitive/complete language-games, family-resemblances/forms of life, and non-temporal continuum as the language-games’ modality. Cognition is seen as a continuum process of non–individualized elements that unites perception, volition, emotion, will and thought against the commonly accepted understandings of cognition in exclusive terms of perception and thinking. The alternative to the mind/body problem is the continuity of cognition where rules and strategies, syntax and semantics, are considered inseparable within language–games. This continuity of cognition is explained in terms of virtual (univocal) identity, replacing the old philosophical paradigm of the mind/body problem. -/- SOMMARIO Le teorie maggiori della psicologia filosofica e filosofia della mente sono esaminate a partire dalle questioni fondamentali di ontologia, metafisica, epistemologia, semantica e logica. Il risultato è la scelta tra un linguaggio riduzionista eliminativo e un dualismo che però non confronta in modo adeguato la relazione tra mente e corpo. Nella ricerca per un linguaggio non-dualistico e non-riduttivo, viene considerata la nozione del gioco linguistico di Wittgenstein come un legame rappresentativo tra il linguaggio e il mondo insieme con la semiosi cognitiva di Peirce. Il risultato è la nozione ridefinita della cognizione come abilità goal-orientata di creare le strategie dalle regole dei giochi linguistici. La cognizione è considerata entro le quattro dimensioni dei giochi linguistici: regole/strategie, giochi linguistici primitivi/completi, somiglianze di famiglia/forme di vita, e la continuità atemporale come la modalità dei giochi linguistici. La cognizione diventa un processo continuo degli elementi non-individualizzati che tende ad unificare la percezione, volizione, emozione, la volontà e il pensiero contro un concetto generalmente accettato di vedere la cognizione nei termini esclusivamente di percezione e di pensiero. L’alternativa al problema della mente/corpo è la continuità della cognizione, dove le regole e le strategie, la sintassi e la semantica, sono considerate inseparabili nei giochi linguistici. Questa continuità della cognizione è spiegata nei termini dell’identità virtuale (univoca) sostituendo un paradigma filosofico previo del problema della mente/corpo. (shrink)

Cognition is not, and could not possibly be, entirely representational in character. There is also a phenomenal form of cognitive expression that registers the intrinsic properties of mental states themselves. Arguments against the reality of this intrinsic phenomenal dimension to mental experience have focused either on its supposed impossibility, or secondly, the non-appearance of any such qualities to introspection. This paper argues to the contrary, that the registration of cognitive state properties does take place independently of representational content; and necessarily (...) so, since it supports an independent function—self-management. Given the fact that unlike a computer, the brain must, of necessity, operate itself, it needs to be in touch with itself to do so. Intrinsic phenomenal forms of cognitive expression allow the brain to do just that by registering characteristics of the cognitive states themselves. Self-management might well prove to constitute the prime reason for the emergence of subjectivity itself. (shrink)

In this paper, the Author reviewed the typical objections against the claim that brains are computers, or, to be more precise, information-processing mechanisms. By showing that practically all the popular objections are based on uncharitable interpretations of the claim, he argues that the claim is likely to be true, relevant to contemporary cognitive science, and non-trivial.

The mainstream view in cognitive science is that computation lies at the basis of and explains cognition. Our analysis reveals that there is no compelling evidence or argument for thinking that brains compute. It makes the case for inverting the explanatory order proposed by the computational basis of cognition thesis. We give reasons to reverse the polarity of standard thinking on this topic, and ask how it is possible that computation, natural and artificial, might be based on cognition and not (...) the other way around. (shrink)

Cultural psychologists often describe the relationship between mind and culture as ‘dynamic.’ In light of this, we provide two desiderata that a theory about encultured minds ought to meet: the theory ought to reflect how cultural psychologists describe their own findings and it ought to be thoroughly naturalistic. We show that a realist theory of causal powers — which holds that powers are causally-efficacious and empirically-discoverable — fits the bill. After an introduction to the major concepts in cultural psychology and (...) describing causal power realism, we use a case study — the effects of pathogen prevalence on culture and cognition — to show the explanatory capacities of the powers framework. (shrink)

In this paper, I argue that computationalism is a progressive research tradition. Its metaphysical assumptions are that nervous systems are computational, and that information processing is necessary for cognition to occur. First, the primary reasons why information processing should explain cognition are reviewed. Then I argue that early formulations of these reasons are outdated. However, by relying on the mechanistic account of physical computation, they can be recast in a compelling way. Next, I contrast two computational models of working memory (...) to show how modeling has progressed over the years. The methodological assumptions of new modeling work are best understood in the mechanistic framework, which is evidenced by the way in which models are empirically validated. Moreover, the methodological and theoretical progress in computational neuroscience vindicates the new mechanistic approach to explanation, which, at the same time, justifies the best practices of computational modeling. Overall, computational modeling is deservedly successful in cognitive science. Its successes are related to deep conceptual connections between cognition and computation. Computationalism is not only here to stay, it becomes stronger every year. (shrink)

A large body of compelling evidence has been accumulated demonstrating that embodiment – the agent’s physical setup, including its shape, materials, sensors and actuators – is constitutive for any form of cognition and as a consequence, models of cognition need to be embodied. In contrast to methods from empirical sciences to study cognition, robots can be freely manipulated and virtually all key variables of their embodiment and control programs can be systematically varied. As such, they provide an extremely powerful tool (...) of investigation. We present a robotic bottom-up or developmental approach, focusing on three stages: (a) low-level behaviors like walking and reflexes, (b) learning regularities in sensorimotor spaces, and (c) human-like cognition. We also show that robotic based research is not only a productive path to deepening our understanding of cognition, but that robots can strongly benefit from human-like cognition in order to become more autonomous, robust, resilient, and safe. (shrink)

An action-oriented perspective changes the role of an individual from a passive observer to an actively engaged agent interacting in a closed loop with the world as well as with others. Cognition exists to serve action within a landscape that contains both. This chapter surveys this landscape and addresses the status of the pragmatic turn. Its potential influence on science and the study of cognition are considered (including perception, social cognition, social interaction, sensorimotor entrainment, and language acquisition) and its impact (...) on how neuroscience is studied is also investigated (with the notion that brains do not passively build models, but instead support the guidance of action). A review of its implications in robotics and engineering includes a discussion of the application of enactive control principles to couple action and perception in robotics as well as the conceptualization of system design in a more holistic, less modular manner. Practical applications that can impact the human condition are reviewed (e.g., educational applications, treatment possibilities for developmental and psychopathological disorders, the development of neural prostheses). All of this foreshadows the potential societal implications of the pragmatic turn. The chapter concludes that an action-oriented approach emphasizes a continuum of interaction between technical aspects of cognitive systems and robotics, biology, psychology, the social sciences, and the humanities, where the individual is part of a grounded cultural system. (shrink)

In this paper we examine the question of whether complexity-like explanations can be applied to the psychology of individuals, and its implications for the scope of complexity explanations of social phenomena. We start by outlining two representational-cum-computational models of the mind—a symbolic model and a networks or connectionist one—and their pros and cons. Based on this we then outline a radical, non-representational and non-computational alternative model that has been gaining ground recently, and which has significant affinities with complexity explanations in (...) social science. Deploying neo-Kantian considerations, we then argue that due to the discursivity, or conceptual dimension of our cognitive system, the radical alternative must be incorrect insofar as humans are concerned. Indeed, human psychology must involve, at least partly, a representational understanding of the sort provided by the symbolic model. Relatedly, we show how the discursiviry of human cognition complicates our psychology and makes it difficult to account for. Finally, we briefly address the question of how the complicated nature of individual psychology, implied by human discursivity, may affect complexity explanations of social behavior. (shrink)

The development of computers as ‘mind tools’ has generated intriguing and provocative views about their potential human-like qualities. In this paper an attempt is made to explore the ‘real’ nature of computers by an examination of three widely different perspective, (1) the common-sense view of computers as tools; (2) the provocative view of computers as persons; and (3) the challenging view of computers as texts. In the course of the discussion an extended critique of the use of anthropomorphic terms in (...) relation to machines is conducted and the fundamental differences between human persons and machines is reasserted. (shrink)

The recent development of the research field of Computing and Philosophy has triggered investigations into the theoretical foundations of computing and information. This thesis consists of two parts which are the result of studies in two areas of Philosophy of Computing and Philosophy of Information regarding the production of meaning and the value system with applications. The first part develops a unified dual-aspect theory of information and computation, in which information is characterized as structure, and computation is the information dynamics. (...) This enables naturalization of epistemology, based on interactive information representation and communication. In the study of systems modeling, meaning, truth and agency are discussed within the framework of the PI/PC unification. The second part of the thesis addresses the necessity of ethical judgment in rational agency illustrated by the problem of information privacy and surveillance in the networked society. The value grounds and socio-technological solutions for securing trustworthiness of computing are analyzed. Privacy issues clearly show the need for computing professionals to contribute to understanding of the technological mechanisms of Information and Communication Technology. The main original contribution of this thesis is the unified dual-aspect theory of computation/information. Semantics of information is seen as a part of the data-information-knowledge structuring, in which complex structures are self-organized by the computational processing of information. Within the unified model, complexity is a result of computational processes on informational structures. The thesis argues for the necessity of computing beyond the Turing-Church limit, motivated by natural computation, and wider by pancomputationalism and paninformationalism, seen as two complementary views of the same physical reality. Moreover, it follows that pancomputationalism does not depend on the assumption that the physical world on some basic level is digital. Contrary to many believes it is entirely compatible with dual quantum-mechanical computing. (shrink)

The notion of a ‘symbol’ plays an important role in the disciplines of Philosophy, Psychology, Computer Science, and Cognitive Science. However, there is comparatively little agreement on how this notion is to be understood, either between disciplines, or even within particular disciplines. This paper does not attempt to defend some putatively ‘correct’ version of the concept of a ‘symbol.’ Rather, some terminological conventions are suggested, some constraints are proposed and a taxonomy of the kinds of issue that give rise to (...) disagreement is articulated. The goal here is to provide something like a ‘geography’ of the various notions of ‘symbol’ that have appeared in the various literatures, so as to highlight the key issues and to permit the focusing of attention upon the important dimensions. In particular, the relationship between ‘tokens’ and ‘symbols’ is addressed. The issue of designation is discussed in some detail. The distinction between simple and complex symbols is clarified and an apparently necessary condition for a system to be potentially symbol, or token bearing, is introduced. (shrink)

Distributed cognition (d-cog) claims that many cognitive processes are distributed across groups and the surrounding material and cultural environment. Recently, Nancy Nersessian, Ronald Giere, and others have suggested that a d-cog approach might allow us to bring together cognitive and social theories of science. I explore this idea by focusing on the specific interpretation of d-cog found in Edwin Hutchins' canonical text Cognition in the wild. First, I examine the scope of a d-cog approach to science, showing that there are (...) important disputes between cognitive and social theorists on which d-cog remains silent. Second, I suggest that, where social explanations can be recast in d-cog terms, this reformulation will not be acceptable to all social theorists. Finally, I ask how we should make sense of the claim that, on a d-cog analysis, social factors are cognitive factors. (shrink)

The frame problem was originally a problem for Artificial Intelligence, but philosophers have interpreted it as an epistemological problem for human cognition. As a result of this reinterpretation, however, specifying the frame problem has become a difficult task. To get a better idea of what the frame problem is, how it gives rise to more general problems of relevance, and how deep these problems run, I expound six guises of the frame problem. I then assess some proposed heuristic solutions to (...) the frame problem; I show that these proposals misunderstand, and fail to address, an important aspect of the frame problem. Finally, I argue that though human cognition does not solve the frame problem in its epistemological guise, human cognition avoids some of the epistemological worries. (shrink)

The idea that human cognitive capacities are explainable by computational models is often conjoined with the idea that, while the states postulated by such models are in fact realized by brain states, there are no type-type correlations between the states postulated by computational models and brain states (a corollary of token physicalism). I argue that these ideas are not jointly tenable. I discuss the kinds of empirical evidence available to cognitive scientists for (dis)confirming computational models of cognition and argue that (...) none of these kinds of evidence can be relevant to a choice among competing computational models unless there are in fact type-type correlations between the states postulated by computational models and brain states. Thus, I conclude, research into the computational procedures employed in human cognition must be conducted hand-in-hand with research into the brain processes which realize those procedures. (shrink)

Deliberate contextual vocabulary acquisition (CVA) is a reader’s ability to figure out a (not the) meaning for an unknown word from its “context”, without external sources of help such as dictionaries or people. The appropriate context for such CVA is the “belief-revised integration” of the reader’s prior knowledge with the reader’s “internalization” of the text. We discuss unwarranted assumptions behind some classic objections to CVA, and present and defend a computational theory of CVA that we have adapted to a new (...) classroom curriculum designed to help students use CVA to improve their reading comprehension. (shrink)

Many philosophers worry that the classical computational theory of mind (CTM) engenders epiphenomenalism. Building on Block’s (1990) discussion, I formulate a particularly troubling version of this worry. I then present a novel solution to CTM’s epiphenomenalist conundrum. I develop my solution within an interventionist theory of causal relevance. My solution departs substantially from orthodox versions of CTM. In particular, I reject the widespread picture of digital computation as formal syntactic manipulation.1.

We can readily identify goal-directed systems and distinguish them from non-goal-directed systems. A woodpecker hunting for grubs is the first, a pendulum returning to rest is the second. But what is it to be a goal-directed system? Perhaps the dominant answer to this question, inspired by systems theories such as cybernetics, is that goal-directed systems are distinguished by their tendency to seek, aim at, or maintain some more-or-less easily identifiable goal. Cybernetics and the like would hold that physical systems subject (...) only to physical laws can exhibit such behavior. If sound, this systems approach to teleology would unify a diverse range of goal-directed phenomena and neatly side-step many traditional bogey-men of teleology, such as anthropomorphism and future causation. Goal-directed phenomena would be a normal feature of the natural causal world that could be described in purely descriptive and quantitative terms, and receive ordinary causal explanations. Thus, the systems approach promises to provide a naturalistic-cum-descriptive account of teleology suitable for use in naturalistic accounts of other phenomena, including the intentionality of mental states and even self-consciousness. (shrink)

One of the principal tasks Dennett sets himself in Consciousness Explained is to demolish the Cartesian theater model of phenomenal consciousness, which in its contemporary garb takes the form of Cartesian materialism: the idea that conscious experience is a process of presentation realized in the physical materials of the brain. The now standard response to Dennett is that, in focusing on Cartesian materialism, he attacks an impossibly naive account of consciousness held by no one currently working in cognitive science or (...) the philosophy of mind. Our response is quite different. We believe that, once properly formulated, Cartesian materialism is no straw man. Rather, it is an attractive hypothesis about the relationship between the computational architecture of the brain and phenomenal consciousness, and hence one that is worthy of further exploration. Consequently, our primary aim in this paper is to defend Cartesian materialism from Dennett’s assault. We do this by showing that Dennett’s argument against this position is founded on an implicit assumption (about the relationship between phenomenal experience and information coding in the brain), which while valid in the context of classical cognitive science, is not forced on connectionism. (shrink)

Bill Joy’s deep pessimism is now famous. Why the Future Doesn’t Need Us, his defense of that pessimism, has been read by, it seems, everyone—and many of these readers, apparently, have been converted to the dark side, or rather more accurately, to the future-is-dark side. Fortunately (for us; unfortunately for Joy), the defense, at least the part of it that pertains to AI and robotics, fails. Ours may be a dark future, but we cannot know that on the basis of (...) Joy’s reasoning. On the other hand, we ought to fear a good deal more than fear itself: we ought to fear not robots, but what some of us may do with robots. (shrink)

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. (...) In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism. (shrink)

The non-reductive physicalist would like to believe that mental properties are not identical to physical properties; that there are complete causal explanations of all events in terms of physical properties; and that there are sometimes explanations of events in terms of mental properties. However, some have argued that these claims cannot all be true, since they are collectively inconsistent with a principle of causal exclusion. In this paper I argue that the best formulation of the interventionist theory of causation entails (...) the falsity of the exclusion principle. However, I argue that it does so at the cost of revealing a weakness in the interventionist theory itself. (shrink)

Thomas Hobbes (1588-1679), whose current reputation rests largely on his political philosophy, was a thinker with wide ranging interests. In philosophy, he defended a range of materialist, nominalist, and empiricist views against Cartesian and Aristotelian alternatives. In physics, his work was influential on Leibniz, and lead him into disputes with Boyle and the experimentalists of the early Royal Society. In history, he translated Thucydides's History of the Peloponnesian War into English, and later wrote his own history of the Long Parliament. (...) In mathematics he was less successful, and is best remembered for his repeated unsuccessful attempts to square the circle. But despite that, Hobbes was a serious and prominent participant in the intellectual life of his time. (shrink)

I review a widely accepted argument to the conclusion that the contents of our beliefs, desires and other mental states cannot be causally efficacious in a classical computational model of the mind. I reply that this argument rests essentially on an assumption about the nature of neural structure that we have no good scientific reason to accept. I conclude that computationalism is compatible with wide semantic causal efficacy, and suggest how the computational model might be modified to accommodate this possibility.

[This is an earlier (1997), much longer and more detailed version of my entry on LOTH in the _Stanford Encyclopedia of Philosophy_] The Language of Thought Hypothesis (LOTH) is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that (...) has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)