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"