The role of causation and counterfactuals in causal decision theory is vexed and disputed. Recently, Brian Hedden (2023) argues that we should abandon causal decision theory in favour of an alternative: counterfactual decision theory. I argue that, pace Hedden, counterfactual decision theory is not a competitor to, but rather a version of, causal decision theory – the most popular version by far. I provide textual evidence that the founding fathers of causal decision theory (Stalnaker, Gibbard, Harper, Lewis, Skyrms, Sobel, and (...) Joyce) all endorse counterfactual decision theories. I additionally discuss why these theories came to be called ‘causal’, rather than ‘counterfactual’. And I argue that, properly understood, causal decision theory escapes Hedden's objections. (shrink)

The classic formulation of causal decision theory (CDT) appeals to counterfactuals. It says that you should aim to choose an option that would have a good outcome, were you to choose it. However, this version of CDT faces trouble if the laws of nature are deterministic. After all, the standard theory of counterfactuals says that, if the laws are deterministic, then if anything—including the choice you make—were different in the present, either the laws would be violated or the distant past (...) would be changed. And as several authors have shown, it's easy to transform this upshot of the standard theory of counterfactuals into full-blown counterexamples to CDT. In response to these counterexamples, I argue here that the problem lies, not so much with CDT's guiding idea—that it's the expected causal consequences of your actions that matter for rational decision-making—but with the fact that the classic formulation of CDT doesn't pay sufficient attention to the context-sensitivity of counterfactuals. I develop a contextualist version of CDT which better accounts for this context-sensitivity. And I show that my theory avoids the problems faced by the classic formulation of CDT in determinstic worlds. (shrink)

Reasoning from inconclusive evidence, or ‘induction’, is central to science and any applications we make of it. For that reason alone it demands the attention of philosophers of science. This Element explores the prospects of using probability theory to provide an inductive logic, a framework for representing evidential support. Constraints on the ideal evaluation of hypotheses suggest that overall support for a hypothesis is represented by its probability in light of the total evidence, and incremental support, or confirmation, indicated by (...) an increased probability given the evidence than otherwise. This proposal is shown to have the capacity to reconstruct many canons of the scientific method and inductive inference. Along the way, significant objections are discussed, such as the challenge from inductive scepticism and the objection that the probabilistic approach makes evidential support arbitrary. (shrink)

We study the phenomenon of merging of opinions for computationally limited Bayesian agents from the perspective of algorithmic randomness. When they agree on which data streams are algorithmically random, two Bayesian agents beginning the learning process with different priors may be seen as having compatible beliefs about the global uniformity of nature. This is because the algorithmically random data streams are of necessity globally regular: they are precisely the sequences that satisfy certain important statistical laws. By virtue of agreeing on (...) what data streams are algorithmically random, two Bayesian agents can thus be taken to concur on what global regularities they expect to see in the data. We show that this type of compatibility between priors suffices to ensure that two computable Bayesian agents will reach inter-subjective agreement with increasing information. In other words, it guarantees that their respective probability assignments will almost surely become arbitrarily close to each other as the number of observations increases. Thus, when shared by computable Bayesian learners with different subjective priors, the beliefs about uniformity captured by algorithmic randomness provably lead to merging of opinions. (shrink)

Our scientific theories, like our cognitive structures in general, consist of propositions linked by evidential, explanatory, probabilistic, and logical connections. Those theoretical webs ‘impinge on the world at their edges,’ subject to a continuing barrage of incoming evidence. Our credences in the various elements of those structures change in response to that continuing barrage of evidence, as do the perceived connections between them. Here we model scientific theories as Bayesian nets, with credences at nodes and conditional links between them modelled (...) as conditional probabilities. We update those networks, in terms of both credences at nodes and conditional probabilities at links, through a temporal barrage of random incoming evidence. Robust patterns of punctuated equilibrium, suggestive of ‘normal science’ alternating with ‘paradigm shifts,’ emerge prominently in that change dynamics. The suggestion is that at least some of the phenomena at the core of the Kuhnian tradition are predictable in the typical dynamics of scientific theory change captured as Bayesian nets under even a random evidence barrage. (shrink)

This volume concerns Rational Agents - humans, players in a game, software or institutions - which must decide the proper next action in an atmosphere of partial information and uncertainty. The book collects formal accounts of Uncertainty, Rationality and Agency, and also of their interaction. It will benefit researchers in artificial systems which must gather information, reason about it and then make a rational decision on which action to take.

We model scientific theories as Bayesian networks. Nodes carry credences and function as abstract representations of propositions within the structure. Directed links carry conditional probabilities and represent connections between those propositions. Updating is Bayesian across the network as a whole. The impact of evidence at one point within a scientific theory can have a very different impact on the network than does evidence of the same strength at a different point. A Bayesian model allows us to envisage and analyze the (...) differential impact of evidence and credence change at different points within a single network and across different theoretical structures. (shrink)

Consequentialists often assume rational monism: the thesis that options are always made rationally permissible by the maximization of the selfsame quantity. This essay argues that consequentialists should reject rational monism and instead accept rational pluralism: the thesis that, on different occasions, options are made rationally permissible by the maximization of different quantities. The essay then develops a systematic form of rational pluralism which, unlike its rivals, is capable of handling both the Newcomb problems that challenge evidential decision theory and the (...) unstable problems that challenge causal decision theory. (shrink)

The Principle of Sufficient Reason must be justified dialectically: by showing the disastrous consequences of denying it. We formulate a version of the Principle that is restricted to basic natural facts, which entails the obtaining of at least one supernatural fact. Denying this principle results in extreme empirical skepticism. We consider six current theories of empirical knowledge, showing that on each account we cannot know that we have empirical knowledge unless we all have a priori knowledge of the PSR. We (...) consider objections based on Neo-Humeanism and the essentiality of origins, and we consider the possibility that we have empirical knowledge without knowing it. (shrink)

The purpose of this paper is to discuss the role of financial practice in the development of mathematics as applied in human judgement. The basis of the paper is in historical research from the 1990s that argues that the monetisation of western commerce, which abstracted value into quantified price, was synthesised with scholastic analysis resulting in a “mathematical mechanistic world picture” that led to the widespread use of mathematics in science from the seventeenth century. An aspect of this process was (...) the quantification of chance that led to the development of mathematical probability, the branch of mathematics most relevant to judgement and the focus of this paper. Ideas from this historical research are related to the fundamental theorem of asset pricing, the foundational theory of contemporary financial mathematics. The paper observes that vestiges of medieval scholastic attitudes to financial ethics can be discerned in the FTAP, offering a novel interpretation of the mathematical theorem. The paper then considers the Dutch book argument, the most popular justification for subjective probability. The paper’s main contribution is in describing the significance of financial practice in validating the DBA and the paper explains how the FTAP addresses some criticisms of how the DBA represents beliefs. The conclusions emphasise the distinction between pure and practical reasoning and that this should be mirrored in a distinction between the mathematics of physica and practica. This point is important as mathematics is becoming more widespread in modelling, and directing, social systems. (shrink)

Until recently, many philosophers took Causal Decision Theory to be more successful than its rival, Evidential Decision Theory. Things have changed, however, with a renewed concern that cases involving an extreme form of decision instability are counterexamples to CDT :392–403, 1984; Egan in Philos Rev 116:93–114, 2007). Most prominent among those cases of extreme decision instability is the Psychopath Button, due to Andy Egan; in that case, CDT recommends a seemingly absurd act that almost certainly results in your death. This (...) renewed attention to decision instability has spurned an array of modifications to and rejections of CDT. I argue, however, that the Psychopath Button and its ilk are no counterexamples to CDT. That is, given the causalist’s commitments in Newcomb Problems, they already have the tools to justify CDT’s verdict in Egan-style cases of extreme decision instability. I first argue that there is no reason to think the Psychopath Button is a counterexample to CDT; in particular, many philosophers have placed too much weight on pre-theoretic intuition in Egan-cases, and apart from pre-theoretic intuition, arguments against CDT in cases of extreme decision instability are flawed. My second claim is that the causalist can provide good reasons for following CDT in cases of extreme decision instability. I present a new case, the Two Button Defense, that highlights precisely why the causalist can reasonably follow CDT in even the Psychopath Button. CDT therefore stands as a viable decision theory, without need for modification, restriction, or rejection. (shrink)

This article reveals one general scheme for creating counter examples to Bayesian confirmation theory. The reason of the problems is that: in daily life the degree of confirmation is affected not only by probability but also by some non-probabilistic factors, e.g., structural similarity, quantity of evidence, and marginal utility, while Bayesian confirmation theory considers only probabilities to measure the degree of confirmation. This article resolves these problems after some detail analyses, and proposes a new confirmation measure based on these factors.

In this article, we address a major outstanding question of probabilistic Bayesian epistemology: how should a rational Bayesian agent update their beliefs upon learning an indicative conditional? A number of authors have recently contended that this question is fundamentally underdetermined by Bayesian norms, and hence that there is no single update procedure that rational agents are obliged to follow upon learning an indicative conditional. Here we resist this trend and argue that a core set of widely accepted Bayesian norms is (...) sufficient to identify a normatively privileged updating procedure for this kind of learning. Along the way, we justify a privileged formalization of the notion of ‘epistemic conservativity’, offer a new analysis of the Judy Benjamin problem, and emphasize the distinction between interpreting the content of new evidence and updating one’s beliefs on the basis of that content. (shrink)

The crucial premise of the standard argument for two-boxing in Newcomb's problem, a causal dominance principle, is false. We present some counterexamples. We then offer a metaethical explanation for why the counterexamples arise. Our explanation reveals a new and superior argument for two-boxing, one that eschews the causal dominance principle in favor of a principle linking rational choice to guidance and actual value maximization.

I argue that none of the usual interpretations of probability provide an adequate interpretation of probabilistic theories in science. Assuming that the aim of such theories is to capture noisy relationships in the world, I suggest that we do not have to give them classical truth-conditional content at all: their probabilities can remain uninterpreted. Indirectly, this account turns out to explain what is right about the frequency interpretation, the best-systems interpretation, and the epistemic interpretation.

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of design (...) problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

The paper argues that on three out of eight possible hypotheses about the EPR experiment we can construct novel and realistic decision problems on which (a) Causal Decision Theory and Evidential Decision Theory conflict (b) Causal Decision Theory and the EPR statistics conflict. We infer that anyone who fully accepts any of these three hypotheses has strong reasons to reject Causal Decision Theory. Finally, we extend the original construction to show that anyone who gives any of the three hypotheses any (...) non-zero credence has strong reasons to reject Causal Decision Theory. However, we concede that no version of the Many Worlds Interpretation (Vaidman, in Zalta, E.N. (ed.), Stanford Encyclopaedia of Philosophy 2014) gives rise to the conflicts that we point out. (shrink)

This essay develops a joint theory of rational (all-or-nothing) belief and degrees of belief. The theory is based on three assumptions: the logical closure of rational belief; the axioms of probability for rational degrees of belief; and the so-called Lockean thesis, in which the concepts of rational belief and rational degree of belief figure simultaneously. In spite of what is commonly believed, this essay will show that this combination of principles is satisfiable (and indeed nontrivially so) and that the principles (...) are jointly satisfied if and only if rational belief is equivalent to the assignment of a stably high rational degree of belief. Although the logical closure of belief and the Lockean thesis are attractive postulates in themselves, initially this may seem like a formal “curiosity”; however, as will be argued in the rest of the essay, a very reasonable theory of rational belief can be built around these principles that is not ad hoc and that has various philosophical features that are plausible independently. In particular, this essay shows that the theory allows for a solution to the Lottery Paradox, and it has nice applications to formal epistemology. The price that is to be paid for this theory is a strong dependency of belief on the context, where a context involves both the agent's degree of belief function and the partitioning or individuation of the underlying possibilities. But as this essay argues, that price seems to be affordable. (shrink)

In Bayesian epistemology, the problem of the priors is this: How should we set our credences (or degrees of belief) in the absence of evidence? That is, how should we set our prior or initial credences, the credences with which we begin our credal life? David Lewis liked to call an agent at the beginning of her credal journey a superbaby. The problem of the priors asks for the norms that govern these superbabies. -/- The Principle of Indifference gives a (...) very restrictive answer. It demands that such an agent divide her credences equally over all possibilities. That is, according to the Principle of Indifference, only one initial credence function is permissible, namely, the uniform distribution. In this paper, we offer a novel argument for the Principle of Indifference. I call it the Argument from Accuracy. (shrink)

I argue for a realist interpretation of the quantum state. I begin by reviewing and critically evaluating two arguments for an antirealist interpretation of the quantum state, the first derived from the so-called ‘measurement problem’, and the second from the concept of local causality. I argue that existing antirealist interpretations do not solve the measurement problem. Furthermore, I argue that it is possible to construct a local, realist interpretation of quantum mechanics, using methods borrowed from quantum field theory and based (...) on John S. Bell’s concept of ‘local beables’. -/- If the quantum state is interpreted subjectively, then the probabilities it associates with experimental outcomes are themselves subjective. I address the prospects for developing a subjective Bayesian interpretation of quantum mechanical probabilities based on the Quantum de Finetti Representation Theorem. Epistemic interpretations of the quantum state can be divided into those that are epistemic with respect to underlying ontic states, and those that are epistemic with respect to measurement outcomes. The Pusey Barrett and Rudolph (PBR) theorem places serious constraints on the former family of interpretations. I identify an important explanatory gap in the latter sort of interpretation. In particular, if the quantum state is a subjective representation of beliefs about future experimental outcomes, then it is not clear why those experimenters who use quantum mechanics should be better able to negotiate the world than those who do not. -/- I then turn to the task of articulating a positive argument for the thesis of quantum state realism. I begin by articulating a minimal set of conditions that any realist interpretation must meet. One assumption built into the PBR result is that systems prepared in a given quantum state have a well-defined set of physical properties, which may be completely or incompletely described by the quantum state. Antirealist interpretations that reject this assumption are therefore compatible with the PBR result. A compelling case for quantum state realism must therefore be made on more general grounds. I consider two concrete examples of phenomena described by quantum mechanics that strongly suggest that the quantum state is genuinely representational in character. (shrink)

If we think, as Ramsey did, that a degree of belief that P is a stronger or weaker tendency to act as if P, then it is clear that not only uncertainty, but also vagueness, gives rise to degrees of belief. If I like hot coffee and do not know whether the coffee is hot or cold, I will have some tendency to reach for a cup; if I like hot coffee and know that the coffee is borderline hot, I (...) will have some tendency to reach for a cup. Suppose that we take degrees of belief arising from uncertainty to obey the laws of probability and that we model vagueness using degrees of truth. We then encounter a problem: it does not look as though degrees of belief arising from vagueness should obey the laws of probability. One response would be to countenance two different sorts of degrees of belief: degrees of belief arising from uncertainty, which obey the laws of probability; and degrees of belief arising from vagueness, which obey a different set of laws. I argue, however, that if a degree of belief that P is a stronger or weaker tendency to act as if P, then this option is not open. Instead, I propose an account of the behaviour of degrees of belief that integrates subjective probabilities and degrees of truth. On this account, degrees of belief are expectations of degrees of truth. The account explains why degrees of belief behave in accordance with the laws of probability in cases involving only uncertainty, while also allowing degrees of belief to behave differently in cases involving only vagueness, and in mixed cases involving both uncertainty and vagueness. Justifications of the account are given both via Dutch books and in terms of epistemic accuracy. (shrink)

‘Bayesian epistemology’ became an epistemological movement in the 20th century, though its two main features can be traced back to the eponymous Reverend Thomas Bayes (c. 1701-61). Those two features are: (1) the introduction of a formal apparatus for inductive logic; (2) the introduction of a pragmatic self-defeat test (as illustrated by Dutch Book Arguments) for epistemic rationality as a way of extending the justification of the laws of deductive logic to include a justification for the laws of inductive logic. (...) The formal apparatus itself has two main elements: the use of the laws of probability as coherence constraints on rational degrees of belief (or degrees of confidence) and the introduction of a rule of probabilistic inference, a rule or principle of conditionalization. (shrink)

The Dutch Book argument, like Route 66, is about to turn 80. It is arguably the most celebrated argument for subjective Bayesianism. Start by rejecting the Cartesian idea that doxastic attitudes are ‘all-or-nothing’; rather, they are far more nuanced degrees of belief, for short credences, susceptible to fine-grained numerical measurement. Add a coherentist assumption that the rationality of a doxastic state consists in its internal consistency. The remaining problem is to determine what consistency of credences amounts to. The Dutch Book (...) argument, in a nutshell, says that if your credences do not obey the probability calculus, you are ‘incoherent’—susceptible to sure losses at the hands of a ‘Dutch Bookie’—and thus irrational. Conclusion: rationality requires your credences to obey the probability calculus. And like Route 66, the fortunes of the Dutch Book argument have been mixed. Opinions on the argument are sharply divided. The list of its proponents is quite a ‘who’s who’ of philosophers of probability; they include de Finetti (1937, 1980), Carnap (1950, 1962, and more fully, 1955), Kemeny (1955), Lehman (1955), Shimony (1955), Adams (1962), Mellor (1971), Rosenkrantz (1981), van Fraassen (1989), Jeffrey (1983, 1992). (shrink)

Faced with the paradox of undermining futures, Humeans have resigned themselves to accounts of chance that severely conflict with our intuitions. However, such resignation is premature: The problem is Humean supervenience (HS), not Humeanism. This paper develops a projectivist Humeanism on which chance claims are understood as normative, rather than fact stating. Rationality constraints on the cotenability of norms and factual claims ground a factual-normative worlds semantics that, in addition to solving the Frege-Geach problem, delivers the intuitive set of possibilia (...) for each chance law. Hence, the account does not entail HS, and the paradox does not arise. A confirmation theory is developed, and the 'principal principle' is justified. (shrink)

I argue that one central aspect of the epistemology of causation, the use of causes as evidence for their effects, is largely independent of the metaphysics of causation. In particular, I use the formalism of Bayesian causal graphs to factor the incremental evidential impact of a cause for its effect into a direct cause-to-effect component and a backtracking component. While the “backtracking” evidence that causes provide about earlier events often obscures things, once we our restrict attention to the cause-to-effect component (...) it is true to say promoting (inhibiting) causes raise (lower) the probabilities of their effects. This factoring assumes the same form whether causation is given an interventionist, counterfactual or probabilistic interpretation. Whether we think about causation in terms of interventions and causal graphs, counterfactuals and imaging functions, or probability raising against the background of causally homogenous partitions, if we describe the essential features of a situation correctly then the incremental evidence that a cause provides for its effect in virtue of being its cause will be the same. (shrink)

The idea that beliefs may be stake-sensitive is explored. This is the idea that the strength with which a single, persistent belief is held may vary and depend upon what the believer takes to be at stake. The stakes in question are tied to the truth of the belief—not, as in Pascal’s wager and other cases, to the belief’s presence. Categorical beliefs and degrees of belief are considered; both kinds of account typically exclude the idea and treat belief as stake-invariant (...) , though an exception is briefly described. The role of the assumption of stake-invariance in familiar accounts of degrees of belief is also discussed, and morals are drawn concerning finite and countable Dutch book arguments. (shrink)

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)

A number of authors have noted that vagueness engenders degrees of belief, but that these degrees of belief do not behave like subjective probabilities. So should we countenance two different kinds of degree of belief: the kind arising from vagueness, and the familiar kind arising from uncertainty, which obey the laws of probability? I argue that we cannot coherently countenance two different kinds of degree of belief. Instead, I present a framework in which there is a single notion of degree (...) of belief, which in certain circumstances behaves like a subjective probability assignment and in other circumstances does not. The core idea is that one’s degree of belief in a proposition P is one’s expectation of P’s degree of truth. (shrink)

What can rational deliberation indicate about belief? Belief clearly influences deliberation. The principle that rational belief is stake-invariant rules out at least one way that deliberation might influence belief. The principle is widely, if implicitly, held in work on the epistemology of categorical belief, and it is built into the model of choice-guiding degrees of belief that comes to us from Ramsey and de Finetti. Criticisms of subjective probabilism include challenges to the assumption of additive values (the package principle) employed (...) by defenses of probabilism. But the value-interaction phenomena often cited in such challenges are excluded by stake-invariance. A comparison with treatments of categorical belief suggests that the appeal to stake-invariance is not ad hoc. Whether or not to model belief as stake-invariant is a question not settled here. (shrink)

Counterexamples are constructed for classical decision theory, turning on the fact that actions must often be chosen in groups rather than individually, i.e., the objects of rational choice are plans. It is argued that there is no way to define optimality for plans that makes the finding of optimal plans the desideratum of rational decision-making. An alternative called “locally global planning” is proposed as a replacement for classical decision theory. Decision-making becomes a non-terminating process without a precise target rather than (...) a terminating search for an optimal solution. (shrink)

Much of the evidence for quantum mechanics is statistical in nature. The Everett interpretation, if it is to be a candidate for serious consideration, must be capable of doing justice to reasoning on which statistical evidence in which observed relative frequencies that closely match calculated probabilities counts as evidence in favour of a theory from which the probabilities are calculated. Since, on the Everett interpretation, all outcomes with nonzero amplitude are actualized on different branches, it is not obvious that sense (...) can be made of ascribing probabilities to outcomes of experiments, and this poses a prima facie problem for statistical inference. It is incumbent on the Everettian either to make sense of ascribing probabilities to outcomes of experiments in the Everett interpretation, or to find a substitute on which the usual statistical analysis of experimental results continues to count as evidence for quantum mechanics, and, since it is the very evidence for quantum mechanics that is at stake, this must be done in a way that does not presuppose the correctness of Everettian quantum mechanics. This requires an account of theory confirmation that applies to branching-universe theories but does not presuppose the correctness of any such theory. In this paper, we supply and defend such an account. The account has the consequence that statistical evidence can confirm a branching-universe theory such as Everettian quantum mechanics in the same way in which it can confirm a probabilistic theory. (shrink)

Bayes' Theorem is a simple mathematical formula used for calculating conditional probabilities. It figures prominently in subjectivist or Bayesian approaches to epistemology, statistics, and inductive logic. Subjectivists, who maintain that rational belief is governed by the laws of probability, lean heavily on conditional probabilities in their theories of evidence and their models of empirical learning. Bayes' Theorem is central to these enterprises both because it simplifies the calculation of conditional probabilities and because it clarifies significant features of subjectivist position. Indeed, (...) the Theorem's central insight — that a hypothesis is confirmed by any body of data that its truth renders probable — is the cornerstone of all subjectivist methodology. (shrink)

Many people believe that there is a Dutch Book argument establishing that the principle of countable additivity is a condition of coherence. De Finetti himself did not, but for reasons that are at first sight perplexing. I show that he rejected countable additivity, and hence the Dutch Book argument for it, because countable additivity conflicted with intuitive principles about the scope of authentic consistency constraints. These he often claimed were logical in nature, but he never attempted to relate this idea (...) to deductive logic and its own concept of consistency. This I do, showing that at one level the definitions of deductive and probabilistic consistency are identical, differing only in the nature of the constraints imposed. In the probabilistic case I believe that R.T. Cox's ‘scale-free’ axioms for subjective probability are the most suitable candidates. 1 Introduction 2 Coherence and Consistency 3 The Infinite Fair Lottery 4 The Puzzle Resolved—But Replaced by Another 5 Countable Additivity, Conglomerability and Dutch Books 6 The Probability Axioms and Cox's Theorem 7 Truth and Probability 8 Conclusion: ‘Logical Omniscience’ CiteULike Connotea Del.icio.us What's this? (shrink)

Examples growing out of the Newcomb problem have convinced many people that decision theory should proceed in terms of some kind of causal probability. I endorse this view and define and investigate a variety of causal probability. My definition is related to Skyrms' definition, but proceeds in terms of objective probabilities rather than subjective probabilities and avoids taking causal dependence as a primitive concept.

From a point of view like de Finetti's, what is the judgmental reality underlying the objectivistic claim that a physical magnitude X determines the objective probability that a hypothesis H is true? When you have definite conditional judgmental probabilities for H given the various unknown values of X, a plausible answer is sufficiency, i.e., invariance of those conditional probabilities as your probability distribution over the values of X varies. A different answer, in terms of conditional exchangeability, is offered for use (...) when such definite conditional probabilities are absent. (shrink)

De Finetti would claim that we can make sense of a draw in which each positive integer has equal probability of winning. This requires a uniform probability distribution over the natural numbers, violating countable additivity. Countable additivity thus appears not to be a fundamental constraint on subjective probability. It does, however, seem mandated by Dutch Book arguments similar to those that support the other axioms of the probability calculus as compulsory for subjective interpretations. These two lines of reasoning can be (...) reconciled through a slight generalization of the Dutch Book framework. Countable additivity may indeed be abandoned for de Finetti's lottery, but this poses no serious threat to its adoption in most applications of subjective probability. Introduction The de Finetti lottery Two objections to equiprobability 3.1 The ‘No random mechanism’ argument 3.2 The Dutch Book argument Equiprobability and relative betting quotients The re-labelling paradox 5.1 The paradox 5.2 Resolution: from symmetry to relative probability Beyond the de Finetti lottery. (shrink)

The representation theorems of expected utility theory show that having certain types of preferences is both necessary and sufficient for being representable as having subjective probabilities. However, unless the expected utility framework is simply assumed, such preferences are also consistent with being representable as having degrees of belief that do not obey the laws of probability. This fact shows that being representable as having subjective probabilities is not necessarily the same as having subjective probabilities. Probabilism can be defended on the (...) basis of the representation theorems only if attributions of degrees of belief are understood either antirealistically or purely qualitatively, or if the representation theorems are supplemented by arguments based on other considerations (simplicity, consilience, and so on) that single out the representation of a person as having subjective probabilities as the only true representation of the mental state of any person whose preferences conform to the axioms of expected utility theory. (shrink)

How does deductive logic constrain probability? This question is difficult for subjectivistic approaches, according to which probability is just strength of (prudent) partial belief, for this presumes logical omniscience. This paper proposes that the way in which probability lies always between possibility and necessity can be made precise by exploiting a minor theorem of de Finetti: In any finite set of propositions the expected number of truths is the sum of the probabilities over the set. This is generalized to apply (...) to denumerable languages. It entails that the sum of probabilities can neither exceed nor be exceeded by the cardinalities of all consistent and closed (within the set) subsets. In general any numerical function on sentences is said to be logically coherent if it satisfies this condition. Logical coherence allows the relativization of necessity: A function p on a language is coherent with respect to the concept T of necessity iff there is no set of sentences on which the sum of p exceeds or is exceeded by the cardinality of every T-consistent and T-closed (within the set) subset of the set. Coherence is easily applied as well to sets on which the sum of p does not converge. Probability should also be relativized by necessity: A T-probability assigns one to every T-necessary sentence and is additive over disjunctions of pairwise T-incompatible sentences. Logical T-coherence is then equivalent to T-probability: All and only T-coherent functions are T-probabilities. (shrink)

Subjunctive conditionals are fundamental to rational decision both in single agent and multiple agent decision problems. They need explicit analysis only when they cause problems, as they do in recent discussions of rationality in extensive form games. This paper examines subjunctive conditionals in the theory of games using a strict revealed preference interpretation of utility. Two very different models of games are investigated, the classical model and the limits of reality model. In the classical model the logic of backward induction (...) is valid, but it does not use subjunctive conditionals; the relevant subjunctive conditionals do not even make sense. In the limits of reality model the subjunctive conditionals do make sense but backward induction is valid only under special assumptions. (shrink)

The proper treatment of correlation in evolutionary game theory has unexpected connections with recent philosophical discussions of the theory of rational decision. The Logic of Decision (Jeffrey 1983) provides the correct framework for correlated evolutionary game theory and a variant of "ratifiability" is the appropriate generalization of "evolutionarily stable strategy". The resulting theory unifies the treatment of correlation due to kin, population viscosity, detection, signaling, reciprocal altruism, and behavior-dependent contexts. It is shown that (1) a strictly dominated strategy may be (...) selected, and (2) under conditions of perfect correlation a strictly efficient strategy must be selected. (shrink)

Counterexamples are constructed for the theory of rational choice that results from a direct application of classical decision theory to ordinary actions. These counterexamples turn on the fact that an agent may be unable to perform an action, and may even be unable to try to perform an action. An alternative theory of rational choice is proposed that evaluates actions using a more complex measure, and then it is shown that this is equivalent to applying classical decision theory to "conditional (...) policies" rather than ordinary actions. (shrink)

A "symptomatic act" is an act that is evidence for a state that it has no tendency to cause. In this paper I show that when the evidential value of a symptomatic act might influence subsequent choices, causal decision theory may initially recommend against its own use for those subsequent choices. And if one knows that one will nevertheless use causal decision theory to make those subsequent choices, causal decision theory may favor the one-box solution in Newcomb's problem, and may (...) recommend against making cost-free observations. But if one can control one's future choices, then causal decision theory never recommends against cost-free observation. (shrink)

Crucial to bayesian contributions to the philosophy of science has been a characteristic psychology, according to which investigators harbor degree of confidence assignments that (insofar as the agents are rational) obey the axioms of the probability calculus. The rub is that, if the evidence of introspection is to be trusted, this fruitful psychology is false: actual investigators harbor no such assignments. The orthodox bayesian response has been to argue that the evidence of introspection is not to be trusted here; it (...) is to investigators' dispositions--not to their felt convictions--that the psychology is meant to be (and succeeds in being) faithful. I argue that this response, in both its orthodox and convex-set bayesian forms, should be rejected--as should the regulative ideals that make the response seem so attractive. I offer a different variant of bayesianism, designed to give the evidence of introspection its due and thus realize (as I claim the other forms of bayesianism cannot) the prescriptive mission of the bayesian project. (shrink)

The pragmatic character of the Dutch book argument makes it unsuitable as an "epistemic" justification for the fundamental probabilist dogma that rational partial beliefs must conform to the axioms of probability. To secure an appropriately epistemic justification for this conclusion, one must explain what it means for a system of partial beliefs to accurately represent the state of the world, and then show that partial beliefs that violate the laws of probability are invariably less accurate than they could be otherwise. (...) The first task can be accomplished once we realize that the accuracy of systems of partial beliefs can be measured on a gradational scale that satisfies a small set of formal constraints, each of which has a sound epistemic motivation. When accuracy is measured in this way it can be shown that any system of degrees of belief that violates the axioms of probability can be replaced by an alternative system that obeys the axioms and yet is more accurate in every possible world. Since epistemically rational agents must strive to hold accurate beliefs, this establishes conformity with the axioms of probability as a norm of epistemic rationality whatever its prudential merits or defects might be. (shrink)

In The Logic of Decision Richard Jeffrey defends a version of expected utility theory that advises agents to choose acts with an eye to securing evidence for thinking that desirable results will ensue. Proponents of "causal" decision theory have argued that Jeffrey's account is inadequate because it fails to properly discriminate the causal features of acts from their merely evidential properties. Jeffrey's approach has also been criticized on the grounds that it makes it impossible to extract a unique probability/utility representation (...) from a sufficiently rich system of preferences (given a zero and unit for measuring utility). The existence of these problems should not blind us to the fact that Jeffrey's system has advantages that no other decision theory can match: it can be underwritten by a particularly compelling representation theorem proved by Ethan Bolker; and it has a property called partition invariance that every reasonable theory of rational choice must possess. I shall argue that the non-uniqueness problem can be finessed, and that it is impossible to adequately formulate causal decision theory, or any other, without using Jeffrey's theory as one's basic analysis of rational desire. (shrink)