I don’t want to go into a full-dress exposition of the ontological argument, because I think it would be distracting to a simple yet decisive objection to it. For our purposes, then, we can express its structure crudely as follows:

1. It’s possible that there is a necessary being.

2. If it’s possible that there is a necessary being, then a necessary being exists.

3. Therefore, a necessary being exists.

The argument is valid; so, if its premises are true, its conclusion follows of necessity. Well, what reasons can be offered for the premises?

Premise (2) is just an instantiation of Axiom S5 of S5 modal logic. The underlying idea of Axiom S5 is that what is necesssarily the case doesn't vary from possible world to possible world: if something is necessary in one possible world, it's necessary in every possible world. I accept Axiom S5; so I accept premise (2). That leaves us with premise (1). Is it more reasonable to believe it than not -- or at least: is it more reasonable to…

1. It’s possible that there is a necessary being.

2. If it’s possible that there is a necessary being, then a necessary being exists.

3. Therefore, a necessary being exists.

The argument is valid; so, if its premises are true, its conclusion follows of necessity. Well, what reasons can be offered for the premises?

Premise (2) is just an instantiation of Axiom S5 of S5 modal logic. The underlying idea of Axiom S5 is that what is necesssarily the case doesn't vary from possible world to possible world: if something is necessary in one possible world, it's necessary in every possible world. I accept Axiom S5; so I accept premise (2). That leaves us with premise (1). Is it more reasonable to believe it than not -- or at least: is it more reasonable to…