Anselmian MOA from Ontological Perfection
...an Anselmian MOA from ontological perfection...John Konnor... 1) it is possible that God exists in the understanding 2)if God does not exist in the understanding then it is necessarily possible God does not exist in the understanding 3) if God exists in the understanding then for all Z, if Z is an ontological perfection then God has Z. 4) actual necessary existence is an ontological perfection 5) necessarily( if God exists in the understanding then necessarily God exists on the understanding) C) God has actual necessary existence Let: P(Z)= Z is an ontological perfection U!x= x exists in the understanding g= God E!x= x has existence □(p⊃q)⊃(◇p⊃◇q) Theorem of K. Proof: 1)◇U!g 2)~U!g⊃□◇~U!g 3)U!g⊃(∀Z)(P(Z)⊃Zg) 4)P(@□E!) 5)□(U!g⊃□U!g) 6)~□◇~U!g⊃U!g (2, Contra.) 7)~~◇~◇~U!g⊃U!g ...