Oltre la prova ontologica: esistenza, possibilità e coerenza dell’aritmetica
Feb 21[ad#Ret Big] Abbiamo assistito a un bel botta e risposta sulla dimostrazione della prova ontologica dell’esistenza di Dio tra due contendenti agguerriti, Anselmo D’Aosta e Gaunilone, a cui è preceduto un’altrettanto accesso dibattito dialettico tra Cartesio, Leibniz e Kant. Cerchiamo quindi di trarre qualche conclusione dalle formulazioni che abbiamo dato della prova...
Anselmo VS Gaunilone: l’isola felice porta a Dio
Feb 14[ad#Ret Big] Ricapitoliamo: Gaunilone pensa di confutare la prova ontologica di Anselmo dimostrando come si applichi a qualsiasi cosa. Ma Anselmo controbatte rilevando non solo la vaghezza del concetto di “isola” ma anche come questa vaghezza porti indirettamente ad avvalorare la dimostrazione dell’esistenza di Dio. Vediamo come. Abbiamo detto che, non essendo possibile...
Anselmo vs Gaunilone: l’isola felice non è un’isola
Feb 07[ad#Ret Big] Sottile il gioco di Gaunilone: ammettendo che la prova ontologica di Anselmo funzioni, allora possiamo dimostrare l’esistenza di qualsiasi cosa. Ora Anselmo deve passare al contrattacco e lo fa rivolgendo al monaco un’obiezione solo apparentemente banale, che potrebbe essere espressa in questi termini: Gaunilone, dimostrami una cosa diversa da Dio a cui si applichi la...
La prova ontologica di Anselmo D’Aosta
Gen 17Eccoci giunti al nuovo appuntamento con la nostra disamina sulle dimostrazioni filosofiche dell’esistenza di Dio. Ricapitoliamo: abbiamo visto come Cartesio cerchi di dimostrare l’esistenza di Dio con una prova chiamata “ontologica”, raffinata da Leibniz e confutata da Kant. Ma oltre a quella di Cartesio esiste un’altra versione della prova ontologica, più antica:...