La prova ontologica di Gödel è un argomento formale dell’esistenza di Dio elaborato dal logico matematico Kurt Gödel (1906–1978). La prova è un'estensione dell’argomento ontologico di sant’Anselmo di Canterbury (1033–1109), che succintamente può essere enunciato come segue: "Dio, per definizione, è ciò per cui non si può pensare di più grande. Dio esiste nell'intelletto. Se Dio esiste nell'intelletto, potremmo immaginare un essere più grande che esiste anche nella realtà. Perciò Dio deve esistere". Una versione più elaborata fu data da Gottfried Leibniz (1646–1716); questa è la versione che Gödel studiò e tentò di chiarire col suo argomento ontologico.
Gödel lasciò nelle sue carte uno schema in quattordici punti relativo alle sue convinzioni filosofiche.In: Wang, Hao. A Logical Journey: From Gödel to Philosophy. A Bradford Book, 1997, p.316; My philosophical development I punti rilevanti per la prova ontologica includono:
Esistono altri mondi ed esseri razionali di tipo diverso e superiore. Il mondo in cui viviamo non è l'unico in cui vivremo o avremo vissuto. Esistono una filosofia e una teologia scientifica (esatte), che tratta concetti della più alta astrattezza; e questo è anche molto profittevole per la scienza. Le religioni sono, per la maggior parte, cattive, ma la religione non lo è.
Storia La prima versione della dimostrazione ontologica nelle carte di Gödel è datata "intorno al 1941". Gödel non rivelò a nessuno il suo lavoro sulla prova fino al 1970, quando pensò di essere in punto di morte. Nel mese di febbraio permise a Dana Scott di copiare una versione della bozza, che circolò in privato. Nell'agosto 1970, Gödel disse a Oskar Morgenstern di essere "soddisfatto" della prova, ma quest’ultimo scrisse nel suo diario il 29 agosto 1970 che Gödel non l'avrebbe pubblicata perché temeva che altri potessero pensare "che crede davvero in Dio, mentre era impegnato solo in un'indagine logica (cioè nel mostrare che una tale dimostrazione con assunzioni classiche di completezza, ecc. assiomatizzate in modo corrispondente, è possibile)".Citato in Gödel 1995, p. 388. L'originale tedesco è citato in Dawson 1997, p. 307. Le parentesi nidificate sono nella pagina del diario originale di Morgenstern, come citato da Dawson. Gödel morì il 14 gennaio 1978. Nelle sue carte fu scoperta un'altra versione, leggermente diversa da quella di Scott. Entrambe furono pubblicate postume nel 1987.La storia della pubblicazione ora riportata è presente in Gödel 1995, p. 388
Nelle lettere a sua madre, che non era praticante e aveva cresciuto Kurt e suo fratello come liberi pensatori,Dawson 1997, p. 6. Gödel sostenne a lungo di credere nell'aldilà. Lo stesso fece in un'intervista con uno scettico Hao Wang, che disse: "Ho espresso i miei dubbi mentre G. parlava. [...] Gödel sorrise mentre rispondeva alle mie domande, ovviamente consapevole che le sue risposte non mi stavano convincendo".Wang 1996, p. 317. L'ellissi è di Wikipedia. Wang riferì che la moglie di Gödel, Adele, due giorni dopo la morte di Gödel, disse a Wang che "Gödel, sebbene non andasse in chiesa, era religioso e leggeva la Bibbia a letto ogni domenica mattina".Wang 1996, p. 51. In una risposta non inviata a un questionario, Gödel descrisse la sua religione come "battezzato luterano (sebbene non fosse membro di alcuna congregazione religiosa). La mia convinzione è teistica, non panteistica, che segue Leibniz piuttosto che Spinoza".Gödel rispondeva ad un questionario inviatogli dal sociologo Burke Grandjean. Questa risposta è citata direttamente in Wang Wang 1987, p. 18, e indirettamente in Wang 1996, p. 112. Essa è anche citata in Dawson 1997, p. 6, che a sua volta cita Wang 1987.
Il questionario è il più ampio contenuto autobiografico negli articoli di Gödel, che lo compilò a penna e scrisse una lettera da imbustare, che tuttavia non rispedì mai indietro. "Teistico" è romanizzato in Wang 1987 e Wang 1996. È possibile che questa romanizzazione sia stata opera di Wang e non di Gödel.
La citazione segue Wang 1987, con due correzione estrapolate da Wang 1996. Wang 1987 recita "luterano battista" (in inglese: Baptist Lutheran), mentre Wang 1996 riporta "luterano battezzato" (baptized Lutheran). L'espressione "luterano battista" non ha senso nel contesto e fu probabilmente un errore di battitura o di trascrizione. Wang 1987 riporta "rel. cong." che Wang 1996 espande in "congregazione religiosa" (religious congregation).
Il padre era formalmente cattolico, mentre la madre di Gödel era sinceramente luterana. Anche la moglie Adele era cattolica.
Secondo David P. Goldman, Gödel era anche un platonista che credeva nell'idea, vale a dire nel fatto che i numeri e le funzioni matematiche non fossero meri enti mentali, bensì che avessero un'esistenza propria, ad esempio nella mente di Dio. Sempre secondo Goldman, tale divinità non è il Dio benevolo della tradizione e neppure il Grande Architetto del disegno intelligente. È un Dio che «può agire come una persona», è celato nella creazione e può essere colto con l'intelletto.. Citazione: "Con questa tesi pare concordare anche David P. Goldman, il quale lascia intendere che Gödel in matematica era un "platonista", ovvero aderiva alla posizione di chi ritiene che i numeri e le funzioni matematiche non sono una mera "costruzione" del nostro intelletto, ma possiedono una realtà propria."Articolo originale:
Schema La dimostrazioneLa prova di Gödel è ristampata alle pp.403-404,429-437 di: utilizza la logica modale, che distingue tra verità necessarie e verità contingenti. Nella semantica più comune per la logica modale, vengono considerati molti "mondi possibili". Una verità si dice necessaria se è vera in tutti i mondi possibili. Al contrario, se un'affermazione è vera nel nostro mondo, ma è falsa in un altro mondo, allora si dice che una verità ‘’contingente’’. Un'affermazione che è vera in un mondo (non necessariamente il nostro) è chiamata verità possibile.
Inoltre, la dimostrazione utilizza una logica di ordine superiore (modale) perché la definizione di Dio impiega una quantificazione esplicita sulle proprietà.Fitting, 2002, p. 139
In primo luogo, Gödel assiomatizza la nozione di "proprietà positiva": per ogni proprietà φ , o φ o la sua negazione ¬φ devono essere positivi, ma non entrambi (assioma 2). Se una proprietà positiva φ implica una proprietà ψ in ogni mondo possibile, allora anche ψ è positivo (assioma 1). Gödel sostiene poi che ogni proprietà positiva è "possibilmente esemplificata", cioè si applica almeno a qualche oggetto in qualche mondo (teorema 1). Definisce un oggetto "come Dio" quello che ha tutte le proprietà positive (definizione 1) e richiede che tale proprietà sia essa stessa positiva (assioma 3, ovvero che "l'essere Dio" sia essa stessa una proprietà positiva). Gödel mostra che in qualche mondo possibile esiste un oggetto simile a Dio (teorema 2), chiamato di seguito "Dio". Quindi, procede a dimostrare che un oggetto simile a Dio esiste in ogni mondo possibile.
A tal fine, definisce le essenze: se x è un oggetto in un mondo, allora una proprietà φ si dice essere un'essenza di x se φ(x) è vero in quel mondo e se φ implica necessariamente tutte le altre proprietà che x ha in quel mondo (definizione 2). Richiedendo che le proprietà positive siano positive in ogni mondo possibile (assioma 4), Gödel può mostrare che la somiglianza a Dio è un'essenza di un oggetto simile a Dio (teorema 3). Ora, x si dice necessariamente esistente se, per ogni essenza φ di x, esiste un elemento y con proprietà φ in ogni mondo possibile (definizione 3). L'assioma 5 richiede l'esistenza necessaria per essere una proprietà positiva.
Quindi, deve derivare dalla somiglianza a Dio. Inoltre, la somiglianza a Dio è un'essenza di Dio, poiché implica tutte le proprietà positive: poiché qualsiasi proprietà non positiva è la negazione di alcune proprietà positive, Dio non può avere proprietà non positive. Poiché l'esistenza necessaria è anche una proprietà positiva (assioma 5), deve essere una proprietà di ogni oggetto divino, poiché ogni oggetto divino ha tutte le proprietà positive (definizione 1). Poiché qualsiasi oggetto simile a Dio è necessariamente esistente, ne consegue che qualsiasi oggetto simile a Dio in un mondo è un oggetto simile a Dio in tutti i mondi, per definizione di esistenza necessaria. Data l'esistenza di un oggetto simile a Dio in un mondo, dimostrata sopra, possiamo concludere che esiste un oggetto simile a Dio in ogni mondo possibile, come richiesto (teorema 4). Oltre all'assioma 1-5 e alla definizione 1-3, sono stati tacitamente utilizzati nella dimostrazione.
Da queste ipotesi, è anche possibile provare che c'è un solo Dio in ogni mondo per il principio leibniziano dell'identità degli indiscernibili: due o più oggetti sono identici (gli stessi) se hanno tutte le loro proprietà in comune, e quindi, ci sarebbe un unico oggetto in ogni mondo che avrebbe le proprietà di Dio. Tuttavia, Gödel limitò di proposito la sua prova alla questione dell'esistenza, senza spingersi a dimostrare anche l'unicità.
Notazione simbolica
Critiche La maggior parte delle critiche alla dimostrazione di Gödel è rivolta ai suoi assiomi: come con qualsiasi dimostrazione in qualsiasi sistema logico, se gli assiomi da cui dipende la dimostrazione sono messi in dubbio, allora si può dubitare delle conclusioni. Ciò si può applicare in particolare alla dimostrazione di Gödel che si basa su cinque assiomi, alcuni dei quali sono considerati discutibili. Una dimostrazione non richiede che la conclusione sia corretta, ma piuttosto che accettandosi gli assiomi, la conclusione ne segua logicamente.
Molti filosofi hanno messo in discussione gli assiomi. Il primo livello di critica afferma semplicemente che non sono stati presentati argomenti a favore della veridicità degli assiomi. Un secondo livello è che questi particolari assiomi portano a conclusioni sgradevoli. Questa linea di pensiero fu argomentata da Jordan Howard Sobel, il quale ha mostrato che se gli assiomi sono accettati, portano a un "collasso modale" in cui ogni affermazione vera lo è necessariamente senza verità contingenti, cioè gli insiemi di necessario, di contingente e di verità possibili coincidono (ammesso che ci siano mondi accessibili). Secondo Robert Koons, in un documento del 2005 Sobel suggerì che Gödel avrebbe potuto accogliere con favore il collasso modale.<ref> ivi: p.435; "probabilmente, Sobel si riferiva alla nota 4 di Gödel: "... Se si assume [come segue dall'essenza di ], ... ma questa è la via inferiore. Piuttosto, dovrebbe seguire in primo luogo dall'esistenza di Dio." La nota potrebbe indicare che Gödel era consapevole del fatto che i suoi assiomi implicassero un collasso modale.</ref>
C. Anthony Anderson presentò vari emendamenti alla dimostrazione, ritenuti confutabili da Anderson e da Michael Gettings. Sobel difese la prova del collasso modale dalle critiche di Koons. (paper non pubblicato). Poiché la prova di Sobel del collasso modale impiego il Lambda calcolo, assente nella prova di Gödel, Sobel suggerì di vietare la costruzione di questa proprietà come misura più conservativa prima di "rigettare o modificare gli assiomi" (come fece Anderson).
La dimostrazione di Gödel fu messa in discussione anche da Graham Oppy — Versione più analitica (2005), che si domandò se gli assiomi provassero l'esistenza di molti altri quasi-dèi. Gettings concordò sulla discutibilità degli assiomi di Gödel, ma non sull'applicabilità del controesempio di Oppy agli assiomi stessi.
Lo studioso di filosofia della religione padre Robert J. Spitzer accettò la prova di Gödel, definendola "un miglioramento rispetto all'argomento ontologico anselmiano (che non funziona)".