But the set of hypotheses “X does not exist” doesn’t contain both sides of the isomorphism, so the obvious argument doesn’t carry through.
I figured anyone who thinks proving non-existence is extra hard also probably lacks a sufficiently thought-out concept of “existence” to convincingly make that claim :)
But ok, to engage more with the parent: My atheism takes the form “For all God-concepts I’ve heard of, my attempt to make them specific has either yielded something wrong like Helios, or meaningless like belief-in-belief or perhaps a bad word choice like ‘God is probability’”.
If the set of all God-concepts I’ve heard were empty, I wouldn’t have the need to say I’m an atheist. That’s why the burden of proof is actually on the God-concept-proposers.
I figured anyone who thinks proving non-existence is extra hard also probably lacks a sufficiently thought-out concept of “existence” to convincingly make that claim :)
But ok, to engage more with the parent: My atheism takes the form “For all God-concepts I’ve heard of, my attempt to make them specific has either yielded something wrong like Helios, or meaningless like belief-in-belief or perhaps a bad word choice like ‘God is probability’”.
If the set of all God-concepts I’ve heard were empty, I wouldn’t have the need to say I’m an atheist. That’s why the burden of proof is actually on the God-concept-proposers.