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). St. Anselm's ontological argument, in its most succinct form, is as follows: "God, by definition, is that for which no greater can ...
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.
Gaunilo's objection to the ontological argument has been criticised on several grounds. Anselm's own reply was essentially that Gaunilo had missed his point: any other being's existence is derived from God's, unnecessary in itself, and nonamenable to his ontological argument which can only ever properly apply to the single greatest being of all beings.
The Proslogion marked what would be the beginning of Saint Anselm's famous and highly controversial ontological arguments for the existence of God. Anselm's first and most famous argument is found at the end of Chapter II, and it is followed by his second argument. Opinions concerning Anselm's twin ontological arguments widely differ, and have ...
Download as PDF; Printable version; In other projects ... The Only Possible Argument in Support of a Demonstration of the Existence of God; Ontogenetic depth ...
The Meinongian argument is a type of ontological argument [52] or an "a priori argument" that seeks to prove the existence of God. [53] This is through an assertion that there is "a distinction between different categories of existence." [54] The premise of the ontological argument is based on Alexius Meinong's works.
Morewedge referred to the argument as "Ibn Sina's ontological argument for the existence of God", and said that it was purely based on his analytic specification of this concept [the Necessary Existent]." [28] Steve A. Johnson and Toby Mayer said the argument was a hybrid of the two. [25] [28]
Such reasoning underpins 'modal' formulations of the ontological argument. S5 is equivalent to the adjunction . [4] Leibniz proposed an ontological argument for the existence of God using this axiom. In his words, "If a necessary being is possible, it follows that it exists actually".