🕊️Kurt Gödel: Η Οντολογική Απόδειξη της Ύπαρξης του Θεού

Ο Kurt Gödel —ο ίδιος μαθηματικός που έμεινε στην ιστορία για τα θεωρήματα μη πληρότητας, αποδεικνύοντας ότι κάθε επαρκώς ισχυρό αξιωματικό σύστημα περιέχει προτάσεις αναπόδεικτες εντός του— αφιέρωσε μέρος της ζωής του και σε ένα εντελώς διαφορετικό εγχείρημα: μια αυστηρά τυπική, βασισμένη στη μοντάλ λογική, απόδειξη της ύπαρξης Θεού. 

Η ιδέα ανήκει σε μια παράδοση που ανάγεται στον Άνσελμο του Καντέρμπουρι τον 11ο αιώνα, και αργότερα στον Λάιμπνιτς· ο Gödel, όμως, φαίνεται πως ήταν ο πρώτος που την παρουσίασε με τη γλώσσα της σύγχρονης συμβολικής λογικής.

📐 Η δομή της απόδειξης

Αξίωμα 1. Μια ιδιότητα είναι θετική αν και μόνο αν η άρνησή της είναι αρνητική.

Αξίωμα 2. Μια ιδιότητα είναι θετική αν περιέχει απαραίτητα μια θετική ιδιότητα.

Θεώρημα 1. Μια θετική ιδιότητα είναι λογικά συνεπής — δηλαδή, πιθανώς υπάρχει κάτι που την έχει.

Ορισμός. Κάτι είναι θεϊκό αν και μόνο αν διαθέτει όλες τις θετικές ιδιότητες:

\[ G(x) \equiv \forall\varphi\,[P(\varphi)\rightarrow\varphi(x)] \]

Αξίωμα 3. Το να είσαι θεϊκός είναι το ίδιο μια θετική ιδιότητα.

Αξίωμα 4. Το να είναι κανείς θετική ιδιότητα είναι λογικά αναγκαίο.

Ορισμός. Μια ιδιότητα \(P\) είναι η ουσία του \(x\) αν και μόνο αν το \(x\) την έχει, και η \(P\) συνεπάγεται αναγκαστικά κάθε άλλη ιδιότητα του \(x\).

Θεώρημα 2. Αν το \(x\) είναι θεϊκό, τότε το να είναι θεϊκό αποτελεί την ίδια την ουσία του \(x\).

Ορισμός. Το \(x\) υπάρχει αναγκαστικά αν κάθε ουσιώδης ιδιότητά του πραγματώνεται αναγκαστικά σε κάποιο αντικείμενο.

Αξίωμα 5. Το να υπάρχεις αναγκαστικά είναι, το ίδιο, θετική ιδιότητα.

Θεώρημα 3. Αναγκαστικά υπάρχει κάποιο \(x\) τέτοιο ώστε το \(x\) να είναι θεϊκό.

📜 Μια απόδειξη κρυμμένη για δεκαετίες

Ο Gödel επεξεργαζόταν αυτό το επιχείρημα, με διαλείμματα, από περίπου το 1941 μέχρι το 1970, χωρίς να το δημοσιεύσει ποτέ ο ίδιος — αρνιόταν επίμονα να το μοιραστεί, φοβούμενος ότι θα θεωρούνταν πραγματικά πιστός στην ύπαρξη Θεού, όχι απλώς κάποιος που διερευνά ένα τυπικό λογικό ζήτημα. Το έδειξε τελικά, ιδιωτικά, στον λογικομαθηματικό Dana Scott το 1970. Δημοσιεύτηκε μόλις το 1987, έντεκα χρόνια μετά τον θάνατο του Gödel, μέσα από τα κατάλοιπά του.

Ο ίδιος ο Gödel είχε μια βαθιά πεποίθηση για κάτι πέρα από την υλική ζωή, ανεξάρτητη από οποιαδήποτε θρησκευτική παράδοση: «Είμαι πεπεισμένος για τη μετά θάνατον ζωή, ανεξάρτητα από τη θεολογία. Αν ο κόσμος είναι ορθολογικά κατασκευασμένος, πρέπει να υπάρχει μετά θάνατον ζωή.»

📚 Πηγές

• Wikipedia — Gödel's ontological proof
• Davis, M. (2002) — quoted in multiple secondary sources
• University of Kentucky — "Leibniz and Gödel" (uky.edu/~look)

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →