A Modal Ontological Argument

 ...modal ontological argument...John konnor...

1) it is not the case that it is either not possibly the case that it is not possible that God does not exist or that it is necessarily not the case God exists

C) God exists

Let:

G!= God exists

p⊃□◇p      ( axiom B)

Proof:

1)~(~◇~◇~G!∨□~G!)                P.

2)~~◇~◇~G!∧~□~G!                (1 DeM.)

3)◇□G!∧◇G!                                (2 M.E.)

4)~G!⊃□◇~G!                              ( I.Ax.B)

5)~G!⊃~◇~◇~G!                         (4 M.E.)

6)◇~◇~G!⊃G!                              (5 Contr.)

7)◇□G!⊃G!                                    (6 M.E.)

8)◇□G!                                           (3 Simp.)

9)G!                                                (7,8 MMP)