An integrated statement is made concerning the semantic status of nodes in a propositional semantic network, claiming that such nodes represent only intensions. Within the network, the only reference to extensionality is via a mechanism to assert that two intensions have the same extension in same world. This framework is employed in three application problems to illustrate the nature of its solutions.The formalism used here utilizes only assertional information and no structural, or definitional, information. This restriction corresponds to many of (...) the psychologically motivated network models. Some of the psychological implications of network processes called node merging and node splitting are discussed. Additionally, it is pointed out that both our networks and the psychologically based networks are prone to memory confusions about knowing unless augmented by domain‐specific inference processes, or by structural information. (shrink)

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...) as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system. (shrink)

SNePS, the Semantic Network Processing System 45, 54], has been designed to be a system for representing the beliefs of a natural-language-using intelligent system (a \cognitive agent"). It has always been the intention that a SNePS-based \knowledge base" would ultimatelybe built, not by a programmeror knowledge engineer entering representations of knowledge in some formallanguage or data entry system, but by a human informing it using a natural language (NL) (generally supposed to be English), or by the system reading books or (...) articles that had been prepared for human readers. Because of this motivation, the criteria for the development of SNePS have included: it should be able to represent anything and everything expressible in NL; it should be able to represent generic, as well as speci c information; it should be able to use the generic and the speci c information to reason and infer information implied by what it has been told; it cannot count on any particular order among the pieces of information it is given; it must continue to act reasonably even if the information it is given includes circular de nitions, recursive rules, and inconsistent information. (shrink)

We describe a knowledge representation and inference formalism, based on an intensional propositional semantic network, in which variables are structures terms consisting of quantifier, type, and other information. This has three important consequences for natural language processing. First, this leads to an extended, more natural formalism whose use and representations are consistent with the use of variables in natural language in two ways: the structure of representations mirrors the structure of the language and allows re-use phenomena such as pronouns and (...) ellipsis. Second, the formalism allows the specification of description subsumption as a partial ordering on related concepts (variable nodes in a semantic network) that relates more general concepts to more specific instances of that concept, as is done in language. Finally, this structured variable representation simplifies the resolution of some representational difficulties with certain classes of natural language sentences, namely, donkey sentences and sentences involving branching quantifiers. The implementation of this formalism is called ANALOG (A NAtural LOGIC) and its utility for natural language processing tasks is illustrated. (shrink)

We present a computational analysis of de re, de dicto, and de se belief and knowledge reports. Our analysis solves a problem first observed by Hector-Neri Castañeda, namely, that the simple rule -/- `(A knows that P) implies P' -/- apparently does not hold if P contains a quasi-indexical. We present a single rule, in the context of a knowledge-representation and reasoning system, that holds for all P, including those containing quasi-indexicals. In so doing, we explore the difference between reasoning (...) in a public communication language and in a knowledge-representation language, we demonstrate the importance of representing proper names explicitly, and we provide support for the necessity of considering sentences in the context of extended discourse (for example, written narrative) in order to fully capture certain features of their semantics. (shrink)

Computationalism, the notion that cognition is computation, is a working hypothesis of many AI researchers and Cognitive Scientists. Although it has not been proved, neither has it been disproved. In this paper, I give some refutations to some well-known alleged refutations of computationalism. My arguments have two themes: people are more limited than is often recognized in these debates; computer systems are more complicated than is often recognized in these debates. To underline the latter point, I sketch the design and (...) abilities of a possible embodied computer system. (shrink)

While the issue of standards has received attention from analysts in science and technology studies, this attention has tended to focus on either units of measurement or compatibility standards. Much less attention has been devoted to equally important standards of practice. These are the procedural or process standards which govern how technologists go about designing and constructing artifacts. Such standards have a substantial documented history in the form of engineering codes of practice. As the embodiment of judgments rendered by a (...) particular community of technological practi tioners, these standards both reflect and shape the exercise of practitioner judgment. This article explores both these functions through examples drawn from structural and software engineering. These examples yield insights regarding both the role of formal procedural standards in technological practice and the unusual nature of software technology. (shrink)

This project continues our interdisciplinary research into computational and cognitive aspects of narrative comprehension. Our ultimate goal is the development of a computational theory of how humans understand narrative texts. The theory will be informed by joint research from the viewpoints of linguistics, cognitive psychology, the study of language acquisition, literary theory, geography, philosophy, and artificial intelligence. The linguists, literary theorists, and geographers in our group are developing theories of narrative language and spatial understanding that are being tested by the (...) cognitive psychologists and language researchers in our group, and a computational model of a reader of narrative text is being developed by the AI researchers, based in part on these theories and results and in part on research on knowledge representation and reasoning. This proposal describes the knowledge-representation and natural-language-processing issues involved in the computational implementation of the theory; discusses a contrast between communicative and narrative uses of language and of the relation of the narrative text to the story world it describes; investigates linguistic, literary, and hermeneutic dimensions of our research; presents a computational investigation of subjective sentences and reference in narrative; studies children’s acquisition of the ability to take third-person perspective in their own storytelling; describes the psychological validation of various linguistic devices; and examines how readers develop an understanding of the geographical space of a story. This report is a longer version of a project description submitted to NSF. This document, produced in May 2007, is a L ATEX version of Technical Report 89-07 (Buffalo: SUNY Buffalo Department of Computer Science, August 1989), with slightly.. (shrink)

The dominant tradition in the philosophy of the cognitive sciences has assumed that human minds can be realized in many other kinds of brains and the mind is a fairly autonomous component residing in the body. In The Mind Incarnate, Stuart Shapiro labels these the multiple realizability thesis and the separability thesis and sets them in opposition to two alternative theses that he advances: the mental constraint thesis and the embodied mind thesis. Although Shapiro has very interesting (...) things to say on behalf of the embodied mind thesis, by far his more significant contribution is his argument on behalf of the mental constraint hypothesis and hence against the multiple realizability thesis. Although there were a number of early dissenters from the multiple realizability thesis, as a result of arguments by Putnam and Fodor, it came to be regarded through most of the 1980s and 1990s as a simple truism. It has provided the chief argument against the reduction of psychology to neuroscience and for an autonomous psychology. (shrink)

In spite of a powerful tradition, more than two thousand years old, that in a valid argument the premises must be relevant to the conclusion, twentieth-century logicians neglected the concept of relevance until the publication of Volume I of this monumental work. Since that time relevance logic has achieved an important place in the field of philosophy: Volume II of Entailment brings to a conclusion a powerful and authoritative presentation of the subject by most of the top people working in (...) the area. Originally the aim of Volume II was simply to cover certain topics not treated in the first volume--quantification, for example--or to extend the coverage of certain topics, such as semantics. However, because of the technical progress that has occurred since the publication of the first volume, Volume II now includes other material. The book contains the work of Alasdair Urquhart, who has shown that the principal sentential systems of relevance logic are undecidable, and of Kit Fine, who has demonstrated that, although the first-order systems are incomplete with respect to the conjectured constant domain semantics, they are still complete with respect to a semantics based on "arbitrary objects." Also presented is important work by the other contributing authors, who are Daniel Cohen, Steven Giambrone, Dorothy L. Grover, Anil Gupta, Glen Helman, Errol P. Martin, Michael A. McRobbie, and Stuart Shapiro. Robert G. Wolf's bibliography of 3000 items is a valuable addition to the volume. (shrink)

In spite of a powerful tradition, more than two thousand years old, that in a valid argument the premises must be relevant to the conclusion, twentieth-century logicians neglected the concept of relevance until the publication of Volume I of this monumental work. Since that time relevance logic has achieved an important place in the field of philosophy: Volume II of Entailment brings to a conclusion a powerful and authoritative presentation of the subject by most of the top people working in (...) the area. Originally the aim of Volume II was simply to cover certain topics not treated in the first volume--quantification, for example--or to extend the coverage of certain topics, such as semantics. However, because of the technical progress that has occurred since the publication of the first volume, Volume II now includes other material. The book contains the work of Alasdair Urquhart, who has shown that the principal sentential systems of relevance logic are undecidable, and of Kit Fine, who has demonstrated that, although the first-order systems are incomplete with respect to the conjectured constant domain semantics, they are still complete with respect to a semantics based on "arbitrary objects." Also presented is important work by the other contributing authors, who are Daniel Cohen, Steven Giambrone, Dorothy L. Grover, Anil Gupta, Glen Helman, Errol P. Martin, Michael A. McRobbie, and Stuart Shapiro. Robert G. Wolf's bibliography of 3000 items is a valuable addition to the volume. Originally published in 1992. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

The dominant tradition in the philosophy of the cognitive sciences has assumed that human minds can be realized in many other kinds of brains and the mind is a fairly autonomous component residing in the body. In The Mind Incarnate, Stuart Shapiro labels these the multiple realizability thesis and the separability thesis and sets them in opposition to two alternative theses that he advances: the mental constraint thesis and the embodied mind thesis. Although Shapiro has very interesting (...) things to say on behalf of the embodied mind thesis, by far his more significant contribution is his argument on behalf of the mental constraint hypothesis and hence against the multiple realizability thesis. Although there were a number of early dissenters from the multiple realizability thesis, as a result of arguments by Putnam and Fodor, it came to be regarded through most of the 1980s and 1990s as a simple truism. It has provided the chief argument against the reduction of psychology to neuroscience and for an autonomous psychology. (shrink)

John Searle once said: "The Chinese room shows what we knew all along: syntax by itself is not sufficient for semantics. (Does anyone actually deny this point, I mean straight out? Is anyone actually willing to say, straight out, that they think that syntax, in the sense of formal symbols, is really the same as semantic content, in the sense of meanings, thought contents, understanding, etc.?)." I say: "Yes". Stuart C. Shapiro has said: "Does that make any sense? (...) Yes: Everything makes sense. The question is: What sense does it make?" This essay explores what sense it makes to say that syntax by itself is sufficient for semantics. (shrink)

In this article, we propose a novel account of general jurisprudence by situating it within the broader project of metanormative inquiry. We begin by showing how general jurisprudence is parallel to another well-known part of that project, namely, metaethics. We then argue that these projects all center on the same task: explaining how a certain part of thought, talk, and reality fits into reality overall. Metalegal inquiry aims to explain how legal thought, talk, and reality fit into reality. General jurisprudence (...) is the part of metalegal inquiry that focuses on universal legal thought, talk, and reality. (shrink)

Despite protestations to the contrary, philosophers have always been renowned for espousing theories that do violence to common-sense opinion. In the last twenty years or so there has been a growing number of philosophers keen to follow in this tradition. According to these philosophers, if a story of pure fic-tion tells us that an individual exists, then there really is such an individual. According to these realists about fictional characters, ‘Scarlett O’Hara,’ ‘Char-lie Brown,’ ‘Batman,’ ‘Superman,’ ‘Tweedledum’ and ‘Tweedledee’ are not (...) denotationless terms, but names that really refer. What is truly surprising about this situation is that almost no one has inveighed against this unfortunate real-ist tendency. My aim here will be to challenge this new orthodoxy, and to defend an anti-realist position against the arguments proffered by the realist. (shrink)

This essay explains why creationism about fictional characters is an abject failure. Creationism about fictional characters is the view that fictional objects are created by the authors of the novels in which they first appear. This essay shows that, when the details of creationism are filled in, the hypothesis becomes far more puzzling than the linguistic data it is used to explain. No matter how the creationist identifies where, when and how fictional objects are created, the proposal conflicts with other (...) strong intuitions we have about fictional characters. (shrink)

This book is the first to engage Zen Buddhism philosophically on crucial issues from a perspective that is informed by the traditions of western philosophy and religion. It focuses on one renowned Zen master, Huang Po, whose recorded sayings exemplify the spirit of the 'golden age' of Zen in medieval China, and on the transmission of these writings to the West. The author makes a bold attempt to articulate a post-romantic understanding of Zen applicable to contemporary world culture. While deeply (...) sympathetic to the Zen tradition, he raises serious questions about the kinds of claims that can be made on its behalf. (shrink)

This edited collection covers Friedrich Waismann's most influential contributions to twentieth-century philosophy of language: his concepts of open texture and language strata, his early criticism of verificationism and the analytic-synthetic distinction, as well as their significance for experimental and legal philosophy. -/- In addition, Waismann's original papers in ethics, metaphysics, epistemology and the philosophy of mathematics are here evaluated. They introduce Waismann's theory of action along with his groundbreaking work on fiction, proper names and Kafka's Trial. -/- Waismann is known (...) as the voice of Ludwig Wittgenstein in the Vienna Circle. At the same time we find in his works a determined critic of logical positivism and ordinary language philosophy, who anticipated much later developments in the analytic tradition and devised his very own vision for its future. (shrink)

Mental and physical causes do not competedthe presence of one does not exclude the efficacy of the other. This point is obvious from the perspective of an interventionist theory of causation, but only when this theory gets its proper due. Doubts about the interventionist justification for concluding that there is both physical and mental causation, we have argued, rest on misunderstandings of interventionism. When looking to interventions to reveal causal structures, care must be taken to consider the right variable sets. (...) Jaegwon Kim’s diagram is the wrong starting point for interventionist causal reasoning because it includes variables that are related by non-causal relations in addition to causal relations. When it comes to understanding exclusion, less is more. (shrink)

Working within the tradition of continental philosophy, this article argues in favour of a phenomenological understanding of language as a crucial component of bioethical inquiry. The authors challenge the ‘commonsense’ view of language, in which thinking appears as prior to speaking, and speech the straightforward vehicle of pre-existing thoughts. Drawing on Maurice Merleau-Ponty's (1908–1961) phenomenology of language, the authors claim that thinking takes place in and through the spoken word, in and through embodied language. This view resituates bioethics as a (...) matter of bodies that speak. It also refigures the meaning of ethical self-reflexion, and in so doing offers an alternative view on reflexivity and critique. Referring to the Kantian critical tradition and its reception by Hannah Arendt and Michel Foucault, we advance a position we call ‘critical ethical reflexivity’. We contend that Merleau-Ponty's phenomenology of language offers valuable insight into ethical reflexivity and subject formation. Moreover, his understanding of language may foster new qualitative empirical research in bioethics, lead to more nuanced methods for interpreting personal narratives, and promote critical self-reflexion as necessary for bioethical inquiry. (shrink)

Eleven original essays discuss a range of puzzling philosophical questions about fictional characters, and more generally about fictional objects. For example, they ask questions like the following: Do they really exist? What would fictional objects be like if they existed? Do they exist eternally? Are they created? Who by? When and how? Can they be destroyed? If so, how? Are they abstract or concrete? Are they actual? Are they complete objects? Are they possible objects? How many fictional objects are there? (...) What are their identity conditions? What kinds of attitudes can we have towards them? This volume will be a landmark in the philosophical debate about fictional objects, and will influence higher-level debates within metaphysics, the philosophy of mind, and the philosophy of language. (shrink)

The Puzzle of Imaginative Failure asks why, when readers are invited to do so, they so often fall short of imagining worlds where the moral facts are different. This is puzzling because we have no difficulty imagining worlds where the descriptive facts are different. Much of the philosophical controversy revolves around the question of whether the reader's lack of imagination in such cases is a result of psychological barriers (an inability or a difficulty on the reader's part to imagine what (...) she is asked to imagine) or whether it is instead a result of wilful resistance (a desire not to imagine what she's asked to imagine). I argue for a different kind of solution. I maintain the primary reason for such systematic failures on the reader's part is due to an inability on the author's part to make clear that she is inviting the reader to engage in such imaginings. (shrink)

We argue that the physics of complex materials and self-organizing processes should be made central to the biology of form. Rather than being encoded in genes, form emerges when cells and certain of their molecules mobilize physical forces, effects, and processes in a multicellular context. What is inherited from one generation to the next are not genetic programs for constructing organisms, but generative mechanisms of morphogenesis and pattern formation and the initial and boundary conditions for reproducing the specific traits of (...) a taxon. There is no inherent antagonism between this “physicalist” perspective and genetics, since physics acts on matter, and gene products are essential material components of living systems whose variability affects the systems’ parameters. We make this notion concrete by summarizing the concept of “dynamical patterning modules” (DPMs; Newman and Bhat, Phys Biol 5:1–14, 2008; Int J Dev Biol 53:693–705, 2009), an explicit physico-genetic framework for the origin and evolution of multicellular form in animals, as well as (when differences in interaction toolkit genes and applicable physical processes are taken into account) in multicellular plants (Hernández-Hernández et al., Int J Dev Biol 56:661–674, 2012). DPMs provide the missing link between development and evolution by revealing how genes acting in concert with physics can generate and transform morphology in a heritable fashion. (shrink)