Proofs of God are among the major themes of Western philosophy. In the 20th century, they have been reformulated with the help of modern logic, and in analytical philosophy, proofs of God have been controversially discussed for decades. The question of God's existence is evidently more relevant than ever in the post-metaphysical age.

This volume gathers the major proofs of God from the Middle Ages and modern times, as well as the classical objections from Hume and Kant. The language-analytical debate is thoroughly documented, and a dedicated section is devoted to Kurt Gödel, whose ontological proof has not yet been conclusively refuted. Introductory essays provide an overview of the issues surrounding proofs of God and offer easily understandable reconstructions of the respective attempts at proof.