• Modality and the ontological argument

    Previously, I outlined what I find to be a compelling ontological argument from Alexander Pruss. In the post, we dispelled the idea that there is a single ontological argument and distinguished between a number of families on such arguments. The one we focussed on is a so-called Gödelian ontological argument, named after the famous mathematician

  • A Gödelian ontological argument

    I’ve never really had a nice relationship with the ontological argument from Anselm. When I first heard of it, it seemed strange that existence would be greater than non-existence, so I pushed it aside. About 2 years later, I realised that existence could maybe be bootstrapped from other properties, like power. But by then I

  • World-types have explanations but not grounds?

    On the one hand I personally like the idea of middle-knowledge for understanding the relationship between God’s providence and our libertarian-free choices[1]. On the other hand, I’m what William Lane Craig once called[2] a latter-day Leibnizian, who wants “everything to be brought into submission to the Principle of Sufficient Reason, including facts concerning human free