For faster navigation, this Iframe is preloading the Wikiwand page for Gödels ontologiske bevis for Gud.

Gödels ontologiske bevis for Gud

Fra Wikipedia, den frie encyklopedi

Språkvask: Dårlig oversettelse fra engelsk
Opprydning: Denne artikkelen trenger en opprydning for å oppfylle Wikipedias kvalitetskrav. Du kan hjelpe Wikipedia ved å forbedre den.

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

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

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

  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

Se også

Eksterne lenker

{{bottomLinkPreText}} {{bottomLinkText}}
Gödels ontologiske bevis for Gud
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.