Hans Rott

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.

The paper addresses the situation of a dispute in which one speaker says ϕ and a second speaker says not-ϕ. Proceeding on an idealising distinction between "basic" and "interesting" claims that may be formulated in a given idiolectal language, I investigate how it might be sorted out whether the dispute reflects a genuine disagreement, or whether the speakers are only having a merely verbal dispute, due to their using different interesting concepts. I show that four individually plausible principles for the determination of the nature of a dispute are incompatible. As an example, I discuss the question whether Sarai lied in the story told in Genesis 12.

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

Prioritized bases, i.e., weakly ordered sets of sentences, have been used for specifying an agent’s ‘basic’ or ‘explicit’ beliefs, or alternatively for compactly encoding an agent’s belief state without the claim that the elements of a base are in any sense basic. This paper focuses on the second interpretation and shows how a shifting of priorities in prioritized bases can be used for a simple, constructive and intuitive way of representing a large variety of methods for the change of belief states—methods that have usually been characterized semantically by a system-of-spheres modeling. Among the methods represented are ‘radical’, ‘conservative’ and ‘moderate’ revision, ‘revision by comparison’ in its raising and lowering variants, as well as various constructions for belief expansion and contraction. Importantly, none of these methods makes any use of numbers.

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.

Der Band vereint aktuelle Beiträge zu den Themenschwerpunkten Fiktion, Wahrheit und Interpretation im Hinblick auf fiktionale literarische Texte. Im Einzelnen werden Fragen wie die folgenden diskutiert: In welchem Verhältnis stehen Literatur und Wahrheit? Welche Rolle spielen Intentionen für die Interpretation? Sind fiktionale Texte ausschließlich fiktional? Lässt sich die Sprechakttheorie für die Beschreibung der in fiktionalen literarischen Texten enthaltenen Sätze fruchtbar machen? Warum nehmen wir Anteil an fiktionaler Literatur, obwohl wir wissen, dass die beschriebenen Personen und Ereignisse nicht real sind? Die Beiträger nehmen diese Problemfelder aus einer interdisziplinären Warte zwischen Literaturtheorie und analytischer Philosophie in den Blick.

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

Dieser Beitrag vergleicht G. F. Meiers Prinzip der hermeneutischen Billigkeit mit D. Davidsons „Principle of Charity". In der Literatur wurde darauf hingewiesen, daß diese sehr allgemeinen Prinzipien wohlwollender Interpretation insofern verwandt sind, als sie Sprechern und Autoren generell eine gewisse Form von Rationalität unterstellen. Doch weisen sie auch deutlich erkennbare Unterschiede auf. Während Meiers Auslegungskunst einen naiven Bedeutungsbegriff voraussetzt, wirkt Davidsons Prinzip in erster Linie bedeutungskonstitutiv. Ich setze die beiden Prinzipien in den Rahmen einer allgemeinen, hier nur grob entworfenen Theorie der Interpretation, nach der die Interpretation von Äußerungen und Texten stets ein Rekonstruktionsunternehmen darstellt, welches die Existenz von Bedeutungen elementarer lexikalischer Einheiten und grammatikalischer Konstruktionen postuliert, die kontextuell-holistisch verstanden und kompositional verknüpft werden können

This paper investigates the formal relationship between two prominent approaches to the logic of belief change. The first one uses the idea of "relational partial meet contractions" as developed by Alchourrón, Gärdenfors and Makinson (Journal of Symbolic Logic 1985), the second one uses the concept of "epistemic entrenchment" as elaborated by Gärdenfors and Makinson (in Theoretical Aspects of Reasoning about Knowledge, M. Y. Vardi, Los Altos 1988). The two approaches are shown to be strictly equivalent via direct links between the underlying formal relations. The paper closes with observations about the application of epistemic entrenchment to simple and iterated revisions.

In recent years there has been a growing consensus that ordinary reasoning does not conform to the laws of classical logic, but is rather nonmonotonic in the sense that conclusions previously drawn may well be removed upon acquiring further information. Even so, rational belief formation has up to now been modelled as conforming to some fundamental principles that are classically valid. The counterexample described in this paper suggests that a number of the most cherished of these principles should not be regarded as valid for commonsense reasoning. An explanation of this puzzling failure is given, arguing that a problem in the theory of rational choice transfers to the realm of belief formation.

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.

The classical qualitative theory of belief change due to Alchourrón, Gärdenfors and Makinson has been widely known as being characterised by two packages of postulates. While the basic package consists of six postulates and is very weak, the full package that adds two further postulates is very strong. I revisit two classic constructions of theory contraction, viz., relational possible worlds contraction and entrenchment-based contraction and argue that four intermediate levels can be distinguished that play - or ought to play - important roles within qualitative belief revision theory. Levels 3 and 4 encode two ways of interpreting the idea of imperfect discrimination of the plausibilities of possible worlds or propositions.

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.

The paper proposes a unified analysis of the natural language connectives 'if', 'if … might', 'even if' (all of them with indicative and subjunctive mood), 'because' and 'though'. They are all interpreted as instances of universal (pro)conditionals, unconditionals, or counterconditionals. The paper imports the notion of relevance into the meaning of conditionals, viewing conditionals as close in meaning to explanations and statements about causal relations. The antecedent of a conditional is interpreted as being relevant for its consequent, thus avoiding the general inference from A and B to 'If A, B'. The analysis is based on different variants of the Ramsey test (among them the 'Strong Ramsey Test') together with a fragment of the belief revision theory of Alchourrón, Gärdenfors and Makinson.

The paper attempts to reconcile two very different approaches to the concept of causation. In the original form, it is the opposition found in Laplace between his doctrine of constant and variable causes on the one hand and his mechanistic determinism on the other. This tension was described clearly only by Maxwell who stressed the contrast between the statistical and the dynamical method (calling the latter also the historical or strictly kinetic method). A similar dichotomy surfaces in the work of Wesley Salmon who distinguished statistical from aleatory causation. Acknowledging that we seem to have conflicting intuitions about causality and explanation, I argue that assigning probabilistic laws a fundamental role in scientific explanation does not conflict with the assumption of Laplacian determinism. This is due to the fact that in most systems of interest, we confront a complex interaction of multiple causal factors and an extreme sensitivity to small variations of initial conditions.

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.

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.

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.

This paper presents 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 (by Debreu, Tversky and others) are analyzed in a non-probabilistic 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.

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.

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.

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.

The problem of how to remove information from an agent's stock of beliefs is of paramount concern in the belief change literature. An inquiring agent may remove beliefs for a variety of reasons: a belief may be called into doubt or the agent may simply wish to entertain other possibilities. In the prominent AGM framework for belief change, upon which the work here is based, one of the three central operations, contraction, addresses this concern (the other two deal with the incorporation of new information). Makinson has generalised this work by introducing the notion of a withdrawal operation. Underlying the account proffered by AGM is the idea of rational belief change. A belief change operation should be guided by certain principles or integrity constraints in order to characterise change by a rational agent. One of the most noted principles within the context of AGM is the Principle of Informational Economy. However, adoption of this principle in its purest form has been rejected by AGM leading to a more relaxed interpretation. In this paper, we argue that this weakening of the Principle of Informational Economy suggests that it is only one of a number of principles which should be taken into account. Furthermore, this weakening points toward a Principle of Indifference. This motivates the introduction of a belief removal operation that we call severe withdrawal. We provide rationality postulates for severe withdrawal and explore its relationship with AGM contraction. Moreover, we furnish possible worlds and epistemic entrenchment semantics for severe withdrawals

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