The Principal Principle does not imply the Principle of Indifference
Recently, James Hawthorne, Jürgen Landes, Christian Wallmann, and Jon Williamson published a paper in the British Journal of Philosophy of Science in which they claim that the Principal Principle entails the Principle of Indifference -- indeed, the paper is called 'The Principal Principle implies the Principle of Indifference'. In this post, I argue that it does not.
All Bayesian epistemologists agree on two claims. The first, which we might call Precise Credences, says that an agent's doxastic state at a given time $t$ in her epistemic life can be represented by a single credence function $P_t$, which assigns to each proposition $A$ about which she has an opinion a precise numerical value $P_t(A)$ that is at least 0 and at most 1. $P_t(A)$ is the agent's credence in $A$ at $t$. It measures how strongly she believes $A$ at $t$, or how confident she is at $t$ that $A$ is true. The second point of agreement, which is typically known as Probabilism, says that an agent's credence function at a given time should be a probability function: that is, for all times $t$, $P_t(\top) = 1$ for any tautology $\top$, $P_t(\bot) = 0$ for any contradiction $\bot$, and $P_t(A \vee B) = P_t(A) + P_t(B) - P_t(AB)$ for any propositions $A$ and $B$.
So Precise Credences and Probabilism form the core of Bayesian epistemology. But, beyond these two norms, there is little agreement between its adherents. Bayesian epistemologists disagree along (at least) two dimensions. First, they disagree about the correct norms concerning updating on evidence learned with certainty --- some say they are diachronic norms concerning how an agent should in fact update; others say that there are only synchronic norms concerning how an agent should plan to update; and others think there are no norms concerning updating at all. Second, they disagree about the stringency of the synchronic norms that don't concern updating. Our concern here is with the latter. Some candidates norms of this sort: the Principal Principle, which says how an agent's credences in propositions concerning the objective chances should relate to her credences in other propositions (Lewis 1980); the Reflection Principle, which says how an agent's current credences in propositions concerning her future credences should relate to her current credences in other propositions (van Fraassen 1984, Briggs 2009); and the Principle of Indifference, which says, roughly, that an agent with no evidence should divide her credences equally over all possibilities (Keynes 1921, Carnap 1950, Jaynes 2003, Williamson 2010, Pettigrew 2014). Those we might call Radical Subjective Bayesians adhere to Precise Credences and Probabilism, but reject the Principal Principle, the Reflection Principle, and the Principle of Indifference. Those we might call Moderate Subjective Bayesians adhere to Precise Credences, Probabilism, and the Principal Principle (and also, quite often, the Reflection Principle), but they reject the Principle of Indifference. And the Objective Bayesians accept all of the principles.
In a recent paper, Hawthorne et al. (2015) (henceforth, HLWW) argue that Moderate Subjective Bayesianism is an inconsistent position, because the Principal Principle (and, indeed the Reflection Principle) entails the Principle of Indifference. Thus, it is inconsistent to accept the former and reject the latter. We must either reject the Principal Principle, as the Radical Subjective Bayesian does, or accept it together with the Principle of Indifference, as the Objective Bayesian does.
Notoriously, as Lewis originally stated it, the Principal Principle includes an admissibility condition (266-7, Lewis 1980). Equally notoriously, Lewis did not provide a precise account of this condition, thereby leaving his formulation of the principle similarly imprecise. HLWW do not give a precise account either. But they do appeal to two principles that they take to follow intuitively from the Principal Principle. And from these two principles, together with the Principal Principle itself, they derive what they take to be an instance of the Principle of Indifference. The first principle to which they appeal --- their Condition 1 --- is in fact provable, as they note. The second --- their Condition 2 --- is not. Indeed, as we will see, on the correct understanding of admissibility, it is false. Thus, the HLWW argument fails. What's more, its conclusion is not true. It is possible to satisfy the Principal Principle without satisfying the Principle of Indifference, as we will see below. Moderate Subjective Bayesianism is a coherent position.
We begin by introducing the Principal Principle. To aid our statement, let me introduce a piece of notation. Given a proposition $A$ and a real number $0 \leq x \leq 1$, let $C^A_x$ be the following proposition: The current objective chance of $A$ is $x$. And we will let $P_0$ be the credence function of our agent at the very beginning of her epistemic life --- when she is, as Lewis would say, a superbaby; that is, she is not yet in receipt of any evidence. Then, as Lewis originally formulates the Principal Principle, it says this:
Lewis' Principal Principle Suppose $A$, $E$ are propositions and $0 \leq x \leq 1$. Then it should be the case that $$P_0(A | C^A_xE) = x $$providing (i) $P_0(C^A_xE) > 0$, and (ii) $E$ is admissible for $A$.
In this version, the principle applies to an agent only at the beginning of her epistemic life; it governs her initial credence function. In this situation, the principle says, her credence in a proposition $A$ conditional on the conjunction of some proposition $E$ and a chance proposition that says that the chance of $A$ is $x$ should be $x$, providing the conditional probability is well-defined and $E$ is admissible for $A$.
The motivation for the admissibility condition is this. Suppose $E$ entails $A$. Then we surely don't want to demand that $P_0(A | C^A_xE) = x$. After all, if $x < 1$, then such a demand would conflict with Probabilism, since it is a consequence of Probabilism that, if $E$ entails $A$, then $P_0(A | C^A_xE) = 1$. Thus, we must at least restrict the Principal Principle so that it does not apply when $E$ entails $A$. But there are other cases in which the Principal Principle should not be imposed, even if such an application would not be outright inconsistent with other norms such as Probabilism. For instance, suppose that $E$ entails that the chance of $A$ at some time in the future is $x' \neq x$. Then, again, we don't want to require that $P_0(A | C^A_xE) = x$. The moral is this: if $E$ contains information about $A$ that overrides the information that the current chance of $A$ gives about $A$, then it is inadmissible. Clearly any proposition that logically entails $A$ provides information that overrides the current chance information about $A$; and so does a proposition that entails something about the future chance of $A$. So much for propositions that are inadmissible. Are there any we can be sure are admissible? According to Lewis, there are, namely, propositions solely concerning the past or the present. Thus, Lewis does not give a precise account of admissibility: he gives a heuristic --- $E$ is admissible for $A$ if $E$ does not provide information about $A$ that overrides the information contained in propositions about the current chance of $A$ --- and he gives examples of propositions that do and do not provide such information --- I've recalled some of Lewis' examples here.
Now, as Lewis himself noted, the Principal Principle has implausible consequences when the chances are self-undermining --- that is, when the chances assign a positive probability to outcomes in which the chances are different. This happens, for instance, for Lewis' own favoured account of chance, the Humean account or Best System Analysis. This lead to reformulations of the Principal Principle, such as Thau's and Hall's New Principle (Lewis 1994, Thau 1994, Hall 1994) and Ismael's General Recipe (Ismael 2008). HLWW say nothing explicitly about whether or not chances are self-undermining. But, since they are interested in investigating the Principal Principle and not the New Principle or the General Recipe, I take them to assume that chances are not self-undermining. I will do likewise.
However imprecise Lewis' account of admissibility is, HLWW take it to be precise enough to allow us to be confident of the following principles:
Condition 1 If
(1a) $E$ is admissible for $A$, and
(1b) $C^A_xE$ contains no information that renders $F$ relevant to $A$,
then
(1c) $EF$ is admissible for $A$.
Now, HLWW propose to make (1b) precise as follows: $$P_0(A | FC^A_xE) = P_0(A | C^A_xE)$$ That is, $C^A_xE$ contains no information that renders $F$ relevant to $A$ just in case $C^A_xE$ renders $A$ probabilistically independent of $F$. With that explication in hand, Condition 1 now actually follows logically from Lewis' Principal Principle, as HLWW note. After all, by (1a) and Lewis' Principal Principle, $P_0(A | C^A_xE) = x$. And, by the explication of (1b), $P_0(A | C^A_xE) = P_0(A | FC^A_xE)$. Daisychaining these identities together, we have $P_0(A | FC^A_xE) = x$, which is (1c).
Condition 2 If
(2a) $E$ is admissible for $A$, and
(2b) $C^A_xE$ contains no information that renders $F$ relevant to $A$,
then
(2c) $E(A \leftrightarrow F)$ is admissible for $A$.
This is not provable. Indeed, as we will see below, it is false. Nonetheless, together with Lewis' Principal Principle, Conditions 1 and 2 entail a constraint on an agent's credence function that HLWW take to be the constraint imposed by the Principle of Indifference.
Proposition 1 Suppose Lewis' Principal Principle together with Conditions 1 and 2 hold. And suppose that there are propositions $A$, $E$, and $F$ and $0 < x < 1$ such that $E$ is admissible for $A$. Suppose further that $F$ is atomic and contingent. Then
(i) If $C^A_xE$ contains no information that renders $F$ relevant to $A$, then the following is required of the agent's initial credence function: $P_0(F | C^A_xE) = 0.5.$
(ii) If $C^A_xE$ contains no information whatsoever about $F$ (so that $P_0(F | C^A_xE) = P_0(F)$), then the following is required of the agent's initial credence function: $P_0(F) = 0.5$
HLWW take Proposition 1 to show that the Principle of Indifference follows from the Principal Principle. After all, Condition 1 is simply a theorem. And they take Condition 2 to be a consequence of the Principal Principle, given the correct understanding of admissibility. So if you assume the Principal Principle, you get all of the hypotheses of the theorem. However, as we will see in the next two sections, Condition 2 is in fact false.
Above, we stated the Principal Principle as follows:
Lewis' Principal Principle $P_0(A | C^A_xE) = x$, providing (i) $P_0(C^A_xE) > 0$, and (ii) $E$ is admissible for $A$.
Now suppose we make the following assumption about admissibility:
Current Chance Admissibility Propositions about the current objective chances are admissible.
Thus, for instance, $P_0(A | C^A_xC^B_y) = x$, providing $P_0(C^A_xC^B_y) > 0$, which also ensures that $C^A_x$ and $C^B_y$ are compatible.
Now suppose that, if $ch$ is a probability function defined over all the propositions about which the agent has an opinion, $C_{ch}$ is the proposition that says that the objective chances are given by $ch$. Then it follows from the Principal Principle and Current Chance Admissibility that $P_0(A | C_{ch}) = ch(A)$. But it also follows from this that:
Levi's Principal Principle (Bodgan 1984, Pettigrew 2012) $P_0(A | C_{ch}E) = ch(A | E)$, providing $P_0(C_{ch}E), ch(E) > 0$.
This is a version of the Principal Principle that makes no mention of admissibility. From it, something close to Lewis' Principal Principle follows: If $P_0(C^{A|E}_x E) > 0$, then $$P_0(A | C^{A|E}_x E) = x$$ where $C^{A|E}_x$ is the proposition: The current objective chance of $A$ conditional on $E$ is $x$. What's more, while Levi's version does not mention admissibility, since it applies equally when the proposition $E$ is not admissible, it does suggest a precise account of admissibility. And it is possible to show that, if we take the version of Lewis' Principal Principle that results from understanding admissibility in this way, it is a consequence of Levi's Principal Principle.
Levi-Admissibility $A$ is Levi-admissible for $E$ if, for all possible chance functions $ch$, $ch(A | E) = ch(A)$.
That is, on this account $A$ is admissible for $E$ if every chance function renders $A$ and $E$ stochastically independent. Three points are worthy of note:
Now, although Levi's account of admissibility recovers Lewis' examples, it might seem to be too demanding. Suppose, for instance, that $A$ is a proposition concerning the toss of a coin in Quito --- it says that it will lands heads --- while $E$ is a proposition concerning tomorrow's weather in Addis Ababa --- it says that it will rain. Then, intuitively, $E$ is admissible for $A$. But $E$ is not Levi-admissible for $A$. After all, we are considering an agent at the beginning of her epistemic life. And so there are certainly possible chance functions --- probability functions that, for all she knows, give the objective chances --- that do not render $E$ and $A$ stochastically independent.
However, in fact, on closer inspection, the Levi-admissibility verdict is exactly right. Consider my credence in $A$ conditional on $E$ and the chance hypothesis $C^A_{0.5}$, which says that the coin in Quito is fair and so the unconditional chance of $A$ is 0.5. Amongst the chance functions that are epistemically possible for me, some make $E$ irrelevant to $A$, some make it positively relevant to $A$ and some make it negatively relevant to $A$. Indeed, we might suppose that the possible chances of $A$ conditional on $E$ run the full gamut of values from 0 to 1. In that case, surely we don't want to say that $E$ is admissible for $A$ and thereby impose, via the Principal Principle, the demand that our agent's credence in $A$ conditional on $E$ and $C^A_{0.5}$ is 0.5. After all, if I choose to place most of my prior credence on the chance hypotheses on which $E$ is positively relevant to $A$, then my credence in $A$ conditional on $E$ and $C^A_{0.5}$ should not be 0.5 --- it should be something greater than 0.5. If I choose to place most of my prior credence on the chance hypotheses on which $E$ is negatively relevant to $A$, then my credence in $A$ conditional on $E$ and $C^A_{0.5}$ should not be 0.5 --- it should be something less than 0.5. Of course, we might think that it is irrational for our agent, a superbaby with no evidence one way or the other, to favour the positive relevance hypotheses over those that posit neutral relevance and negative relevance. We might think that she should spread her credences equally over all of the possibilities, in which case their effects will cancel out, and her credence in $A$ conditional on $E$ and $C^A_{0.5}$ will indeed be 0.5. But of course to do this is to assume the Principle of Indifference and beg the question.
With this precise account of admissibility in hand, we can now test to see whether or not it vindicates Condition 2 --- recall, HLWW claim that this is a consequence of the Principal Principle. As we saw above, Condition 2 runs as follows:
Condition 2 If
(2a) $E$ is admissible for $A$, and
(2b) $C^A_xE$ contains no information that renders $F$ relevant to $A$,
then
(2c) $E(A \leftrightarrow F)$ is admissible for $A$.
Now suppose that Lewis' Principal Principle is true, and assume that admissibility means Levi-admissibility. Then this is equivalent to:
Condition 2$^*$ If $ch$ is a possible chance function, and
(2a$^*$) $ch(A | E) = ch(A)$, and
(2b$^*$) $ch(A | FE) = ch(A | E)$,
then
(2c$^*$) $ch(A | E(A \leftrightarrow F)) = ch(A)$.
However, this is false. Indeed, we can show the following:
Proposition 2 For any value $0 \leq y \leq 1$, there is a chance function $ch$ such that (2a$^*$) and (2b$^*$) hold, but $$ch(A | E(A \leftrightarrow F)) = y$$
Thus, (2a$^*$) and (2b$^*$) impose no constraints whatsoever on the chance of $A$ conditional on $E(A \leftrightarrow F)$.
Thus, it is possible that $E$ is Levi-admissible for $A$ and that $C^A_xE$ carries no information whatsoever about $F$, and yet $E(A \leftrightarrow F)$ is not Levi-admissible for $A$. Thus, Condition 2 is false and the HLWW argument fails.
Of course, the failure of an argument does not entail the falsity of its conclusion. It might yet be the case that the Principal Principle entails the Principle of Indifference, even if the HLWW argument does not show that. But in fact we can show that this is not true. To see this, we note a sufficient condition for satisfying Levi's Principal Principle:
Proposition 3 Suppose $C$ is the set of all possible chance functions. Then, if $P_0$ is in the convex hull of $C$, then $P_0(A | C_{ch} E) = ch(A | E)$.
Now, if Levi's Principal Principle entails the Principle of Indifference, and the Principle of Indifference entails that every atomic proposition has probability 0.5, then it follows that every member of the convex hull of the set of possible chance functions must assign probability 0.5 to every atomic proposition. But it is easy to see that this is not true. Let $F$ be the atomic proposition that says that a sample of uranium will decay at some point in the next hour. In the absence of evidence, the possible chances of $F$ range over the full unit interval from 0 to 1. Thus, there are members of the convex hull of the set of possible chance functions that assign probabilities other than 0.5 to $F$. And, by Proposition 3, these members will satisfy Levi's Principal Principle.
A possible objection: Levi's Principal Principle is all well and good in theory, but it is not applicable. Suppose we are interested in a proposition $A$; and we have collected evidence $E$. How might we apply Levi's Principal Principle in order to set our credence in $A$? In the case of Lewis' version of the principle, we need only know the chance of $A$ and the fact that $E$ is admissible for $A$, and we often know both of these. But, in order to apply Levi's version, we must know the chance of $A$ conditional on our evidence $E$. And, at least for large and varied bodies of evidence, we never know this. Or so the objection goes.
But the objection fails. In fact, Levi's Principal Principle may be applied in those cases. You don't have to know the chance of $A$ conditional on $E$ in order to set your credence in $A$ when you have evidence $E$. You simply have to have opinions about the different possible values that that conditional chance might take. You then apply Levi's Principal Principle, together with the Law of Total Probability, which jointly entail that your credence in $A$ given $E$ should be your expectation of the chance of $A$ given $E$. Of course, neither Levi's Principal Principle nor the Law of Total Probability will tell you how to set your credences in the different possible values that the conditional chance of $A$ given $E$ might take. But that's not a problem for the Moderate Subjective Bayesian, who doesn't expect her evidence to pin down a unique credal response. Only the Objective Bayesian would expect that. You pick your probability distribution over those possible conditional chance values and Levi's Principal Principle does the rest via the Law of Total Probability.
The HLWW argument purports to show that the Principal Principle entails the Principle of Indifference. But it fails because, on the correct understanding of admissibility, Condition 2 is not a consequence of the Principal Principle; and indeed it is false. What's more, we can see that there are credence functions that satisfy the correct version of the Principal Principle --- namely, Levi's Principal Principle --- that do not satisfy the Principle of Indifference. The logical space is therefore safe once again for Moderate Subjective Bayesians, that is, those who accept Precise Credences, Probabilism, the Principal Principle (and perhaps the Reflection Principle), but who deny the Principle of Indifference.
All Bayesian epistemologists agree on two claims. The first, which we might call Precise Credences, says that an agent's doxastic state at a given time $t$ in her epistemic life can be represented by a single credence function $P_t$, which assigns to each proposition $A$ about which she has an opinion a precise numerical value $P_t(A)$ that is at least 0 and at most 1. $P_t(A)$ is the agent's credence in $A$ at $t$. It measures how strongly she believes $A$ at $t$, or how confident she is at $t$ that $A$ is true. The second point of agreement, which is typically known as Probabilism, says that an agent's credence function at a given time should be a probability function: that is, for all times $t$, $P_t(\top) = 1$ for any tautology $\top$, $P_t(\bot) = 0$ for any contradiction $\bot$, and $P_t(A \vee B) = P_t(A) + P_t(B) - P_t(AB)$ for any propositions $A$ and $B$.
So Precise Credences and Probabilism form the core of Bayesian epistemology. But, beyond these two norms, there is little agreement between its adherents. Bayesian epistemologists disagree along (at least) two dimensions. First, they disagree about the correct norms concerning updating on evidence learned with certainty --- some say they are diachronic norms concerning how an agent should in fact update; others say that there are only synchronic norms concerning how an agent should plan to update; and others think there are no norms concerning updating at all. Second, they disagree about the stringency of the synchronic norms that don't concern updating. Our concern here is with the latter. Some candidates norms of this sort: the Principal Principle, which says how an agent's credences in propositions concerning the objective chances should relate to her credences in other propositions (Lewis 1980); the Reflection Principle, which says how an agent's current credences in propositions concerning her future credences should relate to her current credences in other propositions (van Fraassen 1984, Briggs 2009); and the Principle of Indifference, which says, roughly, that an agent with no evidence should divide her credences equally over all possibilities (Keynes 1921, Carnap 1950, Jaynes 2003, Williamson 2010, Pettigrew 2014). Those we might call Radical Subjective Bayesians adhere to Precise Credences and Probabilism, but reject the Principal Principle, the Reflection Principle, and the Principle of Indifference. Those we might call Moderate Subjective Bayesians adhere to Precise Credences, Probabilism, and the Principal Principle (and also, quite often, the Reflection Principle), but they reject the Principle of Indifference. And the Objective Bayesians accept all of the principles.
In a recent paper, Hawthorne et al. (2015) (henceforth, HLWW) argue that Moderate Subjective Bayesianism is an inconsistent position, because the Principal Principle (and, indeed the Reflection Principle) entails the Principle of Indifference. Thus, it is inconsistent to accept the former and reject the latter. We must either reject the Principal Principle, as the Radical Subjective Bayesian does, or accept it together with the Principle of Indifference, as the Objective Bayesian does.
Notoriously, as Lewis originally stated it, the Principal Principle includes an admissibility condition (266-7, Lewis 1980). Equally notoriously, Lewis did not provide a precise account of this condition, thereby leaving his formulation of the principle similarly imprecise. HLWW do not give a precise account either. But they do appeal to two principles that they take to follow intuitively from the Principal Principle. And from these two principles, together with the Principal Principle itself, they derive what they take to be an instance of the Principle of Indifference. The first principle to which they appeal --- their Condition 1 --- is in fact provable, as they note. The second --- their Condition 2 --- is not. Indeed, as we will see, on the correct understanding of admissibility, it is false. Thus, the HLWW argument fails. What's more, its conclusion is not true. It is possible to satisfy the Principal Principle without satisfying the Principle of Indifference, as we will see below. Moderate Subjective Bayesianism is a coherent position.
Introducing the Principal Principle
We begin by introducing the Principal Principle. To aid our statement, let me introduce a piece of notation. Given a proposition $A$ and a real number $0 \leq x \leq 1$, let $C^A_x$ be the following proposition: The current objective chance of $A$ is $x$. And we will let $P_0$ be the credence function of our agent at the very beginning of her epistemic life --- when she is, as Lewis would say, a superbaby; that is, she is not yet in receipt of any evidence. Then, as Lewis originally formulates the Principal Principle, it says this:
Lewis' Principal Principle Suppose $A$, $E$ are propositions and $0 \leq x \leq 1$. Then it should be the case that $$P_0(A | C^A_xE) = x $$providing (i) $P_0(C^A_xE) > 0$, and (ii) $E$ is admissible for $A$.
In this version, the principle applies to an agent only at the beginning of her epistemic life; it governs her initial credence function. In this situation, the principle says, her credence in a proposition $A$ conditional on the conjunction of some proposition $E$ and a chance proposition that says that the chance of $A$ is $x$ should be $x$, providing the conditional probability is well-defined and $E$ is admissible for $A$.
The motivation for the admissibility condition is this. Suppose $E$ entails $A$. Then we surely don't want to demand that $P_0(A | C^A_xE) = x$. After all, if $x < 1$, then such a demand would conflict with Probabilism, since it is a consequence of Probabilism that, if $E$ entails $A$, then $P_0(A | C^A_xE) = 1$. Thus, we must at least restrict the Principal Principle so that it does not apply when $E$ entails $A$. But there are other cases in which the Principal Principle should not be imposed, even if such an application would not be outright inconsistent with other norms such as Probabilism. For instance, suppose that $E$ entails that the chance of $A$ at some time in the future is $x' \neq x$. Then, again, we don't want to require that $P_0(A | C^A_xE) = x$. The moral is this: if $E$ contains information about $A$ that overrides the information that the current chance of $A$ gives about $A$, then it is inadmissible. Clearly any proposition that logically entails $A$ provides information that overrides the current chance information about $A$; and so does a proposition that entails something about the future chance of $A$. So much for propositions that are inadmissible. Are there any we can be sure are admissible? According to Lewis, there are, namely, propositions solely concerning the past or the present. Thus, Lewis does not give a precise account of admissibility: he gives a heuristic --- $E$ is admissible for $A$ if $E$ does not provide information about $A$ that overrides the information contained in propositions about the current chance of $A$ --- and he gives examples of propositions that do and do not provide such information --- I've recalled some of Lewis' examples here.
Now, as Lewis himself noted, the Principal Principle has implausible consequences when the chances are self-undermining --- that is, when the chances assign a positive probability to outcomes in which the chances are different. This happens, for instance, for Lewis' own favoured account of chance, the Humean account or Best System Analysis. This lead to reformulations of the Principal Principle, such as Thau's and Hall's New Principle (Lewis 1994, Thau 1994, Hall 1994) and Ismael's General Recipe (Ismael 2008). HLWW say nothing explicitly about whether or not chances are self-undermining. But, since they are interested in investigating the Principal Principle and not the New Principle or the General Recipe, I take them to assume that chances are not self-undermining. I will do likewise.
The HLWW argument
However imprecise Lewis' account of admissibility is, HLWW take it to be precise enough to allow us to be confident of the following principles:
Condition 1 If
(1a) $E$ is admissible for $A$, and
(1b) $C^A_xE$ contains no information that renders $F$ relevant to $A$,
then
(1c) $EF$ is admissible for $A$.
Now, HLWW propose to make (1b) precise as follows: $$P_0(A | FC^A_xE) = P_0(A | C^A_xE)$$ That is, $C^A_xE$ contains no information that renders $F$ relevant to $A$ just in case $C^A_xE$ renders $A$ probabilistically independent of $F$. With that explication in hand, Condition 1 now actually follows logically from Lewis' Principal Principle, as HLWW note. After all, by (1a) and Lewis' Principal Principle, $P_0(A | C^A_xE) = x$. And, by the explication of (1b), $P_0(A | C^A_xE) = P_0(A | FC^A_xE)$. Daisychaining these identities together, we have $P_0(A | FC^A_xE) = x$, which is (1c).
Condition 2 If
(2a) $E$ is admissible for $A$, and
(2b) $C^A_xE$ contains no information that renders $F$ relevant to $A$,
then
(2c) $E(A \leftrightarrow F)$ is admissible for $A$.
This is not provable. Indeed, as we will see below, it is false. Nonetheless, together with Lewis' Principal Principle, Conditions 1 and 2 entail a constraint on an agent's credence function that HLWW take to be the constraint imposed by the Principle of Indifference.
Proposition 1 Suppose Lewis' Principal Principle together with Conditions 1 and 2 hold. And suppose that there are propositions $A$, $E$, and $F$ and $0 < x < 1$ such that $E$ is admissible for $A$. Suppose further that $F$ is atomic and contingent. Then
(i) If $C^A_xE$ contains no information that renders $F$ relevant to $A$, then the following is required of the agent's initial credence function: $P_0(F | C^A_xE) = 0.5.$
(ii) If $C^A_xE$ contains no information whatsoever about $F$ (so that $P_0(F | C^A_xE) = P_0(F)$), then the following is required of the agent's initial credence function: $P_0(F) = 0.5$
HLWW take Proposition 1 to show that the Principle of Indifference follows from the Principal Principle. After all, Condition 1 is simply a theorem. And they take Condition 2 to be a consequence of the Principal Principle, given the correct understanding of admissibility. So if you assume the Principal Principle, you get all of the hypotheses of the theorem. However, as we will see in the next two sections, Condition 2 is in fact false.
Levi's Principal Principle and Levi-Admissibility
Above, we stated the Principal Principle as follows:
Lewis' Principal Principle $P_0(A | C^A_xE) = x$, providing (i) $P_0(C^A_xE) > 0$, and (ii) $E$ is admissible for $A$.
Now suppose we make the following assumption about admissibility:
Current Chance Admissibility Propositions about the current objective chances are admissible.
Thus, for instance, $P_0(A | C^A_xC^B_y) = x$, providing $P_0(C^A_xC^B_y) > 0$, which also ensures that $C^A_x$ and $C^B_y$ are compatible.
Now suppose that, if $ch$ is a probability function defined over all the propositions about which the agent has an opinion, $C_{ch}$ is the proposition that says that the objective chances are given by $ch$. Then it follows from the Principal Principle and Current Chance Admissibility that $P_0(A | C_{ch}) = ch(A)$. But it also follows from this that:
Levi's Principal Principle (Bodgan 1984, Pettigrew 2012) $P_0(A | C_{ch}E) = ch(A | E)$, providing $P_0(C_{ch}E), ch(E) > 0$.
This is a version of the Principal Principle that makes no mention of admissibility. From it, something close to Lewis' Principal Principle follows: If $P_0(C^{A|E}_x E) > 0$, then $$P_0(A | C^{A|E}_x E) = x$$ where $C^{A|E}_x$ is the proposition: The current objective chance of $A$ conditional on $E$ is $x$. What's more, while Levi's version does not mention admissibility, since it applies equally when the proposition $E$ is not admissible, it does suggest a precise account of admissibility. And it is possible to show that, if we take the version of Lewis' Principal Principle that results from understanding admissibility in this way, it is a consequence of Levi's Principal Principle.
Levi-Admissibility $A$ is Levi-admissible for $E$ if, for all possible chance functions $ch$, $ch(A | E) = ch(A)$.
That is, on this account $A$ is admissible for $E$ if every chance function renders $A$ and $E$ stochastically independent. Three points are worthy of note:
- All propositions providing future information about the chance of $A$ or information about the truth value of $A$ are Levi-inadmissible, since $A$ will be stochastically dependent on such propositions according to all possible current chance functions. So this account of admissibility agrees with the examples of clearly inadmissible propositions that we gave above.
- All propositions solely about the past are Levi-admissible, since all such propositions will now be true or false and will be assigned chance 1 or 0 accordingly by all possible current chance functions. So this account of admissibility agrees with the examples of clearly admissible propositions that we gave above.
- If $A$ is Levi-admissible for $E$, then $P_0(A | C^A_xE) = P_0(A | C^{A|E}_xE ) = x$. That is, Lewis' Principal Principle follows from Levi's version if we understand Lewis' notion of admissibility as Levi-admissibility.
Now, although Levi's account of admissibility recovers Lewis' examples, it might seem to be too demanding. Suppose, for instance, that $A$ is a proposition concerning the toss of a coin in Quito --- it says that it will lands heads --- while $E$ is a proposition concerning tomorrow's weather in Addis Ababa --- it says that it will rain. Then, intuitively, $E$ is admissible for $A$. But $E$ is not Levi-admissible for $A$. After all, we are considering an agent at the beginning of her epistemic life. And so there are certainly possible chance functions --- probability functions that, for all she knows, give the objective chances --- that do not render $E$ and $A$ stochastically independent.
However, in fact, on closer inspection, the Levi-admissibility verdict is exactly right. Consider my credence in $A$ conditional on $E$ and the chance hypothesis $C^A_{0.5}$, which says that the coin in Quito is fair and so the unconditional chance of $A$ is 0.5. Amongst the chance functions that are epistemically possible for me, some make $E$ irrelevant to $A$, some make it positively relevant to $A$ and some make it negatively relevant to $A$. Indeed, we might suppose that the possible chances of $A$ conditional on $E$ run the full gamut of values from 0 to 1. In that case, surely we don't want to say that $E$ is admissible for $A$ and thereby impose, via the Principal Principle, the demand that our agent's credence in $A$ conditional on $E$ and $C^A_{0.5}$ is 0.5. After all, if I choose to place most of my prior credence on the chance hypotheses on which $E$ is positively relevant to $A$, then my credence in $A$ conditional on $E$ and $C^A_{0.5}$ should not be 0.5 --- it should be something greater than 0.5. If I choose to place most of my prior credence on the chance hypotheses on which $E$ is negatively relevant to $A$, then my credence in $A$ conditional on $E$ and $C^A_{0.5}$ should not be 0.5 --- it should be something less than 0.5. Of course, we might think that it is irrational for our agent, a superbaby with no evidence one way or the other, to favour the positive relevance hypotheses over those that posit neutral relevance and negative relevance. We might think that she should spread her credences equally over all of the possibilities, in which case their effects will cancel out, and her credence in $A$ conditional on $E$ and $C^A_{0.5}$ will indeed be 0.5. But of course to do this is to assume the Principle of Indifference and beg the question.
The failure of Condition 2
With this precise account of admissibility in hand, we can now test to see whether or not it vindicates Condition 2 --- recall, HLWW claim that this is a consequence of the Principal Principle. As we saw above, Condition 2 runs as follows:
Condition 2 If
(2a) $E$ is admissible for $A$, and
(2b) $C^A_xE$ contains no information that renders $F$ relevant to $A$,
then
(2c) $E(A \leftrightarrow F)$ is admissible for $A$.
Now suppose that Lewis' Principal Principle is true, and assume that admissibility means Levi-admissibility. Then this is equivalent to:
Condition 2$^*$ If $ch$ is a possible chance function, and
(2a$^*$) $ch(A | E) = ch(A)$, and
(2b$^*$) $ch(A | FE) = ch(A | E)$,
then
(2c$^*$) $ch(A | E(A \leftrightarrow F)) = ch(A)$.
However, this is false. Indeed, we can show the following:
Proposition 2 For any value $0 \leq y \leq 1$, there is a chance function $ch$ such that (2a$^*$) and (2b$^*$) hold, but $$ch(A | E(A \leftrightarrow F)) = y$$
Thus, (2a$^*$) and (2b$^*$) impose no constraints whatsoever on the chance of $A$ conditional on $E(A \leftrightarrow F)$.
Thus, it is possible that $E$ is Levi-admissible for $A$ and that $C^A_xE$ carries no information whatsoever about $F$, and yet $E(A \leftrightarrow F)$ is not Levi-admissible for $A$. Thus, Condition 2 is false and the HLWW argument fails.
Levi's Principal Principle and the Principle of Indifference
Of course, the failure of an argument does not entail the falsity of its conclusion. It might yet be the case that the Principal Principle entails the Principle of Indifference, even if the HLWW argument does not show that. But in fact we can show that this is not true. To see this, we note a sufficient condition for satisfying Levi's Principal Principle:
Proposition 3 Suppose $C$ is the set of all possible chance functions. Then, if $P_0$ is in the convex hull of $C$, then $P_0(A | C_{ch} E) = ch(A | E)$.
Now, if Levi's Principal Principle entails the Principle of Indifference, and the Principle of Indifference entails that every atomic proposition has probability 0.5, then it follows that every member of the convex hull of the set of possible chance functions must assign probability 0.5 to every atomic proposition. But it is easy to see that this is not true. Let $F$ be the atomic proposition that says that a sample of uranium will decay at some point in the next hour. In the absence of evidence, the possible chances of $F$ range over the full unit interval from 0 to 1. Thus, there are members of the convex hull of the set of possible chance functions that assign probabilities other than 0.5 to $F$. And, by Proposition 3, these members will satisfy Levi's Principal Principle.
Applying Levi's Principal Principle
A possible objection: Levi's Principal Principle is all well and good in theory, but it is not applicable. Suppose we are interested in a proposition $A$; and we have collected evidence $E$. How might we apply Levi's Principal Principle in order to set our credence in $A$? In the case of Lewis' version of the principle, we need only know the chance of $A$ and the fact that $E$ is admissible for $A$, and we often know both of these. But, in order to apply Levi's version, we must know the chance of $A$ conditional on our evidence $E$. And, at least for large and varied bodies of evidence, we never know this. Or so the objection goes.
But the objection fails. In fact, Levi's Principal Principle may be applied in those cases. You don't have to know the chance of $A$ conditional on $E$ in order to set your credence in $A$ when you have evidence $E$. You simply have to have opinions about the different possible values that that conditional chance might take. You then apply Levi's Principal Principle, together with the Law of Total Probability, which jointly entail that your credence in $A$ given $E$ should be your expectation of the chance of $A$ given $E$. Of course, neither Levi's Principal Principle nor the Law of Total Probability will tell you how to set your credences in the different possible values that the conditional chance of $A$ given $E$ might take. But that's not a problem for the Moderate Subjective Bayesian, who doesn't expect her evidence to pin down a unique credal response. Only the Objective Bayesian would expect that. You pick your probability distribution over those possible conditional chance values and Levi's Principal Principle does the rest via the Law of Total Probability.
Conclusion
The HLWW argument purports to show that the Principal Principle entails the Principle of Indifference. But it fails because, on the correct understanding of admissibility, Condition 2 is not a consequence of the Principal Principle; and indeed it is false. What's more, we can see that there are credence functions that satisfy the correct version of the Principal Principle --- namely, Levi's Principal Principle --- that do not satisfy the Principle of Indifference. The logical space is therefore safe once again for Moderate Subjective Bayesians, that is, those who accept Precise Credences, Probabilism, the Principal Principle (and perhaps the Reflection Principle), but who deny the Principle of Indifference.
References
- Bogdan, R. (Ed.) (1984). Henry E. Kyburg, Jr. and Isaac Levi. Dordrecht: Reidel.
- Briggs, R. (2009). Distorted Reflection. Philosophical Review, 118(1), 59–85.
- Carnap, R. (1950). Logical Foundations of Probability. Chicago: University of Chicago Press.
- Hall, N. (1994). Correcting the Guide to Objective Chance. Mind, 103, 505–518.
- Hawthorne, J., Landes, J., Wallman, C., & Williamson, J. (2015). The Principal Principle Implies the Principle of Indifference. The British Journal for the Philosophy of Science.
- Ismael, J. (2008). Raid! Dissolving the Big, Bad Bug. Noûs, 42(2), 292–307.
- Jaynes, E. T. (2003). Probability Theory: The Logic of Science. Cambridge, UK: Cambridge University Press.
- Keynes, J. M. (1921). A Treatise on Probability. London: Macmillan.
- Lewis, D. (1980). A Subjectivist’s Guide to Objective Chance. In R. C. Jeffrey (Ed.) Studies in Inductive Logic and Probability, vol. II. Berkeley: University of California Press.
- Lewis, D. (1994). Humean Supervenience Debugged. Mind, 103, 473–490.
- Pettigrew, R. (2012). Accuracy, Chance, and the Principal Principle. Philosophical
Review, 121(2), 241–275. - Pettigrew, R. (2014). Accuracy, Risk, and the Principle of Indifference. Philosophy
and Phenomenological Research. - Thau, M. (1994). Undermining and Admissibility. Mind, 103, 491–504.
- van Fraassen, B. C. (1984). Belief and the Will. Journal of Philosophy, 81, 235–56.
- Williamson, J. (2010). In Defence of Objective Bayesianism. Oxford: Oxford University Press.
It's nice that you share such information with us, I am grateful to you. Such information is very important, I like reading it.
ReplyDeleteLook at this page, and check offer: 1.4913
The VSCO Cam + VSCO Grid tersedia untuk sebagian besar iOS dan Android versi 4.0 perangkat diberdayakan. Platform minimalis ini cocok untuk menciptakan, penerbitan dan menampilkan keterampilan fotografi. The VSCO adalah platform yang paling indah yang memungkinkan integrasi dan interaksi antara fotografer dan pengambil tertarik. https://artisinstagram.my.id/ Dalam dunia di mana gambar mengungkapkan lebih dari teks, Anda tidak dapat menemukan platform yang memungkinkan kekuatan berbagi dengan fotografer dari seluruh dunia.
ReplyDelete