Le prove logiche dell'esistenza di Dio da Anselmo d'Aosta a Kurt Gödel

Tra le dimostrazioni più controverse, ma anche teoricamente più certe dell'esistenza di Dio, rientrano le cosiddette "prove logiche", ossia quei tentativi di dedurre la presenza necessaria di un Essere perfettissimo con la sola forza del pensiero logico. La storia della filosofia e della scienza in Occidente è caratterizzata dal ruolo decisivo assegnato all'argomentazione logica. Non deve stupire di trovare accomunati in una simile impresa pensatori diversi e distanti nel tempo, come ad esempio il filosofo cattolico medioevale Anselmo d'Aosta e il logico-matematico contemporaneo Kurt Gödel. Non sono però mancati gli interventi critici contro la possibilità della mente umana di dimostrare l'esistenza di Dio completamente "a priori".