Changes

"omniscient, omnipotent and omnibenevolent."

"omniscient, omnipotent and omnibenevolent."

1. An omniscient being knows all the true propositions, including those which describe all the evil that exists.

# An omniscient being knows all the true propositions, including those which describe all the evil that exists.

 

# A benevolent person seeks to prevent evil from befalling others, to the extent that he or she knows of it and can do something about it (ought implies can), and an <i>omnibenevolent</i> being never strays from this goal.

2. A benevolent person seeks to prevent evil from befalling others, to the extent that he or she knows of it and can do something about it (ought implies can), and an <i>omnibenevolent</i> being never strays from this goal.

# However, an omnipotent being has the power to prevent evil from befalling persons.

 

# Given 1, 2 and 3, we would expect that God should prevent evil from occurring. However, we know evil occurs from time to time.

3. However, an omnipotent being has the power to prevent evil from befalling persons.

# Therefore, God lacks at least one trait usually ascribed to Him or else does not exist at all.

 

4. Given 1, 2 and 3, we would expect that God should prevent evil from occurring. However, we know evil occurs from time to time.

 

5. Therefore, God lacks at least one trait usually ascribed to Him or else does not exist at all.

== Is the Argument Sound? ==

== Is the Argument Sound? ==