L'intento del presente saggio è quello di rendere accessibile ai lettori uno degli argomenti più dibattuti e suggestivi del pensiero umano dal medioevo ai giorni nostri, fornendo loro gli strumenti indispensabili per capire il valore universale del ragionamento logico e come esso possa essere applicato ad una questione così decisiva per la vita umana come quella dell'esistenza di Dio. Tra le dimostrazioni più controverse, ma anche teoricamente più certe dell'esistenza di Dio, rientrano le cosidette "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. Vengono qui accomunati pensatori diversi e distanti nel tempo come Anselmo d'Aosta e Kurt Godel, Tommaso d'Aquino e Bertrand Russell. La prova ontologica rimane una sfida per l'intelligenza umana al di là della scelta di fede.