This volume examines the role of logic in cognitive psychology in light of recent developments, such as Gonzalo Reyes's new semantic theory. Chapters reveal the prospects of applying these new theories to cognitive psychology, cognitive science, linguistics, the philosophy of language and logic.

the first broad treatment of cognitive science at an advanced level

Cognitive science arose in the 1950s when it became apparent that a number of disciplines, including psychology, computer science, linguistics, and philosophy, were fragmenting. Perhaps owing to the field's immediate origins in cybernetics, as well as to the foundational assumption that cognition is information processing, cognitive science initially seemed more unified than psychology. However, as a result of differing interpretations of the foundational assumption and dramatically divergent views of the meaning of the term information processing, three separate schools emerged: classical cognitive science, connectionist cognitive science, and embodied cognitive science. Examples, cases, and research findings taken from the wide range of phenomena studied by cognitive scientists effectively explain and explore the relationship among the three perspectives. Intended to introduce both graduate and senior undergraduate students to the foundations of cognitive science, Mind, Body, World addresses a number of questions currently being asked by those practicing in the field: What are the core assumptions of the three different schools? What are the relationships between these different sets of core assumptions? Is there only one cognitive science, or are there many different cognitive sciences? Giving the schools equal treatment and displaying a broad and deep understanding of the field, Dawson highlights the fundamental tensions and lines of fragmentation that exist among the schools and provides a refreshing and unifying framework for students of cognitive science.

Specifying and implementing dynamical systems with the situation calculus. Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment of these ideas, basing its theoretical and implementation foundations on the situation calculus, a dialect of first-order logic. Within this framework, it develops many features of dynamical systems modeling, including time, processes, concurrency, exogenous events, reactivity, sensing and knowledge, probabilistic uncertainty, and decision theory. It also describes and implements a new family of high-level programming languages suitable for writing control programs for dynamical systems. Finally, it includes situation calculus specifications for a wide range of examples drawn from cognitive robotics, planning, simulation, databases, and decision theory, together with all the implementation code for these examples. This code is available on the book's Web site.

O Nuallain concludes that a science that fully attempts to treat cognition must remain au fait with the findings from all other approaches to the study of mind, from the purely behaviorist to the purely experiential."--BOOK JACKET.

Originally published in 1924, this book forms the third of a three-volume series relating to 'the whole field of logic as ordinarily understood'.

This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science. This book conducts a sustained and detailed examination of the structure of tractable and intelligible reasoning in cognitive science and artificial intelligence. Working from the perspective of formal epistemology and cognitive science, Andreas uses structuralist notions from Bourbaki and Sneed to provide new foundational analyses of frames, object-oriented programming, belief revision, and truth maintenance. Andreas then builds on these analyses to construct a novel logic of tractable reasoning he calls frame logic, together with a novel belief revision scheme that is tractable for frame logic. Put together, these logical analyses and tractability results provide new understandings of dynamic and inferential reasoning. Jon Doyle, North Carolina State University

This SpringerBrief provides an interdisciplinary synthesis based on psychology, logic, mathematics, cognitive science, and the history of science. It presents psychology as a science that suffers from a reduced understanding of the most fundamental logic in our practical-bodily encounters with the world, including with our fellow human beings. The Brief offers a new “dual” logic that is based on the duality between identification and description of objects, including persons. The Brief ties in modern mathematics as a tool that can be used to catch this duality in a precise manner. Featured topics in this Brief include: The emergence of Mechanism. The duality in animal and human subject-object relations. Psychology’s compatibility with natural sciences. Four cornerstones of modern mathematics. The Extensional Method. A New Logical Foundation for Psychology will be of interest to psychologist, philosophers, and mathematicians concerned with basic theoretical and methodological problems.