Monday 11 June 2007

Defending the Lottery Argument (Part 1)

Over the weekend I finally had the honour of meeting Aidan McGlynn, of The Boundaries of Language fame, who was one of the delegates at the Arché Vagueness Conference here at St Andrews. Aaron Bogart, from over at Struggling to Philosophize, was also at St Andrews over the weekend and promises to visit again later this summer. Looking forward to sharing a pint and a chin-wag with you again, Aaron.

Now, down to business. In honour of Aidan’s very thoughtful comments, I’ve decided to dedicate this (and the upcoming) post to responding to his two objections to my lottery argument. Aidan's first objection is that my argument presupposes some type of closure principle. While he does not actually spell out any particular closure principle, given that my argument has to do with justification, he presumably has something akin to the following justification closure principle in mind:
(JCP) If S may justifiably believe p and p entails q, and S competently deduces q from p and accepts q as a result of this deduction, then S may justifiably believe q.
According to Aidan, the inference from (A3) and (A4) to the claim that what S may justifiably believe about this lottery has the form (a*) seems to rely on some such closure principle. However, Aidan asks, ‘what mandates that [my] opponent accept such a closure principle? If anything, it looks somewhat suspect once one allows that justification does not require probability 1.’

First, I should point out that strictly speaking, the inference from (A3) and (A4) to the claim that what S may justifiably believe about the lottery takes the form of (a*) does not rest on (JCP), or any other type of closure principle. Rather, it rests on the following conjunction rule:
(CR) If S may justifiably believe p at time t and justifiably believe q at t, then S may justifiably believe p and q at t.
However, a closure principle does seem to make an appearance elsewhere in the proof. According to the set-up of the argument, S is aware that one ticket must win and only one ticket can win. Given (JCP), it follows that S may justifiably believe that it is not the case that t1 will lose, and t2 will lose, and so on, to the millionth ticket. Given this fact, a few brief words in defence of my argument's reliance on (JCP) may still be in order.

I begin by noting that I do not share Aidan’s intuition that I have no right to expect my opponent to accept (JCP). (JCP), and closure more generally, is accepted by the vast majority of philosophers. Of course, some thinkers (most notably Nozick and Dretske) have challenged certain formulations of closure. But theirs is the minority position. (This of course does not mean that closure is true, but it seems sufficient to establish its status as the default position.) Moreover, it is worth pointing out that the version of closure implicated in the lottery argument is quite modest. If someone may justifiably believe that p, and competently deduces q from p, it seems quite reasonable to think that she would have reasons adequate to justify her belief in q. In fact, I'm not even sure Nozick and Dretske would be opposed to (JCP), since it merely implicates justified belief, rather than knowledge. (I'm not trying to be coy here, I'm honestly not sure what Nozick and Dretske would say about (JCP). Does anyone care to fill me in on what, if anything, Nozick and Dretske have to say about justification closure?)

Interestingly, (JCP) is one of the essential premises in Gettier’s original argument against JTB (see: 'Is Justified True belief Knowledge'), and rejecting (JCP) would therefore constitute a rather straightforward way of resisting Gettier's conclusion. However, I think the fact that relatively few philosophers have taken this route (I only know of one) is testimony to just how widely accepted (JCP) is and the unwillingness of philosophers in general to give it up. Again, this does not establish that (JCP) is true. However, it vouches eloquently for its status as the default position in discussions of this kind. Finally, and perhaps most importantly (depending on your philosophical commitments), (JCP) does seem to have the endorsement of common sense.

That being said, I do not believe that the lottery argument necessarily presupposes (JCP), since S has independent reason for justifiably believing that t1 might not lose, t2 might not lose and so on. Even if closure where false, S's knowledge of how a fair lottery works, would be enough to justify her belief that any given ticket might not lose.

I believe what is doing the real heavy-lifting in the lottery argument is (CR). I take (CR) to have no less intuitive support than (JCP). Thus, substantive argumentation is necessary if one is to urge the rejection of (CR). Again, I believe the burden of proof rests on my opponent in this regard.

However, a brief word of caution and clarification may be order with regards to (CR). Many erroneously conflate the conjunction rule regarding epistemic justification (which is highly plausible) with the conjunction rule regarding probabilities (which seems clearly false). This mistake is particularly common in discussions of lottery-type cases which explicitly make reference to probabilities. To see that the conjunction rule regarding probabilities is probably false one simply has to recall that (on a standard probability analysis) the probability of a conjunction is less than that of the individual conjuncts. Thus, adding enough conjuncts can render a conjunction of individually probable items improbable.

However, the same is not true of a conjunction rule regarding epistemically justified beliefs. In contradistinction from probability, justification is generally preserved, and may even be strengthen, when we add new justified beliefs to our set of beliefs. Sharon Ryan puts the point much more succinctly than I can:
Imagine that a person S is justified in beliving that following list of individual claims: I am in an airport, I see a plane taking off from the runaway, I hear a loud noise, The noise I hear is probably a plane, The noise I hear is probably not a giant snoring. Imagine S forms a conjunction of all of the individual claims listed above. It seems reasonable to think that the justification for the conjoined beliefs is no weaker than is the justification for all the individual conjuncts. If anything, justification is strengthened by conjoining this set of individual beliefs. It is not true that the more conjuncts you add, the less justified the set becomes. (Ryan, 'Epistemic Virtues of Consistency', p. 124)
If Ryan is right, and I think she is, then although a conjunction rule regarding probability may be false, the conjunction rule regarding epistemic justification is true. Moreover, it is the latter, rather than former, that is implicated in the inference from (A3) and (A4) to the claim that what S may justifiably believe about the lottery takes the form of (a*).

Finally, it should be noted that rejecting the conjunction rule regarding justification has a rather counter-intuitive consequence—namely, that a subject may justifiably believe a set of statements she recognises to be inconsistent. (This does not, however, follow from rejecting the corresponding rule regarding probability which is altogether silent on the question of epistemic justification.) While a subject who believes that 'each ticket will lose' and also believes that 'not all of the tickets will lose' is not believing a contradiction, it is still not possible for all the members of her set of beliefs to be true. Since a lottery subject may be aware of this fact, then rejecting (CR) means that a subject may justifiably believe a set of statements which she knows cannot all be true. Personally, that strikes me as odd.

5 comments:

Aidan said...

I'm really glad I got a chance to meet you too. I'm sure we'll cross paths again soon, either on this side of the Atlantic, or the other.

A couple of quick thoughts. I was actually using 'closure' pretty loosely, so CP is a closure principle as I was intending to be understood; it's the closure of JB under &-intro. That would follow from the general closure of JB under known logical implication (something like your JCP), but of course you're right that one might accept the former but deny the latter. I'm sorry for not being clearer on how I was using terms here.

When I wrote the phrase you quote,

‘what mandates that [my] opponent accept such a closure principle? If anything, it looks somewhat suspect once one allows that justification does not require probability 1.’,

I had in mind a falliblist who ties possession of justification to having evidence which makes the likelihood that the proposition in question be true above some threshold. The points you make about how we should be careful not to confuse the behaviour of jusitifiable belief with probability wouldn't hold much sway with this guy. You might find that a deeply unattractive view (and I'd be sympathetic to that reaction), but it looks like he might have a principled out here.

That said, I take the point about the ubiquity of acceptance of something like JCP (including by myself), and so I won't push the point any further. I just wanted to take the chance to clarify what I'd meant before.

gregates said...

Avery,

I'm not sure I see that (CR) is as important as you make it out to be. An argument that relies on (CR) would look more like this, wouldn't it:

(1) S may justifiably believe that t1 will lose.

(2) S may justifiably believe that ti will lose for any i such that 1 < 1 < n+1.

(3) S may justifiably believe that (t1 will lose and t2 will lose and ... and tn will lose), by CR.

(4) S may justifiably believe that (~(t1 will lose) or ~(t2 will lose) or ... or ~(tn will lose)).

(5) S may justifiably believe that ((t1 will lose and ... and tn will lose) and (~(t1 will lose) or ... or ~(tn will lose)).

(6) S recognizes that the proposition she may justifiably believe in (5) entails a contradiction (something of the form (p & ~p).

(7) S may justifiably believe a proposition she recognizes to be a contradiction.

How is that any better than what you already have? Notice that this argument, like the one you gave before, still depends on something like the following deductive consistency principle:

(DCC) One ought not believe all of a set of propositions that entail a contradiction.

But the set you describe as (a*) in your original argument entails a contradiction already, whether or not it follows that S may justifiably believe it.

If you wanted to make a version of the argument that depended on closure principles, I'd say you should use the one above, and add an additional premise in place of (6):

(6*) S may justifiably believe ((t1 will lose and ... and tn will lose) and ~(t1 will lose and ... and tn will lose)).

Which says that S may justifiably believe something of the form (p & ~p), which is pretty obviously false.

However, I don't think you need closure at all. Your original argument stands if (DCC) is a constraint on rational belief. You don't need (CR) or (JCP) or any other closure principle if you have a consistency principle.

AVERY ARCHER said...

Gregates,
Thanks for your suggested improvements to the lottery argument. Your version does seem more stream-lined than mine, though I’ll have to think about it some more.

BTW, is there a typo in line (2)?

gregates said...

Apparently there is. Naturally the second "1" should be an "i".

Anonymous said...

nice one man