There is a strong philosophical intuition that direct study of the brain can and will constrain the development of psychological theory. When this intuition is tested against case studies on the neurophysiology and psychology of perception and memory, it turns out that psychology has led the way toward knowledge of neurophysiology. An abstract argument is developed to show that psychology can and must lead the way in neuroscientific study of mental function. The opposing intuition is based on mainly weak arguments (...) about the fundamentality or objectivity of physics or physiology in relation to psychology. -/- Philosophy of Science, Vol. 67, Supplement. Proceedings of the 1998 Biennial Meetings of the Philosophy of Science Association. Part II: Symposia Papers (Sep., 2000). (shrink)

In recent years the cognitive science community has witnessed the rise of a new, dynamical approach to cognition. This approach entails a framework in which cognition and behavior are taken to result from complex dynamical interactions between brain, body, and environment. The advent of the dynamical approach is grounded in a dissatisfaction with the classical computational view of cognition. A particularly strong claim has been that cognitive systems do not rely on internal representations and computations. Focusing on this claim, we (...) take as a starting point a question recently raised by Cliff and Noble: " if evolution did produce a design that used internal representations, how would we recognize it?" (Knowledge-based vision and simple visual machines, Philosophical Transactions of the Royal Society: Biological Sciences, 352 , 1165-1175, 1997). We will argue that cognitive science lacks a proper operationalization of the notion of representation, and therefore is unable to fruitfully discuss whether a particular system has representations or not. A basic method to detect representations in a physical system, grounded in isomorphism, turns out to be quite unconstrained. We will look at a practical example of this problem by examining the debate on whether or not van Gelder's (What might cognition be, if not computation? Journal of Philosophy, 92 , 345-381, 1995) controversial example of the Watt Governor is representational. We will conclude that cognitive science, as of yet, has no empirically applicable means to answer Cliff and Noble's question unequivocally. This makes the recent representationalism vs. anti-representationalism debate a debate for the sake of appearance. (shrink)

Artificial Intelligence is at a turning point, with a substantial increase in projects aiming to implement sophisticated forms of human intelligence in machines. This research attempts to model specific forms of intelligence through brute-force search heuristics and also reproduce features of human perception and cognition, including emotions. Such goals have implications for artificial consciousness, with some arguing that it will be achievable once we overcome short-term engineering challenges. We believe, however, that phenomenal consciousness cannot be implemented in machines. This becomes (...) clear when considering emotions and examining the dissociation between consciousness and attention in humans. While we may be able to program ethical behavior based on rules and machine learning, we will never be able to reproduce emotions or empathy by programming such control systems—these will be merely simulations. Arguments in favor of this claim include considerations about evolution, the neuropsychological aspects of emotions, and the dissociation between attention and consciousness found in humans. Ultimately, we are far from achieving artificial consciousness. (shrink)

I discuss the philosophical implications that the rising new science of quantum computing may have on the philosophy of computer science. While quantum algorithms leave the notion of Turing-Computability intact, they may re-describe the abstract space of computational complexity theory hence militate against the autonomous character of some of the concepts and categories of computer science.

This paper deals with the question: what are the key requirements for a physical system to perform digital computation? Time and again cognitive scientists are quick to employ the notion of computation simpliciter when asserting basically that cognitive activities are computational. They employ this notion as if there was or is a consensus on just what it takes for a physical system to perform computation, and in particular digital computation. Some cognitive scientists in referring to digital computation simply adhere to (...) Turing’s notion of computability . Classical computability theory studies what functions on the natural numbers are computable and what mathematical problems are undecidable. Whilst a mathematical formalism of computability may perform a methodological function of evaluating computational theories of certain cognitive capacities, concrete computation in physical systems seems to be required for explaining cognition as an embodied phenomenon . There are many non-equivalent accounts of digital computation in physical systems. I examine only a handful of those in this paper: (1) Turing’s account ; (2) The triviality “account”; (3) Reconstructing Smith’s account of participatory computation ; (4) The Algorithm Execution account . My goal in this paper is twofold. First, it is to identify and clarify some of the underlying key requirements mandated by these accounts. I argue that these differing requirements justify a demand that one commits to a particular account when employing the notion of computation in regard to physical systems. Second, it is to argue that despite the informative role that mathematical formalisms of computability may play in cognitive science, they do not specify the relationship between abstract and concrete computation. (shrink)

Stephen Stich has argued that psychological theories that instantiate his Syntactic Theory of Mind are to be preferred to content-based or representationalist theories, because the former can capture and explain a wider range of generalizations about cognitive processes than the latter. Stich's claims about the relative merits of the Syntactic Theory of Mind are unfounded. Not only is it false that syntactic theories can capture psychological generalizations that content-based theories cannot, but a large class of behavioral regularities, readily explained by (...) content-based theories, appear to be beyond their explanatory reach. (shrink)

Evidence from cognitive science supports the claim that humans and other animals see the world as divided into objects. Although this claim is widely accepted, it remains unclear whether the mechanisms of visual reference have representational content or are directly instantiated in the functional architecture. I put forward a version of the former approach that construes object files as icons for objects. This view is consistent with the evidence that motivates the architectural account, can respond to the key arguments against (...) representational accounts, and has explanatory advantages. I draw general lessons for the philosophy of perception and the naturalization of intentionality. (shrink)

Research in vision science, developmental psychology, and the foundations of cognitive science has led some theorists to posit referential mechanisms similar to indices. This hypothesis has been framed within a Fodorian conception of the early vision module. The article shows that this conception is mistaken, for it cannot handle the ‘interface problem’—roughly, how indexing mechanisms relate to higher cognition and conceptual thought. As a result, I reject the inaccessibility of early vision to higher cognition and make some constructive remarks on (...) the perception–cognition interface. -/- 1 The Case for Visual Indices 1.1 Preliminary assumptions 1.2 Transcendental arguments 1.3 Evidence from vision science 2 Visual Indices, Object Files, and Fodorian Modularity 3 The Interface Problem 3.1 Top-down attention and modularity 3.2 Selective attention and information 4 Revising the Indexing Hypothesis 4.1 Revising the perception–cognition interface 4.2 Revising the modularity of early vision 5 Concluding Remarks. (shrink)

Linguists take the intuitive judgments of speakers to be good evidence for a grammar. Why? The Chomskian answer is that they are derived by a rational process from a representation of linguistic rules in the language faculty. The paper takes a different view. It argues for a naturalistic and non-Cartesian view of intuitions in general. They are empirical central-processor responses to phenomena differing from other such responses only in being immediate and fairly unreflective. Applying this to linguistic intuitions yields an (...) explanation of their evidential role without any appeal to the representation of rules. Introduction The evidence for linguistic theories A tension in the linguists' view of intuitions Intuitions in general Linguistic intuitions Comparison of the modest explanation with the standard Cartesian explanation A nonstandard Cartesian explanation of the role of intuitions? Must linguistics explain intuitions? Conclusion. (shrink)

This article deals with the links between the enaction paradigm and artificial intelligence. Enaction is considered a metaphor for artificial intelligence, as a number of the notions which it deals with are deemed incompatible with the phenomenal field of the virtual. After explaining this stance, we shall review previous works regarding this issue in terms of artificial life and robotics. We shall focus on the lack of recognition of co-evolution at the heart of these approaches. We propose to explicitly integrate (...) the evolution of the environment into our approach in order to refine the ontogenesis of the artificial system, and to compare it with the enaction paradigm. The growing complexity of the ontogenetic mechanisms to be activated can therefore be compensated by an interactive guidance system emanating from the environment. This proposition does not however, resolve that of the relevance of the meaning created by the machine (sense-making). Such reflections lead us to integrate human interaction into this environment in order to construct relevant meaning in terms of participative artificial intelligence. This raises a number of questions with regards to setting up an enactive interaction. The article concludes by exploring a number of issues, thereby enabling us to associate current approaches with the principles of morphogenesis, guidance, the phenomenology of interactions and the use of minimal enactive interfaces in setting up experiments which will deal with the problem of artificial intelligence in a variety of enaction-based ways. (shrink)

Computational complexity theory is a subfield of computer science originating in computability theory and the study of algorithms for solving practical mathematical problems. Amongst its aims is classifying problems by their degree of difficulty — i.e., how hard they are to solve computationally. This paper highlights the significance of complexity theory relative to questions traditionally asked by philosophers of mathematics while also attempting to isolate some new ones — e.g., about the notion of feasibility in mathematics, the $\mathbf{P} \neq \mathbf{NP}$ (...) problem and why it has proven hard to resolve, and the role of non-classical modes of computation and proof. (shrink)

Several approaches to implementing symbol-like representations in neurally plausible models have been proposed. These approaches include binding through synchrony, “mesh” binding, and conjunctive binding. Recent theoretical work has suggested that most of these methods will not scale well, that is, that they cannot encode structured representations using any of the tens of thousands of terms in the adult lexicon without making implausible resource assumptions. Here, we empirically demonstrate that the biologically plausible structured representations employed in the Semantic Pointer Architecture approach (...) to modeling cognition do scale appropriately. Specifically, we construct a spiking neural network of about 2.5 million neurons that employs semantic pointers to successfully encode and decode the main lexical relations in WordNet, which has over 100,000 terms. In addition, we show that the same representations can be employed to construct recursively structured sentences consisting of arbitrary WordNet concepts, while preserving the original lexical structure. We argue that these results suggest that semantic pointers are uniquely well-suited to providing a biologically plausible account of the structured representations that underwrite human cognition. (shrink)

Contemporary semantic theories can be classified along two dimensions: (i) the way and time-course in which contextual factors influence sentence truth-conditions; and (ii) whether and to what extent comprehension involves sensory, motor and emotional processes. In order to explore this theoretical space, our ERP study investigates the time-course of the interaction between the lexically specified telic component of a noun (the function of the object to which the noun refers to, e.g., a funnel is generally used to pour liquids into (...) containers) and an ad-hoc affordance contextually induced by the situation described in the discourse. We found that, if preceded by a neutral discourse context, a verb incongruent with the noun’s telic component as in “She uses the funnel to hang her coat” elicited an enhanced N400 compared to a congruent verb as in “She uses the funnel to pour water into a container”. However, if the situation introduced in the preceding discourse induced a new function for the object as an ad-hoc affordance (e.g., the funnel is glued to the wall and the agent wants to hang the coat), we observed a crossing-over regarding the direction of the N400 effect: comparing the ad-hoc affordance-inducing context with the neutral context, the N400 for the incongruent verb was significantly reduced, whereas the N400 for the congruent verb was significantly enhanced. We explain these results as a consequence of the incorporation of the contextually triggered ad-hoc affordance into the meaning of the noun. Combining these results with an analysis of semantic similarity values between test sentences and contexts, we argue that one possibility is that the incorporation of an ad-hoc affordance may be explained on the basis of the mental simulation of concurrent motor information. (shrink)

In this paper I start from a definition of “culture of the artificial” which might be stated by referring to the background of philosophical, methodological, pragmatical assumptions which characterizes the development of the information processing analysis of mental processes and of some trends in contemporary cognitive science: in a word, the development of AI as a candidate science of mind. The aim of this paper is to show how (with which plausibility and limitations) the discovery of the mentioned background might (...) be dated back to a period preceding the cybernetic era, the decade 1930–1940 at least. Therefore a somewhat detailed analysis of Hull's “robot approach” is given, as well as of some of its independent and future developments. -/- Reprinted in R.L. Chrisley (ed.), Artificial Intelligence: Critical Concepts in Cognitive Science, vol. 1, Routledge, London and New York, 2000, pp. 301-326. (shrink)

Color relationalism is the view that colors are constituted in terms of relations to perceiving subjects. Among its explanatory virtues, relation- alism provides a satisfying treatment of cases of perceptual variation. But it can seem that relationalists lack resources for saying that a representa- tion of x’s color is erroneous. Surely, though, a theory of color that makes errors of color perception impossible cannot be correct. In this paper I’ll argue that, initial appearances notwithstanding, relationalism contains the resources to account (...) for errors of color perception. I’ll conclude that worries about making room for error are worries the relationalist can meet. (shrink)

The philosophical-psychological Lvov-Warsaw School, derived from the philosophical tradition of Franz Brentano, developed his concept of intentionality for many years in an original way. This is particularly evident in Kazimierz Twardowski’s theory of actions and products and Tadeusz Tomaszewski’s theory of action. Kazimierz Ajdukiewicz’s semantic epistemology is also an important yet unfinished achievement (though less related to the issue of intentionality), in the light of which cognitive processes are organically embedded in cultural artefacts and, more specifically, in language. Despite the (...) extraordinary wealth of the Lvov-Warsaw School’s achievements, the theoretical findings of Twardowski and his disciples allow for the extraction of relatively consistent conclusions regarding the specifics of human cognition. Achievements of the Polish school of psychology seem to be important in the long ongoing discussion on the topic of the nature of cognitive processes and the mind. (shrink)

In this paper I review some leading developments in the empirical theory of affect. I argue that (1) affect is a distinct perceptual representation governed system, and (2) that there are significant modular factors in affect. The paper concludes with the observation thatfeeler (affective perceptual system) may be a natural kind within cognitive science. The main purpose of the paper is to explore some hitherto unappreciated connections between the theory of affect and the computational theory of mind.

In a recent survey of contemporary philosophy of emotion, Ronald de Sousa states that "in recent years … emotions have once again become the focus of vigorous interest in philosophy, as well as in other branches of cognitive science" (de Sousa 2003, 1). He then goes on to make the important observation that "in view of the proliferation of increasingly fruitful exchanges between researchers of different stripes, it is no longer useful to speak of the philosophy of emotion in isolation (...) from the approaches of other disciplines, particularly psychology, neurology and evolutionary biology" (de Sousa 2003, 1). This last remark is particularly apt in the case of a topic like modularity and emotion, which represents an ideal opportunity for reflecting on the emerging alliance between the philosophy of emotion and emotion science. In addition to being interesting in its own right, the topic also illustrates some of the perils associated with the new alliance, as different academic traditions must adapt to interdisciplinary dialogue... (shrink)

A U-shaped curve in a cognitive-developmental trajectory refers to a three-step process: good performance followed by bad performance followed by good performance once again. U-shaped curves have been observed in a wide variety of cognitive-developmental and learning contexts. U-shaped learning seems to contradict the idea that learning is a monotonic, cumulative process and thus constitutes a challenge for competing theories of cognitive development and learning. U-shaped behavior in language learning (in particular in learning English past tense) has become a central (...) topic in the Cognitive Science debate about learning models. Antagonist models (e.g., connectionism versus nativism) are often judged on their ability of modeling or accounting for U-shaped behavior. The prior literature is mostly occupied with explaining how U-shaped behavior occurs. Instead, we are interested in the necessity of this kind of apparently inefficient strategy. We present and discuss a body of results in the abstract mathematical setting of (extensions of) Gold-style computational learning theory addressing a mathematically precise version of the following question: Are there learning tasks that require U-shaped behavior? All notions considered are learning in the limit from positive data. We present results about the necessity of U-shaped learning in classical models of learning as well as in models with bounds on the memory of the learner. The pattern emerges that, for parameterized, cognitively relevant learning criteria, beyond very few initial parameter values, U-shapes are necessary for full learning power! We discuss the possible relevance of the above results for the Cognitive Science debate about learning models as well as directions for future research. (shrink)

L'informatique se définissant comme le traitement rationnel de l'information par machine automatique et l'intelligence se caractérisant par une même capacité de traitement rationnel, il était inévitable que l'on songe à associer l'intelligence au traitement automatique de l'information. C'est ce qu'a fait John McCarthy en forgeant le terme d'intelligence artificielle. Par «intelligence artificielle» on peut vouloir exprimer l'ambition de1. Recréer, transformer ou développer l'intelligence artificiellement2. Simuler l'intelligence en la reconstituant dans des modéles imitant certains aspects de notre intelligence dite naturelle.

If the Trade Descriptions Act were applied to academic labels, cognitive scientists would be in trouble. For what they do is much wider than the name suggests—and wider, too, than most philosophers assume. They give you more for your money than you may have expected.

In this paper I critically examine the Generality Problem and argue that it does not succeed as an objection to reliabilism. Although those who urge the Generality Problem are correct in claiming that any process token can be given indefinitely many descriptions that pick out indefinitely many process types, they are mistaken in thinking that reliabilists have no principled way to distinguish between relevant and irrelevant process types.

This paper presents a position called Scheme-based Alethic Realism, which reconciles a realist position on the nature of truth with a pluralistic Kantian perspective that allows for multiple environments in which truthmaking relationships are established. We argue that truthmaking functions are constrained by a stable phenomenal world and a stable cognitive architecture. This account takes truth as normatively distinct from epistemic justification while relativizing the truth conditions of our statements to what we call Frameworks. The pluralistic aspect allows that these (...) stable elements, while constraining representational and linguistic schemes, do not define a single framework for truthmaking relations. We strengthen this position by considering themes on situated rational agency from cognitive science and artificial intelligence, arguing that whatever enables or supports rational action within a particular environment must figure into some account of truth and truthmaking, and vice versa. (shrink)

Experiences like pains, pleasures, and emotions have affective phenomenal character: they feel pleasant or unpleasant. Imperativism proposes to explain affective phenomenal character by appeal to imperative content, a kind of intentional content that directs rather than describes. We argue that imperativism is on the right track, but has been developed in the wrong way. There are two varieties of imperativism on the market: first-order and higher-order. We show that neither is successful, and offer in their place a new theory: reflexive (...) imperativism. Our proposal is that an experience P feels pleasant in virtue of being constituted by a Command with reflexive imperative content, while an experience U feels unpleasant in virtue of being constituted by a Command with reflexive imperative content : More of P!Less of U! If you need a slogan: experiences have affective phenomenal character in virtue of commanding us Get more of me! Get less of me! (shrink)

Very plausibly, nothing can be a genuine computing system unless it meets an input-sensitivity requirement. Otherwise all sorts of objects, such as rocks or pails of water, can count as performing computations, even such as might suffice for mentality—thus threatening computationalism about the mind with panpsychism. Maudlin in J Philos 86:407–432, ( 1989 ) and Bishop ( 2002a , b ) have argued, however, that such a requirement creates difficulties for computationalism about conscious experience, putting it in conflict with the (...) very intuitive thesis that conscious experience supervenes on physical activity. Klein in Synthese 165:141–153, ( 2008 ) proposes a way for computationalists about experience to avoid panpsychism while still respecting the supervenience of experience on activity. I argue that his attempt to save computational theories of experience from Maudlin’s and Bishop’s critique fails. (shrink)

Fodor and Pylyshyn's critique of connectionism has posed a challenge to connectionists: Adequately explain such nomological regularities as systematicity and productivity without postulating a "language of thought" (LOT). Some connectionists like Smolensky took the challenge very seriously, and attempted to meet it by developing models that were supposed to be non-classical. At the core of these attempts lies the claim that connectionist models can provide a representational system with a combinatorial syntax and processes sensitive to syntactic structure. They are not (...) implementation models because, it is claimed, the way they obtain syntax and structure sensitivity is not "concatenative," hence "radically different" from the way classicists handle them. In this paper, I offer an analysis of what it is to physically satisfy/realize a formal system. In this context, I examine the minimal truth-conditions of LOT Hypothesis. From my analysis it will follow that concatenative realization of formal systems is irrelevant to LOTH since the very notion of LOT is indifferent to such an implementation level issue as concatenation. I will conclude that to the extent to which they can explain the law-like cognitive regularities, a certain class of connectionist models proposed as radical alternatives to the classical LOT paradigm will in fact turn out to be LOT models, even though new and potentially very exciting ones. (shrink)

This paper is a conceptual analysis of the theory debate in psychology, as carried out by cognitivists and radical behaviorists. The debate has focused on the necessity of theories in psychology. However, the logically primary issue is the nature of theories, or what theories are. This claim stems from the fact that cognitivists and radical behaviorists adopt disparate accounts of the nature of theories. The cognitivists' account is closely akin to the received view from logical positivism, where theories are collections (...) of statements and theoretical terms are restricted to designate unobservable entities. Radical behaviorists also conceive theories as collections of statements, but restrict theoretical terms in psychology to designate observable entities. If each side approaches the necessity issue with its preferred account, both agree that theories are necessary in psychology. Hence, there is no disagreement over the necessity of theories in psychology per se, only over the nature of theories. The received view, however, has been shown to suffer from irreparable difficulties that have led to its total rejection in post-positivistic philosophy of science. Alternative accounts, like the structuralist and semantic views, do not raise the issue of whether theories are necessary in psychology. (shrink)

This book contains a representationalist theory of self-consciousness and of the phenomenal first-person perspective. It draws on empirical data from the cognitive and neurosciences.

Interdisciplinary investigations marry the methods and concerns of different fields. Computer science is the study of precise descriptions of finite processes; semantics is the study of meaning in language. Thus, computational semantics embraces any project that approaches the phenomenon of meaning by way of tasks that can be performed by following definite sets of mechanical instructions. So understood, computational semantics revels in applying semantics, by creating intelligent devices whose broader behavior fits the meanings of utterances, and not just their form. (...) IBM’s Watson (Ferrucci, Brown, Chu-Carroll, Fan, Gondek, Kalyanpur, Lally, Murdock, Nyberg, Prager, Schlaefer & Welty 2010) is a harbinger of the excitement and potential of this technology. (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)

6. Seeing With the Mind’s Eye 1: The Puzzle of Mental Imagery .................................................6-1 6.1 What is the puzzle about mental imagery?..............................................................................6-1 6.2 Content, form and substance of representations ......................................................................6-6 6.3 What is responsible for the pattern of results obtained in imagery studies?.................................6-8..

I recently discovered that work I was doing in the laboratory and in theoretical writings was implicitly taking a position on a set of questions that philosophers had been worrying about for much of the past 30 or more years. My clandestine involvement in philosophical issues began when a computer science colleague and I were trying to build a model of geometrical reasoning that would draw a diagram and notice things in the diagram as it drew it (Pylyshyn, Elcock, Marmor, (...) & Sander, 1978). One problem we found we had to face was that if the system discovered a right angle it had no way to tell whether this was the intersection of certain lines it had drawn earlier while constructing a certain figure, and if so which particular lines they were. Moreover, the model had no way of telling whether this particular right angle was identical to some bit of drawing it had earlier encountered and represented as, say, the base of a particular triangle. There was, in other words, no way to determined the identity of an element (I use the term “element” when referring to a graphical unit such as used in experiments. Otherwise when speaking informally I use the term “thing” on the grounds that nobody would mistake that term for a technical theoretical construct. Eventually I end up calling them “Visual Objects” to conform to usage in psychology) at two different times if it was represented differently at those times. This led to some speculation about the need for what we called a “finger” that could be placed at a particular element of interest and that could be used to identify it as particular token thing (the way you might identify a particular feature on paper by labeling it). In general we needed something like a finger that would stay attached to a particular element and could be used to maintain a correspondence between the individual element that was just noticed now and one that had been represented in some fashion at an earlier time. The idea of such fingers (which.... (shrink)

I defend a theory of mental representation that satisfies naturalistic constraints. Briefly, we begin by distinguishing (i) what makes something a representation from (ii) given that a thing is a representation, what determines what it represents. Representations are states of biological organisms, so we should expect a unified theoretical framework for explaining both what it is to be a representation as well as what it is to be a heart or a kidney. I follow Millikan in explaining (i) in terms (...) of teleofunction, explicated in terms of natural selection. -/- To explain (ii), we begin by recognizing that representational states do not have content, that is, they are neither true nor false except insofar as they both “point to” or “refer” to something, as well as “say” something regarding whatever it is they are about. To distinguish veridical from false representations, there must be a way for these separate aspects to come apart; hence, we explain (ii) by providing independent theories of what I call f-reference and f-predication (the ‘f’ simply connotes ‘fundamental’, to distinguish these things from their natural language counterparts). -/- Causal theories of representation typically founder on error, or on what Fodor has called the disjunction problem. Resemblance or isomorphism theories typically founder on what I’ve called the non-uniqueness problem, which is that isomorphisms and resemblance are practically unconstrained and so representational content cannot be uniquely determined. These traditional problems provide the motivation for my theory, the structural preservation theory, as follows. F-reference, like reference, is a specific, asymmetric relation, as is causation. F-predication, like predication, is a non-specific relation, as predicates typically apply to many things, just as many relational systems can be isomorphic to any given relational system. Putting these observations together, a promising strategy is to explain f-reference via causal history and f-predication via something like isomorphism between relational systems. -/- This dissertation should be conceptualized as having three parts. After motivating and characterizing the problem in chapter 1, the first part is the negative project, where I review and critique Dretske’s, Fodor’s, and Millikan’s theories in chapters 2-4. Second, I construct my theory about the nature of representation in chapter 5 and defend it from objections in chapter 6. In chapters 7-8, which constitute the third and final part, I address the question of how representation is implemented in biological systems. In chapter 7 I argue that single-cell intracortical recordings taken from awake Macaque monkeys performing a cognitive task provide empirical evidence for structural preservation theory, and in chapter 8 I use the empirical results to illustrate, clarify, and refine the theory. (shrink)

In this paper, I shall argue that both cognitivism and liberal contractualism defend a pre-moral conception of human desire that has its origin in the Hobbesian and Humean tradition that both theories share. Moreover, the computational and syntactic themes in cognitive science support the notion, which Gauthier evidently shares, that the human mind – or, in Gauthier’s case, the mind of “economic man” – is a purely formal mechanism, characterized by logical and mathematical operations. I shall conclude that a single (...) conception of human behaviour runs through the various dominant psychological, moral and political theories of analytic inspiration. (shrink)

We show how an epistemology informed by cognitive science promises to shed light on an ancient problem in the philosophy of mathematics: the problem of exactness. The problem of exactness arises because geometrical knowledge is thought to concern perfect geometrical forms, whereas the embodiment of such forms in the natural world may be imperfect. There thus arises an apparent mismatch between mathematical concepts and physical reality. We propose that the problem can be solved by emphasizing the ways in which the (...) brain can transform and organize its perceptual intake. It is not necessary for a geometrical form to be perfectly instantiated in order for perception of such a form to be the basis of a geometrical concept. (shrink)

In this chapter I examine past and recent theories of unconscious inference. Most theorists have ascribed inferences to perception literally, not analogically, and I focus on the literal approach. I examine three problems faced by such theories if their commitment to unconscious inferences is taken seriously. Two problems concern the cognitive resources that must be available to the visual system (or a more central system) to support the inferences in question. The third problem focuses on how the conclusions of inferences (...) are supposed to explain the phenomenal aspects of visual experience, the looks of things. Finally, in comparing past and recent responses to these problems, I provide an assessment of the current prospects for inferential theories. (This paper is reprinted in Hatfield 2009, Perception and Cognition: Essays in the Philosophy of Psychology, Clarendon Press, 124-152.). (shrink)

This article is an accompaniment to Anthony Freeman’s review of Views into the Chinese Room, reflecting on some pertinent outstanding questions about the Chinese room argument. Although there is general agreement in the artificial intelligence community that the CRA is somehow wrong, debate continues on exactly why and how it is wrong. Is there a killer counter-argument and, if so, what is it? One remarkable fact is that the CRA is prototypically a thought experiment, yet it has been very little (...) discussed from the perspective of thought experiments in general. Here, I argue that the CRA fails as a thought experiment because it commits the fallacy of undersupposing, i.e., it leaves too many details to be filled in by the audience. Since different commentators will often fill in details differently, leading to different opinions of what constitutes a decisive counter, the result is 21-plus years of inconclusive debate. (shrink)

1. A Historical Look at Unity 2. Field Guide to Modern Concepts of Reduction and Unity 3. Kitcher's Revisionist Account of Unification 4. Critics of Unity 5. Integration Instead of Unity 6. Reduction via Mechanisms 7. Case Studies in Reduction and Unification across the Disciplines.

The aim of this paper is to demonstrate that empirically delimited structures of mind are also differentiable by means of systematic logical analysis. In the sake of this aim, the paper first summarizes Demetriou's theory of cognitive organization and growth. This theory assumes that the mind is a multistructural entity that develops across three fronts: the processing system that constrains processing potentials, a set of specialized structural systems (SSSs) that guide processing within different reality and knowledge domains, and a hypecognitive (...) system that monitors and controls the functioning of all other systems. In the second part the paper focuses on the SSSs, which are the target of our logical analysis, and it summarizes a series of empirical studies demonstrating their autonomous operation. The third part develops the logical proof showing that each SSS involves a kernel element that cannot be reduced to standard logic or to any other SSS. The implications of this analysis for the general theory of knowledge and cognitive development are discussed in the concluding part of the paper. (shrink)

Cognitive sciences as an interdisciplinary field, involving scientific disciplines (such as computer science, linguistics, psychology, neuroscience, economics, etc.), philosophical disciplines (philosophy of language, philosophy of mind, analytic philosophy, etc.) and engineering (notably knowledge engineering), have a vast theoretical and practical content, some even conflicting. In this interdisciplinary context and on computational modeling, ontologies play a crucial role in communication between disciplines and also in a process of innovation of theories, models and experiments in cognitive sciences. We propose a model for (...) this process here. An ontological commitment is advocated as the framework of a scientific realism, which leads computational modeling to search for more realistic models, for a complex systems perspective of nature and cognition. In that way multiagent modeling of complex systems has been fulfilling an important role. (shrink)

This work represents an interdisciplinary attempt at the development of a-- scientific theory of norms and normativity. Normativity, understood in its most general interpretation as value determinations and prescriptions, has traditionally been troublesome to account by science and difficult to “place” within a scientific worldview. Such an accomplishment is attempted by the joining in conversation of two bodies of literature. The first of these is Steve Fuller’s naturalist epistemology and the second corresponds to the situated study of cognition, along with (...) the epistemologies that have resulted from their findings. These two bodies of literature constitute the most radically naturalist attempts at developing a viable frame of epistemological and/or normative reference within their respective fields. (shrink)

Philosophical questions about minds and computation need to focus squarely on the mathematical theory of Turing machines (TM's). Surrogate TM's such as computers or formal systems lack abilities that make Turing machines promising candidates for possessors of minds. Computers are only universal Turing machines (UTM's)—a conspicuous but unrepresentative subclass of TM. Formal systems are only static TM's, which do not receive inputs from external sources. The theory of TM computation clearly exposes the failings of two prominent critiques, Searle's Chinese room (...) (1980) and arguments from Gödel's Incompleteness theorems (e.g., Lucas, 1961; Penrose, 1989), both of which fall short of addressing the complete TM model. Both UTM-computers and formal systems provide an unsound basis for debate. In particular, their special natures easily foster the misconception that computation entails intrinsically meaningless symbol manipulation. This common view is incorrect with respect to full-fledged TM's, which can process inputs non-formally, i.e., in a subjective and dynamically evolving fashion. To avoid a distorted understanding of the theory of computation, philosophical judgments and discussions should be grounded firmly upon the complete Turing machine model, the proper model for real computers. (shrink)