Skip main navigation

The problem of evil again: Formally valid?

In this article, we see whether the version of the argument from evil we've been considering is formally valid.
A technician looking carefully a a complex network of wires they are working on
© University of York

In this step we’ll look at whether the version of the Problem of Evil we’ve been looking at is formally valid.

How did you get on? Formally valid or not formally valid?

In fact, the argument is not formally valid. There is a counterexample as follows:

  • True S: There is suffering
  • False W: God is willing to prevent suffering
  • False A: God is able to prevent suffering
  • True O: God is omnipotent
  • True L: God is loving

(If you want to check your own truth-table, see the document linked below.)

In the counterexample situation we have:

  • ((W & ~A) (rightarrow) ~O) : True because W(illing) false
  • ((A & ~W) (rightarrow) ~L) : True because A(ble) false
  • ((W & A) (rightarrow) ~S) : True because W and A both false
  • S : True basic sentence
  • ~(L & O) : False because L and O both true

So, the argument is not formally valid.

From an intuitive point of view, however, it’s quite tempting to see it as a good argument. What’s going on?

There are claims that we could add as premises which would result in a formally valid argument. Two examples are ‘(L (rightarrow) W)’ and ‘(O (rightarrow) A)’. These are, respectively, ‘If God is loving, then God is willing to prevent suffering’ and ‘If God is omnipotent, then God is able to prevent suffering’.

If either or both of those claims were added to the list of premises, the result would be a formally valid argument. The situation which is a counterexample to the current argument would not be a counterexample to this new argument, because the new premise or premises would be false in that situation. (And every kind of situation in which all of the premises were true would have the conclusion true too.)

Both of the example claims are quite plausible, but being forced to make them explicit to produce a formally valid argument is useful. It brings these claims to the surface. We can see that they are potentially important. More than this, we can see that they might be questioned.

For example, consider ‘If God is loving, then God is willing to prevent suffering’? Perhaps suffering serves a purpose which makes a loving God let it exist. (We’re not saying this is right, just that it’s something worth considering. And there is a long philosophical tradition exploring this option.) This option is something that has been brought to light here by approaching the argument from the perspective of formal validity.

© University of York
This article is from the free online

Logic: The Language of Truth

Created by
FutureLearn - Learning For Life

Reach your personal and professional goals

Unlock access to hundreds of expert online courses and degrees from top universities and educators to gain accredited qualifications and professional CV-building certificates.

Join over 18 million learners to launch, switch or build upon your career, all at your own pace, across a wide range of topic areas.

Start Learning now