blog.kennypearce.net

Molinism and the Logic of Subjunctive Conditionals

The following is a plausible principle of the logic of subjunctive conditionals: ◊(p□→q), ◊p ⊨ ◊q This is to say that if a subjunctive conditional is possible true, and its antecedent is possibly true, then its consequent is also possibly true. This principle is validated by most accounts of subjunctive conditionals, including those that allow for non-trivial counterpossibles. If Molinism is true, then this principle is very likely false. According to Molinism (as I use the term here), God exists necessarily and essentially possesses the attributes of omnipotence, omniscience, moral perfection, etc. God possesses two types of knowledge logically prior...
Continue reading "Molinism and the Logic of Subjunctive Conditionals"

Omnipotence and the 'Delimiter of Possibilities' View

Aquinas notes that some analyses of omnipotence have a serious problem: they reduce the apparently substantive claim "God is omnipotent" to the trivial claim that God "can do all that He is able to do." Now, perhaps it is true that to be omnipotent is to be able to do everything God is able to do (or at least that omnipotence entails this), but this is hardly an illuminating analysis. In several places in his Anselmian Explorations, Thomas Morris defends the view that the Anselmian God is the 'delimiter of possibilities.' This view has been endorsed by other Anselmians, and...
Continue reading "Omnipotence and the 'Delimiter of Possibilities' View"