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