Hans Rott

Modern belief revision theory is based to a large extent on partial meet contraction that was introduced in the seminal article by Carlos Alchourrón, Peter Gärdenfors, and David Makinson that appeared in 1985. In the same year, Alchourrón and Makinson published a significantly different approach to the same problem, called safe contraction. Since then, safe contraction has received much less attention than partial meet contraction. The present paper summarizes the current state of knowledge on safe contraction, provides some new results and offers a list of unsolved problems that are in need of investigation.

We distinguish the set of explicit beliefs of a reasoner, his "belief base", from the beliefs that are merely implicit. Syntax-based belief change governed by the structure of the belief base and the ranking ("prioritization") of its elements is reconstructed with the help of an epistemic entrenchment relation in the style of Gärdenfors and Makinson. Though priorities are essentially different from entrenchments, distinguished relations of epistemic entrenchment may be obtained from prioritized belief bases by a number of different constructions. An approximate reconstruction of syntax-based belief change is possible, which can be strengthened to a strict identity in some important special cases. A competitive interpretation and a minimal change interpretation of the basic idea of entrenchment are discussed. It is argued that entrenchment essentially involves multiple belief changes, i.e., changes by sets of sentences.

The book addresses the questions how literature can convey knowledge and how literary meaning can arise in the face of the fact that fictional texts waive the usual claim to truth. Based on the interdisciplinary cooperation of literary scholars and analytic philosophers, the present anthology attempts a) to analyze the possibility and conditions of gaining knowledge through literature, and b) to apply, in a fruitful way, philosophical theories of meaning and interpretation to the constitution of meaning within the language of literature. The project is guided by the hypothesis that the cognitive function of literature cannot be understood without such fundamental modelings of the complex interaction of meaning, truth and knowledge.

Descartes' Meditations do not end up sceptical at all. In fact, the sixth meditation displays an intriguing epistemological optimism. Descartes affirms without reservation that knowledge of the external world is possible. The antisceptical argument at the end of the Meditations is often interpreted as a refutation of dream scepticism, with the conclusion that a person in the waking state can also determine that he or she is awake. We examine the logic of the argument in detail and find that this is not the point. Our reconstruction shows that the question of waking or dreaming which seems to be so crucial for Descartes can even be dropped from his argument.

Dogmatic, naive and sophisticated falsificationism are construed as being distinguished by different views on the revisability of scientific theories. Then Lakatos's methodology of scientific research programs (SRP) is reinterpreted: The structure of an SRP is a target theory equipped with a priority structure for hypothetical revisions that accommodate idealizing assumptions. Idealizations pointing "backwards" capture predecessor theories, thus showing both their virtues and limitations. The core of an SRP is assigned top priority; its positive heuristics consists in a strategy of how to work off the idealizing assumptions. In the dynamics of SRP's, progressive intertheoretic relations within an SRP are characterized as generating continuity through revisions, while those that hold across SRP's only have excess empirical content. Finally, we contrast our account with a reconstruction of Lakatos's in the structuralist philosophy of science (W. Stegmüller).

This paper presents the model of ‘bounded revision’ that is based on two-dimensional revision functions taking as arguments pairs consisting of an input sentence and a reference sentence. The key idea is that the input sentence is accepted as far as (and just a little further than) the reference sentence is ‘cotenable’ with it. Bounded revision satisfies the AGM axioms as well as the Same Beliefs Condition (SBC) saying that the set of beliefs accepted after the revision does not depend on the reference sentence (although the posterior belief state does depend on it). Bounded revision satisfies the Darwiche–Pearl (DP) axioms for iterated belief change. If the reference sentence is fixed to be a tautology or a contradiction, two well-known one-dimensional revision operations result. Bounded revision thus naturally fills the space between conservative revision (also known as natural revision) and moderate revision (also known as lexicographic revision). I compare this approach to the two-dimensional model of ‘revision by comparison’ investigated by Fermé and Rott (Artif Intell 157:5–47, 2004 ) that satisfies neither the SBC nor the DP axioms. I conclude that two-dimensional revision operations add substantially to the expressive power of qualitative approaches that do not make use of numbers as measures of degrees of belief.

The paper attacks the almost universally held view that belief revison theories, as they have been studied in the literature of the past two decades, are founded on a Principle of Minimal Change, or Principle of Informational Economy. The principle comes in two versions. According to the first, an agent should, when accepting new information, aim at a posterior belief set that minimizes the items on which it disagrees with the prior belief set. If there are different ways to effect the belief change, then according to the second version, the agent should give up the beliefs that are least entrenched. Although widely endorsed and advertised by belief revision theorists, the paper argues that both versions of the principle are dogmas that are not in fact (and perhaps should not be) adhered to. Two simple mathematical observations substantiate this claim, and it is defended against four possible objections that involve contractions, reconstructions, dispositions, and truths.