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).
The traditional definition of an ontological argument was given by Immanuel Kant. [3] He contrasted the ontological argument (literally any argument "concerned with being") [4] with the cosmological and physio-theoretical arguments. [5] According to the Kantian view, ontological arguments are those founded through a priori reasoning. [3]
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."
Ontology is the philosophical study of being.It is traditionally understood as the subdiscipline of metaphysics focused on the most general features of reality.As one of the most fundamental concepts, being encompasses all of reality and every entity within it.
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.
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.
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).
The Meinongian argument is a type of ontological argument [1] or an "a priori argument" that seeks to prove the existence of God. [2] This is through an assertion that there is "a distinction between different categories of existence." [3] The premise of the ontological argument is based on Alexius Meinong's works.