English Dictionary

Let ‘F’ stand for the state of affairs that consists in finite persons possessing and exercising free will. Let ‘p’ stand for ‘God exists’; ‘q’ for ‘F obtains’; ‘r’ for ‘F poses a serious risk of evil’; and ‘s’ for ‘There is no option available to God that counters F.’ With this in place, the argument may be formalized as follows: (1) [(p & q) & r] → s Premiss (2) ~s Premiss (3) ~[(p & q) & r] 1, 2 MT (4) ~(p & q) v ~r 3 DM (5) r Premiss (6) ~(p & q) 4, 5 DS (7) ~p v ~q 6 DM (3) follows from the conjunction of (1) and (2) by modus tollens; De Morgan’s law applied to (3) yields (4); (4) and (5) together lead to (6) by disjunctive syllogism; and another application of De Morgan’s law takes us from (6) to the final conclusion, according to which either God exists or there is free will (but not both).