The evil-god challenge
Stephen Law's evil-god challenge (Reference Law2010) is directed at good-god theistsFootnote 1 who think that belief in evil-god is unreasonable: if a good-god theist thinks that belief in evil-god is unreasonable because of the problem of good (explained below), then they must also think that belief in good-god is unreasonable because of the problem of evil. Law's challenge is for good-god theists of the above stripe to show that this conditional is not true – or, if it is true, that they are not affected by it since neither the antecedent nor consequent are true. In this article, I will first explicate Law's challenge, making its premises clear. After showing that premise (2) (explained below) is motivated by the problem of good, I argue that a version of sceptical theism undermines the problem of good, which renders premise (2) unmotivated. Thus, we have no reason to affirm the conclusion, and hence the evil-god challenge has been answered; sceptical theism renders the evil-god challenge a failure. I conclude by considering several objections to sceptical theism, and argue that they do not work.
Though Law does not do so, it will be of use to put his challenge in syllogistic form, for we will then have a more concrete target to aim at. We may put it as follows:
(1) If belief in evil-godFootnote 2 is unreasonable, then belief in good-god is unreasonable.
(2) Belief in evil-god is unreasonable.
(3) Therefore, belief in good-god is unreasonable (modus ponens, (1) and (2) ).Footnote 3
In support of premise (2), Law first notes that the good in the world constitutes ‘overwhelming evidence against [evil-god's] existence’ (Law (Reference Law2010), 357); that is, belief in evil-god is rendered unreasonable because of the amount of good there is. Law calls this – the problem of reconciling the existence of evil-god with the amount of good in the world – the problem of good, and says that it is parallel to the problem of evil that good-god theists face. Next, he argues that (almost) any response that the good-god theist can give to the problem of evil, the evil-god theist can give to the problem of good.Footnote 4 This leads him to affirm
The symmetry thesis: there is a rough symmetry between the reasonableness of belief in evil-god and belief in good-god. (ibid., 359)
Law thinks that the symmetry thesis is true because (a) evil and good-god theism face a parallel evidential problem about values (i.e. the problem of evil and the problem of good) and (b) there is no (cogent) argument that supports good-god theism that does not also support evil-god theism. In what follows, I will assume that the symmetry thesis – and therefore premise (1) – is true.Footnote 5
Law's lapse
Law claims that when ‘presented with the evil-god hypothesis, most of us immediately dismiss it as absurd, typically because we consider the problem of good decisive’.Footnote 6 So, most people (supposedly) think that the problem of good renders belief in evil-god unreasonable, and hence affirm premise (2) of the evil-god challenge, and – since we have granted the symmetry thesis and therefore premise (1) – are thereby committed to its conclusion. In what follows, I will show that Law does not give us good reason to affirm premise (2).
The reason that Law affirms premise (2) is because of the problem of good. That is, he thinks that the amount of good in our world renders belief in the existence of evil-god unreasonable. While his argument is not explicit, it appears to be something like the following:Footnote 7
(4) For some actual goods G we know of, we cannot think of any immorally justifying reasonsFootnote 8 for permitting them.
(5) Therefore, probably, there are not any immorally justifying reasons for permitting them.
(6) If evil-god exists, then he would not permit G if there were no immorally justifying reasons for permitting them.
(7) Therefore, probably, evil-god does not exist.
The inference from premise (4) to (5), a ‘noseeum inference’,Footnote 9 is key here.Footnote 10 Is there any reason to think that it is a good inference? It does not appear so, for it is susceptible to criticisms stemming from sceptical theism.Footnote 11 The term ‘sceptical theism’ denotes a variety of positions that have been developed in response to evidential arguments from evil. Some types of sceptical theism deny that evil is evidence at all for atheism (or they deny that it appears that there is gratuitous evil),Footnote 12 others claim only that we lack good reason to think that our knowledge of values and the entailment relations between them are representative of the actual values and entailment relations there are.Footnote 13 Different types of sceptical theism target different aspects of different arguments from evil.Footnote 14 What I will argue here is that the principles that drive a certain type of sceptical theism can be used to undermine (at least one version of) the problem of good.
Following Hud Hudson (Reference Hudson and Kvanvig2014b)Footnote 15 we may think of the search for an immorally justifying reason (i.e. a reverse-compensatory state of affairs, see note 8) for G as like searching for a rabbit in a garden. If our garden is small, uniform in nature, wholly accessible to us, and we have good vision, then if we do not find a rabbit after searching for it, we are justified in inferring that there probably is not one. This is because if there were a rabbit, then we would (at least probably) know about it and recognize it as such. The sceptical theist, however, thinks that the garden is (perhaps infinitely) large, that parts of the garden are not accessible to us, that we have no good reason to think it is uniform in nature, and that our vision is subpar. The garden is large because the number of states of affairs is infinite – or, at least, unimaginably high. Therefore, even if all the states of affairs that we examine do not immorally justify G, it does not follow that there is no such reason, or even that there probably is no such reason. Our sample size is too small to come to any significant conclusion about this.Footnote 16
Further, parts of the garden are inaccessible to us: there are no doubt states of affairs that are so complex that humans cannot comprehend them. And since we are not able to access such states of affairs, we are in the dark about how large this group is and about its contents, and this means that we have no good reason to think that the immorally justifying reasons that we know of are representativeFootnote 17 of those that there areFootnote 18 – we have no good reason to think that the garden is uniform in nature. But if we have no good reason to think that the immorally justifying reasons that we know of are representative, then the inference from (4) to (5) is unwarranted. In other words, we know that a section of the garden of immorally justifying reasons is inaccessible to us, and we are unsure about how large the section is and whether the contents of that section resemble the contents of the section of the garden that we are able to search. And this prevents us from inferring that there (probably) is not an immorally justifying reason for G in it. Still further, our vision is subpar, for ethics is notoriously murky water, and an immorally justifying reason for G falls into the ethical category. So, it could be that we already know of an immorally justifying reason for G, but do not recognize it as such – perhaps free will really does justify the amount of good in the world, but we do not recognize its proper value; we cannot be confident in our ability to recognize abstract ethical truths or weigh values. In summary, because of the nature of immorally justificatory reasons, it is not true that if there is an immorally justifying reason for G, we probably would know about it and recognize it as such, and hence we are not warranted in making an inductive inference from the immorally justifying reasons that we know of to the immorally justifying reasons that there are. Therefore, the inference from premise (4) to (5) is unwarranted, and the problem of good fails.Footnote 19
Now, since Law supports premise (2) with the problem of good, it follows that – since the problem of good fails – premise (2) is groundless: Law has lapsed in affirming it. Thus, the evil-god challenge has been answered: there is no reason to affirm premise (2) – or, at least, Law's reason for affirming it is dubious – and hence the conclusion is avoided.
Some objections and replies
An objection that Law might make to my argument is that sceptical theism is false, and hence my critique of the problem of good is undermined since it relies on it. Indeed, Law (Reference Law2015) has made clear that he thinks that sceptical theism leads to absurd consequences: it (supposedly) entails that a person cannot reasonably hold beliefs about the past, about the external world, and about religion, and this is true even if they have knowledge of such beliefs. (Call these beliefs ‘common-sense beliefs.’) Before summarizing his argument, it will help to explicate briefly the externalist epistemological position known as proper functionalism.Footnote 20 A proper functionalist claims that a belief is warranted and amounts to knowledge if the following conditions hold: S believes p, p is true, S's belief was formed by properly functioning cognitive faculties successfully aimed at producing true beliefs, and S is situated in an appropriate cognitive (mini/maxi) environment.Footnote 21 Now that we have a grasp of proper functionalism, we may return to Law's argument. He argues (very roughly) as follows: if a person sees an orange on a table then they may reasonably believe that there is an orange there. However, if they come to believe that God would deceive them about there being an orange on the table if there is an (im)morally justifying reason for doing so and that they are in the dark about whether there is such a reason, then – so the argument goes – it is unreasonable for that person to hold a belief about the orange. Since, Law claims, this is precisely what sceptical theists affirm, it follows that it is unreasonable for the person, if they are sceptical theist, to believe that there is an orange on the table. The same goes for common-sense beliefs: since we are in the dark about whether God has (im)morally justifying reasons for deceiving us about our common-sense beliefs, we cannot reasonably hold them. Further, Law claims that even if the sceptical theist's common-sense beliefs amount to knowledge via proper functionalism, that such beliefs are nonetheless unreasonable.Footnote 22 Thus, sceptical theism is false: it entails that beliefs that are clearly reasonable are unreasonable.Footnote 23
There are many responses available to Law's objection, but I will only (and briefly) rehearse three here. First, it is important to understand what exactly Law's charge of unreasonableness amounts to. He identifies (un)reasonableness with (ir)rationality, and holds that a person's belief that p is irrational if they have good reason to suppose that the method by which they formed p is untrustworthy. The crucial question is this: does Law's argument give the sceptical theist good reason to think that their common-sense beliefs are formed in an untrustworthy manner? Suppose that the sceptical theist is a proper functionalist who thinks that their common-sense beliefs are produced by properly functioning cognitive faculties (etc.). Suppose further that Law's argument does not compel them to abandon their common-sense beliefs; that is, they are not shaken of their common-sense beliefs by Law's argument. If that is the case, does the sceptical theist have good reason to think that their common-sense beliefs are untrustworthy? The answer to this question is contingent on what ‘good reason’ amounts to. If it amounts to compulsion, then the sceptical theist's beliefs are not unreasonable, for they have not been compelled to give up their belief. So, Law must mean something different. Indeed, it is more likely that he is thinking of ‘good reason’ as an alethic defeater; that is, he thinks that a person has a good reason to think that a method of belief is untrustworthy if they have an alethic defeater for their beliefs about said method. Alvin Plantinga characterizes alethic defeaters as follows:
D is a purely [alethic] defeater of B for S at t iff (1) S's noetic structure N at t includes B and S comes to believe D at t, and (2) any person S* (a) whose cognitive faculties are functioning properly in the relevant respects, (b) who is such that the bit of the design plan governing the sustaining of B in her noetic structure is successfully aimed at truth (i.e., at the maximization of true belief and minimization of false belief) and nothing more, (c) whose noetic structure is N and includes B, and (d) who comes to believe D but nothing else independent of or stronger than D, would withhold B (or believe it less strongly). (Plantinga (Reference Plantinga and Bielby2002), 209)
Here D represents the belief that God would deceive us if he had good reasons for doing so and that we are in the dark about whether there is such a reason, and B represents one's common-sense beliefs. So, the question is whether any person whose truth-directed and properly functioning cognitive faculties responsible for sustaining B (etc.) would withhold (or, at least, hold less strongly) B after coming to hold D. So far as I can see, Law has not given us reason to affirm this, nor is it clear what such a reason would look like. But this means that the sceptical theist's common-sense beliefs have not been shown to be untrustworthy and therefore have not been shown to be unreasonable.Footnote 24 (Indeed, if the sceptical theist's cognitive faculties have been successfully aimed at truth, then it is trivially true that their belief forming methods are trustworthy, for they would – by definition – produce mostly true beliefs. Thus, whether the sceptical theist has an alethic defeater appears to come down to factors that they do not have access to.) Hence Law's objection is unsuccessful – he has more work to do to show that the sceptical theist's common-sense beliefs are untrustworthy or unreasonable.
Indeed, we may go further and offer a concrete counterexample to a crucial premise of Law's argument against sceptical theism (i.e. that if the sceptical theist recognizes that God would deceive them about their common-sense beliefs if he has a good reason to do so and that they are in the dark about whether he has such a reason, that it is no longer reasonable for them to hold their common-sense beliefs. Call this premise ‘P.’). Near the end of William Alston (Reference Alston and Morris1994), he reveals that he has intentionally deceived the reader with the title of his essay (his exact reasons are unimportant). This opens (or, at any rate, should open) the reader's eyes to the fact that all authors might have reasons to use their titles to deceive their readers about the content of their work. Indeed, the reader now knows that if an author has good reason to use the title of their work to deceive their readers, that they will do it, and they know that they are in the dark about whether an author has such a reason – they recognize that they do not know a priori whether (or how probable it is that) the author has a good reason to deceive them with their title. (Call these truths ‘P*’ and call a person who recognizes P* a ‘sceptical reader’.) However, the sceptical reader – despite these facts – is surely reasonable in believing that e.g. Hudson's book The Fall and Hypertime (Reference Hudson2014a) is (at least generally) about hypertime and the biblical story of the fall of humanity – they are not unreasonable in holding such a belief.Footnote 25 Now, if the sceptical reader's belief about the content of Hudson's book (and books in general) is not rendered unreasonable by P*, then – since P and P* are structurally identical – neither are the sceptical theist's common-sense beliefs rendered unreasonable by P. Thus, either the sceptical reader's beliefs about the content of books are unreasonable, or the sceptical theist's common-sense beliefs are reasonable. If the former, then everyone, including Law, faces a sceptical challenge; if the latter, then Law's objection to sceptical theism fails. He may pick his poison.
Another, simpler objection to Law one might make is to deny that there can be unreasonable knowledge; that is, one can affirm the (to my mind, plausible) thesis that knowledge entails reasonableness. This would force Law to drop his weaker claim that even if sceptical theists have knowledge of their common-sense beliefs, they are nevertheless unreasonable. From here, the sceptical theist can argue as follows: if our common-sense beliefs are produced by properly functioning cognitive faculties successfully aimed at truth (etc.), then our common-sense beliefs amount to knowledge, and this is knowledge regardless of whether we are in the dark about God's reasons to deceive us. Since knowledge, on this view, entails reasonableness, it follows that – if proper functionalist conditions obtain – one's common-sense beliefs are also reasonable. Since reasonableness on this view is contingent on whether proper functionalist conditions obtain, Law will have to give us reason to think that such conditions have not obtained. But he has not done so. Further, this response will be available to (almost) any externalist: so long as one's common-sense beliefs are produced in the right way, they will amount to knowledge. Thus, Law's objection will only – if at all – pose a problem to non-externalists.Footnote 26
Finally, it is worth pointing out that this discussion shows that Law's evil-god challenge is not as simple as he thought: it requires him to affirm, along with the symmetry thesis, the following:
The sceptical theism thesis: sceptical theism is false.
Such a thesis is highly controversial, to say the least. Thus, the evil-god challenge relies on multiple theses, at least one of which is highly controversial, and this makes the challenge far weaker than it initially appeared.
Appendix: the symmetry thesis and EG2
In this article, I have, for the sake of argument, assumed the symmetry thesis is correct. In what follows, I will drop that assumption, and, indeed, argue against it. This, I will show, has implications for EG2 (explained below and in note 3). Though my comments here are admittedly brief, I hope to have sketched out some plausible routes for denying the symmetry thesis and answering EG2.
As previously noted (see note 3), Law states the evil-god challenge in two different ways: one as I have stated above (i.e. premises (1)–(3) ), and another in which he says: ‘the challenge is to explain why the hypothesis that there exists an omnipotent, omniscient and all-good god should be considered significantly more reasonable than the hypothesis that there exists an omnipotent, omniscient and all-evil god’ (Law (Reference Law2010), 353). So, the second version of the evil-god challenge – EG2 – challenges the good-god theist to show why it is more reasonable for them to accept good-god theism over evil-god theism. It should clear, then, that if the symmetry thesis is rejected, EG2 will have be answered as well – if the good-god theist shows that they have more evidence for, or are more justified in, accepting good over evil-god theism, then EG2 is answered.Footnote 27 In what follows, I will illustrate several ways that good-god theists can reject the symmetry thesis and answer EG2.
If a good-god theist affirms – is compelled by – the modal ontological argument (as advocated by Plantinga (Reference Plantinga1979) ) then they are committed to the existence of a perfectly good god. Hence the good-god theist who affirms the argument has significant grounds or evidence for their belief that they do not think the evil-god theist has, and hence they ought to reject the symmetry thesis. Law responds to this move by saying that he does not know of many philosophers who endorse the argument and that one can construct a parody of the argument to support a maximally evil-god (Law (Reference Law2010), 370). This response is wholly inadequate. It appears that Law has forgotten the dialectic situation: he is claiming that good-god theists cannot think that belief in good-god is more reasonable than belief in evil-god, but any good-god theist who affirms the modal ontological argument can simply cite it as non-symmetric and cogent evidence for good-god. The popularity of the argument is irrelevant: all that matters is that the good-god theist accepts it, for that would give them reason to reject the symmetry thesis. Further, they can cite the argument to explain why it is more reasonable for them to accept good-god theism over evil-god theism, thereby giving them an answer to EG2.Footnote 28
But endorsement of the modal ontological argument is not the only way for a good-god theist to reject the symmetry thesis. Perhaps, for example, they follow Alston in thinking that ‘a belief is . . . justified . . . provided it stems from a socially established doxastic practice that is not discredited by the total output of such practices’ (Alston (Reference Alston1991), 182).Footnote 29 A doxastic practice is socially established, according to Alston, if it has been practised for a non-negligible amount of time by a community of persons, and a doxastic practice is not discredited by its total output if it is not massively incoherent. Further, a doxastic practice garners more support – more justification – if it successfully carries out its aim; that is, a doxastic practice gains justification if its goal is met.Footnote 30 Alston argues at length that beliefs formed within the Christian tradition about God have this justification.Footnote 31 I will not defend that thesis here, but will merely assume that beliefs formed within the Christian doxastic practice have such justification. (I refer the reader to Alston (Reference Alston1991) for a full-blooded defence of this thesis.) This is significant since the Christian tradition affirms the existence of an all-good god. Furthermore, there is – to my knowledge – no socially established (etc.) doxastic practice that evil-god theists partake in. Thus, we have a non-symmetric form of justification that supports good-god theism over evil-god theism, and hence the symmetry thesis is false – the good-god theist who partakes in the Christian doxastic practice and follows Alston in respect to justification should view good-god theism as significantly more reasonable than evil-god theism.Footnote 32 Further, this gives the good-god theist a straightforward answer to EG2: Alstonian justification provides them with reason for affirming good-god theism over evil-god theism.
Another way for the good-god theist to reject the symmetry thesis is to endorse phenomenal conservatism. If the good-god theist is a phenomenal conservatist, then they think (very roughly) that if it seems to them that p, that this gives them justification (or evidence or reason) for believing p (see e.g. Michael Huemer (Reference Huemer2007).)Footnote 33 If that is the case, then, if it seems to them that good-god exists and it does not seem to them that evil-god exists (or it seems to them that he does not), then they can cite this fact as rendering belief in good-god significantly more reasonable for them than belief in evil-god. Hence, they may reject the symmetry thesis. Further, they may cite their seeming as reason or evidence for them to affirm good-god theism over evil-god theism, thereby answering EG2.Footnote 34 Or perhaps the good-god theist is a reformed epistemologist, and thinks that their belief in good-god is properly basic,Footnote 35 and they lack belief (basic or otherwise) in evil-god. While this may not give them reason to reject the symmetry thesis, it would at least allow them to answer EG2: the reason why it is reasonable for them to accept belief in good-god over evil-god is because, they think, their belief in good-god is properly basic. Finally, perhaps the good-god theist finds arguments or evidence for the resurrection of Jesus to be compelling (for two very different versions of resurrection arguments, see Richard Swinburne (Reference Swinburne2003) and Michael Licona (Reference Licona2010) ). Since evidence for the resurrection of Jesus is evidence for Christianity, and Christianity entails the existence of an all-good god, the good-god theist of the above stripe should reject the symmetry thesis; the evidence for the resurrection, for them, is significant and non-symmetric evidence for good-god theism. Further, this gives them an answer to EG2: it is more reasonable for them to affirm good-god theism over evil-god theism because the evidence supporting the resurrection of Jesus favours the former and not the latter.
In this appendix, I have briefly sketched out several ways in which the good-god theist can reject the symmetry thesis and answer EG2. I do not claim that these responses are exhaustive, nor do I hold that all are equally plausible. However, it seems to me that the above sketches suffice to defang the symmetry thesis and EG2. I remind the reader again that they are sketches, and I do not pretend to have fleshed out all the relevant details.
Concluding remarks
We have seen that Law supports premise (2) with the problem of good, and that the problem of good fails. Hence, we have no reason to affirm premise (2): belief in evil-god is not unreasonable – at least for the reasons that Law gives. (However, it is important to note that one can accept that belief in evil-god is not unreasonable (or, at least, that it is not rendered unreasonable by the problem of good) and that (only) good-god exists. In other words, one can affirm a proposition p while also affirming that an argument against ~p (or argument for q which entails ~p) fails.) Thus, a good-god theist need not worry about the evil-god challenge. Now, this does not show that premise (2) is false, for there could be other ways to support it.Footnote 36 However, it does show that Law's challenge needs to be revised. Finally, we saw that Law's challenge turns out to rely on the falsity of sceptical theism, and therefore turns out to be more complicated and controversial than it initially appeared.Footnote 37