It's logically irrational to say that God doesn't exist
This argument is used in the debate Does God exist?.
This argument is a justification of God's existence is contained in his concept.
Summary
Quotes
“Christoph Benzmüller is the first to be able to state this with certainty: "God, in the most widespread metaphysical definition, necessarily exists. We cannot imagine a world in which He does not exist. This researcher from the University of Berlin draws his assurance from mathematics, and from its very heart, logic. Better still, he bases it on the ability of computer science to validate demonstrations without error. Completing centuries of metaphysical reflection, his software has verified the validity of the ontological argument that the existence of God is necessary for any logical system of thought. And the computer has spoken: "The statement 'God exists' is a true proposition in the logical and mathematical sense", asserts Christoph Benzmüller. It should be pointed out that his approach is not motivated by faith. "The aim of this work is not to serve any religion - no non-believer would be convinced by a mathematical formula. No, what's interesting is to investigate the coherence of a concept, whether we call it God or not. This allows us to learn more about the beliefs that are attached to it." Let's add that this doesn't concern a God with a definite appearance - old, bearded and wise, very often - nor a being whose nature necessarily engenders action, sometimes creative, sometimes destructive. "This demonstration proves the logical-mathematical existence of an abstract entity with certain properties, but not the one that triggers love, let alone fanaticism," comments Shahid Rahman, mathematician and philosopher at the University of Lille. The approach is not driven by faith. The theorem does not assert that God really exists. Just that it's irrational to say he doesn't exist.”
