178 ARGUMENTS: MONOTHEISTIC CONCEPTIONS3y God exists is logically contingent is true.
4y If God exists is logically contingent is true then Necessarily, God exists is
false.
5y Necessarily, God exists is false.
This argument is also valid. Premise 1y is true for reasons exactly analogous to
those that favor 1 and 1x. If it is true that God exists is logically contingent then
God exists is logically necessary is false. (So then is God has maximal excellence,
which entails God exists is logically necessary.) So if God exists is logically
contingent is true, then God has maximal excellence is false, and that is what
premise 4y says. So if premise 2y is true, then the Y argument is sound and valid,
and thus its conclusion is true. Is 2y true?
The Z argument
1z God does not exist is logically contingent is true unless it is self-
contradictory.
2z God does not exist is logically contingent is not self-contradictory. So:
3z God does not exist is logically contingent is true.
4z If God does not exist is logically contingent is true then Necessarily, God
exists is false.
5z Necessarily, God exists is false.
This argument is also valid. Premise 1z is true for reasons exactly analogous to
those that favor 1, 1x, and 2y. If it is true that God does not exist is logically
contingent then God exists is logically necessary is false. (So then is God has
maximal excellence, which entails God exists is logically necessary.) So if God
does not exist is logically contingent is true, then Necessarily, God exists is
false, and that is what premise 4z says. So if premise 2z is true, the Z argument
is sound and valid, and its conclusion is true. Is 2z true?
Summary regarding the Ontological Argument (version 1)
and the X,Y, and Z arguments
A Each argument is logically valid.
B In each argument, the first premise is true.
C In each argument, the fourth premise is true.
D In each argument, only the first, second, and fourth premises are
independent; the first and second entail the third, and the third and
fourth entail the conclusion.