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. Anselm to Kurt Gödel, which argue that the very definition of God as a "greatest conceivable being" necessitates His existence.

Analyzes teleological arguments (evidence of design in the universe) and the logical weight of reported miracles. Arguments Against Theism (Chapters 7–8):

The book is structured into several key sections that analyze the logical validity of various theological positions: