Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of possible worlds semantics for modal logic. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. He also contributed to...
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contai...
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. But he contributed significantly to action theory, preference logic and the theory of measurement as well. This is the second of two volumes dedicated to the work of Stig Kanger. The first volume is a complete collection of Kanger's philosophical papers. The present volume contains critical essays on the various aspects of Kanger's work as...
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general ...
During the last decade, feminist research has attempted to add understandings of women and their social activities to what we all thought we knew about nature and social life. However, from the very beginning of this project, it has appeared to be in tension with some ofthe most fundamental insightsof the Second Women's Movement. Only recently has the nature ofthis tension become clear. Within the theories, concepts, methods and goals of inquiry we inherited from the dominant discourses we have generated an impressive collection of "facts" about women and their lives, cross-culturally and...
During the last decade, feminist research has attempted to add understandings of women and their social activities to what we all thought we knew abou...
(Over)Interpreting Wittgenstein will be read by philosophers investigating Wittgenstein and by scholars, interpreters, students, and specialists, in both analytic and continental philosophy. It will intrigue readers interested in issues of interpretation and cultural studies. This book tells the story - as yet untold - of Wittgenstein interpretation during the past eighty years. It provides different interpretations, chronologies, developments, and controversies. It aims to discover the (socio-cultural rather than psychological) motives and motivations behind the...
(Over)Interpreting Wittgenstein will be read by philosophers investigating Wittgenstein and by scholars, interpreters, students, and ...
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 ...
This book presents a mechanist philosophy of mind. I hold that the human mind is a system of computational or recursive rules that are embodied in the nervous system; that the material presence of these rules accounts for perception, conception, speech, belief, desire, intentional acts, and other forms of intelligence. In this edition I have retained the whole of the fIrst edition except for discussion of issues which no longer are relevant in philosophy of mind and cognitive psychology. Earlier reference to disputes of the 1960's and 70's between hard-line empiricists and neorationalists...
This book presents a mechanist philosophy of mind. I hold that the human mind is a system of computational or recursive rules that are embodied in the...
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also contains exercises including answers and is eminently suitable for graduate courses in logic.
A sweeping chapter-wise outline of the content of this book is the following. The chapter 'Introduction'...
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us t...
Kuhn and Feyerabend formulated the problem. Dilworth provides the solution.
In this highly original and insightful book, Craig Dilworth answers all the questions raised by the incommensurability thesis. Logical empiricism cannot account for theory conflict. Popperianism cannot account for how one theory is a progression beyond another. Dilworth s Perspectivist conception of science does both.
While remaining within the bounds of classical philosophy of science, Dilworth does away with the logicism of his competitors. On the Perspectivist view theory conflict is not...
Kuhn and Feyerabend formulated the problem. Dilworth provides the solution.
In this highly original and insightful book, Craig Dilworth answ...
The idea that belief comes in degrees is based on the observation that we are more certain of some things than of others. Various theories try to give accounts of how measures of this confidence do or ought to behave, both as far as the internal mental consistency of the agent as well as his betting, or other, behaviour is concerned.
This anthology is the first book to give a balanced overview of these theories. It also explicitly relates these debates to more traditional concerns of the philosophy of language and mind, and epistemic logic, namely how belief simpliciter does or ought to...
The idea that belief comes in degrees is based on the observation that we are more certain of some things than of others. Various theories try to g...
The present volume owes its existence to a proposal of Dr Esa Saarinen. Our aim was to celebrate the work of a living philosopher by presenting it both from his own point of view, through the medium of a philosophical autobiography, and from that of his closest philo sophical colleagues and adversaries. We felt that a philosophical career lived through vigorous controversy was best reflected not by adulation but in the spirit of that career - by open debate. Contributors were not constrained in their choice of topic, but their contributions fell naturally into groups linked with some of Peter...
The present volume owes its existence to a proposal of Dr Esa Saarinen. Our aim was to celebrate the work of a living philosopher by presenting it bot...
