Gödel's ontological proof - AbsoluteAstronomy.com

Gödel's ontological proof is a formal argument for God

God

God is the English name given to a singular being in theistic and deistic religions who is either the sole deity in monotheism, or a single deity in polytheism....

's existence by the mathematician Kurt Gödel

Kurt Gödel

Kurt Friedrich Gödel was an Austrian logician, mathematician and philosopher. Later in his life he emigrated to the United States to escape the effects of World War II. One of the most significant logicians of all time, Gödel made an immense impact upon scientific and philosophical thinking in the...

. It is in a line of development that goes back to Anselm of Canterbury

Anselm of Canterbury

Anselm of Canterbury , also called of Aosta for his birthplace, and of Bec for his home monastery, was a Benedictine monk, a philosopher, and a prelate of the church who held the office of Archbishop of Canterbury from 1093 to 1109...

. (1093 ad to 1109 ad.) St. Anselm's ontological argument

Ontological argument

The ontological argument for the existence of God is an a priori argument for the existence of God. The ontological argument was first proposed by the eleventh-century monk Anselm of Canterbury, who defined God as the greatest possible being we can conceive...

, in its most succinct form, is as follows: "God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality

Reality

In philosophy, reality is the state of things as they actually exist, rather than as they may appear or might be imagined. In a wider definition, reality includes everything that is and has been, whether or not it is observable or comprehensible...

. Therefore, God must exist." A more elaborate version was given by Gottfried Leibniz

Gottfried Leibniz

Gottfried Wilhelm Leibniz was a German philosopher and mathematician. He wrote in different languages, primarily in Latin , French and German ....

; (1646 CE to 1716 CE) this is the version that Gödel studied and attempted to clarify with his ontological argument

Ontological argument

.

The first version of the ontological proof in Gödel's papers is dated "around 1941". Gödel is not known to have told anyone about his work on the proof until 1970, when he thought he was dying. In February, he allowed Dana Scott

Dana Scott

Dana Stewart Scott is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California...

to copy out a version of the proof, which circulated privately. In August 1970, Gödel told Oskar Morgenstern

Oskar Morgenstern

Oskar Morgenstern was a German-born Austrian-School economist. He, along with John von Neumann, helped found the mathematical field of game theory ....

that he was "satisfied" with the proof, but Morgenstern recorded in his diary entry for 29 August 1970, that Gödel would not publish because he was afraid that others might think "that he actually believes in God, whereas he is only engaged in a logical investigation (that is, in showing that such a proof with classical assumptions (completeness, etc.) correspondingly axiomatized, is possible)." Gödel died January, 14 1978. Another version, slightly different from Scott's, was found in his papers. It was finally published, together with Scott's version, in 1987.

Morgenstern's diary is an important and usually reliable source for Gödel's later years, but the implication of the August 1970 diary entry—that Gödel did not believe in God—is not consistent with the other evidence. In letters to his mother, who was not a churchgoer and had raised Kurt and his brother as freethinkers, Gödel argued at length for a belief in an afterlife. He did the same in an interview with a skeptical Hao Wang, who said: "I expressed my doubts as G spoke [...] Gödel smiled as he replied to my questions, obviously aware that his answers were not convincing me." Wang reports that Gödel's wife, Adele, two days after Gödel's death, told Wang that "Gödel, although he did not go to church, was religious and read the Bible in bed every Sunday morning." In an unmailed answer to a questionnaire, Gödel described his religion as "baptized Lutheran (but not member of any religious congregation). My belief is theistic
Theism
Theism, in the broadest sense, is the belief that at least one deity exists.In a more specific sense, theism refers to a doctrine concerning the nature of a monotheistic God and God's relationship to the universe....

, not pantheistic

Pantheism

Pantheism is the view that the Universe and God are identical. Pantheists thus do not believe in a personal, anthropomorphic or creator god. The word derives from the Greek meaning "all" and the Greek meaning "God". As such, Pantheism denotes the idea that "God" is best seen as a process of...

, following Leibniz rather than Spinoza."

Gödel left a fourteen-point outline of his philosophical beliefs in his papers. Points relevant to the ontological proof include

4. There are other worlds and rational beings of a different and higher kind.

5. The world in which we live is not the only one in which we shall live or have lived.

13. There is a scientific (exact) philosophy and theology, which deals with concepts of the
highest abstractness; and this is also most highly fruitful for science.

14. Religions are, for the most part, bad—but religion is not.

The proof

Symbolically:

Modal logic

The proof uses modal logic

Modal logic

Modal logic is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals — words that express modalities — qualify a statement. For example, the statement "John is happy" might be qualified by saying that John is...

, which distinguishes between necessary truths and contingent truths.

In the most common interpretation of modal logic, one considers "all possible worlds". A truth

Truth

Truth has a variety of meanings, such as the state of being in accord with fact or reality. It can also mean having fidelity to an original or to a standard or ideal. In a common usage, it also means constancy or sincerity in action or character...

is necessary if its negation entails a contradiction, such as 2 + 2 = 4, and is true in all possible worlds. By contrast, a truth is contingent if it just happens to be the case, for instance, "more than half of the earth is covered by water". If a statement happens to be true in our world, but is false in some other worlds, then it is a contingent truth. A statement that is true in some world (not necessarily our own) is called a possible truth.

A property assigns to each object

Object (philosophy)

An object in philosophy is a technical term often used in contrast to the term subject. Consciousness is a state of cognition that includes the subject, which can never be doubted as only it can be the one who doubts, and some object or objects that may or may not have real existence without...

, in every possible world, a truth value (either true or false). Note that not all worlds have the same objects: some objects exist in some worlds and not in others. A property has only to assign truth values to those objects that exist in a particular world. As an example, consider the property

P(s) = s is pink

and consider the object

s = my shirt

In our world, P(s) is true because my shirt happens to be pink; in some other world, P(s) is false, while in still some other world, P(s) wouldn't make sense because my shirt doesn't exist there.

We say that the property P entails the property Q, if any object in any world that has the property P in that world also has the property Q in that same world. For example, the property

P(x) = x is taller than 2 meters

entails the property

Q(x) = x is taller than 1 meter.

The proof can be summarized as:

IF it is possible for a rational omniscient being to exist THEN necessarily a rational omniscient being exists.

Axioms

We first assume the following axiom

Axiom

In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self-evident or to define and delimit the realm of analysis. In other words, an axiom is a logical statement that is assumed to be true...

Axiom 1: It is possible to single out positive properties from among all properties. Gödel defines a positive property thusly: "Positive means positive in the moral

Moral

A moral is a message conveyed or a lesson to be learned from a story or event. The moral may be left to the hearer, reader or viewer to determine for themselves, or may be explicitly encapsulated in a maxim...

aesthetic

Aesthetics

Aesthetics is a branch of philosophy dealing with the nature of beauty, art, and taste, and with the creation and appreciation of beauty. It is more scientifically defined as the study of sensory or sensori-emotional values, sometimes called judgments of sentiment and taste...

sense (independently of the accidental structure of the world)... It may also mean pure attribution as opposed to privation (or containing privation)." (Gödel 1995)

If a property A entails a property B (ie in every possible world if an object has property A it must also have property B), and if A is positive, B must also be positive.

We then assume that the following three conditions hold for all positive properties (which can be summarized by saying "the positive properties form a principal ultrafilter

Ultrafilter

In the mathematical field of set theory, an ultrafilter on a set X is a collection of subsets of X that is a filter, that cannot be enlarged . An ultrafilter may be considered as a finitely additive measure. Then every subset of X is either considered "almost everything" or "almost nothing"...

"):

Axiom 2: For all properties A, either A is positive or "not A" is positive. Never both.

Axiom 3: The property of "being God-like", G is a positive property.

Axiom 4: If a property A is positive, then it is so in every possible world.

Finally, we assume:

Axiom 5: Necessary existence is a positive property (Pos(NE)). This mirrors the key assumption in Anselm's argument.

Now we define a new property G: if x is an object in some possible world, then G(x) is true if and only if P(x) is true in that same world for all positive properties P. G is called the "God-like" property. An object x that has the God-like property is called God.

Criticisms of Ontological arguments in general

St Thomas Aquinas rejected St. Anselm's ontological argument. Likewise, some Catholic theologians have rejected Gödel's revised version. Bertrand Russell

Bertrand Russell

Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS was a British philosopher, logician, mathematician, historian, and social critic. At various points in his life he considered himself a liberal, a socialist, and a pacifist, but he also admitted that he had never been any of these things...

noted: "The argument does not, to a modern mind, seem very convincing, but it is easier to feel convinced that it must be fallacious than it is to find out precisely where the fallacy lies." However, Russell was also known to say: "Great God in Boots! — the ontological argument is sound!" as a parody, including many others that parodied it, such as Gaunilo's Island. In Critique of Pure Reason
Critique of Pure Reason
The Critique of Pure Reason by Immanuel Kant, first published in 1781, second edition 1787, is considered one of the most influential works in the history of philosophy. Also referred to as Kant's "first critique," it was followed by the Critique of Practical Reason and the Critique of Judgement...

, Immanuel Kant

Immanuel Kant

Immanuel Kant was a German philosopher from Königsberg , researching, lecturing and writing on philosophy and anthropology at the end of the 18th Century Enlightenment....

famously rejected existence as a property

Property (philosophy)

In modern philosophy, logic, and mathematics a property is an attribute of an object; a red object is said to have the property of redness. The property may be considered a form of object in its own right, able to possess other properties. A property however differs from individual objects in that...

.

In David Hume

David Hume

David Hume was a Scottish philosopher, historian, economist, and essayist, known especially for his philosophical empiricism and skepticism. He was one of the most important figures in the history of Western philosophy and the Scottish Enlightenment...

's Dialogues Concerning Natural Religion

Dialogues Concerning Natural Religion

Dialogues Concerning Natural Religion is a philosophical work written by the Scottish philosopher David Hume. Through dialogue, three fictional characters named Demea, Philo, and Cleanthes debate the nature of God's existence...

, the character Cleanthes argues that no being could ever be proven to exist through an a priori demonstration:

[T]here is an evident absurdity in pretending to demonstrate a matter of fact, or to prove it by any arguments a priori. Nothing is demonstrable, unless the contrary implies a contradiction. Nothing, that is distinctly conceivable, implies a contradiction. Whatever we conceive as existent, we can also conceive as non-existent. There is no being, therefore, whose non-existence implies a contradiction. Consequently there is no being, whose existence is demonstrable.

There have been many other arguments against ontological proofs such as: Existence precedes essence; Gaunilo's island; Necessary nonexistence; Existence is not a predicate; and Problem of incoherence.

Criticism of Gödel's

C. Anthony Anderson

Curtis Anthony Anderson is a contemporary American philosopher, presently Professor of Philosophy at the University of California at Santa Barbara. He earned his Ph.D. in philosophy from University of California at Los Angeles in 1977, where he worked closely with the ground-breaking logician...

has said:

Consideration of the axioms, especially ... [Axiom 2], may tend to dampen one's confidence in ... [Axiom 3] and ... [Axiom 4] — that is, if one harbors any real doubt about self-consistency. I don't say that the argument begs the questions of ... [God's possible existence]; the charge is too difficult to establish. but observe that one cannot just tell by scrutinizing a property what it entails; one might be surprised at a consequence.

Derivation

From axioms 1 through 4, Gödel argued that in some possible world there exists God. He used a sort of modal plenitude principle

Plenitude principle

The plenitude principle or principle of plenitude asserts that everything that can happen will happen.The historian of ideas Arthur Lovejoy was the first to discuss this philosophically important Principle explicitly, it back to Aristotle, who said that no possibilities which remain eternally...

to argue this from the logical consistency of Godlikeness. Note that this property is itself positive, since it is the conjunction of the (infinitely many) positive properties.

Then, Gödel defined essences: if x is an object in some world, then the property P is said to be an essence of x if P(x) is true in that world and if P entails all other properties that x has in that world. We also say that x necessarily exists if for every essence P the following is true: in every possible world, there is an element y with P(y).

Since necessary existence is positive, it must follow from Godlikeness. Moreover, Godlikeness is an essence of God, since it entails all positive properties, and any nonpositive property is the negation of some positive property, so God cannot have any nonpositive properties. Since any Godlike object is necessarily existent, it follows that any Godlike object in one world is a Godlike object in all worlds, by the definition of necessary existence. Given the existence of a Godlike object in one world, proven above, we may conclude that there is a Godlike object in every possible world, as required.

From these hypotheses, it is also possible to prove that there is only one God in each world by Leibniz's law, the identity of indiscernibles

Identity of indiscernibles

The identity of indiscernibles is an ontological principle which states that two or more objects or entities are identical if they have all their properties in common. That is, entities x and y are identical if any predicate possessed by x is also possessed by y and vice versa...

: two or more objects are identical (are one and the same) if they have all their properties in common, and so, there would only be one object in each world that possesses property G. Gödel did not attempt to do so however, as he purposely limited his proof to the issue of existence, rather than uniqueness. This was more to preserve the logical precision of the argument than due to a penchant for polytheism. This uniqueness proof will only work if one supposes that the positiveness of a property is independent of the object to which it is applied, a claim which some have considered to be suspect.

Gödel's Ontological Argument and Temporal Modal Logic

Temporal logic must be taken into account when considering the modal ontological argument. There are two theories of temporal logic, the "state and time" approach, and the "time interval" approach". For the purpose of the ontological argument, we will be focused on the "state and time" approach. In temporal logic, possible worlds are in a "state of the universe at some point in history" and are sometimes called "time-slices". Instead of simultaneous access, as in other modal logics, temporal logic accesses before or after.
In traditional alethic logic, calculations are made to determine possibility or necessity of something, in temporal logic possibility and necessity is calculated either in the past, present or future. The symbols typically used to represent alethic possibility is ◊ and alethic necessity is □, however, these are replaced in temporal logic into two categories: possibility and necessity in the past and in the future. The symbols used to represent possibility in the past is (P) and necessity is (H), and the symbols used to represent possibiity in the future is (F) and necessity is (G). Therefore whenever (G) appears before another representative lowercase letter (subject), the statement would read, "It is always Going to be the case..." and whenever (F) appears before another subject, the statement would read, "At sometime in the Future it will be the case...." Whenever (H) appears before another subject, the statement would read, "It Has always been the case..." and whenever (P) appears before another subject, the statement would read, "At sometime in the Past it has been the case...."

Temporal Modal Logic Proof

(H ψ → (ψ • G ψ))

(T1) ~ (H ψ → (ψ • G ψ)) (n) NTF

(T2) H ψ (n) 1, PC

(T3) ~ (ψ • G ψ) (n) 1, PC

(T4) ~ψ (n) 3, PC

(T4)' ~G ψ (n) 3, PC

(T5) F~ ψ (n) 3, MN

(T6) nBk 5, FR

(T7) ~ψ (k) 5,6, FR

(T8) kBn 2, HR

(T9) ψ (k) 2,7, HR
MN = Modal Negation

FR = ◊R

HR = □R

Translation of Negating the Formula

(T1) = It is not true that if it always has been the case that a God-like being exists then a God-like being exists and it is always going to be the case that a God-like being exists in (n).

(T2) = It always has been the case that a God-like being existed in (n).

(T3) = It is not true that a God-like being exists and it is always going to exist in (n).

(T4) = A God-like being does not exist in (n)

(T4)' = It is not the case that a God-like being will always exist in (n).

(T5) = In sometime in the future it will be the case that a God-like being will not exist in (n).

(T6) = (n) occurred before (k).

(T7) = A God-like being does not exist in (k).

(T8) = (k) occurred before (n). (Reflexive Rule)

(T9) = A God-like being exists in (k).

The negation of the formula creates a contradiction.

The argument is logically valid, meaning that if the premises are true, then the conclusion is guaranteed to also be true.

External links

The source of this article is wikipedia, the free encyclopedia. The text of this article is licensed under the GFDL.

The proof

Modal logic

Axioms

Criticisms of Ontological arguments in general

Criticism of Gödel's

Derivation

Gödel's Ontological Argument and Temporal Modal Logic

Temporal Modal Logic Proof

Translation of Negating the Formula

See also

External links