Iterated revision and minimal change of conditional beliefs

We describe a model of iterated belief revision that extends the AGM theory of revision to account for the effect of a revision on the conditional beliefs of an agent. In particular, this model ensures that an agent makes as few changes as possible to the conditional component of its belief set. Adopting the Ramsey test, minimal conditional revision provides acceptance conditions for arbitrary right-nested conditionals. We show that problem of determining acceptance of any such nested conditional can be reduced to acceptance tests for unnested conditionals. Thus, iterated revision can be accomplished in a virtual manner, using uniterated revision.     

Beliefs in conditionals vs. conditional beliefs

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.

Reapproaching Ramsey: Conditionals and Iterated Belief Change in the Spirit of AGM

According to the Ramsey Test, conditionals reflect changes of beliefs: α?>?β is accepted in a belief state iff β is accepted in the minimal revision of it that is necessary to accommodate α. Since Gärdenfors’s seminal paper of 1986, a series of impossibility theorems (“triviality theorems”) has seemed to show that the Ramsey test is not a viable analysis of conditionals if it is combined with AGM-type belief revision models. I argue that it is possible to endorse that Ramsey test for conditionals while staying true to the spirit of AGM. A main focus lies on AGM’s condition of Preservation according to which the original belief set should be fully retained after a revision by information that is consistent with it. I use concrete representations of belief states and (iterated) revisions of belief states as semantic models for (nested) conditionals. Among the four most natural qualitative models for iterated belief change, two are identified that indeed allow us to combine the Ramsey test with Preservation in the language containing only flat conditionals of the form α?>?β. It is shown, however, that Preservation for this simple language enforces a violation of Preservation for nested conditionals of the form α?>?(β?>?γ). In such languages, no two belief sets are ordered by strict subset inclusion. I argue that it has been wrong right from the start to expect that Preservation holds in languages containing nested conditionals.     

On the basis of belief in causal and diagnostic conditionals

According to the suppositional theory of conditionals, people assess their belief in a conditional statement of the form “if p then q” by conducting a mental simulation on the supposition of p in which they assess their degree of belief in q. This leads to them to the judge the probability of a conditional statement to be equal to the conditional probability, P(q|p). Evidence for this conditional probability hypothesis has been adduced in earlier studies for abstract, causal, and counterfactual conditionals. For the realistic conditionals, it is natural to assume that people perform such mental simulations by building causal mental models from prior causes to later effects. However, in the present study we show that the conditional probability hypothesis extends to diagnostic conditionals, which relate effects to causes. This new finding presents a major challenge for theoretical accounts of the mental processing of conditional statements.     

On the basis of belief in causal and diagnostic conditionals

According to the suppositional theory of conditionals, people assess their belief in a conditional statement of the form “if p then q” by conducting a mental simulation on the supposition of p in which they assess their degree of belief in q. This leads to them to the judge the probability of a conditional statement to be equal to the conditional probability, P(q|p). Evidence for this conditional probability hypothesis has been adduced in earlier studies for abstract, causal, and counterfactual conditionals. For the realistic conditionals, it is natural to assume that people perform such mental simulations by building causal mental models from prior causes to later effects. However, in the present study we show that the conditional probability hypothesis extends to diagnostic conditionals, which relate effects to causes. This new finding presents a major challenge for theoretical accounts of the mental processing of conditional statements.     

Reasoning with conditionals: Does every counterexample count? It’s frequency that counts

A series of experiments investigated what determines people's degree of belief in conditionals and their readiness to draw inferences from them. Information on the frequency of exceptions to conditional rules was contrasted with information about the number of different disabling conditions causing these exceptions. Experiments 1 and 2, using conditionals with arbitrary contents, revealed a strong effect of frequency information and no effect of disabling information. Experiment 3 established that, in the absence of frequency information, the disabling condition information used in Experiments 1 and 2 affected belief in the conditionals and inference acceptance, as has been found in many previous studies (Byrne, 1989; DeNeys, Schaeken, & d'Ydewalle, 2003b). Experiment 4 extended the results of Experiments 1 and 2 to everyday conditionals. The results show that belief in a conditional, and the confidence in inferences subsequently drawn from it, both depend on the subjective conditional probability of the consequent given the antecedent. This probability is estimated from the relative frequency of exceptions regardless of what causes them.     

Five faces of minimality

We discuss similarities and residual differences, within the general semantic framework of minimality, between defeasible inference, belief revision, counterfactual conditionals, updating — and also conditional obligation in deontic logic. Our purpose is not to establish new results, but to bring together existing material to form a clear overall picture.     

Rational belief change,popper functions and counterfactuals

This paper uses Popper's treatment of probability and an epistemic constraint on probability assignments to conditionals to extend the Bayesian representation of rational belief so that revision of previously accepted evidence is allowed for. Results of this extension include an epistemic semantics for Lewis' theory of counterfactual conditionals and a representation for one kind of conceptual change.     

Two notions of epistemic validity

How to accept a conditional? F. P. Ramsey proposed the following test in (Ramsey 1990). (RT) ‘If A, then B’ must be accepted with respect to the current epistemic state iff the minimal hypothetical change of it needed to accept A also requires accepting B. In this article we propose a formulation of (RT), which unlike some of its predecessors, is compatible with our best theory of belief revision, the so-called AGM theory (see (Gärdenfors 1988), chapters 1–5 for a survey). The new test, which, we claim, encodes some of the crucial insights defended by F. P. Ramsey in (Ramsey 1990), is used to study the conditionals epistemically validated by the AGM postulates. Our notion of validity (PV) is compared with the notion of negative validity (NV) used by Gärdenfors in (Gärdenfors 1988). It is observed that the notions of PV and NV will in general differ and that when these differences arise it is the notion of PV that is preferable. Finally we compare our formulation of the Ramsey test with a previous formulation offered by Gärdenfors (GRT). We show that any attempt to interpret (GRT) as delivering acceptance conditions for Ramsey's conditionals is doomed to failure.     

The negated conditional: a litmus test for the suppositional conditional?

Under the suppositional account of conditionals, when people think about a conditional assertion, "if p then q," they engage in a mental simulation in which they imagine p holds and evaluate the probability that q holds under this supposition. One implication of this account is that belief in a conditional equates to conditional probability [P(q/p)]. In this paper, the authors examine a further implication of this analysis with respect to the wide-scope negation of conditional assertions, "it is not the case that if p then q." Under the suppositional account, nothing categorically follows from the negation of a conditional, other than a second conditional, "if p then not-q." In contrast, according to the mental model theory, a negated conditional is consistent only with the determinate state of affairs, p and not-q. In 4 experiments, the authors compare the contrasting predictions that arise from each of these accounts. The findings are consistent with the suppositional theory but are incongruent with the mental model theory of conditionals.     

New surprises for the Ramsey Test

In contemporary discussions of the Ramsey Test for conditionals, it is commonly held that (i) supposing the antecedent of a conditional is adopting a potential state of full belief, and (ii) Modus Ponens is a valid rule of inference. I argue on the basis of Thomason Conditionals (such as ‘If Sally is deceiving, I do not believe it’) and Moore’s Paradox that both claims are wrong. I then develop a double-indexed Update Semantics for conditionals which takes these two results into account while doing justice to the key intuitions underlying the Ramsey Test. The semantics is extended to cover some further phenomena, including the recent observation that epistemic modal operators give rise to something very like, but also very unlike, Moore’s Paradox.     

A Representation Theorem for a Decision Theory With Conditionals

This paper investigates the role of conditionals in hypothetical reasoning and rational decision making. Its main result is a proof of a representation theorem for preferences defined on sets of sentences (and, in particular, conditional sentences), where an agent’s preference for one sentence over another is understood to be a preference for receiving the news conveyed by the former. The theorem shows that a rational preference ordering of conditional sentences determines probability and desirability representations of the agent’s degrees of belief and desire that satisfy, in the case of non-conditional sentences, the axioms of Jeffrey’s decision theory and, in the case of conditional sentences, Adams’ expression for the probabilities of conditionals. Furthermore, the probability representation is shown to be unique and the desirability representation unique up to positive linear transformation. This revised version was published online in June 2006 with corrections to the Cover Date.     

Causal and noncausal conditionals: An integrated model of interpretation and reasoning

We present an integrated model for the understanding of and the reasoning from conditional statements. Central assumptions from several approaches are integrated into a causal path model. According to the model, the cognitive availability of exceptions to a conditional reduces the subjective conditional probability of the consequent, given the antecedent. This conditional probability determines people's degree of belief in the conditional, which in turn affects their willingness to accept logically valid inferences. In addition to this indirect pathway, the model contains a direct pathway: Availability of exceptional situations directly reduces the endorsement of valid inferences. We tested the integrated model with three experiments using conditional statements embedded in pseudonaturalistic cover stories. An explicitly mentioned causal link between antecedent and consequent was either present (causal conditionals) or absent (arbitrary conditionals). The model was supported for the causal but not for the arbitrary conditional statements.     

Two meanings of “if”? Individual differences in the interpretation of conditionals

This work investigates the nature of two distinct response patterns in a probabilistic truth table evaluation task, in which people estimate the probability of a conditional on the basis of frequencies of the truth table cases. The conditional-probability pattern reflects an interpretation of conditionals as expressing a conditional probability. The conjunctive pattern suggests that some people treat conditionals as conjunctions, in line with a prediction of the mental-model theory. Experiments 1 and 2 rule out two alternative explanations of the conjunctive pattern. It does not arise from people believing that at least one case matching the conjunction of antecedent and consequent must exist for a conditional to be true, and it does not arise from people adding the converse to the given conditional. Experiment 3 establishes that people's response patterns in the probabilistic truth table task are very consistent across different conditionals, and that the two response patterns generalize to conditionals with negated antecedents and consequents. Individual differences in rating the probability of a conditional were loosely correlated with corresponding response patterns in a classical truth table evaluation task, but there was little association with people's evaluation of deductive inferences from conditionals as premises. A theoretical framework is proposed that integrates elements from the conditional-probability view with the theory of mental models.     

Ranking Theory and Conditional Reasoning

Ranking theory is a formal epistemology that has been developed in over 600 pages in Spohn's recent book The Laws of Belief, which aims to provide a normative account of the dynamics of beliefs that presents an alternative to current probabilistic approaches. It has long been received in the AI community, but it has not yet found application in experimental psychology. The purpose of this paper is to derive clear, quantitative predictions by exploiting a parallel between ranking theory and a statistical model called logistic regression. This approach is illustrated by the development of a model for the conditional inference task using Spohn's (2013) ranking theoretic approach to conditionals.     

Indicative Conditionals

Adams Thesis has much evidence in its favour, but DavidLewis famously showed that it cannot be true, in all but the most trivial of cases, if conditionals are proprositions and their probabilities are classical probabilities of truth. In this paper I show thatsimilar results can be constructed for a much wider class of conditionals. The fact that these results presupposethat the logic of conditionals is Boolean motivates a search for a non-Boolean alternative. It is arguedthat the exact proposition expressed by a conditional depends on the context in which it is uttered. Consequentlyits probability of truth will depend not only on the probabilities of the various propositions it mightexpress, but also on the probabilities of the contexts determining which proposition it does in fact express.The semantic theory developed from this is then shown to explain why agents degrees of belief satisfyAdams Thesis. Finally the theory is compared with proposals for a three-valued logic of conditionals.     

Minimal Belief Change and the Pareto Principle

This paper analyzes the notion of a minimal belief change that incorporates new information. I apply the fundamental decision-theoretic principle of Pareto-optimality to derive a notion of minimal belief change, for two different representations of belief: First, for beliefs represented by a theory – a deductively closed set of sentences or propositions – and second for beliefs represented by an axiomatic base for a theory. Three postulates exactly characterize Pareto-minimal revisions of theories, yielding a weaker set of constraints than the standard AGM postulates. The Levi identity characterizes Pareto-minimal revisions of belief bases: a change of belief base is Pareto-minimal if and only if the change satisfies the Levi identity (for “maxichoice” contraction operators). Thus for belief bases, Pareto-minimality imposes constraints that the AGM postulates do not. The Ramsey test is a well-known way of establishing connections between belief revision postulates and axioms for conditionals (“if p, then q”). Pareto-minimal theory change corresponds exactly to three characteristic axioms of counterfactual systems: a theory revision operator that satisfies the Ramsey test validates these axioms if and only if the revision operator is Pareto-minimal. This revised version was published online in June 2006 with corrections to the Cover Date.     

Belief revision,epistemic conditionals and the Ramsey test

Epistemic conditionals have often been thought to satisfy the Ramsey test (RT): If A, then B is acceptable in a belief state G if and only if B should be accepted upon revising G with A. But as Peter Gärdenfors has shown, RT conflicts with the intuitively plausible condition of Preservation on belief revision. We investigate what happens if (a) RT is retained while Preservation is weakened, or (b) vice versa. We also generalize Gärdenfors' approach by treating belief revision as a relation rather than as a function.In our semantic approach, the same relation is used to model belief revision and to give truth-conditions for conditionals. The approach validates a weak version of the Ramsey Test (WRR) — essentially, a restriction of RT to maximally consistent belief states.We prove that alternatives (a) and (b) are both consistent, but argue that (b) is philosophically more promising. Gärdenfors' belief-revision axioms are compatible with WRR together with RT from left to right: the only direction of the test that is defensible on intuitive grounds.An earlier version of this paper was presented at the conference on the dynamics of knowledge and belief at Lund University, 24–26 August 1989. We wish to thank Sven Danielsson, Peter Gärdenfors, Sören Halldén, David Makinson, Hugh Mellor, Michael Morreau, Nils-Eric Sahlin and Brian Skyrms for their very helpful suggestions and remarks. We are also grateful for thought-provoking criticism and comments from two anonymous referees.     

条件推理的语义关系表达形式效应

作者用以大学生为被试的实验考察, 基本条件句语义关系表达形式(充分关系、必要关系和析取关系表达形式)和作为心理模型外显建构的可能性判断任务对条件推理的可能影响。实验结果发现, 条件推理的语义关系表达形式效应显著, 条件句语义关系表达形式对被试条件推理有显著的影响, 条件推理成绩随条件句语义关系表达的外显程度增加而增加; 被试在可能性判断任务中对条件句所含心理模型的外显建构并没有明显改善条件推理的成绩; 在有可能性判断任务条件下, 被试外显心理模型建构的成绩变化模式并不能一致地预测条件推理成绩的变化模式。这些结果说明, 人们的条件推理可能并不是完全基于心理模型建构, 而是还受对条件句前后件之间语义关系理解的影响; 条件句表达形式中语义关系的外显内隐模式影响对条件句语义关系的知觉理解难易, 从而影响相应条件推理的成绩。