The AGM (Alchourrón-Gärdenfors-Makinson) model of belief change is extended to cover changes on sets of beliefs that are not closed under logical consequence (belief bases). Three major types of change operations, namely contraction, internal revision, and external revision are axiomatically characterized, and their interrelations are studied. In external revision, the Levi identity is reversed in the sense that one first adds the new belief to the belief base, and afterwards contracts its negation. It is argued that external revision represents an (...) intuitively plausible way of revising one's beliefs. Since it typically involves the temporary acceptance of an inconsistent set of beliefs, it can only be used in belief representations that distinguish between different inconsistent sets of belief. (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)

Suppositions can be introduced in either the indicative or subjunctive mood. The introduction of either type of supposition initiates judgments that may be either qualitative, binary judgments about whether a given proposition is acceptable or quantitative, numerical ones about how acceptable it is. As such, accounts of qualitative/quantitative judgment under indicative/subjunctive supposition have been developed in the literature. We explore these four different types of theories by systematically explicating the relationships canonical representatives of each. Our representative qualitative accounts of indicative (...) and subjunctive supposition are based on the belief change operations provided by AGM revision and KM update respectively; our representative quantitative ones are offered by conditionalization and imaging. This choice is motivated by the familiar approach of understanding supposition as `provisional belief revision' wherein one temporarily treats the supposition as true and forms judgments by making appropriate changes to their other opinions. To compare the numerical judgments recommended by the quantitative theories with the binary ones recommended by the qualitative accounts, we rely on a suitably adapted version of the Lockean thesis. Ultimately, we establish a number of new results that we interpret as vindicating the often-repeated claim that conditionalization is a probabilistic version of revision, while imaging is a probabilistic version of update. (shrink)

KK is the thesis that if you can know p, you can know that you can know p. Though it’s unpopular, a flurry of considerations has recently emerged in its favour. Here we add fuel to the fire: standard resources allow us to show that any failure of KK will lead to the knowability and assertability of abominable indicative conditionals of the form ‘If I don’t know it, p’. Such conditionals are manifestly not assertable—a fact that KK defenders can easily (...) explain. I survey a variety of KK-denying responses and find them wanting. Those who object to the knowability of such conditionals must either deny the possibility of harmony between knowledge and belief, or deny well-supported connections between conditional and unconditional attitudes. Meanwhile, those who grant knowability owe us an explanation of such conditionals’ unassertability—yet no successful explanations are on offer. Upshot: we have new evidence for KK. (shrink)

Stalnaker argued that conditional excluded middle should be included in the principles that govern counterfactuals on the basis that intuitions support that principle. This is because there are pairs of competing counterfactuals that appear to be equally acceptable. In doing so, he was forced to introduced semantic vagueness into his system of counterfactuals. In this paper it is argued that there is a simpler and purely epistemic explanation of these cases that avoids the need for introducing semantic vagueness into the (...) semantics for counterfactuals. (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. Hence, ranking theory with its resources of formalizing defeasible reasoning or inductive schemes seems ideally suited to explicate the idea 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)

First, ranking functions are argued to be superior to AGM belief revision theory in two crucial respects. Second, it is shown how ranking functions are uniquely reflected in iterated belief change. More precisely, conditions on threefold contractions are specified which suffice for representing contractions by a ranking function uniquely up to multiplication by a positive integer. Thus, an important advantage AGM theory seemed to have over ranking functions proves to be spurious.

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)

A study in the logic of theory change, examining the properties of maxichoice contraction and revision operations.

Writers such as Stalnaker and Dummett have argued that specific features of subjunctive conditional statements undermine the principle of bivalence. This, paper is concerned with rebutting such claims. 1. It is shown how subjective conditionals pose a prima facie threat to bivalence, and how this threat can be dissolved by a distinction between the results of negating a subjective conditional and of negating its consequent. To make this distinction is to side with Lewis against Stalnaker in a dispute about possible (...) worlds semantics for such conditionals, and reasons are given for doing so. 2. These arguments are extended to answer Dummett''s claim that behaviourist and phenomenalist analyses in terms of subjunctive conditions violate bivalence. This answer is shown to be compatible with the principle that hypothetical statements are true only in virtue of categorical facts. (shrink)

The concept of an evidential conditional _If A then C_ that can be defined by the conjunction of \(A>C\) and \(\lnot C > \lnot A\), where > is a conditional of the kind introduced by Stalnaker and Lewis, has recently been studied in a series of papers by Vincenzo Crupi and Andrea Iacona. In this paper I argue that Crupi and Iacona’s central idea that contraposition captures the idea of evidential support cannot be maintained. I give examples showing that contraposition (...) is neither necessary nor sufficient for a conditional’s antecedent supporting its consequent. Crupi and Iacona’s alternative account of evidential conditionals that is based on a probabilistic measure of evidential support cannot add to the credentials of their modal account, because both the theoretical role of contraposition and the resulting logic are different in this account. (shrink)

This book is a sustained defense of the compatibility of the presence of idealizations in the sciences and scientific realism. So, the book is essentially a detailed response to the infamous arguments raised by Nancy Cartwright to the effect that idealization and scientific realism are incompatible.

The analyses of explanation and causal beliefs are heavily dependent on using probability functions as models of epistemic states. There are, however, several aspects of beliefs that are not captured by such a representation and which affect the outcome of the analyses. One dimension that has been neglected in this article is the temporal aspect of the beliefs. The description of a single event naturally involves the time it occurred. Some analyses of causation postulate that the cause must not occur (...) later than the effect. If we want this kind of causality it is easy to add the appropriate clause to ( CAUS ). An alternative is not to rule out backwards causation or causal loops a priori , but expect that ( CAUS ), via the properties of the contraction P C - , will result in the desired temporal relation between C and E . One way of ensuring this is to postulate that when the probability function P is contracted to P C - , the probabilities of all events that occurred before C remain the same in P C - as in P . This means that all beliefs about the history of events up to C are left unaltered in the construction of the hypothetical state of belief P C - . In conclusion, I hope to have shown that, in spite of these limitations, ( EXP ) and ( CAUS ) provide viable analyses of explanation and causality between single events for the case when epistemic states can be described by probability functions. I have also shown that the two analyses can be used to explicate the close connections between the two notions. These analyses reduce the problems of explanation and causality, hopefully in a non-circular way, to the problem of identifying contractions of states of belief. (shrink)

Proponents of the projection strategy take an epistemic rule for the evaluation of English conditionals, the Ramsey test, as clue to the truth-conditional semantics of conditionals. They also construe English conditionals as stronger than the material conditional. Given plausible assumptions, however, the Ramsey test induces the semantics of the material conditional. The alleged link between Ramsey test and truth conditions stronger than those of the material conditional can be saved by construing conditionals as ternary, rather than binary, propositional functions with (...) a hidden contextual parameter. But such a ternary construal raises problems of its own. (shrink)

This paper aims at comparing and relating belief revision and argumentation as approaches to model reasoning processes. Referring to some prominent literature references in both fields, we will discuss their (implicit or explicit) assumptions on the modeled processes and hence commonalities and differences in the forms of reasoning they are suitable to deal with. The intended contribution is on one hand assessing the (not fully explored yet) relationships between two lively research fields in the broad area of defeasible reasoning and (...) on the other hand pointing out open issues and potential directions for future research. (shrink)

The paper focuses on interpreting ceteris paribus conditions as normal conditions. After discussing six basic problems for the explication of normal conditions and seven interpretations that do not well solve those problems I turn to what I call the epistemic account. According to it the normal is, roughly, the not unexpected. This is developed into a rigorous constructive account of normal conditions, which makes essential use of ranking theory and in particular allows to explain the phenomenon of multiply exceptional conditions. (...) Finally, this static account is extended to a schematic dynamic model of how we may learn about those normal and exceptional conditions. (shrink)