Probabilistic theories of rationality claim that degrees of belief have to satisfy the probability axioms in order to be rational. A standard argument to support this claim is the Dutch Book argument. This paper tries to show that, in spite of its popularity, the Dutch Book argument does not provide a foundation for normative theories of rationality. After a presentation of the argument and some of its criticisms a problem is pointed out: the Dutch Book argument applies only to situations (...) with a specific formal structure. Several attempts to justify the argument for more general situations are considered and rejected. The only way to remedy the shortcoming, it is argued, seems to be the acceptance of a far-reaching and highly implausible empirical hypothesis. (shrink)

Metaphysicians speak of laws of nature in terms of necessity and universality; scientists, in terms of symmetry and invariance. In this book van Fraassen argues that no metaphysical account of laws can succeed. He analyzes and rejects the arguments that there are laws of nature, or that we must believe there are, and argues that we should disregard the idea of law as an adequate clue to science. After exploring what this means for general epistemology, the author develops the empiricist (...) view of science as a construction of models to represent the phenomena. (shrink)

This is surely a bit of Socrates' famous irony. He draws the analogy to explain how his friends should regard poetry as they regretfully banish it from the ideal state. But lovers were no more sensible then than they are now. The advice to banish poetry, undermined already by Plato's own delight and skill in drama, is perhaps undermined still further by this evocation of a 'sensible' lover who counts love so well lost. Yet Socrates' image is one of avowed (...) rationality and prudence. The sensible lover imitates the older literary example of Ulysses' tying himself to the mast. (The example belongs therefore to the class of problems treated in Elster (1979)). Both this lover and Ulysses foresee that under certain possible future conditions, their opinions, values and preferences will or would differ from what they are now, in a very definite fashion. To what extent is such foresight possible? Correspondingly (when we do not claim foreknowledge) to what extent is such opinion reasonable, rational, coherent, or consistent in some suitably broad sense? It is not easy to understand exactly what is possible or even logically permissible in this respect. In an earlier paper, "Belief and the Will", I argued for a principle ("Reflection") to govern such deliberation. Here I will both generalize the treatment of opinion in "Belief and the Will" and respond to criticism. Critical examples mainly resembled the story of Ulysses who foresaw a period of dysfunction (at the sound 2 of the sirens) in his epistemic and/or doxastic future. Other criticism focused on the model of opinion used (precise numerical subjective probability) and on the merits of Dutch Book arguments. The present argument will not rely on Dutch Book arguments and strategies, and the Reflection principle will be formulated so as to apply also to vague opinion. (shrink)

Robert Stalnaker is an actualist who holds that merely possible worlds are uninstantiated properties that might have been instantiated. Stalnaker also holds that there are no metaphysically impossible worlds: uninstantiated properties that couldn't have been instantiated. These views motivate Stalnaker's "two dimensional" account of the necessary a posteriori on which there is no single proposition that is both necessary and a posteriori. For a necessary proposition is true in all possible worlds. If there were necessary a posteriori propositions, that would (...) mean that there were propositions true in all possible worlds but which could only be known to be true by acquiring empirical evidence. Consider such a purported proposition P. The role of empirical evidence for establishing P's truth would have to be to rule out worlds in which P is false. If there were no such worlds to be ruled out, we would not require evidence for P. But by hypothesis, P is necessary and so true in all metaphysically possible worlds. And on Stalnaker's view, the metaphysically possible worlds are all the worlds there are. So there can be no proposition that is true in all possible worlds, but that we require evidence to know. In this way, the motivation for Stalnaker's two dimensional account of the necessary a posteriori rests on his denying that there are metaphysically impossible Worlds. I argue that given his view of what possible worlds are, Stalnaker has no principled reason for denying that there are metaphysically impossible worlds. If I am right, this undercuts Stalnaker's motivation for his two dimensional account of the necessary a posteriori. (shrink)

Robert Stalnaker is an actualist who holds that merely possible worlds are uninstantiated properties that might have been instantiated. Stalnaker also holds that there are no metaphysically impossible worlds: uninstantiated properties that couldn't have been instantiated. These views motivate Stalnaker's "two dimensional" account of the necessary a posteriori on which there is no single proposition that is both necessary and a posteriori. For a (metaphysically) necessary proposition is true in all (metaphysically) possible worlds. If there were necessary a posteriori propositions, (...) that would mean that there were propositions true in all possible worlds but which could only be known to be true by acquiring empirical evidence. Consider such a purported proposition P. The role of empirical evidence for establishing P's truth would have to be to rule out worlds in which P is false. If there were no such worlds to be ruled out, we would not require evidence for P. But by hypothesis, P is necessary and so true in all metaphysically possible worlds. And on Stalnaker's view, the metaphysically possible worlds are all the worlds there are. So there can be no proposition that is true in all possible worlds, but that we require evidence to know. In this way, the motivation for Stalnaker's two dimensional account of the necessary a posteriori rests on his denying that there are metaphysically impossible Worlds. I argue that given his view of what possible worlds are, Stalnaker has no principled reason for denying that there are metaphysically impossible worlds. If I am right, this undercuts Stalnaker's motivation for his two dimensional account of the necessary a posteriori. (shrink)

This is a discussion of the problem of extending the basic AGM belief revision theory to iterated belief revision: the problem of formulating rules, not only for revising a basic belief state in response to potential new information, but also for revising one’s revision rules in response to potential new information. The emphasis in the paper is on foundational questions about the nature of and motivation for various constraints, and about the methodology of the evaluation of putative counterexamples to proposed (...) constraints. Some specific constraints that have been proposed are criticized. The paper emphasizes the importance of meta-information—information about one’s sources of information—and argues that little of substance can be said about constraints on iterated belief revision at a level of abstraction that lacks the resources for explicit representation of meta-information. (shrink)

The abstract structure of inquiry - the process of acquiring and changing beliefs about the world - is the focus of this book which takes the position that the "pragmatic" rather than the "linguistic" approach better solves the philosophical problems about the nature of mental representation, and better accounts for the phenomena of thought and speech. It discusses propositions and propositional attitudes (the cluster of activities that constitute inquiry) in general and takes up the way beliefs change in response to (...) potential new information, suggesting that conditional propositions should be understood as projections of epistemic policies onto the world.Robert C. Stalnaker is a professor in the Sage School of Philosophy at Cornell University. A Bradford Book. (shrink)

The paper proposes two principles of coherence (thus taking up work started in Spohn (1991) "A Reason for Explanation: Explanations Provide Stable Reasons"). The latter indeed serves as a weak, but precise explication of the notion of coherence as it is used in the current epistemological discussion. After discussing their epistemological setting, the paper considers four ways of establishing these principles. They may be inferred neither from enumerative induction, nor from the nature of propositions as objects of belief, nor in (...) a Kantian way from self-consciousness. Rather, I propose a fairly rigorous way to infer them from an even more fundamental rationality principle of non-dogmatism and an elementary theory of perception. (shrink)

Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper shows how to reconstruct a ranking function from its iterated contraction behavior uniquely up to multiplicative constant and thus how to measure ranks on a ratio scale. Thereby, it also shows how to completely axiomatize that behavior. The complete set of laws of iterated contraction it specifies amend the laws hitherto discussed in the literature.

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)

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)

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)

This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as ...

Does the philosophy of Radical Probabilism have enough structure to enable it to address fundamental epistemological questions? The requirement of dynamic coherence provides the structure for radical probabilist epistemology. This structure is sufficient to establish (i) the value of knowledge and (ii) long run convergence of degrees of belief.

The question of coherence of rules for changing degrees of belief in the light of new evidence is studied, with special attention being given to cases in which evidence is uncertain. Belief change by the rule of conditionalization on an appropriate proposition and belief change by "probability kinematics" on an appropriate partition are shown to have like status.

Maher (1992b) advances an objection to dynamic Dutch-book arguments, partly inspired by the discussion in Levi (1987; in particular by Levi's case 2, p. 204). Informally, the objection is that the decision maker will "see the dutch book coming" and consequently refuse to bet, thus escaping the Dutch book. Maher makes this explicit by modeling the decision maker's choices as a sequential decision problem. On this basis he claims that there is a mistake in dynamic coherence arguments. There is really (...) no formal mistake in classical dynamic coherence arguments, but the discussions in Maher and Levi do suggest interesting ways in which the definition of dynamic coherence might be strengthened. Such a strengthened "sequentialized" notion of dynamic coherence is explored here. It so happens that even on the strengthened standards for a Dutch book, the classic dynamic coherence argument for conditioning still goes through. (shrink)

John Locke proposed a straightforward relationship between qualitative and quantitative doxastic notions: belief corresponds to a sufficiently high degree of confidence. Richard Foley has further developed this Lockean thesis and applied it to an analysis of the preface and lottery paradoxes. Following Foley's lead, we exploit various versions of these paradoxes to chart a precise relationship between belief and probabilistic degrees of confidence. The resolutions of these paradoxes emphasize distinct but complementary features of coherent belief. These features suggest principles that (...) tie together qualitative and quantitative doxastic notions. We show how these principles may be employed to construct a quantitative model - in terms of degrees of confidence - of an agent's qualitative doxastic state. This analysis fleshes out the Lockean thesis and provides the foundation for a logic of belief that is responsive to the logic of degrees of confidence. (shrink)

1. I shall attempt in this paper to give a rounded, if schematic, account of the concept of probability. My central concern will be to clarify the sense in which law-like statements (including 'statistical' law-like statements) are made probable by observational data which, in a sense equally demanding analysis, 'accord' with them.

Can there be good reasons for judging one set of probabilistic assertions more reliable than a second? There are many candidates for measuring "goodness" of probabilistic forecasts. Here, I focus on one such aspirant: calibration. Calibration requires an alignment of announced probabilities and observed relative frequency, e.g., 50 percent of forecasts made with the announced probability of.5 occur, 70 percent of forecasts made with probability.7 occur, etc. To summarize the conclusions: (i) Surveys designed to display calibration curves, from which a (...) recalibration is to be calculated, are useless without due consideration for the interconnections between questions (forecasts) in the survey. (ii) Subject to feedback, calibration in the long run is otiose. It gives no ground for validating one coherent opinion over another as each coherent forecaster is (almost) sure of his own long-run calibration. (iii) Calibration in the short run is an inducement to hedge forecasts. A calibration score, in the short run, is improper. It gives the forecaster reason to feign violation of total evidence by enticing him to use the more predictable frequencies in a larger finite reference class than that directly relevant. (shrink)

For Savage (1954) as for de Finetti (1974), the existence of subjective (personal) probability is a consequence of the normative theory of preference. (De Finetti achieves the reduction of belief to desire with his generalized Dutch-Book argument for Previsions.) Both Savage and de Finetti rebel against legislating countable additivity for subjective probability. They require merely that probability be finitely additive. Simultaneously, they insist that their theories of preference are weak, accommodating all but self-defeating desires. In this paper we dispute these (...) claims by showing that the following three cannot simultaneously hold: (i) Coherent belief is reducible to rational preference, i.e. the generalized Dutch-Book argument fixes standards of coherence. (ii) Finitely additive probability is coherent. (iii) Admissible preference structures may be free of consequences, i.e. they may lack prizes whose values are robust against all contingencies. (shrink)

The question of the relationship of the making of value judgments in a typically ethical sense to the methods and procedures of science has been discussed in the literature at least to that point which e. e. cummings somewhere refers to as “The Mystical Moment of Dullness.” Nevertheless, albeit with some trepidation, I feel that something more may fruitfully be said on the subject.

An graduate level introduction to nonmonotonic reasoning, emphasizing structures and spirit common to different formulations, with exercises.

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

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

In contrast to other prominent models of belief change, models based on epistemic entrenchment have up to now been applicable only in the context of very strong packages of requirements for belief revision. This paper decomposes the axiomatization of entrenchment into independent modules. Among other things it is shown how belief revision satisfying only the 'basic' postulates of Alchourrón, Gärdenfors and Makinson can be represented in terms of entrenchment.

Deliberation about what to do in any context requires reasoning about what will or would happen in various alternative situations, including situations that the agent knows will never in fact be realized. In contexts that involve two or more agents who have to take account of each others' deliberation, the counterfactual reasoning may become quite complex. When I deliberate, I have to consider not only what the causal effects would be of alternative choices that I might make, but also what (...) other agents might believe about the potential effects of my choices, and how their alternative possible actions might affect my beliefs. Counterfactual possibilities are implicit in the models that game theorists and decision theorists have developed – in the alternative branches in the trees that model extensive form games and the different cells of the matrices of strategic form representations – but much of the reasoning about those possibilities remains in the informal commentary on and motivation for the models developed. Puzzlement is sometimes expressed by game theorists about the relevance of what happens in a game ‘off the equilibrium path’: of what would happen if what is both true and known by the players to be true were instead false. (shrink)

This major work challenges some widely held positions in epistemology - those of Peirce and Popper on the one hand and those of Quine and Kuhn on the other.

An examination of topics involved in statistical reasoning with imprecise probabilities. The book discusses assessment and elicitation, extensions, envelopes and decisions, the importance of imprecision, conditional previsions and coherent statistical models.