Gödels ontologiske bevis for Gud

Gödels ontologiske bevis for Gud er et formelt argument for Guds eksistens som ble formulert av den østerriksk-amerikanske matematikeren Kurt Gödel. Gudsbeviset bygger på en lang tradisjon som begynte med Anselm av Canterbury (1033–1109). Den hellige Anselms ontologiske gudsbevis kan sammenfattes slik: «Gud er per definisjon det som forestilt som størst i tenkningen overhodet, gitt Guds rolle. Gud eksisterer i forståelsen. Hvis Gud eksisterer i forståelsen, så kan vi ikke tenke oss Gud større i virkeligheten, gitt denne forståelsen som del av virkeligheten. Derfor, så må Gud eksistere, ved nødvendighet.» Gottfried Leibniz (1646-1716) utarbeidet en viderutviklet versjon som Gödel studerte og forsøkte å avklare med sitt eget ontologiske bevis.

Kurt Gödel sammenfattet sin filosofi i 14 punkter. Av disse har følgende betydning for Gödels ontologiske gudsbevis:

4. Det finnes andre verdener [(tenkbare)] og intelligente vesener [(mennesker f.eks.)] av en forskjellig og høyere rang.
5. Den verdenen vi lever i er ikke bare den vi skal leve i eller ha levet i, [dvs. i hensikt inkarnasjon eller himmelen e.l.]
13. Det finnes en (eksakt) filosofi og teologi, som har å gjøre med de konsepter av høyeste abstraksjon; og det er også denne som er mest fruktbar for vitenskap.
14. Religioner er, for det meste, dårlige, men religion er ikke, [dvs. den rette].[1]



Beviset rediger

Symbolsk:

 

Eller:

UoD], engelsk, «Diskusjonsunivers», definerer det som skal «diskuteres» i det oppsatte logiske argumentet: Alt.
Gx: x er som-Gud
Ex: x har essensielle egenskaper.
Ax: x er en essens av A.
Bx: x er en egenskap av B.
Px: egenskap x er positiv.
Nx: x er en Generell egenskap.
Xx: x er Positiv eksistens.
Cx: x er konsistent.

Fra:

Engelsk tekst følger for Gödels logiske argumentasjon, i sin helhet og slik han har historisk sett satt dem opp:
Definition 1: x is God-like if and only if x has as essential properties those and only those properties which are positive
Definition 2: A is an essence of x if and only if for every property B, x has B necessarily if and only if A entails B
Definition 3: x necessarily exists if and only if every essence of x is necessarily exemplified
Axiom 1: If a property is positive, then its negation is not positive.
Axiom 2: Any property entailed by—i.e., strictly implied by—a positive property is positive
Axiom 3: The property of being God-like is positive
Axiom 4: If a property is positive, then it is necessarily positive
Axiom 5: Necessary existence is positive
Axiom 6: For any property P, if P is positive, then being necessarily P is positive.
Theorem 1: If a property is positive, then it is consistent, i.e., possibly exemplified.
Corollary 1: The property of being God-like is consistent.
Theorem 2: If something is God-like, then the property of being God-like is an essence of that thing.
Theorem 3: Necessarily, the property of being God-like is exemplified.


Aksiomene rediger

Formelt sett så er argumentet, Gödels ontologiske bevis for Gud, gjerne gitt (nå) som logisk gyldig, men at man stiller spørsmål ved argumentets «soundness[2]», troverdighet. «Soundness» er her en logisk term som man må forstå.

Logisk gyldighet får man hvis linjen ved «Definisjon 1» blir dedusert ved «bikondisjonal eliminasjon» og at man, gitt tiden Gödel har skrevet dette på, behandler argumentet litt «grovt», som ved moderne Fitch-struktur, så er konklusjonen relativt grei, og som tidligere nevnt, altså gyldig, ved teorem 3, nødvendigvis så er egenskapen ved et vesen som er «som-Gud» eksemplifisert, dvs. eksisterer i virkeligheten, gitt altså bare logikken da.


Referanser rediger

  1. ^ Sitert i Wang 1996, p. 316. «My philosophical viewpoint» Arkivert 11. september 2012 hos Wayback Machine., c. 1960, upublisert.
  2. ^ Bergmann, M., et al., 2004. The Logic Book, New York, NY: McGraw-Hill, s. 248.

Litteratur rediger

Se også rediger

Eksterne lenker rediger