Hans Rott

According to Otto Neurath, the practice of science consists in a large undertaking of setting up and maintaining systems of statements: In unified science we try... to create a consistent system of protocol statements and nonprotocol statements. When a new statement is presented to us we compare it with the system at our disposal and check whether the new statement is in contradiction with the system or not. If the new statement is in contradiction with the system, we can discard this statement as unusable, for example, the statement: ‘In Africa lions sing only in major chords’ ; however, one can also ‘accept’ the statement and change the system accordingly so that it remains consistent if this statement is added. The statement may then be called ‘true’.

This paper studies the idea of conservatism with respect to belief change strategies in the setting of unary, iterated belief revision functions (based on the conclusions of Rott, ‘Coherence and Conservatism in the Dynamics of Belief, Part I: Finding the Right Framework’, Erkenntnis 50, 1999, 387–412). Special attention is paid to the case of ‘basic belief change’ where neither the (weak) AGM postulates concerning conservatism with respect to beliefs nor the (stong) supplementary AGM postulates concerning dispositional coherence need to be satisfied. One‐step belief change generated by ‘basic entrenchment’ is combined with a natural conservative method of revising entrenchment relations. A logical characterization of this method is presented, and it is compared with three other methods known from the literature which I call ‘external’, ‘radical’ and ‘moderate’ belief revision. While conservative belief change turns out to be incoherent in its treatment of the recency of information, moderate belief change is more satisfactory in this respect.

Richard Bradley has initiated a new debate, with Brian Hill and Jake Chandler as further participants, about the implications of a number of so-called triviality results surrounding the Ramsey test for conditionals. I comment on this debate and argue that ‘Inclusion’ and ‘Preservation’, which were originally introduced as postulates for the rational revision of factual beliefs, have little to recommend them in the first place when extended to languages containing conditionals. I question the philosophical method of postulation that was applied in the new debate, and instead base my arguments on explicit representations of belief states and canonical constructions of belief state revisions.

In this paper I discuss the foundations of a formal theory of coherent and conservative belief change that is (a) suitable to be used as a method for constructing iterated changes of belief, (b) sensitive to the history of earlier belief changes, and (c) independent of any form of dispositional coherence. I review various ways to conceive the relationship between the beliefs actually held by an agent and her belief change strategies (that also deal with potential belief sets), show the problems they suffer from, and suggest that belief states should be represented by unary revision functions that take sequences of inputs. Three concepts of coherence implicit in current theories of belief change are distinguished: synchronic, diachronic and dispositional coherence. Diachronic coherence is essentially identified with what is known as conservatism in epistemology. The present paper elaborates on the philosophical motivation of the general framework; formal details and results are provided in a companion paper.

Using Gärdenfors's notion of epistemic entrenchment, we develop the semantics of a logic which accounts for the following points. It explains why we may generally infer `If ~A then B´ if all we know is AvB while must not generally infer `If ~A then B´ if all we know is {AvB, A}. More generally, it explains the nonmonotonic nature of the consequence relation governing languages which contain conditionals, and it explains how we can deduce conditionals from premise sets without conditionals. Depending on the language at hand, our logic provides different ways of keeping the Ramsey test and getting round the Gärdenfors triviality theorem. I argue that consistent additions of new items of belief are not to be performed by transitions to logical expansions.

This paper discusses a number of apparent anomalies in rational choice scenarios, and their translation into the logic of everyday reasoning. Three classes of examples that have been discussed in the context of probabilistic choice since the 1960s are analyzed in a nonprobabilistic setting. It is shown how they can at the same time be regarded as logical problems that concern the drawing of defeasible inferences from a given information base. I argue that initial appearances notwithstanding, these cases should not be classed as instances of irrationality in choice or reasoning. One way of explaining away their apparent oddity is to view certain aspects of these examples as making particular options salient. The decision problems in point can then be solved by ‘picking’ these options, although they could not have been ‘chosen’ in a principled way, due to ties or incomparabilities with alternative options

This is a survey paper. Contents: 1 Introduction ― 2 Preliminary remarks on information, truth and mind - 2.1 Remarks on information and truth - 2.2 Some clues from the philosophy of mind - 2.3 Functionalism as applied to belief revision - 2.4 Filling in the parameters ― 3 Belief change = revision + reflection - 3.1 Foundationalism - 3.2 Coherentism ― 4 Inference operations for simple change operations: three examples - 4.1 Example 1: flat data bases - 4.2 Example 2: up-sets in prioritized data bases - 4.3 Example 3: maximal-consistent sets in prioritized data bases ― 5 Representing coherentist belief change by operations on prioritized data bases - 5.1 Moderate revision - 5.2 Revision by comparison ― 6 A very brief history of belief revision - 6.1 The 1980s: AGM's classical model - 6.2 The 1990s: iteration - 6.3 The 2000s: merging ― 7 Conclusion

The development of science does not proceed as a monotonous addition of information. A superior successor theory often contradicts its predecessor. The question as to what the logical relationship is between such theories, insofar as the transition from one to the other embodies continuity and progress, is the subject of this book. Proceeding from a discussion of intertheory reductions, the author proves that theories revision models from philosophical logic are fruitful for questions of scientific theory. Formal analyses of conditionals, autoepistemic inferences, intertheoretical explanations and idealizations are carried out, as well as applications to the Kepler-Newton case and the case of the ideal gas law and van der Waals's law.

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.

This paper combines various structures representing degrees of belief, degrees of disbelief, and degrees of non-belief (degrees of expectations) into a unified whole. The representation uses relations of comparative necessity and possibility, as well as non-probabilistic functions assigning numerical values of necessity and possibility. We define all-encompassing necessity structures which have weak expectations (mere hypotheses, guesses, conjectures, etc.) occupying the lowest ranks and very strong, ineradicable ('a priori') beliefs occupying the highest ranks. Structurally, there are no differences from the top to the bottom. I argue that belief is a vague notion, and that thresholds for belief, if there are any, are context-dependent.

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

The paper aims at a perspicuous representation of Isaac Levi's pragmatist epistemology, spanning from the 1967 classic "Gambling with Truth" to his 2004 book on "Mild Contraction". Based on a formal framework for Levi's notion of inquiry, I analyse his decision-theoretic approach with truth and information as basic cognitive values, and with Shackle measures as emerging structures. Both cognitive values figure prominently in Levi's model of inductive belief expansion, but only the value of information is employed in his model of belief contraction. I argue that the former model is more successful than the latter.

This collection includes twenty original philosophical essays in honour of Wolfgang Spohn. The contributions mirror the scope of Wolfgang Spohn’s work. They address topics from epistemology (e.g., the theory of ranking functions, belief revision, and the nature of knowledge and belief), philosophy of science (e.g., causation, induction, and laws of nature), the philosophy of language (e.g., the theory of meaning and the semantics of counterfactuals), and the philosophy of mind (e.g., intentionality and free will), as well as problems of ontology, logic, the theory of practical rationality, and meta-philosophy. ― Contributors: Ansgar Beckermann, Wolfgang Benkewitz, Bernd Buldt, Ralf Busse, Christoph Fehige, Wolfgang Freitag, Gordian Haas, Volker Halbach, Franz Huber, Andreas Kemmerling, Manfred Kupffer, Hannes Leitgeb, Godehard Link, Arthur Merin, Thomas Müller, Julian Nida-Rümelin, Martine Nida-Rümelin, Hans Rott, Holger Sturm, Thomas Ede Zimmermann, Alexandra Zinke.

In this paper I discuss the relation between various properties that have been regarded as important for determining whether or not a belief constitutes a piece of knowledge: its stability, strength and sensitivity to truth, as well as the strength of the epistemic position in which the subject is with respect to this belief. Attempts to explicate the relevant concepts more formally with the help of systems of spheres of possible worlds (à la Lewis and Grove) must take care to keep apart the very different roles that systems of spheres can play. Nozicks sensitivity account turns out to be closer to the stability analysis of knowledge (versions of which I identify in Plato, Descartes, Klein and Lehrer) than one might have suspected.

Communication problems between members of different cultures may be due to "genuine" disagreement or "mere" misunderstanding. I argue that there is anthropological evidence that efficient communication across different cultures and languages is feasible, since (i) the degrees of sophistication in thinking or talking are not fundamentally different (the case of "Chinese counterfactuals") and (ii) the basic logics used are not fundamentally different (the case of "Zande logic"). Disagreements and misunderstandings are not clearly separable, however, because (iii) it is only relative to a given translational scheme that one can talk of a member of one culture denying what a member of another culture affirms. The latter claim is illustrated by a logical analysis of a made-up example.

A sentence A is epistemically less entrenched in a belief state K than a sentence B if and only if a person in belief state K who is forced to give up either A or B will give up A and hold on to B. This is the fundamental idea of epistemic entrenchment as introduced by Gärdenfors (1988) and elaborated by Gärdenfors and Makinson (1988). Another distinguishing feature of relations of epistemic entrenchment is that they permit particularly simple and elegant construction recipes for minimal changes of belief states. These relations, however, are required to satisfy rather demanding conditions. In the present paper we liberalize the concept of epistemic entrenchment by removing connectivity, minimality and maximality conditions. Correspondingly, we achieve a liberalization of the concept of rational belief change that does no longer presuppose the postulates of success and rational monotony. We show that the central results of Gärdenfors and Makinson are preserved in our more flexible setting. Moreover, the generalized concept of epistemic entrenchment turns out to be applicable also to relational and iterated belief changes.

Drawing inspiration from Lakatos’s philosophy of science, the paper presents a notion of intertheory explanation that is suitable to explain, from the point of view of a successor theory, its predecessor theory’s success (where it is successful) as well as the latter’s failure (where it fails) at the same time. A variation of the Ramsey-test is used, together with a standard AGM belief revision model, to give a semantics for open and counterfactual conditionals and ’because’-sentences featuring in such intertheory explanations. Pre-theoretically described idealizing assumptions play a crucial role in this model, especially when the predecessor theory and the successor theory contradict each other.

This paper dwells upon formal models of changes of beliefs, or theories, which are expressed in languages containing a binary conditional connective. After defining the basic concept of a (non-trivial) belief revision model. I present a simple proof of Gärdenfors''s (1986) triviality theorem. I claim that on a proper understanding of this theorem we must give up the thesis that consistent revisions (additions) are to be equated with logical expansions. If negated or might conditionals are interpreted on the basis of autoepistemic omniscience, or if autoepistemic modalities (Moore) are admitted, even more severe triviality results ensue. It is argued that additions cannot be philosophically construed as parasitic (Levi) on expansions. In conclusion I outline somed logical consequences of the fact that we must not expect monotonic revisions in languages including conditionals.

The paper suggests a way of viewing the two Fregean principles of compositionality and contextuality as working together in the enterprise of interpretation. A third Fregean theme, that of elucidation (more precisely, the elucidation of primitive, undefinable terms of logic, mathematics and metamathematics) secures a place for some version of the context principle in Frege's later writings. When thinking about the functioning of elucidations, Frege acknowledges a principle of charitable interpretation. I argue that there is a deep connection between the three themes, and that not only compositionality and contextuality, but also charity is a genuinely Fregean theme. Context. Interpretation. Linguistics. Logic. Meaning. Word.

This paper addresses the question whether the past couple of decades of formal research in belief revision offers evidence of a new psychologism in logic. In the first part I examine five potential arguments in favour of this thesis and find them all wanting. In the second part of the paper I argue that belief revision research has climbed up a hierarchy of models for the change of doxastic states that appear to be clearly normative at the bottom, but are more amenable to an empirical-descriptive interpretation on higher levels. I conclude that this observation might offer a foothold for the thesis that there is a new psychologism in logic.

In their unifying theory to model uncertainty, Friedman and Halpern (1995–2003) applied plausibility measures to default reasoning satisfying certain sets of axioms. They proposed a distinctive condition for plausibility measures that characterizes “qualitative” reasoning (as contrasted with probabilistic reasoning). A similar and similarly fundamental, but more general and thus stronger condition was independently suggested in the context of “basic” entrenchment-based belief revision by Rott (1996–2003). The present paper analyzes the relation between the two approaches to formalizing basic notions of plausibility as used in qualitative default reasoning. While neither approach is a special case of the other, translations can be found that elucidate their relationship. I argue that Rott’s notion of plausibility allows for a more modular set-up and has a better philosophical motivation than that of Friedman and Halpern.

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.

There are two prominent ways of formally modelling human belief. One is in terms of plain beliefs, i.e., sets of propositions. The second one is in terms of degrees of beliefs, which are commonly taken to be representable by subjective probability functions. In relating these two ways of modelling human belief, the most natural idea is a thesis frequently attributed to John Locke: a proposition is or ought to be believed just in case its subjective probability exceeds a contextually fixed probability threshold \. This idea is known to have two serious drawbacks: first, it denies that beliefs are closed under conjunction, and second, it may easily lead to sets of beliefs that are logically inconsistent. In this paper I present two recent accounts of aligning plain belief with subjective probability: the Stability Theory of Leitgeb (2013, 2014, 2015, 2017) and the Probalogical Theory of Lin and Kelly (2012a, 2012b). I argue that Leitgeb’s theory may be too sceptical for the purposes of real life.

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.

Pragmatists have argued that doxastic or epistemic norms do not apply to beliefs, but to changes of beliefs; thus not to the holding or not-holding, but to the acquisition or removal of beliefs. Doxastic voluntarism generally claims that humans acquire beliefs in a deliberate and controlled way. This paper introduces Negative Doxastic Voluntarism according to which there is a fundamental asymmetry in belief change: humans tend to acquire beliefs more or less automatically and unreflectively, but they tend to withdraw beliefs in a controlled and deliberate way. I first present a variety of philosophical, empirical and logical arguments for Negative Doxastic Voluntarism. Then I raise two objections against it. First, the apparent asymmetry may result from a confusion of belief with other doxastic attitudes like assumption, supposition, hypothesis or opinion. Second, the apparent asymmetry seems to vanish if we focus on doxastic states rather than just beliefs. Some rejoinders and their consequences for the vague concept of belief are sketched

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.

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.