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 ...

Repeatedly and successfully, the celebrated Harvard philosopher Robert Nozick has reached out to a broad audience beyond the confines of his discipline, addressing ethical and social problems that matter to every thoughtful person. Here Nozick continues his search for the connections between philosophy and "ordinary" experience. In the lively and accessible style that his readers have come to expect, he offers a bold theory of rationality, the one characteristic deemed to fix humanity's "specialness." What are principles for? asks Nozick. We (...) could act simply on whim, or maximize our self-interest and recommend that others do the same. As Nozick explores rationality of decision and rationality of belief, he shows how principles actually function in our day-to-day thinking and in our efforts to live peacefully and productively with each other. Throughout, the book combines daring speculations with detailed investigations to portray the nature and status of rationality and the essential role that imagination plays in this singular human aptitude. (shrink)

Throughout, the book combines daring speculations with detailed investigations to portray the nature and status of rationality and the essential role that...

In Unnatural Doubts, Michael Williams constructs a masterly polemic against the very idea of epistemology, as traditionally conceived.

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)

Contrary to standard assumptions, reasoning is often an emotional process. Emotions can have good effects, as when a scientist gets excited about a line of research and pursues it successfully despite criticism. But emotions can also distort reasoning, as when a juror ignores evidence of guilt just because the accused seems like a nice guy. In _Hot Thought_, Paul Thagard describes the mental mechanisms -- cognitive, neural, molecular, and social -- that interact to produce different kinds of human thinking, from (...) everyday decision making to legal reasoning, scientific discovery, and religious belief, and he discusses when and how thinking and reasoning should be emotional. Thagard argues that an understanding of emotional thinking needs to integrate the cognitive, neural, molecular, and social levels. Many of the chapters employ computational models of various levels of thinking, including HOTCO models and the more neurologically realistic GAGE model. Thagard uses these models to illuminate thinking in the domains of law, science, and religion, discussing such topics as the role of doubt and reasonable doubt in legal and other contexts, valuable emotional habits for successful scientists, and the emotional content of religious beliefs. Identifying and assessing the impact of emotion, Thagard argues, can suggest ways to improve the process of reasoning. (shrink)

This is a survey paper. Contents: 1 Introduction -- 2 The representation of belief -- 3 Kinds of belief change -- 4 Coherence constraints for belief revision -- 5 Different modes of belief change -- 6 Two strategies for characterizing rational changes of belief - 6.1 The postulates strategy - 6.2 The constructive strategy -- 7 An abstract view of the elements of belief change -- 8 Iterated changes of belief -- 9 Further developments - 9.1 Variants and extensions of (...) belief revision - 9.2 Updates - 9.3 Default inferences as expectation revision - 9.4 Belief merging -- 10 Concluding remarks. (shrink)

Eric Martin and Daniel N. Osherson present a theory of inductive logic built on model theory. Their aim is to extend the mathematics of Formal Learning Theory to a more general setting and to provide a more accurate image of empirical inquiry. The formal results of their study illuminate aspects of scientific inquiry that are not covered by the commonly applied Bayesian approach.

My aim in this paper is to explore the dispute between foundationalism and coherentism and attempt a resolution. I will begin by considering the origin of the issue in the famous epistemic regress problem. Next I will explore the central foundationalist idea and the most central objections that have been raised against foundationalist views. This will lead to a consideration of the main contours of the coherentist alternative, and eventually to a discussion of objections to coherentism – including several specific (...) ones that I now judge to be clearly fatal, especially when taken together. This will motivate, finally, a reconsideration of foundationalism. I will argue that the dialectically most serious objection to foundationalism can be successfully answered. While the answer that I will suggest admittedly carries with it the price of aggravating certain other difficulties, especially the venerable problem of showing how belief in an external world of physical objects can be justified, it still seems to me to leave foundationalism as by far the more defensible and promising of the two alternatives. (shrink)

Reasoning with cases has been a primary focus of those working in AI and law who have attempted to model legal reasoning. In this paper we put forward a formal model of reasoning with cases which captures many of the insights from that previous work. We begin by stating our view of reasoning with cases as a process of constructing, evaluating and applying a theory. Central to our model is a view of the relationship between cases, rules based on cases, (...) and the social values which justify those rules. Having given our view of these relationships, we present our formal model of them, and explain how theories can be constructed, compared and evaluated. We then show how previous work can be described in terms of our model, and discuss extensions to the basic model to accommodate particular features of previous work. We conclude by identifying some directions for future work. (shrink)

ABSTRACT Semi-revision is a mode of belief change that differs from revision in that the input sentence is not always accepted. A constructive approach to semi-revision is proposed. It requires an efficient treatment of local inconsistencies, which is more easily obtainable in belief base models than in belief set models. Axiomatic characterizations of two semi-revision operators are reported.

The paper introduces ten open problems in belief revision theory, related to the representation of the belief state, to different notions of degrees of belief, and to the nature of change operations. It is argued that these problems are all issues in philosopical logic, in the strong sense of requiring inputs from both logic and philosophy for their solution.

This paper summarizes and systematizes recent and ongoing work on non-prioritized belief change, i.e., belief revision in which the new information has no special priority due to its novelty.

This paper evaluates four competing psychological explanations for why the jury in the O.J. Simpson murder trial reached the verdict they did: explanatory coherence, Bayesian probability theory, wishful thinking, and emotional coherence. It describes computational models that provide detailed simulations of juror reasoning for explanatory coherence, Bayesian networks, and emotional coherence, and argues that the latter account provides the most plausible explanation of the jury's decision.

The AGM paradigm for belief revision provides a very elegant and powerful framework for reasoning about idealized agents. The paradigm assumes that the modeled agent is a perfect reasoner with infinite memory. In this paper we propose a framework to reason about non-ideal agents that generalizes the AGM paradigm. We first introduce a structure to represent an agent's belief states that distinguishes different status of beliefs according to whether or not they are explicitly represented, whether they are currently active and (...) whether they are fully accepted or provisional. Then we define a set of basic operations that change the status of beliefs and show how these operations can be used to model agents with different capacities. We also show how different operations of belief change described in the literature can be seen as special cases of our theory. (shrink)

An agent can usually hold a very large number of beliefs. However, only a small part of these beliefs is used at a time. Efficient operations for belief change should affect the beliefs of the agent locally, that is, the changes should be performed only in the relevant part of the belief state. In this paper we define a local consequence operator that only considers the relevant part of a belief base. This operator is used to define local versions of (...) the operations for belief change. Representation theorems are given for the local operators. (shrink)

This paper develops a descriptive and normative account of how people respond to testimony. It postulates a default pathway in which people more or less automatically respond to a claim by accepting it, as long as the claim made is consistent with their beliefs and the source is credible. Otherwise, people enter a reflective pathway in which they evaluate the claim based on its explanatory coherence with everything else they believe. Computer simulations show how explanatory coherence can be maximized in (...) real-life cases, taking into account all the relevant evidence including the credibility of whoever is making a claim. The explanatory-coherence account is more plausible both descriptively and normatively than a Bayesian account. (shrink)

The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply (...) to Grove’s sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination. (shrink)

This paper presents a theory of belief revision that allows people to come tobelieve in contradictions. The AGM theory of belief revision takes revision,in part, to be consistency maintenance. The present theory replacesconsistency with a weaker property called coherence. In addition to herbelief set, we take a set of statements that she rejects. These two sets arecoherent if they do not overlap. On this theory, belief revision maintains coherence.

We prove that four theses commonly associated with coherentism are incompatible with the representation of a belief state as a logically closed set of sentences. The result is applied to the conventional coherence interpretation of the AGM theory of belief revision, which appears not to be tenable. Our argument also counts against the coherentistic acceptability of a certain form of propositional holism. We argue that the problems arise as an effect of ignoring the distinction between derived and non-derived beliefs, and (...) we suggest that the kind of coherence relevant to epistemic justification is the coherence of non-derived beliefs. (shrink)

Postulational approaches attempt to understand the dynamics of belief revision by appealing to no more than the set of beliefs held by an agent and the logical relations between them. It is argued there that such an approach cannot work. A proper account of belief revision must also appeal to the arguments supporting beliefs, and recognize that those arguments can be defeasible. If we begin with a mature epistemological theory that accommodates this, it can be seen that the belief revision (...) operators on which the postulational theories are based are ill-defined. It is further argued that there is no way to repair the definitions so as to retain the spirit of those theory. Belief revision is better studied from within an independently motivated epistemological theory. (shrink)

The article advocates a particular coherence theory of justification that emphasizes the significance of explanatory relations. It is shown that other approaches to coherence have failed because they underestimate the importance of explanatory theories in forming a system of beliefs. Additionally, a conception of explanation as a unifying substantial embedding of models is sketched that closely conforms with the proposed theory of coherence.

I argue that the analysis most capable of systematising our intuitions about coherence as a relation is one according to which a set of beliefs, A, coheres with another set, B, if and only if the set-theoretical union of A and B is a coherent set. The second problem I consider is the role of coherence in epistemic justification. I submit that there are severe problems pertaining to the idea, defended most prominently by Keith Lehrer, that justification amounts to coherence (...) with an acceptance system. Instead I advance a more dynamic approach according to which the problem of justification is the problem of how to merge new information with old coherently, a process which is seen to be closely connected with relational coherence. (shrink)

��This article reviews a theory of explanatory coherence that provides a psychologically plausible account of how people evaluate competing explanations. The theory is implemented in a computational model that uses simple artificial neural networks to simulate many important cases of scientific and legal reasoning. Current research directions include extensions to emotional thinking and implementation in more biologically realistic neural networks.

The notion of epistemic coherence is interpreted as involving not only consistency but also stability. The problem how to consolidate a belief system, i.e., revise it so that it becomes coherent, is studied axiomatically as well as in terms of set-theoretical constructions. Representation theorems are given for subtractive consolidation (where coherence is obtained by deleting beliefs) and additive consolidation (where coherence is obtained by adding beliefs).

This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of more than 20 years of his research, they cover a wide ground of topics, from early works on decision theory, belief revision and nonmonotonic logic to more recent work on conceptual spaces, inductive reasoning, semantics and the evolutions of thinking. Many of the papers have only been published in places that are difficult to access. The common theme of all the (...) papers is the dynamics of thought. Several of the papers have become minor classics and the volume bears witness of the wide scope of Gärdenfors’ research and of his crisp and often witty style of writing. The volume will be of interest to researchers in philosophy and other cognitive sciences. (shrink)

In a recent article, Peter Gärdenfors (1992) has suggested that the AGM (Alchourrón, Gärdenfors, and Makinson) theory of belief revision can be given an epistemic basis by interpreting the revision postulates of that theory in terms of a version of the coherence theory of justification. To accomplish this goal Gärdenfors suggests that the AGM revision postulates concerning the conservative nature of belief revision can be interpreted in terms of a concept of epistemic entrenchment and that there are good empirical reasons (...) to adopt this view as opposed to some form of foundationalist account of the justification of our beliefs. In this paper I argue that Gärdenfors’ attempt to underwrite the AGM theory of belief revision by appealing to a form of coherentism is seriously inadequate for several reasons. (shrink)

Descartes contended that “I am obliged in the end to admit that none of my former ideas are beyond legitimate doubt”. Accordingly, he adopted a method of doubting everything: “Since my present aim was to give myself up to the pursuit of truth alone, I thought I must do the very opposite, and reject as if absolutely false anything as to which I could imagine the least doubt, in order to see if I should not be left at the end (...) believing something that was absolutely indubitable”. Similarly, other philosophers have raised doubts about the justifiability of beliefs concerning the external world, the existence of other minds, and moral principles; philosophical skepticism has a long history. (shrink)

Scientific inquiry is represented as a process of rational hypothesis revision in the face of data. For the concept of rationality, we rely on the theory of belief dynamics as developed in [5, 9]. Among other things, it is shown that if belief states are left unclosed under deductive logic then scientific theories can be expanded in a uniform, consistent fashion that allows inquiry to proceed by any method of hypothesis revision based on "kernel" contraction. In contrast, if belief states (...) are closed under logic, then no such expansion is possible. (shrink)