A Bad Argument?
- If nothing prevents x from existing, then x exists. (premise)
- Only something that exists can prevent x from existing. (premise)
- If x is prevented from existing, then x does not exist. (premise)
- If x prevents x from existing, then x exists. (By 2)
- If x prevents x from existing, then x does not exist. (By 3)
- Thus, nothing can prevent itself from existing. (By 4 and 5)
- Nothing distinct from God can prevent God from existing. (premise)
- Therefore, nothing can prevent God from existing. (By 6 and 7)
- Therefore, God exists. (By 1 and 8)
I don't know whose argument this is.