cicerone imposter wrote:
Ding, I'm not sure why you even bothered to post Godel's proof of god; you need to translate that for me/us, because I/we don't understand it in that form.
That's what I call formula garbage; it's a mesh-mash of bull shite.
It not formula garbage as far as I can gather; in fact, it's a very nice proof using modal logic (although it is questionable).
Translation of the proof
Ax. 1. If an object, phi, has property P and necessarily for all x if x is phi then x is an object psi, then psi has property P.
Ax. 2. An not phi has the property P if, and only if, it is not the case that object phi has the property P.
Th. 1. If an object phi has the property P, then possibly there exists an x such that x is phi.
Df. 1. x has the property of God-like property if, and only if, for all objects phi, phi has the property P and x is phi.
Ax 3. The God-like property is the property that includes all positive properties.
Th. 2. Possibly there exists an x such that x is God-like.
Df. 2. x is essentially phi iff x has the property phi and for all psi if x is psi, then necessarily for all x if x is phi, then x is psi.
Ax 4. if phi has the property P, then necessarily phi has the property P.
Th. 3. if x is God-like, then x is essentially God-like.
Df. 3. x has the property of Existence if, and only if, for all phi if x is essentially phi, then necessarily for all x, x has the property of phi.
Ax. 5. Existence is a property P.
Th. 4. necessarily, there exists an x such that x is God-like.
It may seem like "mesh-mash", but I assure you it is not. It is dubious though.