Evaluates "a priori" proofs from St. Anselm to Kurt Gödel, which argue that the very definition of God as a "greatest conceivable being" necessitates His existence.
Examines the work of Thomas Aquinas and Gottfried Wilhelm Leibniz, focusing on the "First Cause" and the Principle of Sufficient Reason . Logic and Theism: Arguments For and Against Bel...
Sobel utilizes advanced formal systems to critique these arguments, making the book a significant resource for logicians and mathematicians: Logic and Theism: Arguments for and against Beliefs in God Evaluates "a priori" proofs from St
Focuses on logical challenges to the existence of God, often centered on the problem of evil or internal inconsistencies within the divine attributes. Logic and Theism: Arguments For and Against Bel...