Didn’t we go through this for years with Libertarian/Liberal and the ontological principle? Maybe the OP can go back and read those for a series of discussions and objections.
My recollection is that the dissenters always came back to the point that the proof was circular and semantic. Having conceived of your notion of a god, you work back to a set of statements that prove your notion without ever defining it to anyone else’s satisfaction.
And of course if a god doesn’t exist, then no proof is possible, only that a postulate is false. Remember, in formal logic, the result of a false premise is that any conclusion can be proved, whether is it true, false, or semantically meaningless.
Thanks for the recommendations. I’ve checked out the video. I remember being aware of Brief History when it came out. There was some publicity around it, as there would have been with a Hawking book. But for whatever reason it didn’t rise to the level of a purchase for me. I snagged it today, though.
Plus typically we get around the “can God make a stone too big for him to lift” argument by defining omnipotence as the ability to do all logically possible things. But we can break down omnipotence into this definition and the one allowing the paradox, which doesn’t seem excluded in the OP’s presentation.
Omnipotence is the ability to do anything. It can be broken down into a list of things it allows you to do, which is infinite. Therefore it is a fictional construct made of fundamental truths (individual capabilities
that omnipotence allows).
I think his proof would be that you can split the fictional plaid kangaroos into the fundamental truths of plaid and kangaroos, just like you can split the fictional vampires into the fundamental truths of murderers, cannibals, and immortal people.