We investigate the process of truth-seeking by iterated belief revision with higher-level doxastic information . We elaborate further on the main results in Baltag and Smets (Proceedings of TARK, 2009a , Proceedings of WOLLIC’09 LNAI 5514, 2009b ), applying them to the issue of convergence to truth . We study the conditions under which the belief revision induced by a series of truthful iterated upgrades eventually stabilizes on true beliefs. We give two different conditions ensuring that beliefs converge to “full” (...) (complete) truth , as well as a condition ensuring only that they converge to true (but not necessarily complete) beliefs. (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

The paper presents a new analysis of Hempel’s conditions of adequacy, differing from the one in Carnap. Hempel, so it is argued, felt the need for two concepts of confirmation: one aiming at true theories, and another aiming at informative theories. However, so the analysis continues, he also realized that these two concepts were conflicting, and so he gave up the concept of confirmation aiming at informative theories. It is then shown that one can have the cake and eat it: (...) There is a logic of confirmation that accounts for both of these two conflicting aspects. (shrink)

The paper is based on ranking theory, a theory of degrees of disbelief (and hence belief). On this basis, it explains enumerative induction, the confirmation of a law by its positive instances, which may indeed take various schemes. It gives a ranking theoretic explication of a possible law or a nomological hypothesis. It proves, then, that such schemes of enumerative induction uniquely correspond to mixtures of such nomological hypotheses. Thus, it shows that de Finetti's probabilistic representation theorems may be transformed (...) into an account of confirmation of possible laws and that enumerative induction is equivalent to such an account. The paper concludes with some remarks about the apriority of lawfulness or the uniformity of nature. (shrink)

Representation theorems are often taken to provide the foundations for decision theory. First, they are taken to characterize degrees of belief and utilities. Second, they are taken to justify two fundamental rules of rationality: that we should have probabilistic degrees of belief and that we should act as expected utility maximizers. We argue that representation theorems cannot serve either of these foundational purposes, and that recent attempts to defend the foundational importance of representation theorems are unsuccessful. As a result, we (...) should reject these claims, and lay the foundations of decision theory on firmer ground. (shrink)

To clarify and illuminate the place of probability in science Ellery Eells and James H. Fetzer have brought together some of the most distinguished philosophers ...

A simple rule of probability revision ensures that the final result ofa sequence of probability revisions is undisturbed by an alterationin the temporal order of the learning prompting those revisions.This Uniformity Rule dictates that identical learning be reflectedin identical ratios of certain new-to-old odds, and is grounded in the oldBayesian idea that such ratios represent what is learned from new experiencealone, with prior probabilities factored out. The main theorem of this paperincludes as special cases (i) Field's theorem on commuting probability-kinematical (...) revisions and (ii) the equivalence of two strategiesfor generalizing Jeffrey's solution to the old evidence problem tothe case of uncertain old evidence and probabilistic new explanation. (shrink)

Philosophy and Phenomenological Research, Volume 104, Issue 1, Page 19-49, January 2022.

In this paper we compare Leitgeb’s stability theory of belief and Spohn’s ranking-theoretic account of belief. We discuss the two theories as solutions to the lottery paradox. To compare the two theories, we introduce a novel translation between ranking functions and probability functions. We draw some crucial consequences from this translation, in particular a new probabilistic belief notion. Based on this, we explore the logical relation between the two belief theories, showing that models of Leitgeb’s theory correspond to certain models (...) of Spohn’s theory. The reverse is not true. Finally, we discuss how these results raise new questions in belief theory. In particular, we raise the question whether stability is rightly thought of as a property pertaining to belief. (shrink)

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. (shrink)

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. (shrink)

In the companion paper (Towards a “sophisticated” model of belief dynamics. Part I), a general framework for realistic modelling of instantaneous states of belief and of the operations involving them was presented and motivated. In this paper, the framework is applied to the case of belief revision. A model of belief revision shall be obtained which, firstly, recovers the Gärdenfors postulates in a well-specified, natural yet simple class of particular circumstances; secondly, can accommodate iterated revisions, recovering several proposed revision operators (...) for iterated revision as special cases; and finally, offers an analysis of Rott’s recent counterexample to several Gärdenfors postulates [32], elucidating in what sense it fails to be one of the special cases to which these postulates apply. (shrink)

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. (shrink)

In this paper we investigate three approaches to iterated contraction, namely: the Moderate (or Priority) contraction, the Natural (or Conservative) contraction, and the Lexicographic contraction. We characterise these three contraction functions using certain, arguably plausible, properties of an iterated contraction function. While we provide the characterisation of the first two contraction operations using rationality postulates of the standard variety for iterated contraction, we found doing the same for the Lexicographic contraction more challenging. We provide its characterisation using a variation of (...) Epistemic ranking function instead. (shrink)

"A Survey of Ranking Theory": The paper gives an up-to-date survey of ranking theory. It carefully explains the basics. It elaborates on the ranking theoretic explication of reasons and their balance. It explains the dynamics of belief statable in ranking terms and indicates how the ranks can thereby be measured. It suggests how the theory of Bayesian nets can be carried over to ranking theory. It indicates what it might mean to objectify ranks. It discusses the formal and the philosophical (...) aspects of the tight relation and the complementarity of ranks and probabilities. It closes with comparative remarks on predecessors and other philosophical proposals as well as formal models developed in AI. (shrink)

In this paper two theories of defeasible reasoning, Pollock's account and my theory of ranking functions, are compared, on a strategic level, since a strictly formal comparison would have been unfeasible. A brief summary of the accounts shows their basic difference: Pollock's is a strictly computational one, whereas ranking functions provide a regulative theory. Consequently, I argue that Pollock's theory is normatively defective, unable to provide a theoretical justification for its basic inference rules and thus an independent notion of admissible (...) rules. Conversely, I explain how quite a number of achievements of Pollock's account can be adequately duplicated within ranking theory. The main purpose of the paper, though, is not to settle a dispute with formal epistemology, but rather to emphasize the importance of formal methods to the whole of epistemology. (shrink)

The central claim of the paper is, roughly, that the fact that it looks to somebody as if p is a defeasibly a priori reason for assuming that p (and vice versa), for any person, even for the perceiver himself. As a preparation, it outlines a doxastic conception suitable to explicate this claim and explains how to analyse dispositions within this conception. Since an observable p has the disposition to look as if p, this analysis generalizes to the central claim (...) which is then argued to be at the bottom of coherentism. Thus, the defense of the claim supports coherentism as opposed to foundationalism and at the same time provides an answer to skepticism about the external world. (shrink)

The characteristic difference between laws and accidental generalizations lies in our epistemic or inductive attitude towards them. This idea has taken various forms and dominated the discussion about lawlikeness in the last decades. Likewise, the issue about ceteris paribus conditions is essentially about how we epistemically deal with exceptions. Hence, ranking theory with its resources of defeasible reasoning seems ideally suited to explicate these points in a formal way. This is what the paper attempts to do. Thus it will turn (...) out that a law is simply the deterministic analogue of a sequence of independent, identically distributed random variables. This entails that de Finetti's representation theorems can be directly transformed into an account of confirmation of laws thus conceived. (shrink)

In this paper we design a new logical system to explicitly model the different deductive reasoning steps of a boundedly rational agent. We present an adequate system in line with experimental findings about an agent’s reasoning limitations and the cognitive effort that is involved. Inspired by Dynamic Epistemic Logic, we work with dynamic operators denoting explicit applications of inference rules in our logical language. Our models are supplemented by (a) impossible worlds (not closed under logical consequence), suitably structured according to (...) the effect of inference rules, and (b) quantitative components capturing the agent’s cognitive capacity and the cognitive costs of rules with respect to certain resources (e.g. memory, time). These ingredients allow us to avoid problematic logical closure principles, while at the same time deductive reasoning is reflected in our dynamic truth clauses. We further show that our models can be reduced to awareness-like plausibility structures that validate the same formulas and we give a sound and complete axiomatization with respect to them. This approach to the agent’s internal deductive reasoning is finally combined with actions of external information. (shrink)

The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources (...) of classical logic. Among the contributions included in the volume, one chapter focuses on the “inferential preferential method”, i.e. the combined use of classical logic and mechanisms of preference and choice and provides examples from Makinson’s work in non-monotonic and defeasible reasoning and belief revision. One chapter offers a short autobiography by Makinson which details his discovery of modern logic, his travels across continents and reveals his intellectual encounters and inspirations. The chapter also contains an unusually explicit statement on his views on the role of logic in philosophy. (shrink)

The paper builds on the basically Humean idea that A is a cause of B iff A and B both occur, A precedes B, and A raises the metaphysical or epistemic status of B given the obtaining circumstances. It argues that in pursuit of a theory of deterministic causation this ‘status raising’ is best explicated not in regularity or counterfactual terms, but in terms of ranking functions. On this basis, it constructs a rigorous theory of deterministic causation that successfully deals (...) with cases of overdetermination and pre-emption. It finally indicates how the account's profound epistemic relativization induced by ranking theory can be undone. Introduction Variables, propositions, time Induction first Causation Redundant causation Objectivization. (shrink)

Epistemology and epistemic logic At first sight, the modern agenda of epistemology has little to do with logic. Topics include different definitions of knowledge, its basic formal properties, debates between externalist and internalist positions, and above all: perennial encounters with sceptics lurking behind every street corner, especially in the US. The entry 'Epistemology' in the Routledge Encyclopedia of Philosophy (Klein 1993) and the anthology (Kim and Sosa 2000) give an up-to-date impression of the field. Now, epistemic logic started as a (...) contribution to epistemology, or at least a tool in its modus operandi, with the seminal book Knowledge and Belief (Hintikka's 1962, 2005). Formulas like Ki for "the agent i knows that " Bi for "the agent i believes that " provided logical forms for stating and analyzing philosophical propositions and arguments. And more than that, their model-theoretic semantics in terms of ranges of alternatives provided an appealing extensional way of thinking about what agents know or believe in a given situation. In particular, on Hintikka's view, an agent knows those propositions which are true in all situations compatible with what she knows about the actual world; i.e., her current range of uncertainty. (shrink)

When I talk about the objects of belief I do not mean, e.g., the sun to which my thought that the sun will rise tomorrow refers; I do not mean the objects we think about. I take objects rather in a general philosophical sense; they simply are the bearers of properties and the relata of relations. I am thus concerned with the objects that are related by the belief relation „_a_ believes that _p_“. In this scheme „ _a _“ represents (...) a person or an epistemic subject; but I am not going to discuss what a person is. „ _p _“ or „that _p _“ represents an object, namely the object of belief; and I am going to discuss what this is. In other words, I am interested in belief contents – to use a less neutral, narrower and equally unclear term. (shrink)

Fitelson and McCarthy have proposed an accuracy measure for confidence orders which favors probability measures and Dempster-Shafer belief functions as accounts of degrees of belief and excludes ranking functions. Their accuracy measure only penalizes mistakes in confidence comparisons. We propose an alternative accuracy measure that also rewards correct confidence comparisons. Thus we conform to both of William James’ maxims: “Believe truth! Shun error!” We combine the two maxims, penalties and rewards, into one criterion that we call prioritized accuracy optimization. That (...) is, PAO punishes wrong comparisons and rewards right comparisons. And it requires to prioritize being right und avoiding to be wrong in a specific way. Thus PAO is both, a scoring rule and a decision rule. It turns out that precisely confidence orders representable by two-sided ranking functions satisfy PAO. The point is not to argue that PAO is the better accuracy goal. The point is only that ranking theory can also be supported by accuracy considerations. Thus, those considerations by themselves cannot decide about rational formats for degrees of belief, but are part and parcel of an overall normative assessment of those formats. (shrink)

In this brief note I show how to model conceptual change, logical learning, and revision of one's beliefs in response to conditional information such as indicative conditionals that do not express propositions.

And this paper is an attempt to say precisely how, thus addressing a philosophical problem which is commonly taken to be a serious one. It does so, however, in quite an idiosyncratic way. It is based on the account of inductive schemes I have given in (1988) and (1990a) and on the conception of causation I have presented in (1980), (1983), and (1990b), and it intends to fill one of many gaps which have been left by these papers. Still, I (...) have tried to make this paper self-contained. Section 1 explains the philosophical question this paper is about; in more general terms it asks what might be meant by objectifying epistemic states or features of them and to which extent epistemic states can be objectified. The next sections introduce the basis I rely on with formal precision and some explanation; section 2 deals with induction and section 3 with causation. Within these confines, section 4 attempts to give an explication of the relevant sense of objectification and section 5 investigates the extent to which various features of epistemic states are objectifiable. The two most salient results are roughly that the relation "A is a reason for B" cannot be objectified at all and that the relation "A is a cause of B" can be objectified only under substantial, though reasonable restrictions. What has all of this to do with probability? A lot. The paper trades on a pervasive duality between probabilistic and deterministic epistemology, between a probabilistic representation of epistemic states together with a theory of probabilistic causation and another representation of epistemic states which I call deterministic because it lends itself, in a perfectly parallel fashion, to a theory of deterministic causation. Here I explicitly deal only with the deterministic side, but the duality should pave the way for further conclusions concerning objective probabilities and statistical laws. This outlook is briefly expanded in the final section 6. (shrink)

Normic Laws and the Significance of Nonmonotonic Reasoning for Philosophy of Science. Normic laws have the form ‘if A then normally B’. They have been discovered in the explanation debate, but were considered as empirically vacuous (§1). I argue that the prototypical (or ideal) normality of normic laws implies statistical normality (§2), whence normic laws have empirical content. In §3–4 I explain why reasoning from normic laws is nonmonotonic, and why the understanding of the individual case is so important here. (...) After sketching some foundations of nonmonotonic reasoning as developed by AI-researchers (§5), Iargue that normic laws are also the best way to understand ceteris paribus laws (§6). §7 deals with the difference between physical and non-physical disciplines and §9 with the difference between normicity and approximation. In §8 it is shown how nonmonotonic reasoning provides a new understanding of the protection of theories against falsification by auxiliary hypotheses. §10, finally, gives a system- and evolution-theoretical explanation of the deeper reason for the omnipresence of normic laws in practice and science, and forthe connection between ideal and statistical normality. (shrink)

This paper contributes to the investigation of the nature of the relation between probability theory and ranking theory. The paper aims at explaining the structural harmony between the laws of probability theory and those of ranking theory in a way that respects the foundational dualistic attitude developed by Spohn in The Laws of Belief. The paper argues that the so called atomic translation family satisfies the desiderata and does so in the ‘best’ possible way. On the one hand, the atomic (...) translation can be seen as ensuring maximal order agreement between rankings and probability—more would lead to trivialising dualism. On the other hand, the atomic translation also is assumption minimal, i.e., a minimal set of justifiable correspondences or translation principles suffice to derive the translation family, and this result is relatively robust. (shrink)

Meets what? Ranking theory is, as far as I know, the only existing theory suited for underpinning Keith Lehrer’s account of knowledge and justification. If this is true, it’s high time to bring both together. This is what I shall do in this paper. However, the result of defining Lehrer’s primitive notions in terms of ranking theory will be disappointing: justified acceptance will, depending on the interpretation, either have an unintelligible structure or reduce to mere acceptance, and in the latter (...) interpretation knowledge will reduce to true belief. Of course, this result will require a discussion of who should be disappointed. So, the plan of the paper is simple: In section 1 I shall briefly state what is required for underpinning Lehrer’s account and why most of the familiar theories fail to do so. In section 2 I shall briefly motivate and introduce ranking theory. Basing Lehrer’s account on it will be entirely straightforward. Section 3 proves the above-mentioned results. Section 4, finally, discusses the possible conclusions. (shrink)

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. (shrink)

The paper argues that cognitive states of biological systems are inherently temporal. Three adequacy conditions for neuronal models of representation are vindicated: the compositionality of meaning, the compositionality of content, and the co-variation with content. Classicist and connectionist approaches are discussed and rejected. Based on recent neurobiological data, oscillatory networks are introduced as a third alternative. A mathematical description in a Hilbert space framework is developed. The states of this structure can be regarded as conceptual representations satisfying the three conditions.

The present paper aims at a synthesis of belief revision theory with the Sneed formalism known as the structuralist theory of science. This synthesis is brought about by a dynamisation of classical structuralism, with an abductive inference rule and base generated revisions in the style of Rott (2001). The formalism of prioritised default logic (PDL) serves as the medium of the synthesis. Why seek to integrate the Sneed formalism into belief revision theory? With the hybrid system of the present investigation, (...) a substantial simplification of the ranking information that is necessary to define revisions and contractions uniquely is achieved. This system is, furthermore, expressive enough to capture complex and non-trivial scientific examples. It is thus closely related to a novel research area within belief revision theory which addresses the dynamics of scientific knowledge. (shrink)

Conditionals somehow express conditional beliefs. However, conditional belief is a bi-propositional attitude that is generally not truth-evaluable, in contrast to unconditional belief. Therefore, this article opts for an expressivistic semantics for conditionals, grounds this semantics in the arguably most adequate account of conditional belief, that is, ranking theory, and dismisses probability theory for that purpose, because probabilities cannot represent belief. Various expressive options are then explained in terms of ranking theory, with the intention to set out a general interpretive scheme (...) that is able to account for the most variegated usage of conditionals. The Ramsey test is only the first option. Relevance is another, familiar, but little understood item, which comes in several versions. This article adds a further family of expressive options, which is able to subsume also counterfactuals and causal conditionals, and indicates at the end how this family allows for partial recovery of truth conditions for conditionals. (shrink)

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. (shrink)

The standard way of representing an epistemic state in formal philosophy is in terms of a set of sentences, corresponding to the agent’s beliefs, and an ordering of those sentences, reflecting how well entrenched they are in the agent’s epistemic state. We argue that this wide-spread representational view – a view that we identify as a “Quinean dogma” – is incapable of making certain crucial distinctions. We propose, as a remedy, that any adequate representation of epistemic states must also include (...) the agent’s research agenda, i.e., the list of question that are open or closed at any given point in time. If the argument of the paper is sound, a person’s questions and practical interests, on the one hand, and her beliefs and theoretical values, on the other, are more tightly interwoven than has previously been assumed to be the case in formal epistemology. (shrink)

On the basis of impossibility results on probability, belief revision, and conditionals, it is argued that conditional beliefs differ from beliefs in conditionals qua mental states. Once this is established, it will be pointed out in what sense conditional beliefs are still conditional, even though they may lack conditional contents, and why it is permissible to still regard them as beliefs, although they are not beliefs in conditionals. Along the way, the main logical, dispositional, representational, and normative properties of conditional (...) beliefs are studied, and it is explained how the failure of not distinguishing conditional beliefs from beliefs in conditionals can lead philosophical and empirical theories astray. (shrink)

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. (shrink)

Orthodox Bayesianism endorses revising by conditionalization. This paper investigates the zero-raising problem, or equivalently the certainty-dropping problem of orthodox Bayesianism: previously neglected possibilities remain neglected, although the new evidence might suggest otherwise. Yet, one may want to model open-minded agents, that is, agents capable of raising previously neglected possibilities. Different reasons can be given for open-mindedness, one of which is fallibilism. The paper proposes a family of open-minded propositional revisions depending on a parameter ϵ. The basic idea is this: first (...) extend the prior to the newly suggested possibilities by mixing the prior with the uniform probability on these possibilities, then conditionalize. This may put the agent back on the right track when her beliefs or evidence happen to be false. The paper justifies this family of equivocal epsilon-conditionalizations as minimal non-biased open-minded modifications of conditionalization. Several variations are discussed, such as mixing with an ad hoc or silent prior instead of the uniform prior, and a generalization to probabilistic information is given. The approach is compared to other accounts, such as Jeffrey’s Bayesianism, Gärdenfors’s probabilistic revision, maximizing entropy, and minimal revision. _1_ Introduction _2_ Downsides of Certainty Conservation _3_ Why Raise Zeros? _3.1_ Accuracy defects _3.2_ Fallibilism and dissolutions _3.3_ Weak fallibilism and partial solutions _4_ Epsilon-Conditionalization _4.1_ Definitions _4.2_ Revision types and information assumptions _4.3_ Epsilon interpretation and flavours _5_ Justifications _5.1_ Open-minded orthodox Bayesianism _5.2_ Minimal revision _5.3_ Transitivity _6_ Conclusion Appendix. (shrink)