What happens to our conception of mind and rational agency when we take seriously future-directed intentions and plans and their roles as inputs into further practical reasoning? The author's initial efforts in responding to this question resulted in a series of papers that he wrote during the early 1980s. In this book, Bratman develops further some of the main themes of these essays and also explores a variety of related ideas and issues. He develops a planning theory of intention. Intentions (...) are treated as elements of partial plans of action. These plans play basic roles in practical reasoning, roles that support the organization of our activities over time and socially. Bratman explores the impact of this approach on a wide range of issues, including the relation between intention and intentional action, and the distinction between intended and expected effects of what one intends. (shrink)

Jason Stanley presents a startling and provocative claim about knowledge: that whether or not someone knows a proposition at a given time is in part determined by his or her practical interests, i.e. by how much is at stake for that person at that time. In defending this thesis, Stanley introduces readers to a number of strategies for resolving philosophical paradox, making the book essential not just for specialists in epistemology but for all philosophers interested in philosophical methodology. Since a (...) number of his strategies appeal to linguistic evidence, it will be of great interest to linguists as well. (shrink)

This major work challenges some widely held positions in epistemology - those of Peirce and Popper on the one hand and those of Quine and Kuhn on the other.

Laudan constructs a fresh approach to a longtime problem for the philosopher of science: how to explain the simultaneous and widespread presence of both agreement and disagreement in science. Laudan critiques the logical empiricists and the post-positivists as he stresses the need for centrality and values and the interdependence of values, methods, and facts as prerequisites to solving the problems of consensus and dissent in science.

This book presents the concept of “complementary science” which contributes to scientific knowledge through historical and philosophical investigations. It emphasizes the fact that many simple items of knowledge that we take for granted were actually spectacular achievements obtained only after a great deal of innovative thinking, painstaking experiments, bold conjectures, and serious controversies. Each chapter in the book consists of two parts: a narrative part that states the philosophical puzzle and gives a problem-centred narrative on the historical attempts to solve (...) the puzzle; and the analysis part which provides in-depth analyses of certain scientific, historical, and philosophical aspects of the story. (shrink)

The book was planned and written as a single, sustained argument. But earlier versions of a few parts of it have appeared separately. The object of this book is both to establish the existence of the paradoxes, and also to describe a non-Pascalian concept of probability in terms of which one can analyse the structure of forensic proof without giving rise to such typical signs of theoretical misfit. Neither the complementational principle for negation nor the multiplicative principle for conjunction applies (...) to the central core of any forensic proof in the Anglo-American legal system. There are four parts included in this book. Accordingly, these parts have been written in such a way that they may be read in different orders by different kinds of reader. (shrink)

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...) its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

In this path-breaking work, Paul Thagard draws on history and philosophy of science, cognitive psychology, and the field of artificial intelligence to develop a ...

The official model of explanation proposed by the logical empiricists, the covering law model, is subject to familiar objections. The goal of the present paper is to explore an unofficial view of explanation which logical empiricists have sometimes suggested, the view of explanation as unification. I try to show that this view can be developed so as to provide insight into major episodes in the history of science, and that it can overcome some of the most serious difficulties besetting the (...) covering law model. (shrink)

This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as ...

This book comes to the rescue of scientific realism, showing that reports of its death have been greatly exaggerated. Philosophical realism holds that the aim of a particular discourse is to make true statements about its subject matter. Ilkka Niiniluoto surveys different kinds of realism in various areas of philosophy and then sets out his own critical realist philosophy of science.

As Aristotle stated, scientific explanation is based on deductive argument--yet, Wesley C. Salmon points out, not all deductive arguments are qualified explanations. The validity of the explanation must itself be examined. _Four Decades of Scientific Explanation_ provides a comprehensive account of the developments in scientific explanation that transpired in the last four decades of the twentieth century. It continues to stand as the most comprehensive treatment of the writings on the subject during these years. Building on the historic 1948 essay (...) by Carl G. Hempel and Paul Oppenheim, "Studies in the Logic of Explanation,” which introduced the deductive-nomological model on which most work on scientific explanation was based for the following four decades, Salmon goes beyond this model's inherent basis of describing empirical knowledge to tells us “not only _what,_ but also _why_.” Salmon examines the predominant models in chronological order and describes their development, refinement, and criticism or rejection. _Four Decades of Scientific Explanation_ underscores the need for a consensus of approach and ongoing evaluations of methodology in scientific explanation, with the goal of providing a better understanding of natural phenomena. (shrink)

In this exciting and original introduction to epistemology, Michael Williams explains and criticizes traditional philosophical theories of the nature, limits, methods, possibility, and value of knowing. All the main contemporary perspectives are explored and questioned, and the author's own theories put forward, making this new book essential reading for anyone, beginner or specialist, concerned with the philosophy of knowledge.

This is the first introductory textbook on non-classical propositional logics.

"This is a wonderful book! In "How Scientists Explain Disease," Paul Thagard offers us a delightful essay combining science, its history, philosophy, and sociology.

Traditional analyses of the curve fitting problem maintain that the data do not indicate what form the fitted curve should take. Rather, this issue is said to be settled by prior probabilities, by simplicity, or by a background theory. In this paper, we describe a result due to Akaike [1973], which shows how the data can underwrite an inference concerning the curve's form based on an estimate of how predictively accurate it will be. We argue that this approach throws light (...) on the theoretical virtues of parsimoniousness, unification, and non ad hocness, on the dispute about Bayesianism, and on empiricism and scientific realism. * Both of us gratefully acknowledge support from the Graduate School at the University of Wisconsin-Madison, and NSF grant DIR-8822278 (M.F.) and NSF grant SBE-9212294 (E.S.). Special thanks go to A. W. F. Edwards.William Harper. Martin Leckey. Brian Skyrms, and especially Peter Turney for helpful comments on an earlier draft. (shrink)

In the middle of the 1980s, logical tools were discovered that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable both to human beliefs and to the contents of databases. This is the first textbook in this new area. It contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. By using different selections from the formal section (...) the book can be used on all levels of University education. (shrink)

Change, Choice and Inference develops logical theories that are necessary both for the understanding of adaptable human reasoning and for the design of intelligent systems. The book shows that reasoning processes - the drawing on inferences and changing one's beliefs - can be viewed as belonging to the realm of practical reason by embedding logical theories into the broader context of the theory of rational choice. The book unifies lively and significant strands of research in logic, philosophy, economics and artificial (...) intelligence. It elaborates on the relevant theories and provides a mathematically precise foundation for the thesis that large parts of theoretical reason can be subsumed under practical reason. (shrink)

This target article presents a new computational theory of explanatory coherence that applies to the acceptance and rejection of scientific hypotheses as well as to reasoning in everyday life, The theory consists of seven principles that establish relations of local coherence between a hypothesis and other propositions. A hypothesis coheres with propositions that it explains, or that explain it, or that participate with it in explaining other propositions, or that offer analogous explanations. Propositions are incoherent with each other if they (...) are contradictory, Propositions that describe the results of observation have a degree of acceptability on their own. An explanatory hypothesis is acccpted if it coheres better overall than its competitors. The power of the seven principles is shown by their implementation in a connectionist program called ECHO, which treats hypothesis evaluation as a constraint satisfaction problem. Inputs about the explanatory relations are used to create a network of units representing propositions, while coherende and incoherence relations are encoded by excitatory and inbihitory links. ECHO provides an algorithm for smoothly integrating theory evaluation based on considerations of explanatory breadth, simplicity, and analogy. It has been applied to such important scientific cases as Lovoisier's argument for oxygen against the phlogiston theory and Darwin's argument for evolution against creationism, and also to cases of legal reasoning. The theory of explanatory coherence has implications for artificial intelligence, psychology, and philosophy. (shrink)

By targeting and critiquing these assumptions, he lays the groundwork for a post-positivist philosophy of science that does not provide aid and comfort to the enemies of reason. This book consists of thirteen essays.

An graduate level introduction to nonmonotonic reasoning, emphasizing structures and spirit common to different formulations, with exercises.

The standard philosophical project of analysing the concept of knowledge has radical defects in its arbitrary restriction of the subject matter, and its risky theoretical presuppositions. Edward Craig suggests a more illuminating approach, akin to the `state of nature' method found in political theory, which builds up the concept from a hypothesis about the social function of knowledge and the needs it fulfils. Light is thrown on much that philosophers have written about knowledge, about its analysis and the obstacles to (...) its analysis, and on the debate over scepticism. It becomes apparent why many languages not only have such constructions as `knows whether' and `knows that', but also have equivalents of `knows how to' and `know' followed by a direct object. Thus the inquiry is both broadened in scope and made theoretically less fragile. (shrink)

A person required to risk money on a remote digit of π would, in order to comply fully with the theory [of personal probability] have to compute that digit, though this would really be wasteful if the cost of computation were more than the prize involved. For the postulates of the theory imply that you should behave in accordance with the logical implications of all that you know. Is it possible to improve the theory in this respect, making allowance within (...) it for the cost of thinking, or would that entail paradox? (shrink)

This book examines three areas in which abductive reasoning is especially important: medicine, science, and law. The reader is introduced to abduction and shown how it has evolved historically into the framework of conventional wisdom in logic. Discussions draw upon recent techniques used in artificial intelligence, particularly in the areas of multi-agent systems and plan recognition, to develop a dialogue model of explanation. Cases of causal explanations in law are analyzed using abductive reasoning, and all the components are finally brought (...) together to build a new account of abductive reasoning. By clarifying the notion of abduction as a common and significant type of reasoning in everyday argumentation, _Abductive Reasoning_ will be useful to scholars and students in many fields, including argumentation, computing and artificial intelligence, psychology and cognitive science, law, philosophy, linguistics, and speech communication and rhetoric. (shrink)

The literature on the theory of social choice has grown considerably beyond the few items in existence at the time the first edition of this book appeared in 1951. Some of the new literature has dealt with the technical, mathematical aspects, more with the interpretive. My own thinking has also evolved somewhat, although I remain far from satisfied with present formulations. The exhaustion of the first edition provides a convenient time for a selective and personal stocktaking in the form of (...) an appended commentary entitled, 'Notes on the Theory of Social Choice, 1963, ' containing reflections on the text and its omissions and on some of the more recent literature. This form has seemed more appropriate than a revision of the original text, which has to some extent acquired a life of its own. (shrink)

This article describes abductions as special patterns of inference to the best explanation whose structure determines a particularly promising abductive conjecture and thus serves as an abductive search strategy. A classification of different patterns of abduction is provided which intends to be as complete as possible. An important distinction is that between selective abductions, which choose an optimal candidate from given multitude of possible explanations, and creative abductions, which introduce new theoretical models or concepts. While selective abduction has dominated the (...) literature, creative abductions are rarely discussed, although they are essential in science. The article introduces several kinds of creative abductions, such as theoretical model abduction, common cause abduction and statistical factor analysis, and illustrates them by various real case examples. It is suggested to demarcate scientifically fruitful abductions from purely speculative abductions by the criterion of causal unification. (shrink)

A study in the logic of theory change, examining the properties of maxichoice contraction and revision operations.