Logic and Theism

Jordan Howard Sobel's Logic and Theism represents one of the most technically rigorous examinations of classical theistic arguments in contemporary philosophy of religion. Employing the tools of modern symbolic logic, probability theory, and decision theory, Sobel subjects traditional arguments for God's existence to unprecedented formal scrutiny. The work stands as a landmark achievement in the analytic philosophy of religion, demonstrating how mathematical precision can illuminate centuries-old theological debates.

The monograph systematically examines the major argument families in natural theology. Sobel's treatment of ontological arguments includes detailed logical reconstructions of Anselm, Descartes, and contemporary modal versions, revealing subtle formal flaws in each formulation. His analysis of cosmological arguments engages with both classical formulations and modern versions like the kalam argument, employing modal logic to expose hidden premises and questionable inference patterns. The discussion of design arguments incorporates Bayesian probability theory to evaluate fine-tuning arguments, offering precise mathematical assessments where previous critiques relied on intuitive judgments.

Sobel's approach to the problem of evil proves particularly innovative. Rather than merely rehearsing traditional formulations, he develops formal decision-theoretic models to examine whether the existence of evil provides decisive evidence against theism. This technical apparatus allows him to distinguish between logical and evidential versions of the problem with unprecedented clarity, while revealing the exact probabilistic commitments required by various theodicies.

The work's significance extends beyond its individual arguments to its methodological contributions. Sobel demonstrates that formal methods need not diminish the philosophical substance of religious questions but can instead reveal their logical structure with greater clarity. His meticulous reconstructions often strengthen theistic arguments before identifying their weaknesses, embodying intellectual charity while maintaining critical rigor.

Within the secular-naturalist tradition, Sobel's work exemplifies how analytical tools developed in mathematics and logic can address perennial metaphysical questions. His influence appears in subsequent debates about the proper role of formal methods in philosophy of religion. While some critics argue that excessive formalization obscures important phenomenological dimensions of religious belief, others praise Sobel for showing that rigorous logical analysis need not be reductive. The monograph remains essential reading for anyone seeking to understand how contemporary analytic philosophy engages with classical theistic arguments, setting a standard for technical precision that continues to shape the field.