...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
...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)
Comments
Post a Comment