Prova ontologica di Gödel

Da Teknopedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

La prova ontologica di Gödel è un argomento formale dell’esistenza di Dio elaborato dal 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.[1] I punti rilevanti per la prova ontologica includono:

  1. Esistono altri mondi ed esseri razionali di tipo diverso e superiore.
  2. Il mondo in cui viviamo non è l'unico in cui vivremo o avremo vissuto.
  3. Esistono una filosofia e una teologia scientifica (esatte), che tratta concetti della più alta astrattezza; e questo è anche molto profittevole per la scienza.
  4. Le religioni sono, per la maggior parte, cattive, ma la religione non lo è.

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 avrebbe pubblicato 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)".[2] 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.[3]

Nelle lettere a sua madre, che non era praticante e aveva cresciuto Kurt e suo fratello come liberi pensatori,[4] 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".[5] 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".[6] 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".[7]

Il padre era formalmente cattolico, mentre la madre di Gödel era sinceramente luterana.[8] 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[senza fonte]. 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. [9][10]

La dimostrazione[11][12] 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à.[13]

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, alcuni altri assiomi della logica modale[senza fonte] 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

[modifica | modifica wikitesto]

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[14], 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.[15]

C. Anthony Anderson presentò vari emendamenti alla dimostrazione[16], ritenuti confutabili da Anderson e da Michael Gettings.[17] Sobel difese la prova del collasso modale dalle critiche di Koons.[12]

La dimostrazione di Gödel fu messa in discussione anche da Graham Oppy[18], che si domandò se gli assiomi provassero l'esistenza di molti altri quasi-dèi. Gettings concordò sulla discutibilità degli assiomi di Gödel[19], 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)".[20]

Esistono, tuttavia, molte altre critiche, la maggior parte incentrate sulla questione se questi assiomi debbano essere rifiutati per evitare conclusioni strane. La critica più estesa pertiene al fatto che, se non si può dimostrare che gli assiomi sono falsi, ciò non significa che siano veri. La famosa osservazione di Hilbert sull'intercambiabilità dei nomi dei primitivi si applica ai nomi degli assiomi ontologici di Gödel ("positivo", "divino", "essenza") così come a quelli degli assiomi della geometria hilbertiana ("punto", "linea", "piano"). Secondo quanto André Fuhrmann asserì nel 2005, resta da dimostrare che la sfolgorante nozione imposta dalle tradizioni e spesso ritenuta essenzialmente misteriosa, soddisfi gli assiomi di Gödel. Questo non è un compito matematico, bensì teologico.[21] È questo compito che decide di quale Dio della religione sia stata dimostrata l’esistenza.

Versioni verificate dal computer

[modifica | modifica wikitesto]

Christoph Benzmüller e Bruno Woltzenlogel-Paleo formalizzarono la dimostrazione di Gödel a un livello adatto per la dimostrazione automatica di teoremi o almeno alla verifica al computer tramite assistenti di dimostrazione.[22] La loro impresa fece scalpore sulla carta stampata tedesca. Gli autori di questa ricerca affermarono di essere stati ispirati dal libro di Melvin Fitting.[23]

Nel 2014 la prova fu verificata al computer secondo la notazione simbolica proposta nelle sezioni precedenti.[24] Essi dimostrarono anche che gli assiomi di questa versione sono coerenti, ma implicano un collasso modale, confermando così l'argomentazione di Sobel del 1987.

Nello stesso articolo, sospettavano che la versione originale degli assiomi di Gödel fosse di Dana Scott. Essa differiva dalla versione originale di Gödel perché ometteva la prima congiunzione dalla seconda definizione. Gli autori non riuscirono a provarne la consistenza, concludendo che essa era inconsistente.

Nel 2016 fornirono una prova computerizzata che questa versione implica, cioè è inconsistente in ogni logica modale avente una relazione di accessibilità riflessiva o simmetrica.[25] Inoltre, affermarono che questa versione è incoerente in ogni logica, ma non riuscirono a darne prova duplicandola con la dimostrazione automatica. Tuttavia, furono in grado di riformulare l'argomento elaborato da Melvin Fitting e di garantirne la coerenza.[26]

Nella letteratura

[modifica | modifica wikitesto]

Una variante umoristica della dimostrazione ontologica di Gödel è menzionata nel romanzo di Quentin Canterel intitolato The Jolly Coroner. La prova è citata anche nella serie TV Hand of God.

Il romanzo di Jeffrey Kegler del 2007 The God Proof descrive la (fittizia) riscoperta del taccuino perduto di Gödel sulla prova ontologica.[27]

  1. ^ In: Wang, Hao. A Logical Journey: From Gödel to Philosophy. A Bradford Book, 1997, p.316; My philosophical development
  2. ^ 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.
  3. ^ La storia della pubblicazione ora riportata è presente in Gödel 1995, p. 388
  4. ^ Dawson 1997, p. 6.
  5. ^ Wang 1996, p. 317. L'ellissi è di Teknopedia.
  6. ^ Wang 1996, p. 51.
  7. ^ 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).
  8. ^ (EN) Miloš Dokulil, Gödel’s Religious Worldview and the Strange Way to its Immanent Personal Interpretation (PDF), su Università Masaryk, 8. URL consultato il 26 settembre 2022.
  9. ^ E Gödel fa i conti con Anselmo, su avvenire.it, Avvenire, 7 ottobre 2010. URL consultato il 23 settembre 2022.
  10. ^ Articolo originale: David P. Goldman, The God of Mathematicians, su firstthings.com.
  11. ^ La prova di Gödel è ristampata alle pp.403-404,429-437 di: Kurt Gödel, Unpublished Essays and Lectures (PDF), a cura di Solomon Feferman and John W. Dawson jr. and Warren Goldfarb and Charles Parsons and Robert M. Solovay, Collected Works, III, 1ª ed., Oxford, Oxford University Press, 1º marzo 1995, ISBN 0-19-507255-3.
  12. ^ a b Robert C. Koons, Sobel on Gödel's Ontological Proof (PDF), 1º luglio 2005 (archiviato dall'url originale il 2 agosto 2020). (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).
  13. ^ Fitting, 2002, p. 139
  14. ^ Jordan Howard Sobel, Gödel's ontological proof, in Judith Jarvis Thomson (a cura di), On Being and Saying: Essays for Richard Cartwright, Cambridge/MA & London, England, MIT Press, 1º novembre 1987, pp. 241–261, ISBN 978-0262200639.
  15. ^ Kurt Gödel, Texts Relating to the Ontological Proof (App. B) (PDF), in Solomon Feferman, John W. Dawson jr., Warren Goldfarb, Charles Parsons e Robert M. Solovay (a cura di), Unpublished Essays and Lectures, Collected Works, III, 1ª ed., Oxford, Oxford University Press, 1º marzo 1995, pp. 429–437, ISBN 0-19-507255-3. 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.
  16. ^ Curtis Anthony Anderson, Some Emendations of Gödel's Ontological Proof (PDF), in Faith and Philosophy, vol. 7, n. 3, 1º luglio 1990, pp. 291–303, DOI:10.5840/faithphil19907325.
  17. ^ Curtis Anthony Anderson and Michael Gettings, Gödel's ontological proof revisited, in Petr Hájek (a cura di), Proc. Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics — Kurt Gödel's Legacy, Lecture Notes in Logic, vol. 6, Springer, 1º agosto 1996, pp. 167–172.
  18. ^ Graham Oppy, Godelian ontological arguments, in Analysis, vol. 54, n. 4, 1º ottobre 1996, pp. 226–230, DOI:10.1093/analys/56.4.226.Versione più analitica (2005)
  19. ^ Gettings Michael, Gödel's ontological argument: a reply to Oppy, in Analysis, vol. 59, n. 264, 1999, pp. 309–313, DOI:10.1111/1467-8284.00184.
  20. ^ (EN) Godel's Theorem and the Existence of God, in Magis Center, 26 aprile 2017.
  21. ^ (DE) André Fuhrmann, Existenz und Notwendigkeit — Kurt Gödels axiomatische Theologie (PDF), in W. Spohn (a cura di), Logik in der Philosophie [Logic in Philosophy], Heidelberg, Synchron, 2005, pp. 349–374. URL consultato il 22 settembre 2022 (archiviato dall'url originale il 18 maggio 2016). ivi pp. 364-366.
  22. ^ FormalTheology/GoedelGod, su GitHub, 28 giugno 2021.
  23. ^ David Knight, Scientists Use Computer to Mathematically Prove Gödel's God Theorem, in Der Spiegel, 23 ottobre 2013.
  24. ^ Christoph Benzmüller and Bruno Woltzenlogel-Paleo, Automating Gödel's Ontological Proof of God's Existence with Higher-Order Automated Theorem Provers (PDF), in Proc. European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 263, IOS Press, 2014, pp. 93–98. ivi p. 97. Si vedano La linea "T3" nella Figura 2 e il punto 3 nella sezione 4 (intitolata Main findings). Il loro "Teorema 3" corrisponde al "teorema 4" menzionato in precedenza.
  25. ^ Christoph Benzmüller and Bruno Woltzenlogel-Paleo, The Inconsistency in Gödel's Ontological Argument: — A Success Story for AI in Metaphysics (PDF), in Subbarao Kambhampati (a cura di), Proc. 25th International Joint Conference on Artificial Intelligence, AAAI Press, 1º luglio 2016, pp. 936–942. ivi p. 940.
  26. ^ Christoph Benzmüller and David Fuenmayor, Types, Tableaus and Gödel's God in Isabelle/HOL, in Archive of Formal Proofs, 1º maggio 2017, ISSN 2150-914X (WC · ACNP).
  27. ^ Jeffrey Kegler, The God Proof, 2007. URL consultato il 22 settembre 2022 (archiviato dall'url originale il 28 luglio 2021)., testo completo online.
Ulteriori letture
  • Kurt Gödel, La prova matematica dell'esistenza di Dio, a cura di Gabriele Lolli e Piergiorgio Odifreddi, Torino, Bollati Boringhieri, 2006, ISBN 978-88-339-1679-8.
  • Kurt Gödel, Unpublished Essays and Lectures (PDF), a cura di Solomon Feferman, John W. Dawson jr., Warren Goldfarb, Charles parsons e Robert M. Solovay, Collected Works, III, 1st, Oxford, Oxford University Press, 1º marzo 1995, ISBN 0-19-507255-3. — Vedere il capitolo "Ontological Proof", pp. 403–404, e l'Appendice B "Texts Relating to the Ontological Proof", pp. 429–437
  • Frode Alfson Bjørdal, "Understanding Gödel's Ontological Argument", in T. Childers (a cura di), The Logica Yearbook 1998, Prague 1999, 214-217.
  • Frode Alfson Bjørdal, "All Properties are Divine, or God Exists", in Logic and Logical Philosophy, Vol. 27 No. 3, 2018, pp. 329–350.
  • Joachim Bromand, "Gödels ontologischer Beweis und andere modallogische Gottesbeweise", in J. Bromand und G. Kreis (Hg.), Gottesbeweise von Anselm bis Gödel, Berlin 2011, 381-491
  • John W. Dawson Jr, Logical Dilemmas: The Life and Work of Kurt Godel, Wellesley, Mass, AK Peters, Ltd, 1997, ISBN 1-56881-025-3.
  • Melvin Fitting, "Types, Tableaus, and Godel's God" Publisher: Dordrecht Kluwer Academic, 2002, ISBN 1-4020-0604-7, ISBN 978-1-4020-0604-3
  • Goldman, Randolph R. "Gödel's Ontological Argument", dissertazione di dottorato, Università della California a Berkeley, 2000.
  • Hazen, A. P. "On Gödel's Ontological Proof", Australasian Journal of Philosophy, Vol. 76, No 3, pp. 361–377, settembre 1998
  • Christopher Small, Reflections on Gödel's Ontological Argument (PDF), su stats.uwaterloo.ca, Università di Waterloo. URL consultato il 22 settembre 2022 (archiviato dall'url originale il 22 dicembre 2009).
  • Wang, Hao, Reflections on Kurt Gödel, Cambridge, Mass, MIT Press, 1987, ISBN 0-262-23127-1.
  • Wang, Hao, A Logical Journey: from Gödel to Philosophy, Cambridge, Mass, MIT Press, 1996, ISBN 0-262-23189-1.

Voci correlate

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]