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)

Interventionism is a theory of causal explanation developed by Woodward and Hitchcock. I defend an interventionist perspective on the causal explanations offered within scientific psychology. The basic idea is that psychology causally explains mental and behavioral outcomes by specifying how those outcomes would have been different had an intervention altered various factors, including relevant psychological states. I elaborate this viewpoint with examples drawn from cognitive science practice, especially Bayesian perceptual psychology. I favorably compare my interventionist approach with well-known nomological and (...) mechanistic theories of psychological explanation. (shrink)

Brian Loar has argued that the well-known arguments against individualism in the philosophy of mind are insufficient because they rely on the assumption that that-clauses uniquely capture psychological content. He tried to show that this is not the use of that-clauses in philosophical psychology. I argue that he does not succeed in his argument. That-clauses sometimes capture psychological content, if our system of mental ascription is to be workable at all. I argue further that individualism tends to be at odds (...) with a requirement of intersubjective shareability of contents and that Loar is alternative conception of psychological content is beset with difficulties. (shrink)

In this paper my aim is to get clearer on what eliminative materialism actually does and does not entail. I look closely at one cluster of views that is often described as a form of eliminativism in contemporary philosophy and cognitive science and try to show that this characterization is a mistake. More specifically, I look at conceptions of eliminativism recently endorsed by writers such as Edouard Machery, Paul Griffiths, Valerie Hardcastle and others, and argue that although these views do (...) endorse the elimination of something, they offer only what I will call a sort of category dissolution, and should be treated as something altogether different from traditional eliminativism. Spelling out the main contrast between eliminative materialism proper and this alternative view, and defending the need to keep them distinct, is my primary objective. As I show, a central irony is that proponents of the problematic outlook often insist that divergent things should not be classified together under a single label. By characterizing their own views as a form of eliminativism, they commit a fundamental error that they themselves argue should not be made. While my focus here is on eliminative materialism, the error I intend to highlight appears across various discussions about alleged eliminativism of all sorts of things. (shrink)

Empirical studies indicate that analogy consists of two main processes: retrieval and mapping. While current theories and models of analogy have revealed much about the mainly structural constraints that govern the mapping process, the similarities that underpin the correspondences between individual representational elements and drive retrieval are understood in less detail. In existing models symbol similarities are externally defined but neither empirically grounded nor theoretically justified. This paper introduces a new model (EMMA: the environmental model of analogy) which relies on (...) co‐occurrence information provided by LSA (Latent Semantic Analysis; Landauer & Dumais, 1997) to ground the relations between the symbolic elements aligned in analogy. LSA calculates a contextual distribution for each word encountered in a corpus by counting the frequency with which it co‐occurs with other words. This information is used to define a model that locates each word encountered in a high‐dimensional space, with relations between elements in this space representing contextual similarities between words. A series of simulation experiments demonstrate that the environmental approach to semantics embodied in LSA can produce appropriate patterns of analogical retrieval, but that this semantic measure is not sufficient to model analogical mapping. The implications of these findings, both for theories of representation in analogy research and more general theories of semantics in cognition, are explored. (shrink)

How are natural symbol systems best understood? Traditional “symbolic” approaches seek to understand cognition by analogy to highly structured, prescriptive computer programs. Here, we describe some problems the traditional computational metaphor inevitably leads to, and a very different approach to computation (Ramscar, Yarlett, Dye, Denny, & Thorpe, 2010; Turing, 1950) that allows these problems to be avoided. The way we conceive of natural symbol systems depends to a large degree on the computational metaphors we use to understand them, and machine (...) learning suggests an understanding of symbolic thought that is very different to traditional views (Hummel, 2010). The empirical question then is: Which metaphor is best? (shrink)

Along with the increasing popularity of connectionist language models has come a number of provocative suggestions about the challenge these models present to Chomsky's arguments for nativism. The aim of this paper is to assess these claims. We begin by reconstructing Chomsky's argument from the poverty of the stimulus and arguing that it is best understood as three related arguments, with increasingly strong conclusions. Next, we provide a brief introduction to connectionism and give a quick survey of recent efforts to (...) develop networks that model various aspects of human linguistic behavior. Finally, we explore the implications of this research for Chomsky's arguments. Our claim is that the relation between connectionism and Chomsky's views on innate knowledge is more complicated than many have assumed, and that even if these models enjoy considerable success the threat they pose for linguistic nativism is small. (shrink)

This paper presents a blueprint for an ecological cognitive architecture. Ecological psychology, I contend, must be complemented with a story about the role of the CNS in perception, action, and cognition. To arrive at such a story while staying true to the tenets of ecological psychology, it will be necessary to flesh out the central metaphor according to which the animal perceives its environment by ‘resonating’ to information in energy patterns: what is needed is a theory of resonance. I offer (...) here the two main elements of such a theory: a framework and a methodology. (shrink)

There seem to be two kinds of pain: fundamental pain, the intensity of which is a direct function of the intensity of various pain stimuli, and pain, the intensity of which is highly modifiable by such factors as hypnotism, placebos, and the sociocultural setting in which the stimulus occurs.

Propositional attitudes, states like believing, desiring, intending, etc., have played a central role in the articulation of many of our major theories, both in philosophy and the social sciences. Until relatively recently, psychology was a prominent entry on the list of social sciences in which propositional attitudes occupied center stage. In this century, though, behaviorists began to make a self-conscious effort to expunge "mentalistic" notions from their theorizing. Behaviorism has failed. Psychology therefore is again experiencing "formative years," and two themes (...) have caught the interest of philosophers. The first is that psychological theories evidently must exploit a vast array of relations obtaining among internal states. The second is that the use of mentalistic idioms seems to be explicit again in much of current theorizing. These two observations have led philosophers to wonder about the probable as well as the proper role of propositional attitudes in future psychological theories. Some philosophers wonder, in particular, about the role of the contents of propositional attitudes in the forthcoming theories. Their strategy is in part to discern what sorts of theory psychologists now will want to construct, and then discern what role propositional attitude contents might play in theories of those sorts. I consider here two sorts of theory, what I call minimal functional theories and what is known as propositional attitude psychology. ;I outline these two kinds of theory, and show how each defines a role for contents. Contents are ultimately eliminable in minimal functional theories. Although they play an apparently ineliminable role in propositional attitude psychology, they do so at an apparent cost. Propositional attitude psychology does not seem to accommodate a certain methodological principle, a principle of individualism in psychology, which is endorsed even by some of the philosophers most enamored of the approach. Such philosophers have two options: they can attempt to show that the conflict between the approach and the principle is not genuine, or they can reject the principle. I argue that the conflict is real, and recommend a qualified rejections of the principle. (shrink)

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

Western philosophy has a long-standing interest in the relationship between thought and language. This is not least because language use and our mental capacities are so central to our human self-conception, as well as to the ways in which we have tried to think about other beings. Retrospectively, it is possible to identify certain broad traditions in the philosophical study of thought and language, traditions which also have their representatives in psychology and linguistics. In this introduction I shall focus on (...) one such tradition, the one sometimes known as ‘lingualism ’, in so far as it bears on the papers brought together in this volume. (shrink)

Behaviorism and mentalism are commonly considered to be mutually exclusive and conjunctively exhaustive options for the psychological explanation of behavior. Behaviorism and mentalism do differ in their characterization of inner causes of behavior. However, I argue that they are not mutually exclusive on the grounds that they share important foundational assumptions, two of which are the notion of an innerouter split and the notion of control. I go on to argue that mentalism and behaviorism are not conjunctively exhaustive either, on (...) the grounds that dropping these common foundational assumptions results in a distinctively different framework for the explanation of behavior. This third alternative, which is briefly described, is a version of non-individualism. (shrink)

Moral particularism is a promising new approach which understands itself as a subchapter of holism in the theory of reasons. So particularism may be extended to other areas, such as metaphysics. One of the bases for this kind of move is elaborated by particularism itself as resultance, a strategy for providing the relevant basis that is opposed to various forms of generalism (the thin property of goodness is constituted by several thick properties, such as being good humoured, being pleasant; the (...) property of this being a table is constituted from properties of there being four legs, a plate, a certain arrangement). It is claimed that resultance or emergence needs a background structure in order to get off the ground. (shrink)

How much irrationality should we ascribe to human cognition? Psychological evidence suggests that people’s reasoning is largely inaccurate, but according to an evolutionary argument for rationality, we have good reasons to believe that this is not so. To solve the conflict between psychological evidence and EAR, commentators have usually put the blame either on the psychological evidence, arguing that inaccurate reasoning appears only in the context of lab studies, or on the premises of EAR, charged with not being in line (...) with the concepts and findings of evolutionary biology. I argue that Hammond’s distinction between two distinct criteria of rationality, namely coherence and correspondence, might shed new light on this apparent conflict. I show that EAR might be interpreted in two different ways, and that EAR and psychological evidence might in fact be both correct if they appeal to different criteria of accurate reasoning. Moreover, evolutionary considerations have been recently used not to oppose the existence of violations of norms of coherence but rather to explain it. (shrink)

Neurobiological models of language need a level of analysis that can account for the typical range of language phenomena. Because linguistically motivated models have been successful in explaining numerous language properties, it is premature to dismiss them as biologically irrelevant. Models attempting to unify neurobiology and linguistics need to be sensitive to both sources of evidence.

In this paper we defend structural representations, more specifically neural structural representation. We are not alone in this, many are currently engaged in this endeavor. The direction we take, however, diverges from the main road, a road paved by the mathematical theory of measure that, in the 1970s, established homomorphism as the way to map empirical domains of things in the world to the codomain of numbers. By adopting the mind as codomain, this mapping became a boon for all those (...) convinced that a representation system should bear similarities with what was being represented, but struggled to find a precise account of what such similarities mean. The euforia was brief, however, and soon homomorphism revealed itself to be affected by serious weaknesses, the primary one being that it included systems embarrassingly alien to representations. We find that the defense attempts that have followed, adopt strategies that share a common format: valid structural representations come as “homomorphism plus X”, with various “X”, provided in descriptive format only. Our alternative direction stems from the observation of the overlooked departure from homomorphism as used in the theory of measure and its later use in mental representations. In the former case, the codomain or the realm of numbers, is the most suited for developing theorems detailing the existence and uniqueness of homomorphism for a wide range of empirical domains. In the latter case, the codomain is the realm of the mind, possibly more vague and more ill-defined than the empirical domain itself. The time is ripe for articulating the mapping between represented domains and the mind in formal terms, by exploiting what is currently known about coding mechanisms in the brain. We provide a sketch of a possible development in this direction, one that adopts the theory of neural population coding as codomain. We will show that our framework is not only not in disagreement with the “plus X” proposals, but can lead to natural derivation of several of the “X”. (shrink)

In my book How the Mind Works, I defended the theory that the human mind is a naturally selected system of organs of computation. Jerry Fodor claims that 'the mind doesn't work that way'(in a book with that title) because (1) Turing Machines cannot duplicate humans' ability to perform abduction (inference to the best explanation); (2) though a massively modular system could succeed at abduction, such a system is implausible on other grounds; and (3) evolution adds nothing to our understanding (...) of the mind. In this review I show that these arguments are flawed. First, my claim that the mind is a computational system is different from the claim Fodor attacks (that the mind has the architecture of a Turing Machine); therefore the practical limitations of Turing Machines are irrelevant. Second, Fodor identifies abduction with the cumulative accomplishments of the scientific community over millennia. This is very different from the accomplishments of human common sense, so the supposed gap between human cognition and computational models may be illusory. Third, my claim about biological specialization, as seen in organ systems, is distinct from Fodor's own notion of encapsulated modules, so the limitations of the latter are irrelevant. Fourth, Fodor's arguments dismissing of the relevance of evolution to psychology are unsound. (shrink)

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.

Before embarking upon the project of reformulating psychoanalysis in the 'scientific' terminology of cognitive science, we should first clearly define what psychoanalysis is about and what it is not about. Cognitive science is based upon a functionalistic philosophy of the mind. As a consequence such a project would require a functionalistic core theory of psychoanalysis. But Freud's claim of the therapeutic effect of psychoanalysis, attained through the rendering conscious of what is unconscious or the making personal of what is experienced (...) by the neurotic patient as impersonal, cannot be explained by a functionalistic theory of the mind We examine Freud's claim and conclude that there ought to be a philosophy of qualia at the core of psychoanalysis. (shrink)

This paper addresses the questions concerningthe relationship between scientific andcognitive processes. The fact that both,science and cognition, aim at acquiring somekind of knowledge or representationabout the world is the key for establishing alink between these two domains. It turns outthat the constructivist frameworkrepresents an adequate epistemologicalfoundation for this undertaking, as its focusof interest is on the (constructive)relationship between the world and itsrepresentation. More specifically, it will beshown how cognitive processes and their primaryconcern to construct a representation of theenvironment and to (...) generate functionallyfitting behavior can act as the basis forembedding the activities and dynamics of theprocess of science in them by making use ofconstructivist concepts, such as functionalfitness, structure determinedness, etc.Cognitive science and artificiallife provide the conceptual framework of representational spaces and their interactionbetween each other and with the environmentenabling us to establish this link betweencognitive processes and thedevelopment/dynamics of scientific theories.The concepts of activation, synaptic weight,and genetic (representational) spaces arepowerful tools which can be used asexplanatory vehiclesfor a cognitivefoundation of science, more specifically forthe context of discovery (i.e., thedevelopment, construction, and dynamics ofscientific theories and paradigms).Representational spaces do not only offer us abetter understanding of embedding science incognition, but also show, how theconstructivist framework, both, can act as anadequate epistemological foundation for theseprocesses and can be instantiated by theserepresentational concepts from cognitivescience. The final part of this paper addresses somemore fundamental questions concerning thepositivistic and constructivist understandingof science and human cognition. Among otherthings it is asked, whether a purelyfunctionalist and quantitative view of theworld aiming almost exclusively at itsprediction and control is really satisfying forour intellect (having the goal of achieving aprofound understanding of reality). (shrink)

This article explores some of the philosophical implications of the Bayesian modeling paradigm. In particular, it focuses on the ramifications of the fact that Bayesian models pre‐specify an inbuilt hypothesis space. To what extent does this pre‐specification correspond to simply ‘‘building the solution in''? I argue that any learner must have a built‐in hypothesis space in precisely the same sense that Bayesian models have one. This has implications for the nature of learning, Fodor's puzzle of concept acquisition, and the role (...) of modeling in cognitive science. (shrink)

Observations from philosophy and psychology heavily favor the Empiricist tenet that many lexical concepts are learned. However, many observations also heavily favor the Nativist tenet that such concepts are representationally atomic. Fodor Representations: Philosophical essays on the foundations of cognitive science, 1981, LOT2: The language of thought revisited, 2008) has famously argued that representationally atomic concepts cannot be learned, at least not learned by hypothesis formation and testing. Concept theorists who want to preserve observations about concept learning have developed acquisition (...) models on which the acquired concepts are either non-atomic or are acquired by a process that doesn’t involve hypothesis formation and testing. I offer a model, Baptizing Meanings for Concepts, in which representationally atomic concepts are learned by hypothesis formation and testing. The concepts are learned by the agent’s hypothesizing the existence of a latent/hidden/imperceptible property in objects to explain the objects’ perceptible similarities. Once a hidden property is hypothesized, a new atomic mental name is assigned to it, and this atomic name becomes the concept. Any connections between the name and the representations involved in linking the name to its referent are stored as contingent. Further experience may give the agent reason to revise its hypotheses about latent properties as explanations for its observations. I discuss a software robot implementation of the BMC process that uses a Bayesian learning network. The implementation provides an existence proof of the possibility of learning representationally atomic concepts by hypothesis formation and testing. (shrink)