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. |