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.

Noam Chomsky and Frances Egan argue that David Marr.

Anti-individualists claim that concepts are individuated with an eye to purely external facts about a subject's environment about which she may be ignorant or mistaken. This paper offers a novel reason for thinking that anti-individualistic concepts are an ineliminable part of commonsense psychology. Our commitment to anti-individualism, I argue, is ultimately grounded in a rational epistemic agent's commitment to refining her own representational practices in the light of new and surprising information about her environment. Since anti-individualism is an implicit part (...) of responsible epistemic practices, we cannot abandon it without compromising our own epistemic agency. The story I tell about the regulation of one's own representational practices yields a new account of the identity conditions for anti-individualistic concepts. (shrink)

A comprehensive introduction to the Language of Though Hypothesis (LOTH) accessible to general audiences. 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)

What’s the difference between those psychological posits that are ‘me” and those that are not? Distinguishing between these psychological kinds is important in many domains, but an account of what the distinction consists in is challenging. I argue for Psychological Constructionism: those psychological posits that correspond to the kinds within folk psychology are personal, and those that don’t, aren’t. I suggest that only constructionism can answer a fundamental challenge in characterizing the personal level – the plurality problem. The things that (...) plausibly qualify as personal are motley. Other attempts at accounting for the personal level either cannot accommodate this plurality, or cannot explain what unifies the personal. Given arguments others have given for a pluralistic conception of folk psychology, constructionism explains and predicts this plurality in a systematic and unified way, thereby solving the plurality problem. (shrink)

The Frame Problem is the problem of how one can design a machine to use information so as to behave competently, with respect to the kinds of tasks a genuinely intelligent agent can reliably, effectively perform. I will argue that the way the Frame Problem is standardly interpreted, and so the strategies considered for attempting to solve it, must be updated. We must replace overly simplistic and reductionist assumptions with more sophisticated and plausible ones. In particular, the standard interpretation assumes (...) that mental processes are identical to certain kinds of computational processes, and so solving the Frame Problem is a matter of finding a computational architecture that can effectively represent relations of semantic relevance. Instead, we must take seriously the possibility that the way in which intelligent agents use information is inherently different. Whereas intelligent agents are plausibly genuinely causally sensitive to semantic properties as such (to what they perceive, desire, believe intend, etc.), computational systems can only be causally sensitive to the formal features that represent these properties. Indeed, it is this very substitution of formal generalizations for genuinely semantic ones that is responsible for the way current AI systems are brittle, inflexible, and highly specialized. What we need is a more sophisticated way of investigating the relationship between computational information processing and genuinely semantic information use, so that these two senses of using information are not conflated, but instead the question of how they are related to one another can be studied directly. I apply the generative methodology I have developed elsewhere for cognitive science and AI research (Miracchi, 2017, 2019a) to show how the Frame Problem can be appropriately updated. (shrink)

This book discusses the two main construals of the explanatory goals of semantic theories. The first, externalist conception, understands semantic theories in terms of a hermeneutic and interpretive explanatory project. The second, internalist conception, understands semantic theories in terms of the psychological mechanisms in virtue of which meanings are generated. It is argued that a fruitful scientific explanation is one that aims to uncover the underlying mechanisms in virtue of which the observable phenomena are made possible, and that a scientific (...) semantics should be doing just that. If this is the case, then a scientific semantics is unlikely to be externalist, for reasons having to do with the subject matter and form of externalist theories. It is argued that semantics construed hermeneutically is nevertheless a valuable explanatory project. (shrink)

ABSTRACTThe seminal work of David Marr, popularized in his classic work Vision, continues to exert a major influence on both cognitive science and philosophy. The interpretation of his work also co...

This essay is divided into two parts. In the first part (§2), I introduce the idea of practical meaning by looking at a certain kind of procedural systems — the motor system — that play a central role in computational explanations of motor behavior. I argue that in order to give a satisfactory account of the content of the representations computed by motor systems (motor commands), we need to appeal to a distinctively practical kind of meaning. Defending the explanatory relevance (...) of semantic properties in a computationalist explanation of motor behavior, my argument concludes that practical meanings play a central role in an adequate psychological theory of motor skill. In the second part of this essay (§3), I generalize and clarify the notion of practical meaning, and I defend the intelligibility of practical meanings against an important objection. (shrink)

Under what conditions does a physical system implement or realize a computation? Structuralism about computational implementation, espoused by Chalmers and others, holds that a physical system realizes a computation just in case the system instantiates a pattern of causal organization isomorphic to the computation’s formal structure. I argue against structuralism through counter-examples drawn from computer science. On my opposing view, computational implementation sometimes requires instantiating semantic properties that outstrip any relevant pattern of causal organization. In developing my argument, I defend (...) anti-individualism about computational implementation: relations to the social environment sometimes help determine whether a physical system realizes a computation. 1 The Physical Realization Relation2 Semantics and Computational Implementation3 Conforming to Instructions4 Implementing a Computer Program4.1 The denotational semantics of Scheme4.2 Worries about intentionality4.3 Worries about the natural numbers5 Implementing a Machine Model6 Bounded Structuralism7 Triviality Arguments8 Anti-individualism about Computational Implementation. (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.

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)

Philosophers of mind have recently sought to establish a theoret- ical use for nonconceptual content. Although there is disagreement about what nonconceptual content is supposed to be, this much is clear. A state with nonconceptual content is mental. Hence, while one may deny that refrigerators and messy rooms have conceptual capacities, their states, as physical and not mental, do not have nonconceptual content. A state with nonconceptual content is also intentional, which is to say that it represents a feature of (...) the world for a subject. It may be tempting to think of qualitative states as having nonconceptual content since they can be experienced by indi- viduals independently of their possession of the requisite concepts, e.g. someone could experience pains, itches or tingles without possessing the concept pain, itch or tingle. But on such a view, one would have to assume that qualitative states are representational since mental states cannot be candidates for nonconceptuality unless they have intentional properties.2. (shrink)

ABSTRACTWhile over the last few decades AI research has largely focused on building tools and applications, recent technological developments have prompted a resurgence of interest in building a genuinely intelligent artificial agent – one that has a mind in the same sense that humans and animals do. In this paper, I offer a theoretical and methodological framework for this project of investigating “artificial minded intelligence” that can help to unify existing approaches and provide new avenues for research. I first outline (...) three desiderata that a framework for AMI research should satisfy. In Section 1, I further motivate the desiderata as well as the need for a new framework. Section 2 develops a general methodological approach, the “generative methodology,” and Section 3 develops a version of this methodology, the “Competence Framework for AI research”. (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.

Philosophers have often argued that ascriptions of content are appropriate only to the personal level states of folk psychology. Against this, this paper defends the view that the familiar propositional attitudes and states defined over them are part of a larger set of cognitive proceses that do not make constitutive reference to concept possession. It does this by showing that states with nonconceptual content exist both in perceptual experience and in subpersonal information-processing systems. What makes these states content-involving is their (...) satisfaction of certain basic conditions deriving from a general account of representation-driven behaviour that is neutral on the question of concept possession. It is also argued that creatures can be in states with nonconceptual content even though they possess no conceptual abilities at all. (shrink)

Je soutiens qu’accepter les explications réalistes intentionnelles du comportement cognitif conduit inévitablement à endosser l’hypothèse du langage de la pensée, et que cette position théorique est, par conséquent, largement répandue chez les philosophes de l’esprit. Au cours de la discussion, je propose un exposé succinct et précis de cette hypothèse et j’analyse une série d’exemples représentatifs de l’argumentation pro-LOT. Après avoir examiné deux cas de résistance à ce type de raisonnement, je conclus en montrant que le soutien accordé à la (...) LOT est empiriquement substantiel, en dépit de la flexibilité et du caractère incomplet de cette hypothèse. (shrink)

Vera & Simon (1993a) have argued that the theories and methods known as situated action or situativity theory are compatible with the assumptions and methodology of the physical symbol systems hypothesis and do not require a new approach to the study of cognition. When the central criterion of computational universality is added to the loose definition of a symbol system which Vera and Simon provide, it becomes apparent that there are important incompatibilities between the two approaches such that situativity theory (...) cannot be subsumed within the symbol systems approach. Symbol systems and situativity theoretic approaches are, and should be seen to be, competing approaches to the study of cognition. (shrink)

The formal conception of computation (FCC) holds that computational processes are not sensitive to semantic properties. FCC is popular, but it faces well-known difficulties. Accordingly, authors such as Block and Peacocke pursue a ?semantically-laden? alternative, according to which computation can be sensitive to semantics. I argue that computation is insensitive to semantics within a wide range of computational systems, including any system with ?derived? rather than ?original? intentionality. FCC yields the correct verdict for these systems. I conclude that there is (...) only one promising strategy for semantically-laden theorists: identify special computational systems that help generate their own semantic properties, and then show that computation within those systems is semantically-laden. Unfortunately, the few existing discussions that pursue this strategy are problematic. (shrink)

According to Marr, a computational-level theory consists of two elements, the what and the why. This article highlights the distinct role of the Why element in the computational analysis of vision. Three theses are advanced: that the Why element plays an explanatory role in computational-level theories, that its goal is to explain why the computed function is appropriate for a given visual task, and that the explanation consists in showing that the functional relations between the representing cells are similar to (...) the “external” mathematical relations between the entities that these cells represent. (shrink)

ABSTRACT: Christopher Peacocke defends a sophisticated version of Conceptual Role Theory. For him, the nature of a concept is completely determined by an account of what it is to possess that concept. The possession conditions he puts forward rest on the notion of primitively compelling transitions or, more recently, on the idea of implicit conceptions. I show that his account is circular and appeals to a dubious distinction between constitutive transitions and transitions that depend on factual beliefs. I also point (...) out that his possession conditions violate the Publicity Constraint; and, finally, I raise doubts about the psychological reality of primitively compelling transitions and implicit conceptions. (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)

While Chomsky subscribes to methodological naturalism, he rejects both metaphysical naturalism and an externalist conception of meaning. This chapter explores some of Chomsky's grounds for rejecting both metaphysical naturalism and meaning externalism, in particular his peculiar attitude towards ontological physicalism and his arguments for an internalist approach to meaning.