The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on 'active agenthood' and multi-modal systems. It is accessible to researchers and graduate students in philosophy, computer science, game theory, economics and related disciplines utilizing the means and methods of epistemic logic.
The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics ...
Optic flow provides all the information necessary to guide a walking human or a mobile robot to its target. Over the past 50 years, a body of research on optic flow spanning the disciplines of neurophysiology, psychophysics, experimental psychology, brain imaging and computational modelling has accumulated. Today, when we survey the field, we find independent lines of research have now converged and many arguments have been resolved; simultaneously the underpinning assumptions of flow theory are being questioned and alternative accounts of the visual guidance of locomotion proposed. At this...
Optic flow provides all the information necessary to guide a walking human or a mobile robot to its target. Over the past 50 years, a body of research...
In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the beginning of that century. These views have primarily focused on questions pertaining to the logical structure of mathematics and questions regarding the justi?cation and consistency of mathematics. Paradigmatic in this - spect is Hilbert s program which inherits from Frege and Russell the project to formalize all areas of ordinary mathematics and then adds the requi- ment of a proof, by epistemically privileged means (?nitistic reasoning), of...
In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the ...
Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications. Divided into three parts on the conceptual framework, the logical foundations, and the applications, this monograph takes the reader for a comprehensive and erudite tour through the taxonomy of abductive reasoning, via the logical workings of abductive inference ending with applications pertinent to scientific explanation, empirical progress,...
Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of...
In this book, the author defends a unified externalists account of propositional attitudes and reference, and formalizes this view within possible world semantics. He establishes a link between philosophical analyses of intentionality and reference and formal semantic theories of discourse representation and context change. Stalnakerian diagonalization plays an important role here. Anaphora are treated as referential expressions, while presupposition is seen as a propositional attitude. The relation between belief change and the semantic analyses of conditional sentences and evidential...
In this book, the author defends a unified externalists account of propositional attitudes and reference, and formalizes this view within possible ...
In many respects, Brentano conducted pioneering analyses of problems that are currently in the focus of cognitive science and artificial intelligence: from the problem of reference to that of representation, from the problem of categorial classification to ontology and the cognitive analysis of natural language.
Brentano, in fact, dealt with and wrote on questions concerning the auditory stream (temporal apprehension), visual perception (continua, point of view, three-dimensional construction of phenomenal objects), intentionality, imagery, and conceptual space, considering these...
In many respects, Brentano conducted pioneering analyses of problems that are currently in the focus of cognitive science and artificial intelligen...
This volume brings together a selection of the most philosophically significant papers of Arthur Pap. As Sanford Shieh explains in the Introduction to this volume, Pap s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap s critique of Carnap is quite different from Quine s, and represents the...
This volume brings together a selection of the most philosophically significant papers of Arthur Pap. As Sanford Shieh explains in the Introduction...
Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points, as is usually done but through which its fundamental continuity is lost? And are there objects of pure mathematics that can change through time?
Mathematician and philosopher L.E.J. Brouwer argued that the two questions are closely related and that the answer to both is "yes''. To this end he introduced a new kind of object into mathematics, the choice sequence. But other mathematicians and philosophers have been voicing objections to choice sequences from the...
Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points, as is usually done but through whi...
Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.
Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof ...
Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of the general features and methodology of formal ontology. The book defends conceptual realism as the best system to adopt based on a logic of natural kinds. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme.
Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of th...
