Goal‐directed cognition is often discussed in terms of specialized memory structures like the “goal stack.” The goal‐activation model presented here analyzes goal‐directed cognition in terms of the general memory constructs of activation and associative priming. The model embodies three predictive constraints: (1) the interference level, which arises from residual memory for old goals; (1) the strengthening constraint, which makes predictions about time to encode a new goal; and (3) the priming constraint, which makes predictions about the role of cues in (...) retrieving pending goals. These constraints are formulated algebraically and tested through simulation of latency and error data from the Tower of Hanoi, a means‐ends puzzle that depends heavily on suspension and resumption of goals. Implications of the model for understanding intention superiority, postcompletion error, and effects of task interruption are discussed. (shrink)

This paper develops Lewis’ notion of convention within a framework that mixes cognitive science with some more social theories of activity like distributed cognition and activity theory. The close examination of everyday situations of convention-based activity will produce some interesting issues for a cognitive theory of behavior. Uncertainty, dynamics, and the complexities of the performance of convention-based activities that are distributed over time and/or place, are driving factors in the analysis that is presented. How the actors reason and manage their (...) collaboration is characterized as pragmatic action. During the course of recurrent activities, the participants adapt previously learned convention-based activities to new circumstances. The coordinating representations that are a part of the design of the context mediate parts of the activity. As they act, the participants learn. (shrink)

In this paper, I describe grounds for dissatisfaction with certain aspects of the sciences of animal cognition and argue that a turn toward mathematical modeling of animal cognition is warranted. I consider some objections to this call and argue that the implications of such a turn are not as drastic for ordinary, commonsense understanding of animal minds as they might seem.

This study analyzes the content of 12th-grade mathematics textbooks and workbooks, based on their inclusion of mathematical discourse components. The mathematics textbooks and workbooks were used in a Saudi Arabian school, where students are transitioning from secondary education to university. The results revealed that Saudi Arabian school textbooks and workbooks did not appropriately include discourse components or discourse skills to help facilitate mathematical learning among students. Furthermore, these textbooks did not exceed level two of the four levels of inclusion. As (...) a result, the inclusion was insufficient in helping students meaningfully understand mathematical concepts, become active students, and develop successful community leadership. This implies that mathematics textbooks and workbooks should be revised to include mathematical discourse so that this inclusion is more student directed than teacher directed. (shrink)

This paper argues that AI follows classical versions of epistemology in assuming that the identity of the knowing subject is not important. In other words this serves to `delete the subject''. This disguises an implicit hierarchy of knowers involved in the representation of knowledge in AI which privileges the perspective of those who design and build the systems over alternative perspectives. The privileged position reflects Western, professional masculinity. Alternative perspectives, denied a voice, belong to less powerful groups including women. Feminist (...) epistemology can be used to approach this from new directions, in particular, to show how women''s knowledge may be left out of consideration by AI''s focus on masculine subjects. The paper uncovers the tacitly assumed Western professional male subjects in two flagship AI systems, Cyc and Soar. (shrink)

I reject Lindquist et al.'s implicit claim that all emotion theories other than constructionist ones subscribe to a “brain locationist” approach. The neural mechanisms underlying relevance detection, reward, attention, conceptualization, or language use are consistent with many theories of emotion, in particular componential appraisal theories. I also question the authors' claim that the meta-analysis they report provides support for thespecificassumptions of constructionist theories.

Because of the complexity of human emotional responses, invariants must be sought not in the responses themselves, but in their generating mechanisms. Lindquist et al. show that functional locationism is a theoretical dead end; their proposed mechanistic framework is a first step toward better models of emotional behavior. We caution, however, that emotions may still be quasi-naturalperceptualtypes.

Lindquist et al. convincingly argue that the brain implements psychological operations that are constitutive of emotion rather than modules subserving discrete emotions. However, thenatureof such psychological operations is open to debate. I argue that considering appraisal theories may provide alternative interpretations of the neuroimaging data with respect to the psychological operations involved.

In grappling with the micro-macro problem in sociology, philosophers of the field are finding it increasingly useful to associate micro-sociology with theory reduction. In this article I argue that the association is ungrounded and undesirable. Although of a reductive "disposition," micro-sociological theories instantiate something more like "reductive explanation," whereby the causal roles of social wholes are explained in terms of their psychological parts. In this form, micro-sociological theories may actually have a better shot at closing the sociology–psychology explanatory gap, and (...) resist many antireductionist arguments, including the well-known argument from "multiple realization.". (shrink)

This chapter investigates the extent to which claims of massive modular organization of the mind (espoused by some members of the evolutionary psychology research program) are consistent with the main elements of the simple heuristics research program. A number of potential sources of conflict between the two programs are investigated and defused. However, the simple heuristics program turns out to undermine one of the main arguments offered in support of massive modularity, at least as the latter is generally understood by (...) philosophers. So one result of the argument will be to force us to re-examine the way in which the notion of modularity in cognitive science should best be characterized, if the thesis of massive modularity isn’t to be abandoned altogether. What is at stake in this discussion, is whether there is a well-motivated notion of ‘module’ such that we have good reason to think that the human mind must be massively modular in its organization. I shall be arguing (in the end) that there is. (shrink)

The predictive processing account of action, cognition, and perception is one of the most influential approaches to unifying research in cognitive science. However, its promises of grand unification will remain unfulfilled unless the account becomes theoretically robust. In this paper, we focus on empirical commitments of PP, since they are necessary both for its theoretical status to be established and for explanations of individual phenomena to be falsifiable. First, we argue that PP is a varied research tradition, which may employ (...) various kinds of scientific representations, differing in the scope of empirical commitments they entail. Two major perspectives on PP qua cognitive theory may then be distinguished: generalized vs. hierarchical. The first one fails to provide empirical detail, and the latter constrains possible physical implementations. However, we show that even hierarchical PP is insufficiently restrictive to disallow incorrect models and may be adjusted to explain any neurocognitive phenomenon–including non-existent or impossible ones–through flexible adjustments. This renders PP a universal modeling tool with an unrestricted number of degrees of freedom. Therefore, in contrast with declarations of its proponents, it should not be understood as a unifying theoretical perspective, but as a computational framework, possibly informing further theory development in cognitive science. (shrink)

The traditional practice of establishing morphological types and investigating morphological organization has found new support from evolutionary developmental biology (evo-devo), especially with respect to the notion of body plans. Despite recurring claims that typology is at odds with evolutionary thinking, evo-devo offers mechanistic explanations of the evolutionary origin, transformation, and evolvability of morphological organization. In parallel, philosophers have developed non-essentialist conceptions of natural kinds that permit kinds to exhibit variation and undergo change. This not only facilitates a construal of species (...) and higher taxa as natural kinds, but also broadens our perspective on the diversity of kinds found in biology. There are many different natural kinds relevant to the investigative and explanatory aims of evo-devo, including homologues and developmental modules. (shrink)

Fechner's conception of psychophysics included both “outer psychophysics” the relation between stimulus intensity and the response reflecting sensation strength, and “inner psychophysics” the relation between neurelectric responses and sensation strength. In his own time outer psychophysics focussed on the form of the psychophysical law, with Fechner espousing a logarithmic law, Delboeuf a variant of the logarithmic law incorporating a resting level of neural activity, and Plateau a power law. One of the issues on which the dispute was focussed concerned the (...) appearance of contrasts if the overall illumination was increased or decreased; another issue was the question of whether a sensation of a “just noticeable difference” established for one value of a sensory dimension appeared the same for a value elsewhere on the dimension. The development of “inner psychophysics” led through the works of Delboeuf, Solomons, Jastrow, and Thurstone to modern signal detection theory. A third line of research, devoted to the question of what was meant by the “measurement” of sensation strength, stemmed from the criticism of Fechner's work by von Kries (1882) and others. Although a valid body of science could be built up without the intervening variable called “sensation strength,” such a science might be a cumbersome representation of reality. When an optical contrast is set up, and its overall illumination is increased or decreased, subjective contrasts involving medium levels of lightness vary little as illumination varies (as a power law based on sensation ratios or a logarithmic law based on sensation differences predict), but subjective contrasts involving extreme levels of lightness might be subject to the effects of other variables. (shrink)

We present nine facets for the analysis of the past and future evolution of AI. Each facet has also a set of edges that can summarise different trends and contours in AI. With them, we first conduct a quantitative analysis using the information from two decades of AAAI/IJCAI conferences and around 50 years of documents from AI topics, an official database from the AAAI, illustrated by several plots. We then perform a qualitative analysis using the facets and edges, locating AI (...) systems in the intelligence landscape and the discipline as a whole. This analytical framework provides a more structured and systematic way of looking at the shape and boundaries of AI. (shrink)

By a reasoned change in logic I mean a change in the logic with which you make inferences that is based on your evidence. An argument sourced in recently published material Kripke lectured on in the 1970s, and dubbed the Adoption Problem by Birman (then Padró) in her 2015 dissertation, challenges the possibility of reasoned changes in logic. I explain why evidentialists should be alarmed by this challenge, and then I go on to dispel it. The Adoption Problem rests on (...) a failure to distinguish between logical principles such as Universal Instantiation and Modus Ponens which might or might not govern your inferences with superficially similar laws which must govern your cognitive architecture. (shrink)

Descartes argued that productivity, namely our ability to generate an unlimited number of new thoughts or ideas from previous ones, derives from a single undividable source in the human soul. Cognitive scientists, in contrast, have viewed productivity as a modular phenomenon. According to this latter view, syntactic, semantic, musical or visual productivity emerges each from their own generative engines in the human brain. Recent evidence has, however, led some authors to revitalize the Cartesian theory. According to this view, a single (...) source or a single mechanism in the human brain produces productivity in every cognitive domain, whether in the domain of music, semantics or syntax. In this article, we will address recent evidence concerning the single source hypothesis from brain-imaging studies, linguistics, cognitive theories of music perception, biology of cognition and cognitive development, along with several objections that have been presented against this hypothesis. We formulate two versions of the Cartesian theory which combine the more recent computational theory of cognition with Descartes' view on productivity. (shrink)

Book Description (Blurb): Cognitive Design for Artificial Minds explains the crucial role that human cognition research plays in the design and realization of artificial intelligence systems, illustrating the steps necessary for the design of artificial models of cognition. It bridges the gap between the theoretical, experimental and technological issues addressed in the context of AI of cognitive inspiration and computational cognitive science. -/- Beginning with an overview of the historical, methodological and technical issues in the field of Cognitively-Inspired Artificial Intelligence, (...) Lieto illustrates how the cognitive design approach has an important role to play in the development of intelligent AI technologies and plausible computational models of cognition. Introducing a unique perspective that draws upon Cybernetics and early AI principles, Lieto emphasizes the need for an equivalence between cognitive processes and implemented AI procedures, in order to realise biologically and cognitively inspired artificial minds. He also introduces the Minimal Cognitive Grid, a pragmatic method to rank the different degrees of biologically and cognitive accuracy of artificial systems in order project and predict their explanatory power with respect to the natural systems taken as source of inspiration. -/- Providing a comprehensive overview of cognitive design principles in constructing artificial minds, this text will be essential reading for students and researchers of artificial intelligence and cognitive science. (shrink)

Each day people are presented with circumstances that may require speculation. Scientists may ponder questions such as why a star is born or how rainbows are made, psychologists may ask social questions such as why people are prejudiced, and military strategists may imagine what the consequences of their actions might be. Speculations may lead to the generation of putative explanations called hypotheses. But it is by checking if hypotheses accurately reflect the encountered facts that lead to sensible behaviour demonstrating a (...) true understanding. If evidence shows a hypothesis to be false, then people should rationally abandon it, especially if there are negative consequences. The aim of this thesis is to examine how effectively people search for evidence in their hypothesis testing to test whether or not their hypotheses are true or false in competitive games. -/- Research findings from six studies of hypothesis testing behaviour in competitive deductive tasks are explored. Chapter by chapter the thesis tests how everyday people, and master chess players, tackle hypothesis testing in mathematical tasks, such as how to solve sequential number sequence puzzles when thinking about an opponent, or how to solve chess problems in a variety of contexts. The implications of the results are discussed in light of aspects of general cognition: such as reasoning, social hypothesis testing and planning. (shrink)

Complex systems are to be seen as typically having multiple levels of organization. For instance, in the behavioural and cognitive sciences, there has been a long lasting trend, promoted by the seminal work of David Marr, putting focus on three distinct levels of analysis: the computational level, accounting for the What and Why issues, the algorithmic and the implementational levels specifying the How problem. However, the tremendous developments in neuroscience knowledge about processes at different scales of organization together with the (...) complexity of today cognitive theories suggest that there will hardly be only three levels of explanation. Instead, there will be many different degrees of commitments corresponding to the different granularities—from high-level (behavioural) models to low-level (neural and molecular) models of the cognitive research program. For instance, Bayesian approaches, that are usually advocated for formalizing Marr’s computational level and rational behaviour, have even been adopted to model synaptic plasticity and axon guidance by molecular gradients. As a result, we can consider the behavioural scientist as dealing with models at a multiplicity of levels. The purpose of this Research Topic in Frontiers in Theoretical and Philosophical Psychology is to promote an approach to the role of the levels and explanation and models which is of interest for cognitive scientists, neuroscientists, psychologists, behavioural scientists, and philosophers of science. (shrink)

It is generally accepted that there is something special about reasoning by using mental images. The question of how it is special, however, has never been satisfactorily spelled out, despite more than thirty years of research in the post-behaviorist tradition. This article considers some of the general motivation for the assumption that entertaining mental images involves inspecting a picture-like object. It sets out a distinction between phenomena attributable to the nature of mind to what is called the cognitive architecture, and (...) ones that are attributable to tacit knowledge used to simulate what would happen in a visual situation. With this distinction in mind, the paper then considers in detail the widely held assumption that in some important sense images are spatially displayed or are depictive, and that examining images uses the same mechanisms that are deployed in visual perception. I argue that the assumption of the spatial or depictive nature of images is only explanatory if taken literally, as a claim about how images are physically instantiated in the brain, and that the literal view fails for a number of empirical reasons – for example, because of the cognitive penetrability of the phenomena cited in its favor. Similarly, while it is arguably the case that imagery and vision involve some of the same mechanisms, this tells us very little about the nature of mental imagery and does not support claims about the pictorial nature of mental images. Finally, I consider whether recent neuroscience evidence clarifies the debate over the nature of mental images. I claim that when such questions as whether images are depictive or spatial are formulated more clearly, the evidence does not provide support for the picture-theory over a symbol-structure theory of mental imagery. Even if all the empirical claims were true, they do not warrant the conclusion that many people have drawn from them: that mental images are depictive or are displayed in some (possibly cortical) space. Such a conclusion is incompatible with what is known about how images function in thought. We are then left with the provisional counterintuitive conclusion that the available evidence does not support rejection of what I call the “null hypothesis”; namely, that reasoning with mental images involves the same form of representation and the same processes as that of reasoning in general, except that the content or subject matter of thoughts experienced as images includes information about how things would look. (shrink)

This paper discusses different approaches incognitive science and artificial intelligenceresearch from the perspective of radicalconstructivism, addressing especially theirrelation to the biologically based theories ofvon Uexküll, Piaget as well as Maturana andVarela. In particular recent work in New AI and adaptive robotics on situated and embodiedintelligence is examined, and we discuss indetail the role of constructive processes asthe basis of situatedness in both robots andliving organisms.

In information theory there is a fundamental principle, usually referred to as the informational “uncertainty principle”, which expresses a limitation of any information processing system (or agent) in terms of a relation between the system's response property and its inherent processing capacity. From this principle, it can be argued that a salutary strategy for dealing with conflicting information processing requirements is to adopt various complementary processes (or channels). Donald M. MacKay had attempted to relate the informational uncertainty principle to spatial (...) and temporal response properties of neurons in the mammalian visual cortex, and suggested that the spatial and the temporal aspects of such neurons are complementary. I attempt to extend his efforts and to show that the informational uncertainty principle may indeed underlie many complementary relations exhibited in human perception and cognition, such as the relation between the two principal processing streams in vision and the relation between parallel and serial processes in cognition. (shrink)

The traditional view of symbol grounding seeks to connect an a priori internal representation or ‘form’ to its external referent. But such a ‘form’ is usually itself systematically composed out of more primitive parts, so this view ignores its grounding in the physics of the world. Some previous work simulating multiple talking/listening agents has effectively taken this stance, and shown how a shared discrete speech code can emerge. Taking the earlier work of Oudeyer, we have extended his model to include (...) a dispersive force intended to account broadly for a speaker’s motivation to increase auditory distinctiveness. New simulations show that vowel systems result that are more representative of the range seen in human languages. These simulations make many profound abstractions and assumptions. Relaxing these by including more physically and physiologically realistic mechanisms for talking and listening is seen as the key to replicating more complex and dynamic aspects of speech, such as consonant-vowel patterning. (shrink)

In 1988, David Hull presented an evolutionary account of science. This was a direct analogy to evolutionary accounts of biological adaptation, and part of a generalized view of Darwinian selection accounts that he based upon the Universal Darwinism of Richard Dawkins. Criticisms of this view were made by, among others, Kim Sterelny, which led to it gaining only limited acceptance. Some of these criticisms are, I will argue, no longer valid in the light of developments in the formal modeling of (...) evolution, in particular that of Sergey Gavrilets’ work on adaptive landscapes. If we can usefully recast the Hullian view of science as being driven by selection in terms of Gavrilets’ and Kaufmann’s view of there being “giant components” of high-fitness networks through any realistic adaptive landscape, we may now find it useful to ask what the adaptive pressures on science are, and to extend the metaphor into a full analogy. This is in effect to reconcile the Fisherianism of the Dawkins–Hull approach to selection and replicators, with a Wrightean drift account of social constructionist views of science, preserving, it is to be hoped, the valuable aspects of both. (shrink)

Following an earlier paper (Wetherick, 1989), the analysis of syllogistic reasoning via the medieval doctrine of “distribution of terms” is pursued and completed. The doctrine was not originally presented as an explanation of syllogistic reasoning but turns out to furnish one. It is shown that: It is impossible to assert two propositions having a distributed middle term in common without, at the same time, tacitly asserting the valid conclusion, if any. When the middle term is distributed but no valid conclusion (...) follows, this is a consequence of the distributional status of the subject and predicate terms. When the middle term is not distributed the propositions have nothing but a name in common. The logic of Spencer Brown (1969) is employed to show that logic is implicit in the behaviour of any organism that survives by making distinctions (e.g. between prey/non-prey; predator/non-predator). It is suggested that animal organisms answer this description by definition. Cognitive structures have evolved in the human organism so as to permit the conversion of habitual associations into universal propositions thus allowing formal logic and mathematics. This view appears to require a reversion to psychologism in logic, the consequences are considered and judged acceptable. (shrink)

Turing's analysis of computation is a fundamental part of the background of cognitive science. In this paper it is argued that a re‐interpretation of Turing's work is required to underpin theorizing about cognitive architecture. It is claimed that the symbol systems view of the mind, which is the conventional way of understanding how Turing's work impacts on cognitive science, is deeply flawed. There is an alternative interpretation that is more faithful to Turing's original insights, avoids the criticisms made of the (...) symbol systems approach and is compatible with the growing interest in agent‐environment interaction. It is argued that this interpretation should form the basis for theories of cognitive architecture. (shrink)

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

Mechanistic explanation has an impressive track record of advancing our understanding of complex, hierarchically organized physical systems, particularly biological and neural systems. But not every complex system can be understood mechanistically. Psychological capacities are often understood by providing cognitive models of the systems that underlie them. I argue that these models, while superficially similar to mechanistic models, in fact have a substantially more complex relation to the real underlying system. They are typically constructed using a range of techniques for abstracting (...) the functional properties of the system, which may not coincide with its mechanistic organization. I describe these techniques and show that despite being non-mechanistic, these cognitive models can satisfy the normative constraints on good explanations. (shrink)