Search results
Results from the WOW.Com Content Network
Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for the existence of God. The argument is in a line of development that goes back to Anselm of Canterbury (1033–1109).
A more recent ontological argument came from Kurt Gödel, who proposed a formal argument for God's existence. Norman Malcolm also revived the ontological argument in 1960 when he located a second, stronger ontological argument in Anselm's work; Alvin Plantinga challenged this argument and proposed an alternative, based on modal logic.
He formulated a formal proof for the existence of God known as Gödel's ontological proof. Gödel believed in an afterlife, saying, "Of course this supposes that there are many relationships which today's science and received wisdom haven't any inkling of. But I am convinced of this [the afterlife], independently of any theology."
Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for the existence of God. The argument is in a line of development that goes back to Anselm of Canterbury (1033–1109). St.
Regressive transcendental arguments are more conservative in that they do not purport to make substantive ontological claims about the world. Regressive transcendental arguments take the form of modus tollens with modal operators: If possibly P, then necessarily Q. Actually not Q. Therefore, necessarily not P.
In The Only Possible Argument, Kant questions both the ontological argument for God (as proposed by Anselm of Canterbury) and the argument from design. Kant argues that the internal possibility of all things presupposes some existence: [1] Accordingly, there must be something whose nonexistence would cancel all internal possibility whatsoever.
Kurt Gödel created a formalization of Leibniz' version, known as Gödel's ontological proof. [1] A more recent argument was made by Stephen D. Unwin in 2003, who suggested the use of Bayesian probability to estimate the probability of God's existence. [2]
Gödel's proof may refer to: Gödel's incompleteness theorems; Gödel's ontological proof; See also: Gödel's theorem (disambiguation)