Modal Ontological Argument

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


1) necessarily if God does not exist then it is necessarily the case God does not exist


2) God's existence is possible


C) Necessarily God exists


Let:


G!= God exists

□(p⊃q)⊃(◇p⊃◇q).  Theorem of K.

◇p⊃□◇p.                  Ax. 5


Proof:


1)□(~G!⊃□~G!).                             p

2)◇G!                                                p

3)□(~G!⊃□~G!)⊃(◇~G!⊃◇□~G!)    Theorem of K.

4)(◇~G!⊃◇□~G!)                           (1,3 MP)

5)~◇□~G!⊃~◇~G!                        4 Contra.

6)~◇~◇~~G!⊃~◇~G!                  5 M.E.

7)□◇G!⊃□G!                                   6 M.E., D.N.

8)◇G!⊃□◇G!                                   Ax.5

9)□◇G!                                            (2,8 MP)

10)□G!                                             (7,9 MP)

Comments

Post a Comment

Popular posts from this blog

Anselmian Ontological Argument

 ...Anselmian ontological argument ...John konnor... 1) exists an x, x exists in the understanding and x does not admit of more greatness, x=g. 2) for all x, if x exists in the understanding and x does not admit of more greatness then x exists actually C) God exists actually Let: g=God U!x=df=x exists in the understanding @E!x=df= x exists actually ~Gx=df=x does not admit of more greatness Proof: 1)(∃!x)U!x∧~Gx∧(x=g) 2)(∀x)(U!x∧~Gx)⊃@E!x 3)U!g∧~Gg.                          1 EI 4)(U!g∧~Gg)⊃@E!g.            2 UI 5)@E!g.                                  3,4 MP
Read more

A Meinongian Ontological Argument

 ...a meinongian ontological argument...john konnor... 1. for all x if x has conceivable existence and x has exclusive existence in the understanding then x has    conceivable existence in reality 2. for all x if x has exclusive existence in the understanding then x has conceivable existence 3. for all x if x has conceivable existence in reality then x admits of ontological perfectibility 4. for all x either x has exclusive existence in the understanding or x has actual existence c. God exists let: əUx=x has exclusive existence in the understanding @E!x=x has actual existence ©E!x=x has conceivable existence ©Rx=x has conceivable existence in reality Ix=x is ontologically imperfectible the definite description God g=(℩x)(Ix) proof: 1. (∀x) (©E!x ∧ əUx)⊃©Rx.                premise 2. (∀x) əUx⊃©E!x.                               premise 3. (∀x ) ©Rx.⊃~Ix....
Read more

Argument for OPT from Information

 ...argument for ontic pancomputational theism...John konnor... 1) the universe is composed of information ( it from bit) 2) if the universe is composed of information then a  prior omniscient mind instantiated the universe's ontological concreteness 3) a  prior omniscient mind instantiated the universe's ontological concreteness (1,2 MP) 4) if a  prior omniscient mind instantiated the universe's ontological concreteness then God exists 5) God exists (3,4 MP)
Read more