The Logical Disproof of the Existence of God

1.God cannot do anything that is logically impossible.
(Theological assumption)

2. It is logically impossible for god to exist. (Martin & Monnier,
passim)

3. Therefore god does not exist.

Discussion:

1.The initial premise is asserted by theologians in order to respond to
disproofs of the existence of god based on the property of
omnipotence.

2. The second premise obviously depends on the validity of the one
or more proofs in the Martin & Monnier collection. So this proof
really doesn't add much to those proofs. I believe it is
illuminating, however, because of the light it throws on the
relation between modality and logical consequence. It shows how
modality interpreted as a logic of necessity and possibility,
coupled with necessity and possibility interpreted as logical
necessity and possibility, is redundant.