This Element attempts to resolve a theological paradox with resources from mathematical logic and medieval andearly modern philosophy.

Classical theists hold that God is omnipotent. But now suppose a critical atheologian were to ask: Can God create a stone so heavy that even he cannot lift it? This is the dilemma of the stone paradox. God either can or cannot create such a stone. Suppose that God can create it. Then there's something he cannot do – namely, lift the stone. Suppose that God cannot create the stone. Then, again, there's something he cannot do – namely, create it. Either way, God cannot be omnipotent. Among the variety of known theological paradoxes, the paradox of the stone is especially troubling because of its logical purity. It purports to show that one cannot believe in both God and the laws of logic. In the face of the stone paradox, how should the contemporary analytic theist respond? Ought they to revise their belief in theology or their belief in logic? Ought they to lose their religion or lose their mind?