This has been iterated before, but I'm repeating it in my own words. I didn't reference anything when I wrote this, so hopefully it isn't similar to anything published.
1. God either Wants the world to be the way that it is, or he does not.
2. God is either omnipotent or he is not.
3. If God Wants the world to be the way that it is, then he is evil to us.
4. The world is the way that it is.
5. If God didn't want the world to be the way that it is, and he is omnipotent, then it would not be the way that it is.
/Therefore: Either God is evil to us, or he is not omnipotent.
6. It isn't the case that the world is not the way that it is. (Double Negation, 4)
7. It isn't the case that God doesn't want the world the way it is and is Omnipotent. (Modus Tollens, 5&6)
8. It's note the case that it's not the case that God wants the world to be the way that is is OR God is not omnipotent. (De Morgan, 7)
9. God wants the world to be the way that it is OR God is not omnipotent. (Double Negation, 8)
10. If God does not want the world to be the way that it is, then he is not omnipotent. (Material Implication, 9)
11. (If God wants the world to be the way that it is, then he is evil to us) AND (If God does not want the world to be the way that it is, then he is not omnipotent). (Conjunction 3, 10)
12. Either God is evil to us, or he is not Omnipotent. (Constructive Dilemma, 1, 11)
Or, Symbolized:
W: God wants the world to the way that it is
O: God is omnipotent
E: God is Evil to us
B: The world is that the way it is
1. W v ~W
2. O v ~O
3. W > E
4. B
5. (~W - O) > ~B
::therefore: (E v ~O)
6. ~~B DN 4
7. ~(~W - O) MT 5, 6
8. ~~W v ~O De M 7
9 W v ~O DN 8
10 ~W > ~O MI 9
11 (W > E) - (~W > ~O) Conj 3, 10
12 E v ~O CD 1, 11
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment