Cognitive scientists have focused too narrowly on the acquisition of data and on the methods to extract patterns from those data. We argue that a successful science of the mind requires widening our focus to include the problems being solved by cognitive processes. Frameworks that characterize cognitive processes in terms of instrumental problem‐solving, such as those within the evolutionary social sciences, become necessary if we wish to discover more accurate descriptions of those processes.

The aims of this paper are threefold: To show that game-playing (GP), the discipline of Artificial Intelligence (AI) concerned with the development of automated game players, has a strong epistemological relevance within both AI and the vast area of cognitive sciences. In this context games can be seen as a way of securely reducing (segmenting) real-world complexity, thus creating the laboratory environment necessary for testing the diverse types and facets of intelligence produced by computer models. This paper aims to promote (...) the belief that games represent an excellent tool for the project of computational psychology (CP). To underline how, despite this, GP has mainly adopted an engineering-inspired methodology and in doing so has distorted the framework of cognitive functionalism. Many successes (i.e. chess, checkers) have been achieved refusing human-like reasoning. The AI has appeared to work well despite ignoring an intrinsic motivation, that of creating an explanatory link between machines and mind. To assert that substantial improvements in GP may be obtained in the future only by renewed interest in human-inspired models of reasoning and in other cognitive studies. In fact, if we increase the complexity of games (from NP-Completeness to AI-Completeness) in order to reproduce real-life problems, computer science techniques enter an impasse. Many of AI’s recent GP experiences can be shown to validate this. The lack of consistent philosophical foundations for cognitive AI and the minimal philosophical commitment of AI investigation are two of the major reasons that play an important role in explaining why CP has been overlooked. (shrink)

Although for many years a sharp distinction has been made in language research between rules and words—with primary interest on rules—this distinction is now blurred in many theories. If anything, the focus of attention has shifted in recent years in favor of words. Results from many different areas of language research suggest that the lexicon is representationally rich, that it is the source of much productive behavior, and that lexically specific information plays a critical and early role in the interpretation (...) of grammatical structure. But how much information can or should be placed in the lexicon? This is the question I address here. I review a set of studies whose results indicate that event knowledge plays a significant role in early stages of sentence processing and structural analysis. This poses a conundrum for traditional views of the lexicon. Either the lexicon must be expanded to include factors that do not plausibly seem to belong there; or else virtually all information about word meaning is removed, leaving the lexicon impoverished. I suggest a third alternative, which provides a way to account for lexical knowledge without a mental lexicon. (shrink)

Comparative concepts such as greener than or higher than are ways of ordering objects. They are fundamental to our grasp of gradable concepts, that is, the type of meanings expressed by gradable general terms, such as "is green" or "is high", which are embeddable in comparative constructions in natural language. Some comparative concepts seem natural, whereas others seem gerrymandered. The aim of this paper is to outline a theoretical approach to comparative concepts that bears both on the account of naturalness (...) for comparative concepts and on the theory of gradable concepts. The approach is novel in that it carries some basic assumptions from Peter Gärdenfors' conceptual spaces account of categorical concepts over to comparative concepts. The offered approach is more general than Gärdenfors' account in that it supplies a framework of graded categorisation that includes his categorisation rule as a limiting case. Importantly, it provides also a new argument for adopting Gärdenfors' particular model of categorisation. (shrink)

A key failing in contemporary philosophy of mind is the lack of attention paid to evolutionary theory in its research projects. Notably, where evolution is incorporated into the study of mind, the work being done is often described as philosophy of cognitive science rather than philosophy of mind. Even then, whereas possible implications of the evolution of human cognition are taken more seriously within the cognitive sciences and the philosophy of cognitive science, its relevance for cognitive science has only been (...) appreciated relatively recently, and the approach still comes in for some major criticism from prominent theorists within the field. This paper explores some of the reasons for this state of affairs and finds that it might have less to do with due consideration and well-founded scepticism about the relevance of evolutionary theory to these disciplines and more to do with historical accident and faulty assumptions on the part of key theorists in these disciplines. It is also noted that where cognitive scientists are taking evolution into account in their work on the mind, they straying more and more into domains that used to fall exclusively under the purview of philosophy of mind as it is traditionally conceived – qualia, consciousness, perception, intentionality and so forth. The point is made that in ignoring the work being done on the evolution of mind, philosophy of mind runs the risk of becoming obsolete. (shrink)

In its forty years of existence, Artificial Intelligence has suffered both from the exaggerated claims of those who saw it as the definitive solution of an ancestral dream — that of constructing an intelligent machine-and from its detractors, who described it as the latest fad worthy of quacks. Yet AI is still alive, well and blossoming, and has left a legacy of tools and applications almost unequalled by any other field-probably because, as the heir of Renaissance thought, it represents a (...) possible bridge between the humanities and the natural sciences, philosophy and neurophysiology, psychology and integrated circuits-including systems that today are taken for granted, such as the computer interface with mouse pointer and windows. This writing describes a few results of AI that have modified the scientific world, as well as the way a layman sees computers: thetechnology of programming languages, such asLISP-witness the unique excellence of academic departments that have contributed to them-thecomputing workstations-of which our modern PC is but a vulgarised descendant-theapplications to the educational field-e.g., the realisation of some ideas of genetic epistemology-and tointerdisciplinary philosophy-such as Hofstadter's associations between the arts and mathematics-and the use ofAI techniques in music and musicology. All this has led to a generalisation of AI towards Negrotti's overallTheory of the Artificial, which encompasses further specialisation such asartificial reality, artificial life, and applications ofneural networks among others. (shrink)

Lakoff (1993) argued that basic level conceptual metaphors are grounded in human experience, and are therefore likely to be found widely across different languages and cultures. However, other mappings may not be shared. It is well documented that many metaphorical expressions vary across languages, and a number of researchers have argued cultural motivations for this. Possible reasons for cross-linguistic differences in metaphor are that different cultures hold different attitudes to metaphor vehicles, or that the source domain entities and events are (...) more salient in one culture than another. However, the corpus data discussed here suggest that rather than being a synchronic reflection of culture, metaphorical expressions are to some extent a cultural reliquary, and an incomplete one. (shrink)

Narratives are an integral part of human expression. In the graphic form, they range from cave paintings to Egyptian hieroglyphics, from the Bayeux Tapestry to modern day comic books (Kunzle, 1973; McCloud, 1993). Yet not much research has addressed the structure and comprehension of narrative images, for example, how do people create meaning out of sequential images? This piece helps fill the gap by presenting a theory of Narrative Grammar. We describe the basic narrative categories and their relationship to a (...) canonical narrative arc, followed by a discussion of complex structures that extend beyond the canonical schema. This demands that the canonical arc be reconsidered as a generative schema whereby any narrative category can be expanded into a node in a tree structure. Narrative “pacing” is interpreted as a reflection of various patterns of this embedding: conjunction, left-branching trees, center-embedded constituencies, and others. Following this, diagnostic methods are proposed for testing narrative categories and constituency. Finally, we outline the applicability of this theory beyond sequential images, such as to film and verbal discourse, and compare this theory with previous approaches to narrative and discourse. (shrink)

This paper offers a solution to a problem in Herschel studies by drawing on the dynamic frame model for concept representation offered by cognitive psychology. Applying the frame model to represent the conceptual frameworks of the particle and wave theories, this paper shows that discontinuity between the particle and wave frameworks consists mainly in the transition from a particle notion ‘side’ to a wave notion ‘phase difference’. By illustrating intraconceptual relations within concepts, the frame representations reveal the ontological differences between (...) these two concepts. ‘Side’ is an object concept built on spatial relations, but ‘phase difference’ is an event concept built on temporal relations. The conceptual analyses display a possible cognitive source of Herschel’s misconception of polarization. Limited by his experimental works and his philosophical beliefs, Herschel comprehended polarization solely in terms of spatial relations, which prevented him from replacing the object concept ‘side’ with the event concept ‘phase difference’, and eventually resulted in his failure to understand the wave account of polarization.Author Keywords: Herschel; Polarization; Object concept; Event concept; Frame; Cognitive psychology. (shrink)

The function of concepts must be taken seriously to understand the scientific practices of developing and working with concepts. Despite its significance, little philosophical attention has been paid to the function of concepts. A notable exception is Brigandt (2010), who suggests incorporating the epistemic goal pursued with the concept’s use as an additional semantic property along with the reference and inferential role. The suggestion, however, has at least two limitations. First, his proposal to introduce epistemic goals as the third component (...) of concepts lacks independent grounding, except to account for the rationality of semantic change (the Grounding Problem). Second, it is hardly justified to consider epistemic goals as a semantic property (the Misplacement Problem). To remedy these predicaments, we suggest a new perspective that takes concepts as cognitive entities with a 2-layered structure rather than as merely linguistic entities and develop an account of the function of concepts. We provide empirical evidence showing that functional information affects our cognitive processes. It is claimed that the function of concepts is not a semantic property but a type of meta-information regulating a body of concept-constitutive information. (shrink)

Social interaction is both ubiquitous and central to understanding human behavior. Such interactions depend, we argue, on shared intentionality: the parties must form a common understanding of an ambiguous interaction. Yet how can shared intentionality arise? Many well-known accounts of social cognition, including those involving “mind-reading,” typically fall into circularity and/or regress. For example, A’s beliefs and behavior may depend on her prediction of B’s beliefs and behavior, but B’s beliefs and behavior depend in turn on her prediction of A’s (...) beliefs and behavior. One possibility is to embrace circularity and take shared intentionality as imposing consistency conditions on beliefs and behavior, but typically there are many possible solutions and no clear criteria for choosing between them. We argue that addressing these challenges requires some form of we-reasoning, but that this raises the puzzle of how the collective agent arises from the individual agents. This puzzle can be solved by proposing that the will of the collective agent arises from a simulated process of bargaining: agents must infer what they would agree, were they able to communicate. This model explains how, and which, shared intentions are formed. We also propose that such “virtual bargaining” may be fundamental to understanding social interactions. (shrink)

The idea that conventionalized general knowledge – sometimes referred to as a frame – guides the perception and interpretation of the world around us has long permeated various branches of cognitive science, including psychology, linguistics, and artificial intelligence. In this paper we provide experimental evidence suggesting that frames also play a role in explaining certain long-distance dependency phenomena, as originally proposed by Deane. We focus on a constraint that restricts the extraction of an NP from another NP, called subextraction, which (...) Deane claims is ultimately a framing effect. In Experiment 1 we provide evidence showing that referents are extractable to the degree that they are deemed important for the proposition expressed by the utterance. This suggests that the world knowledge that the main verb evokes plays a key role in establishing which referents are extractable. In Experiment 2 we offer evidence suggesting that the acceptability of deep subextractions is correlated with the overall plausibility of the proposition, suggesting that complex structures can evoke complex frames as well, if sufficiently frequent and semantically coherent, and therefore more easily license deeper subextractions. (shrink)

The frame concept from linguistics, cognitive science and artificial intelligence is a theoretical tool to model how explicitly given information is combined with expectations deriving from background knowledge. In this paper, we show how the frame concept can be fruitfully applied to analyze the notion of mathematical understanding. Our analysis additionally integrates insights from the hermeneutic tradition of philosophy as well as Schmid’s ideal genetic model of narrative constitution. We illustrate the practical applicability of our theoretical analysis through a case (...) study on extremal proofs. Based on this case study, we compare our analysis of proof understanding to Avigad’s ability-based analysis of proof understanding. (shrink)

In this article we describe two core ontologies of law that specify knowledge that is common to all domains of law. The first one, FOLaw describes and explains dependencies between types of knowledge in legal reasoning; the second one, LRI-Core ontology, captures the main concepts in legal information processing. Although FOLaw has shown to be of high practical value in various applied European ICT projects, its reuse is rather limited as it is rather concerned with the structure of legal reasoning (...) than with legal knowledge itself: as many other “legal core ontologies”, FOLaw is therefore rather an epistemological framework than an ontology. Therefore, we also developed LRI-Core. As we argue here that legal knowledge is based to a large extend on common-sense knowledge, LRI-Core is particularly inspired by research on abstract common-sense concepts. The main categories of LRI-Core are: physical, mental and abstract concepts. Roles cover in particular social worlds. Another special category are occurrences; terms that denote events and situations. We illustrate the use of LRI-Core with an ontology for Dutch criminal law, developed in the e-Court European project. (shrink)

Thagard presented a framework for conceptual change in science based on conceptual systems. Thagard challenged belief revision theorists, claiming that traditional belief-revision systems are able to model only the two most conservative types of changes in his framework, but not the more radical ones. The main aim of this work is to take up Thagard’s challenge, presenting a belief-revision-like system able to mirror radical types of conceptual change. We will do that with a conceptual revision system, i.e. a belief-revision-like system (...) that takes conceptual structures as units of revisions. We will show how our conceptual revision and contraction operations satisfy analogous of the AGM postulates at the conceptual level and are able to mimic Thagard’s radical types of conceptual change. (shrink)

A model is proposed to explain how emotional and cognitive processes drive epistemic activities within individual scientists. In this account, emotion–cognition interactions produce cyclical phases of accommodative and assimilative epistemic activities, called thought experiments and empirical experiments, respectively. During thought experiments, scientists ruminate over troubling anomalies in order to generate the theoretical ingredients necessary for constructing new conjectures. During empirical experiments, scientists explore exciting conjectures in order to cover the empirical ground necessary to discover new anomalies. Critically, epistemic activities are (...) accompanied and sustained by positive and negative emotional moods. The main virtue of the model is its specification of a coupled feedback mechanism that explains the dynamics and the temporal dependencies between empirical and theoretical activities underlying scientific discovery. (shrink)

Although our concepts of “Mama,” “milk,” and “mice” have much in common, the suggestion that they are identical in structure in the mind of the prelinguistic child is mistaken. Even infants think about objects as different from substances and appreciate the distinction between kinds (e.g., mice) and individuals (e.g., Mama). Such cognitive capacities exist in other animals as well, and have important adaptive consequences.

In this paper the truth is studied in the frame of autonomous systems theory. The method of the truth verification is worked out in its functional aspect. The verification is based on comparison of the predicted inner state of the autonomous agent, that is the cognitive subject, to the achieved inner state of the agent. The state is achieved as the result of performing the action in the real world—the agent’s environment. The action design is created on the basis of (...) the agent’s model of the world. The truth is defined as the adequacy of the model of the real world in the context of the goal that is assumed to be reached as the effect of the performed action. The concepts of the cognitive subject, the truth bearings and the knowledge are redefined. The classical problems of aletheiology and epistemology are discussed in the light of the proposed approach. The cybernetic construct of an autonomous agent allows the researcher to consider a wide class of cognitive entities, which, in the previous approaches, have been limited only to human beings as cognitive subjects. (shrink)

This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty ; and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: logic programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of input/output logic for dealing with uncertainty in dynamic (...) normative contexts. (shrink)

What is the relation between philosophical theorizing and experimental data? A modest set of naturalistic assumptions leads to what I term the force-field puzzle. The assumption that philosophy is continuous with natural science, as captured in Quine’s force-field metaphor, seems to push us simultaneously towards thinking that there have to be conceptual constraints upon how we interpret experimental data and towards thinking that there cannot be such conceptual constraints, because all theorizing must be accountable to data and observation. The key (...) to resolving the force-field puzzle is to take a more nuanced view of how conceptual constraints can be accountable to data and observation. This can be done by developing conceptual arguments in conjunction with interpretative frameworks for making sense of experimental evidence. This paper shows how attending to important differences between different types of mindreading yields tools for interpreting experimental and observational data in a manner consistent with a (conceptually derived) constraint that I have developed elsewhere. This is the first-order constraint that second-order thinking, or thinking about thinking, is only available to language-using creatures. (shrink)

Advocates of dynamical systems theory (DST) sometimes employ revolutionary rhetoric. In an attempt to clarify how DST models differ from others in cognitive science, I focus on two issues raised by DST: the role for representations in mental models and the conception of explanation invoked. Two features of representations are their role in standing-in for features external to the system and their format. DST advocates sometimes claim to have repudiated the need for stand-ins in DST models, but I argue that (...) they are mistaken. Nonetheless, DST does offer new ideas as to the format of representations employed in cognitive systems. With respect to explanation, I argue that some DST models are better seen as conforming to the covering-law conception of explanation than to the mechanistic conception of explanation implicit in most cognitive science research. But even here, I argue, DST models are a valuable complement to more mechanistic cognitive explanations. (shrink)

Contemporary epistemology has assumed that knowledge is represented in sentences or propositions. However, a variety of extensions and alternatives to this view have been proposed in other areas of investigation. We review some of these proposals, focusing on (1) Ryle's notion of knowing how and Hanson's and Kuhn's accounts of theory-laden perception in science; (2) extensions of simple propositional representations in cognitive models and artificial intelligence; (3) the debate concerning imagistic versus propositional representations in cognitive psychology; (4) recent treatments of (...) concepts and categorization which reject the notion of necessary and sufficient conditions; and (5) parallel distributed processing (connectionist) models of cognition. This last development is especially promising in providing a flexible, powerful means of representing information nonpropositionally, and carrying out at least simple forms of inference without rules. Central to several of the proposals is the notion that much of human cognition might consist in pattern recognition rather than manipulation of rules and propositions. (shrink)

Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system Kl-one. During the last decade, it has been shown that the important reasoning problems (like subsumption and satisfiability) in a great variety of description logics can be decided using tableau-like algorithms. This is not very surprising since description logics have turned out to be closely related to propositional modal logics and logics of programs (such as propositional dynamic logic), for which (...) tableau procedures have been quite successful.Nevertheless, due to different underlying institutions and applications, most description logics differ significantly from run-of-the-mill modal and program logics. Consequently, the research on tableau algorithms in description logics led to new techniques and results, which are, however, also of interest for modal logicians. In this article, we will focus on three features that play an important rôle in description logics (number restrictions, terminological axioms, and role constructors), and show how they can be taken into account by tableau algorithms. (shrink)

The present paper aims at a synthesis of belief revision theory with the Sneed formalism known as the structuralist theory of science. This synthesis is brought about by a dynamisation of classical structuralism, with an abductive inference rule and base generated revisions in the style of Rott (2001). The formalism of prioritised default logic (PDL) serves as the medium of the synthesis. Why seek to integrate the Sneed formalism into belief revision theory? With the hybrid system of the present investigation, (...) a substantial simplification of the ranking information that is necessary to define revisions and contractions uniquely is achieved. This system is, furthermore, expressive enough to capture complex and non-trivial scientific examples. It is thus closely related to a novel research area within belief revision theory which addresses the dynamics of scientific knowledge. (shrink)