La storia del pensiero filosofico dell’ultimo millennio può essere raccontata attraverso l’approccio dei diversi filosofi al celebre argomento ontologico. Da Anselmo fino ai giorni nostri passando per Spinoza, Leibniz, Kant e Gödel, grandi menti si sono date battaglia intorno alla sua validità.
L’argomento, tanto semplice quanto geniale, si compone di due premesse e di una conclusione.

1. Dio è ciò di cui non si può pensare nulla di maggiore (in perfezione);
2. Ciò che esiste è maggiore (in perfezione) rispetto a ciò che non esiste;
3. Di conseguenza Dio esiste necessariamente.

La fascinazione esercitata da questo argomento è dovuta al fatto che a differenza delle prove a posteriori come quelle di Aristotele e San Tommaso, e a differenza degli argomenti su base probabilistica come quella di Pascal, essa è deduttiva, ossia se corretta dimostra una volta per tutte in modo decisivo l’esistenza di Dio. Sarebbe così risolto l’enigma che più di tutti si è affacciato alla coscienza umana.

Nel dibattito contemporaneo senza dubbio la formulazione che ha riscosso maggior successo è dovuta a Kurt Gödel (1970), meglio noto per i due famosissimi e spesso male interpretati teoremi di incompletezza. La formulazione gödeliana ha il vantaggio di tradurre l’argomentazione in termini formali, ottenendo così maggior rigore ed eleganza ed evitando espressioni vaghe presenti nella versione originale che ne inficiavano l’esito.  

Un’altra storia – molto più recente – è invece quella degli automi capaci di computare, cioè di eseguire calcoli matematici o deduzioni logiche. Dall’ideale di Turing alla macchina di Von Neumann fino ai nostri computer, la semplice manipolazione di simboli ha permesso di trasformare in mille modi, alcuni più evidenti di altri, il nostro modo di vivere. La filosofia come qualsiasi altra dimensione della vita contemporanea non rimane esente dal confronto con le nuove tecnologie. Da un lato la filosofia fa ciò che le è proprio: riflette sui limiti di applicazione, sul buon uso, sulle implicazioni etiche; dall’altro se ne serve, come di utili strumenti che servono ad arrivare là dove la capacità umana di calcolo si scontra coi suoi limiti e ben oltre.

Queste due storie apparentemente così estranee si incrociano proprio a questo punto: qualcuno infatti ha pensato di utilizzare un calcolatore programmato allo scopo di verificare la coerenza della dimostrazione logica dell’esistenza di Dio da parte di Gödel. Talvolta infatti alcuni assiomi – le fondamenta sui cui si basano le dimostrazioni – si scoprono inconsistenti: ciò avviene quando derivano teoremi tra loro contraddittori.

Solo così nel 2013 un calcolatore ha derivato due teoremi contraddittori a partire da un assioma su cui si regge l’argomento gödeliano. Ciò lontano dall’essere la prova definitiva dell’inconcludenza dell’argomento ontologico, aperto sempre ad esser riformulato in modo da evitare contraddizioni, ci annuncia – in modo abbastanza appariscente – l’importanza che possono avere le nuove tecnologie di questo tipo applicate alla filosofia.

Questi strumenti, come protesi del pensiero nella sua forma meccanica e formale, possono essere d’aiuto nello svelare alcuni errori che l’uomo, anche il più esperto, può lasciarsi sfuggire. Tuttavia sarà di nuovo compito dell’uomo interpretare i risultati che ci fornisce il calcolatore, capirne il perché ed eventualmente trovare una soluzione se ciò è possibile.

Francesco Fanti Rovetta

NOTE:
Per i dettagli tecnici della scoperta cliccate qui.