Focuses on logical challenges to the existence of God, often centered on the problem of evil or internal inconsistencies within the divine attributes.
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 Logic and Theism: Arguments For and Against Bel...
Analyzes teleological arguments (evidence of design in the universe) and the logical weight of reported miracles. Arguments Against Theism (Chapters 7–8): Focuses on logical challenges to the existence of
Examines the work of Thomas Aquinas and Gottfried Wilhelm Leibniz, focusing on the "First Cause" and the Principle of Sufficient Reason . Investigates Pascal’s Wager , weighing the practical and
Investigates Pascal’s Wager , weighing the practical and decision-theoretic reasons for belief regardless of whether existence can be proven.
The book is structured into several key sections that analyze the logical validity of various theological positions:
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.