Vetenskap & Religion: Gödels logiska svammel

2007-06-5
 Kurt Gödel (1906-1978)
 
Häromdan stötte jag på Gödels ontologiska gudsbevis. Det lyder som följer: 
 
Axiom 1: A property is positive if and only if its negation is negative.
Axiom 2: A property is positive if it necessarily contains a positive property.

Theorem 1: A positive property is logically consistens (that is, possibly it has some instance).

Definition: Something is God-like if and only if it possesses all positive properties.

Axiom 3: Being God-like is a positive property.
Axiom 4: Being a positive property is logical and hence necessary.

Definition: A property P is the essence of x if and only if x has the property P and P is necessarily minimal.

Theorem 2: If x is God-like, then being God-like is the essence of x.

Definition: x necessarily exists if it has an essential property.

Axiom 5: Being necessarily existent is God-like.

Theorem 3: Necessarily there is some x such that x is God-like.

 
För lekmannen ser detta troligen ut som ett vattentätt bevis. Man behöver dock inga kunskaper i logik för att avfärda beviset som svammel.
 
Så här tänker jag:
 
(1) Gud är allvetande.
(2) Gud är allsmäktig.

(1) -> Gud vet att det finns ateister.
(2) -> Gud kan uppenbara sig för ateisterna på ett sådant sätt att det inte råder något rimligt tvivel om hans existens.

 
Frågan blir då: Anser Gud att Gödels svammel är ett solklart bevis?
Och om han nu gör det: Hur djävla dum är Gud? 
  
 
 
Andra bloggar om: gud, gödel

Posted in Vetenskap & Religion | No Comments »