logical disproof

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.