The so-called ‘mental files theory’ in the philosophy of mind stems from an analogy comparing object-concepts to ‘files’, and the mind to a ‘filing system’. Though this analogy appears in philosophy of mind and language from the 1970s onward, it remains unclear to many how it should be interpreted. The central commitments of the mental files theory therefore also remain unclear. Based on influential uses of the file analogy within philosophy, I elaborate three central explanatory roles for mental files. Next, (...) I outline several common criticisms of the file picture, which have been a source of resistance to the view. Finally, I outline several interpretations of the theory, thus highlighting that the best interpretation of the file-theory's central analogy remains a live issue. (shrink)

New definitions are proposed for communication and language. Communication is defined as the evolution of physical, biochemical, cellular, community, and technological information exchange. Language is defined as community communication whereby the information exchanged comprises evolving individual and group-constructed knowledge and beliefs, that are enacted, narrated, or otherwise conveyed by evolving rule-governed and meaningful symbol systems, that are grounded, interpreted, and used from within evolving embodied, cognitive, ecological, sociocultural, and technological niches. These definitions place emphasis on the evolutionary aspects of communication (...) and language, and they are here differentiated from four older paradigms that instead focus either on the referential or social aspects of language, or the informational or semantic aspects of communication. In contrast with these paradigms, the definitions proposed here for communication and language are in line with a pluralistic evolutionary worldview, one that necessitates the recognition that a multitude of units, levels, mechanisms and processes are involved in bringing forth communication and language. (shrink)

The “systematicity argument” has been used to argue for a classical cognitive architecture (Fodor in The Language of Thought. Harvester Press, London, 1975, Why there still has to be a language of thought? In Psychosemantics, appendix. MIT Press, Cambridge, pp 135–154, 1987; Fodor and Pylyshyn in Cognition 28:3–71, 1988; Aizawa in The systematicity arguments. Kluwer Academic Press, Dordrecht, 2003). From the premises that cognition is systematic and that the best/only explanation of systematicity is compositional structure, it concludes that cognition is (...) to be explained in terms of symbols (in a language of thought) and formal rules. The debate, with connectionism, has mostly centered on the second premise-whether an explanation of systematicity requires compositional structure, which neural networks do not to exhibit (for example, Hadley and Hayward, in Minds and Machines, 7:1–37). In this paper, I will take issue with the first premise. Several arguments will be deployed that show that cognition is not systematic in general; that, in fact, systematicity seems to be related to language. I will argue that it is just verbal minds that are systematic, and they are so because of the structuring role of language in cognition. A dual-process theory of cognition will be defended as the best explanation of the facts. (shrink)

Donald Davidson used triangulation to do everything from explicate psychological and semantic externalism, to attack relativism and skepticism, to propose conditions necessary for thought and talk. At one point Davidson tried to bring order to these remarks by identifying three kinds of triangulation, each operative in a different situation. Here I take seriously Davidson’s talk of triangular situations and extend it. I start by describing Davidson’s situations. Next I establish the surprising result that considerations from one situation entail the possibility (...) that at any one time one language is partially untranslatable into another. Because the possibility is time-indexed, it need not conflict with Davidson’s own argument against the possibility of untranslatability. I derive the result, not to indict Davidson, but to propose a new kind of triangulation, the reconciliation of untranslatability, which I investigate. Insofar as triangulation is central to Davidson’s views, getting a handle on his various triangular situations is key to getting a handle on his contributions to philosophy. Insofar as those contributions have enriched our understanding of how language, thought, and reality interrelate, extending Davidson’s model promises to extend our understanding too. (shrink)

In approaching the question of whether groups of people can have cognitive capacities that are fundamentally different than the cognitive capacities of the individuals within the group, we lay out a Multiple, Interactive Levels of Cognitive Systems (MILCS) framework. The goal of MILCS is to explain the kinds of cognitive processes typically studied by cognitive scientists, such as perception, attention, memory, categorization, decision making, problem solving, and judgment. Rather than focusing on high-level constructs such as modules in an information processing (...) flow diagram or internal representations, MILCS focuses on mechanisms that allow systems to engage in flexible, adaptive behavior. Examples of these mechanisms are network structure-process pairs that: combine data from perception with top-down theories, achieve consistency and consensus through information exchange, selectively attend to information globally assessed as relevant, and develop specialized units from originally homogeneous networks through competition among the units. Two such systems are considered in some detail -- lateral inhibition within a network for selecting from a candidate set the option that is most attractive, and a diffusion process for accumulating evidence to reach a generally rapid and accurate decision. These system descriptions are aptly applied at multiple levels, including within and across people. These systems provide accounts that unify cognitive processes across multiple levels, can be expressed in a common vocabulary provided by network science, are inductively powerful yet appropriately constrained, and are applicable to a large number of superficially diverse cognitive systems. Given that people are typically highly motivated to participate in strong groups, cognitively resourceful people will tend to form groups that effectively employ cognitive systems at higher levels than the individuals. The impressive cognitive capacities of individual people do not eliminate the need to talk about group cognition. Instead, smart people generally form smart groups. (shrink)

This paper studies the relationship of Artificial Intelligence to the study of language and the representation of the underlying knowledge which supports the comprehension process. It develops the view that intelligence is based on the ability to use large amounts of diverse kinds of knowledge in procedural ways, rather than on the possession of a few general and uniform principles. The paper also provides a unifying thread to a variety of recent approaches to natural language comprehension. We conclude with a (...) brief discussion of how Artificial Intelligence may have a radical impact on education if the principles which it utilizes to explore the representation and use of knowledge are made available to the student to use in his own learning experiences. (shrink)

Many current programs for cognitive science sail under the banner of “embodied cognition.” These programs typically seek to distance themselves from standard cognitive science. The present proposal for a conception of embodied cognition is less radical than most, indeed, quite compatible with many versions of traditional cognitive science. Its rationale is based on two elements, each of which is theoretically plausible and empirically well-founded. The first element invokes the idea of “bodily formats,” i.e., representational codes primarily utilized in forming interoceptive (...) or directive representations of one’s bodily states and activities. The second element appeals to wideranging evidence that the brain reuses or redeploys cognitive processes having different original uses. When the redeployment theme is applied to bodily formats of representation, they jointly provide for the possibility that body-coded cognition is a very pervasive sector of cognition. (shrink)

There is no consensus about appropriate philosophical method that can be relied on to settle philosophical questions and instead of established findings, there are multiple conflicting arguments and positions, and widespread disagreement and debate. Given this feature of philosophy, it might seem that philosophy has proven to be a worthless endeavour, with no possibility of philosophical progress. The challenge then is to develop a conception of philosophy that reconciles the lack of general or lasting agreement with the possibility of philosophical (...) progress. I present such a conception in this paper. I argue that the aim of philosophy is to resolve philosophical problems, which is different from establishing settled and final answers or positions. Philosophical problems involve inadequate or incongruous conceptions that cannot be settled once and for all but can be resolved by transforming our conceptions so they are now congruous and adequate. There is philosophical progress every time a warranted, defensible position is developed that resolves a philosophical problem, even if there are competing resolutions and further problems to resolve, as there always are in philosophy. (shrink)

Some emotional representations seem to be unreliable. For instance, we are often afraid when there is no danger present. If emotions such as fear are so unreliable, what function do they have in our representational system? This is a problem for representationalist theories of emotion. I will argue that seemingly unreliable emotional representations are reliable after all. While many mental states strike an optimal balance between minimizing inaccurate representations and maximizing accurate representations, some emotional representations only aim at maximizing accuracy. (...) They detect important phenomena such as danger based on little evidence, which will lead to a lot of false alarms. When it matters, however, these emotional representations will detect danger and other important phenomena. Often, one is better scared (and wrong) than sorry. (shrink)

Some emotional representations seem to be unreliable. For instance, we are often afraid when there is no danger present. If emotions such as fear are so unreliable, what function do they have in our representational system? This is a problem for representationalist theories of emotion. I will argue that seemingly unreliable emotional representations are reliable after all. While many mental states strike an optimal balance between minimizing inaccurate representations and maximizing accurate representations, some emotional representations only aim at maximizing accuracy. (...) They detect important phenomena such as danger based on little evidence, which will lead to a lot of false alarms. When it matters, however, these emotional representations will detect danger and other important phenomena. Often, one is better scared (and wrong) than sorry. (shrink)

A long tradition, which starts with the metaphor of the wax tablet presented in the Theaetetus of Plato, leads us to think that the relationship between mental representation and the represented reality is in a certain way mechanical or automatic. But the truth is that the conventional aspects of signification make it impossible to understand it as a physical- mechanical process. The computer sciences, contrary to a superficial vision, do not support but rather disprove this mechanistic conception of rationality, confirming (...) that semiosis can only occur in free subjects, that is to say, not completely subject to the laws of matter. (shrink)

There are three main positions on animalthought: lingualism denies that non-linguistic animalshave any thoughts; mentalism maintains that theirthoughts differ from ours only in degree, due totheir different perceptual inputs; an intermediateposition, occupied by common sense and Wittgenstein,maintains that animals can have thoughts of a simplekind. This paper argues in favor of an intermediateposition. It considers the most important arguments infavor of lingualism, namely those inspired byDavidson: the argument from the intensional nature ofthought (Section 1); the idea that thoughts involveconcepts (Sections (...) 2–3); the argument from the holisticnature of thought (Section 4); and the claim that beliefrequires the concept of belief (Sections 5–6). The lastargument (which Davidson favors) is uncompelling, butthe first three shed valuable light on the extent towhich thought requires language. However, none of themprecludes animals from having simple thoughts. Even ifone adopts the kind of third-person perspective onthought Davidson shares with Wittgenstein, the resultis a version of the intermediate position, albeit oneenriched by Davidson''s insights concerningintensionality, concepts and holism (Section 7). We canonly ascribe simple thoughts to animals, and even thatascription is incongruous in that the rich idiom weemploy has conceptual connections that go beyond thephenomena to which it is applied. (shrink)

Gleitman and Trueswell’s “The easy words” forms a pair with their earlier paper, “Hard words,” completing a circle in which the authors ask how “easy” words (e.g., concrete nouns) are learned. They take up the hypothesis of “cross‐situational learning,” and argue that accumulating observations actually hinders learning if the mechanism requires holding all exemplars in memory over time. They present an alternative hypothesis, “Propose but Verify,” wherein people use one‐trial learning to confirm or disconfirm their current hypothesis—a mechanism distinctly different (...) from cross‐situational learning. (shrink)

This paper has two interrelated aims. The primary aim is to specify the character of philosophical theories of mental content that are usually classified as ‘Causal Theories of Intentionality’, ‘Causal Theories of Representation’, or ‘Causal Theories of Mental Content’ (CTs). More specifically, the aim is to characterize the role and place of causation in philosophical reflections on the nature of mental content, as suggested by theories of this kind. Elucidation of the role of the concept of causation in CTs requires (...) examining the philosophical background against which versions of CTs are proposed; therefore the second aim of this paper is to clarify the link between CTs and the two philosophical theories that accompany it: the doctrine of philosophical naturalism (PN) and the representational theory of mind (RTM). Clarification of the relationship between the three theories is not only necessary for an adequate specification of the causal component that plays a central role in CTs, and so for a better understanding of CTs themselves; it also shows how the role that causation plays in CTs implies a genuinely relational conception of intentionality. (shrink)

What constitutes our human capacity to engage and be in the same frame of mind as another human? How do we come to share a sense of what ‘looks good’ and what ‘makes sense’? How do we handle differences and come to coexist with them? How do we come to feel that we understand what someone else is experiencing? How are we able to walk in silence with someone familiar and be sharing a peaceful space? All of these aspects are (...) part of human ‘interaction’. In designing interactive technologies designers have endeavoured to explicate, analyse and simulate, our capacity for social adaptation. Their motivations are mixed and include the desires to improve efficiency, improve consumption, to connect people, to make it easier for people to work together, to improve education and learning. In these endeavours to explicate, analyse and simulate, there is a fundamental human capacity that is beyond technology and that facilitates these aspects of being, feeling and thinking with others. That capacity, we suggest, is human entrainment. This is our ability to coordinate the timing of our behaviours and rhythmically synchronise our attentional resources. Expressed within the movements of our bodies and voices, it has a quality that is akin to music. In this paper, disparate domains of research such as pragmatics, social psychology, behaviourism, cognitive science, computational linguistics, gesture, are brought together, and considered in light of the developments in interactive technology, in order to shape a conceptual framework for understanding entrainment in everyday human interaction. (shrink)

The neuroscience revolution has led many scientists to posit “expansive” or “thinking” brains that instantiate rich psychological properties. As a result, some scientists now even claim you are identical to such a brain. However, Eric Olson has offered new arguments that thinking brains cannot exist due to their intuitively “abominable” implications. After situating the commitment to thinking brains in the wider scientific discussions in which they are posited, I then critically assess Olson's arguments against such entities. Although highlighting an important (...) insight, I show that Olson's objections to the existence of thinking brains fail and that a wider discussion engaging our new empirical findings is actually required in order to resolve the deeper issues. (shrink)

In this paper, I explicate and discuss performance-similarity reasoning as a strategy for mechanism schema evaluation, understood in Lindley Darden’s sense. This strategy involves inferring hypotheses about the mechanism responsible for cognitive capacities from premises describing the performance of those capacities; performance-similarity reasoning is a type of Inference to the Best Explanation, or IBE. Two types of such inferences are distinguished: one in which the performance of two systems is compared, and another when the performance of two systems under intervention (...) is compared. Both types of inferences are illustrated with examples taken from cognitive science. I conclude that performance-similarity reasoning is an important strategy for evaluating mechanistic hypotheses. (shrink)

It is commonly supposed that perceptual representations in some way embed concepts and that this embedding accounts for the phenomenon of seeing-as. But there are good reasons, which will be reviewed here, to doubt that perceptions embed concepts. The alternative is to suppose that perceptions are marks in a perceptual similarity space that map into locations in an objective quality space. From this point of view, there are at least three sorts of seeing-as. First, in cases of ambiguity resolution, the (...) schematicity of the figure leaves us with a choice as to where in perceptual similarity space to place a mark. Second, in cases where expertise affects perception, the accumulation of perceptual landmarks permits a more precise placement of a mark in perceptual similarity space. Third, extensive experience with an object allows similarity to that object to serve as an acquired dimension in perceptual similarity space, which in turn affects the relative similarities of other objects. This is an open access publication. (shrink)

Philosophers debate about which logical system, if any, is the One True Logic. This involves a disagreement concerning the sufficient conditions that may single out the correct logic among various candidates. This paper discusses whether there are necessary conditions for the correct logic; that is, I discuss whether there are features such that if a logic is correct, then it has those features, although having them might not be sufficient to single out the correct logic. Traditional rationalist arguments suggest that (...) the necessary conditions of thought are necessary and sufficient conditions singling out the correct logical and mathematical theories. In the contemporary debate, Chalmers advocates a view along this line. Jago, analogously, suggests that the necessary conditions for thought—or, as he calls them, our basic epistemic expectations—single out a family of logical and mathematical theories. Warren and Williamson, on the other hand, argue that there are no necessary conditions of thought. I argue that there are necessary conditions for thought, and these are necessary but not sufficient conditions to be the correct logic; indeed, these are features that all logics—correct or incorrect—share. No view we can understand is ruled out by the necessary conditions for thought, but we cannot understand quite any view. Human linguistic and conceptual abilities are genetically constrained, and these constraints are our best guide to the boundaries of logic. Arguing for this, I tackle two dogmas of modern rationalism: namely, the view that the biological constraints of human cognition have no bearing on the boundaries of the epistemic space, and the view that the boundaries of thought coincide with the boundaries of language. (shrink)

Language is infused with materiality and should therefore not be considered as an abstract system that is isolated from socio-material reality. Expressions materialise language in social practices, thus providing the necessary basis for languaging activities. For this reason, it makes sense to challenge proponents of orthodox linguistics and others who hold that language can be studied in isolation from its concrete manifestations. By exploring the relation between materiality and linguistic activity, the article extends Malafouris’ Material Engagement Theory while clarifying the (...) phenomenon of ‘linguistic denotation’. In so doing, it critiques orthodox approaches to language which trace denotation to abstract meanings and/or mental representations. The article shows how the denotative aspects of language can be cashed out in non-representational terms and, furthermore, that the interrelation of denotation and materiality is crucial to human material culture in that it allows for material engagements to transcend localised contexts. These engagements become global in Latour’s sense and, in so doing, denotation ceases to demand descriptions in terms of representations. (shrink)

The paper thematizes basic content-free cognition in human social practices. It explores the enlanguaged dimension of skilled practical doings and expertise by taking the minimal case of concept-based perception as its starting point. Having made a case for considering such activity as free of mental content, I argue in favor of the abolishment of the distinction between truth-telling and social consensus, thus questioning the assumption held by proponents of Radical Enactivism, namely that truth and accuracy conditions are restricted to content-involving (...) activity. Instead, I claim, even content-free practical activity can be evaluated on the basis of accuracy conditions which ultimately tie with agents’ practical understandings and the normative aspects of the practice. With this as my backdrop, I explore how expertise arises in the interplay of enlanguaged affordances, concept-involving perception and the normative accuracy conditions that constrain a particular practice. (shrink)

A fundamental problem in spoken language is the duality between the continuous aspects of phonetic performance and the discrete aspects of phonological competence. We study 2 instances of this problem from the phenomenon of voicing neutralization and vowel harmony. In each case, we present a model where the experimentally observed continuous distinctions are linked to the discreteness of phonological form using the mathematics of nonlinear dynamics.

The Free Choice effect—whereby \\) seems to entail both \ and \—has traditionally been characterized as a phenomenon affecting the deontic modal ‘may’. This paper presents an extension of the semantic account of free choice defended by Fusco to the agentive modal ‘can’, the ‘can’ which, intuitively, describes an agent’s powers. On this account, free choice is a nonspecific de re phenomenon that—unlike typical cases—affects disjunction. I begin by sketching a model of inexact ability, which grounds a modal approach to (...) agency in a Williamson -style margin of error. A classical propositional semantics combined with this framework can reflect the intuitions highlighted by Kenny ’s dartboard cases, as well as the counterexamples to simple conditional views recently discussed by Mandelkern et al.. In Section 3, I turn to an independently motivated actual-world-sensitive account of disjunction, and show how it extends free choice inferences into an object language for propositional modal logic. (shrink)

Do accounts of scientific theory formation and revision have implications for theories of everyday cognition? We maintain that failing to distinguish between importantly different types of theories of scientific inference has led to fundamental misunderstandings of the relationship between science and everyday cognition. In this article, we focus on one influential manifestation of this phenomenon which is found in Fodor's well-known critique of theories of cognitive architecture. We argue that in developing his critique, Fodor confounds a variety of distinct claims (...) about the holistic nature of scientific inference. Having done so, we outline more promising relations that hold between theories of scientific inference and ordinary cognition. (shrink)

An important part of David Hume’s work is his attempt to put the natural sciences on a firmer foundation by introducing the scientific method into the study of human nature. This investigation resulted in a novel understanding of the mind, which in turn informed Hume’s critical evaluation of the scope and limits of the scientific method as such. However, while these latter reflections continue to influence today’s philosophy of science, his theory of mind is nowadays mainly of interest in terms (...) of philosophical scholarship. This paper aims to show that, even though Hume’s recognition in the cognitive sciences has so far been limited, there is an opportunity to reevaluate his work in the context of more recent scientific developments. In particular, it is argued that we can gain a better understanding of his overall philosophy by tracing the ongoing establishment of the enactive approach. In return, this novel interpretation of Hume’s ‘science of man’ is used as the basis for a consideration of the current and future status of the cognitive sciences. (shrink)

In the current literature, discussions of cognitive penetrability focus largely either on interpreting empirical evidence in ways that is relevant to the question of modularity :343–391, 1999; Wu Philos Stud 165:647–669, 2012; Macpherson Philos Phenomenol Res, 84:24–62, 2012) or in offering epistemological considerations regarding which properties are represented in perception :519–540, 2009, Noûs 46:201–222, 2011; Prinz Perceptual experience, Oxford University Press, Oxford, pp 434–460, 2006). In contrast to these debates, in this paper, I explore conceptual issues regarding how we ought (...) to understand the “cognitive” side of cognitive penetrability. I argue that it is only on its most narrow construal that a full-fledged defense of cognitive impenetrability has been forwarded. Specifically, I argue that the defenders of modularity have tacitly identified cognitive states with propositional states, and have thus only defended the idea that early perceptual systems are immune to the impacts of propositional knowledge. My aim then is to raise doubts about the identification of cognitive states with propositional ones. In particular, by focusing on skill, I will broaden the conceptual space for a greater number of states to have the potential to impact perceptual processing in a way that would constitute a genuine instance of cognitive penetrability. (shrink)

Recent experiments have shown that when individuals with a substance use disorder are confronted with drug-related cues, they exhibit an automatically activated tendency to approach these cues. The strength of the drug approach bias has been associated with clinically relevant measures, such as increased drug craving and relapse, and activations in brain reward areas. Retraining the approach bias by means of cognitive bias modification has been demonstrated to decrease relapse rates in patients with an alcohol use disorder and to reduce (...) alcohol cue-evoked limbic activity. Here, we review empirical and theoretical literature on the drug approach bias and explore two distinct models of how the drug approach bias may be embodied. First, we consider the “biological meaning” hypothesis, which grounds the automatic approach bias in the natural meaning of the body. Second, we consider the “sensorimotor hypothesis,” which appeals to the specific sensorimotor loops involved in the instantiation of addictive behaviors as the basis of the automatic approach bias. In order to differentiate between the adequacies of these competing explanations, we present specific, predictions that each model should make. (shrink)

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...) in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

I argue that we are sometimes morally responsible for having and using (or not using) our concepts, despite the fact that we generally do not choose to have them or have full or direct voluntary control over how we use them. I do so by extending an argument of Angela Smith's; the same features that she says make us morally responsible for some of our attitudes also make us morally responsible for some of our concepts. Specifically, like attitudes, concepts can (...) be (a) conceptually and rationally connected to our evaluative judgments, (b) in principle subject to rational revision (reasons‐responsive), and (c) the basis for actual and potential moral assessments of people that we have good reasons to endorse. Thus, we are open to moral appraisal on the basis of having and using (or not using) our concepts when they reflect our evaluative judgments, though even then it is not always appropriate to praise or blame us on that basis. (shrink)

This paper deals with the question: how is computation best individuated? -/- 1. The semantic view of computation: computation is best individuated by its semantic properties. 2. The causal view of computation: computation is best individuated by its causal properties. 3. The functional view of computation: computation is best individuated by its functional properties. -/- Some scientific theories explain the capacities of brains by appealing to computations that they supposedly perform. The reason for that is usually that computation is individuated (...) semantically. I criticize the reasons in support of this view and its presupposition of representation and semantics. Furthermore, I argue that the only justified appeal to a representational individuation of computation might be that it is partly individuated by implicit intrinsic representations. (shrink)

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)

This paper deals with the question: What are the criteria that an adequate theory of computation has to meet? 1. Smith's answer: it has to meet the empirical criterion (i.e. doing justice to computational practice), the conceptual criterion (i.e. explaining all the underlying concepts) and the cognitive criterion (i.e. providing solid grounds for computationalism). 2. Piccinini's answer: it has to meet the objectivity criterion (i.e. identifying computation as a matter of fact), the explanation criterion (i.e. explaining the computer's behaviour), the (...) right things compute criterion, the miscomputation criterion (i.e. accounting for malfunctions), the taxonomy criterion (i.e. distinguishing between different classes of computers) and the empirical criterion. 3. Von Neumann's answer: it has to meet the precision and reliability of computers criterion, the single error criterion (i.e. addressing the impacts of errors) and the distinction between analogue and digital computers criterion. 4. “Everything” computes answer: it has to meet the implementation theory criterion by properly explaining the notion of implementation. -/- According to computationalists, minds are computational. Before we can judge the plausibility of any particular computationalist theory, we need to understand what notion of computation this theory employs. Although there are extant accounts of computation, any of which may, in principle, serve as a basis for computationalism, it isn’t clear that they’re all equivalent or even adequate as accounts of computation proper. By examining plausible alternatives to Smith’s adequacy criteria, our goal here is to resist his claim that no adequate account of computation proper is possible. (shrink)

Evolutionary psychology is widely understood as involving an integration of evolutionary theory and cognitive psychology, in which the former promises to revolutionise the latter. In this paper, I suggest some reasons to doubt that the assumptions of evolutionary theory and of cognitive psychology are as directly compatible as is widely assumed. These reasons relate to three different problems of specifying adaptive functions as the basis for characterising cognitive mechanisms: the disjunction problem, the grain problem and the environment problem. Each of (...) these problems can be understood as arising from incommensurate characterisations of the nature and role of 'the environment' in the two approaches. Purported solutions to the problems appear to require detailed information concerning the EEA (environment of evolutionary adaptedness), with the disjunction problem placing the lowest requirement, the environment problem placing the highest requirement, and the grain problem placing an intermediate one. In each case, such information is not likely to be forthcoming, because it may require iterating through successively more distant EEA's with no principled stopping point. This produces a dilemma for evolutionary psychology - either to solve these apparently insoluble problems, or to attempt to avoid them but in doing so forego detailed evolutionary constraints on cognition. (shrink)

The paper explores the distinction between two doctrines, both of which inform theory construction in much of modern cognitive psychology: the representational theory of mind and the computational theory of mind. According to the former, propositional attitudes are to be construed as relations that organisms bear to mental representations. According to the latter, mental processes have access only to formal (nonsemantic) properties of the mental representations over which they are defined.The following claims are defended: (1) That the traditional dispute between (...) “rational” and “naturalistic” psychology is plausibly viewed as an argument about the status of the computational theory of mind. Rational psychologists accept a formality condition on the specification of mental processes; naturalists do not. (2) That to accept the formality condition is to endorse a version of methodological solipsism. (3) That the acceptance of some such condition is warranted, at least for that part of psychology which concerns itself with theories of the mental causation of behavior. This is because: (4) such theories require nontransparent taxonomies of mental states; and (5) nontransparent taxonomies individuate mental states without reference to their semantic properties. Equivalently, (6) nontransparent taxonomies respect the way that the organism represents the object of its propositional attitudes toitself, and it is this representation which functions in the causation of behavior.The final section of the paper considers the prospect for a naturalistic psychology: one which defines its generalizations over relations between mental representations and their environmental causes, thus seeking to account for the semantic properties of propositional attitudes. Two related arguments are proposed, both leading to the conclusion that no such research strategy is likely to prove fruitful. (shrink)

The paper explores the distinction between two doctrines, both of which inform theory construction in much of modern cognitive psychology: the representational theory of mind and the computational theory of mind. According to the former, propositional attitudes are to be construed as relations that organisms bear to mental representations. According to the latter, mental processes have access only to formal (nonsemantic) properties of the mental representations over which they are defined.The following claims are defended: (1) That the traditional dispute between (...) “rational” and “naturalistic” psychology is plausibly viewed as an argument about the status of the computational theory of mind. Rational psychologists accept a formality condition on the specification of mental processes; naturalists do not. (2) That to accept the formality condition is to endorse a version of methodological solipsism. (3) That the acceptance of some such condition is warranted, at least for that part of psychology which concerns itself with theories of the mental causation of behavior. This is because: (4) such theories require nontransparent taxonomies of mental states; and (5) nontransparent taxonomies individuate mental states without reference to their semantic properties. Equivalently, (6) nontransparent taxonomies respect the way that the organism represents the object of its propositional attitudes toitself, and it is this representation which functions in the causation of behavior.The final section of the paper considers the prospect for a naturalistic psychology: one which defines its generalizations over relations between mental representations and their environmental causes, thus seeking to account for the semantic properties of propositional attitudes. Two related arguments are proposed, both leading to the conclusion that no such research strategy is likely to prove fruitful. (shrink)

Recently, Horsman et al. have proposed a new framework, Abstraction/Representation theory, for understanding and evaluating claims about unconventional or non-standard computation. Among its attractive features, the theory in particular implies a novel account of what is means to be a computer. After expounding on this account, I compare it with other accounts of concrete computation, finding that it does not quite fit in the standard categorization: while it is most similar to some semantic accounts, it is not itself a semantic (...) account. Then I evaluate it according to the six desiderata for accounts of concrete computation proposed by Piccinini. Finding that it does not clearly satisfy some of them, I propose a modification, which I call Agential AR theory, that does, yielding an account that could be a serious competitor to other leading account of concrete computation. (shrink)

This paper discusses the role that appeals to theoretical simplicity have played in the debate between nativists and empiricists in cognitive science. Both sides have been keen to make use of such appeals in defence of their respective positions about the structure and ontogeny of the human mind. Focusing on the standard simplicity argument employed by empiricist-minded philosophers and cognitive scientists—what I call “the argument for minimal innateness”—I identify various problems with such arguments—in particular, the apparent arbitrariness of the relevant (...) notions of simplicity at work. I then argue that simplicity ought not be seen as a theoretical desideratum in its own right, but rather as a stand-in for other desirable features of theories. In this deflationary vein, I argue that the best way of interpreting the argument for minimal innateness is to view it as an indirect appeal to various potential biological constraints on the amount of innate structure that can wired into the human mind. I then consider how nativists may respond to this biologized version of the argument, and discuss the role that similar biological concerns have played in recent nativist theorizing in the Minimalist Programme in generative linguistics. (shrink)

Faced with realist-resistant sciences and the no-nonsense attitude of the times realism has moved away from the rather grandiose program that had traditionally been characteristic of its school. The objective of the shift seems to be to protect some doctrine still worthy of the "realist" name. The strategy is to relocate the school to where conditions seem optimal for its defense, and then to insinuate that the case for such a " piecemeal realism" could be made elsewhere too, were there (...) but world enough and time. The burden of this paper is to examine this piecemeal approach and to show why, despite the relocation, it cannot escape the difficulties of its grander cousins. For that purpose I begin with some brief historical reminders, and with a quick review of the state of the argument before realism went to pieces. This will help us see what has been abandoned in realism's flight, and what baggage still remains. (shrink)

Is it possible for there to be facts about reality with a logical structure that is in principle unrepresentable by us? I outline the main motivations for thinking that this question should receive a positive answer. I then argue that, upon inspection, the view that such structurally ineffable facts are possible is self-defeating and thus incoherent. My argument is based on considerations about the fundamental role that the purely formal concept of an object plays in our propositional representations and its (...) intimate connection with subject-predicate structure. (shrink)

The aim of this article is to argue against the real possibility of languages without subject‐predicate structure, so‐called feature‐placing languages. They were first introduced by Strawson (1959/1990), later given formal expression through Quine's Predicate Functor Logic (Quine, 1960, Quine, 1971/Quine, 1976, Quine, 1992), and further elaboration in (Hawthorne & Cortens, 1995). I argue that, on the presumption that feature‐placing languages are not mere notational variants on first‐order languages, the idea of such languages is incoherent. The argument for this view rests (...) on two highly plausible views about the conditions for the possibility of sentential meaning in natural languages. If accepted, these two views jointly imply that the sentences of feature‐placing languages lack sufficient internal structure to meet the conditions for sentential meaning. Feature‐placing languages cannot then count as genuine languages. (shrink)