In the Fall of 1983, I offered a junior/senior-level course in Philosophy of Artificial Intelligence, in the Department of Philosophy at SUNY Fredonia, after returning there from a year’s leave to study and do research in computer science and artificial intelligence (AI) at SUNY Buffalo. Of the 30 students enrolled, most were computerscience majors, about a third had no computer background, and only a handful had studied any philosophy. (I might note that enrollments have subsequently increased in the Philosophy Department’s (...) AI-related courses, such as logic, philosophy of mind, and epistemology, and that several computer science students have added philosophy as a second major.) This article describes that course, provides material for use in such a course, and offers a bibliography of relevant articles in the AI, cognitive science, and philosophical literature. (shrink)

A concept is traditionally defined via the necessary and sufficient conditions that clearly determine its extension. By contrast, cognitive views of concepts intend to account for empirical data that show that categorisation under a concept presents typicality effects and a certain degree of indeterminacy. We propose a formal language to compactly represent concepts by leveraging on weighted logical formulas. In this way, we can model the possible synergies among the qualities that are relevant for categorising an object under a concept. (...) We show that our proposal can account for a number of views of concepts such as the prototype theory and the exemplar theory. Moreover, we show how the proposed model can overcome some limitations of cognitive views. (shrink)

This paper discusses the epistemic status of biology from the standpoint of the systemic approach to living systems based on the notion of biological autonomy. This approach aims to provide an understanding of the distinctive character of biological systems and this paper analyses its theoretical and epistemological dimensions. The paper argues that, considered from this perspective, biological systems are examples of emergent phenomena, that the biological domain exhibits special features with respect to other domains, and that biology as a discipline (...) employs some core concepts, such as teleology, function, regulation among others, that are irreducible to those employed in physics and chemistry. It addresses the claim made by Jacques Monod that biology as a science is marginal. It argues that biology is general insofar as it constitutes a paradigmatic example of complexity science, both in terms of how it defines the theoretical object of study and of the epistemology and heuristics employed. As such, biology may provide lessons that can be applied more widely to develop an epistemology of complex systems. (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)

Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statis- tics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement record- ing systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the (...) brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The stor- age and reactivation of perceptual symbols operates at the level of perceptual components – not at the level of holistic perceptual expe- riences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a com- mon frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift, run) and introspec- tion (e.g., compare, memory, happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and ab- stract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinato- rially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent type-token relations. Abstract concepts are grounded in complex simulations of combined physical and introspective events. Thus, a per- ceptual theory of knowledge can implement a fully functional conceptual system while avoiding problems associated with amodal sym- bol systems. Implications for cognition, neuroscience, evolution, development, and artificial intelligence are explored. (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)

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)

A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.