Saturday, 6 January 2018

Five Proofs Critique: The Rationalist Proof

To begin I wish to make a few remarks on what constitutes a satisfactory theistic argument. When assessing the value of a theistic argument it is vital not only to look at whether the argument itself succeeds or not, but also at the strength of the background metaphysics on which it depends. In many ways arguments for God’s existence are only as strong as their ontological backdrop. Consequently, an argument which requires a very specific metaphysical account, say a certain theory of dispositions or mental activity, will have less force than one which depends on a broader view, for instance: a cosmological argument that requires real powers and dispositions has high value, some powers theory being a strong contender for the only satisfactory account of causation—if on the other hand it requires a very specific powers account the argument loses force, since it is far more debatable which powers account is the correct one.

Similarly, if an argument commits one to an otherwise counterintuitive ontological thesis, then that is generally considered a point against it. For instance, were Anselm’s first ontological argument to commit one to Meinong’s theory of objects then many philosophers would take that as sufficient reason for rejecting that argument. Of course, one can argue the net gains and losses of primitives and counterintuitive theses must be weighed against the success of one’s broader metaphysics—a metaphysical account which explains the existence of contingent being at the cost of endorsing the theory of objects is probably preferable to one which provides no such explanation—but generally if similar conclusions can be reached without taking on the problem thesis then such alternate accounts are preferable.

Some of my claims will be antipathetic to Feser’s preferred approach to Natural Theology. He has stated on a number of occasions, most recently in Scholastic Metaphysics, that proving the existence of God is easy providing one has the correct metaphysics beforehand. Whilst this is true, the ‘providing’ claim in question does restrict the value of his work. It remains a fact that many of the debates in the theory of powers, properties and accounts of universals depend not on knockdown arguments and refutations but on what primitives one is prepared to accept and how comfortable one is with a fulsome ontology (of course Feser might claim that the fact his preferred account leads to the existence of God and thus the resolution of a whole host of ethical and ontological problems is a reason why we should accept it—I have yet to read him argue in this way, though I’m somewhat sympathetic to it). In the project of Natural Theology then it would be preferable to steer a middle course between those, such as William Lane Craig, who only engage in ontology as far as it touches on theology, and the hyper-specific metaphysical requirements of those such as Feser.

In the following discussions my method will be to endeavour to ascertain how much one can prove from the premises of the argument itself and only then to discuss additional appeals to background ontology. This approach serves another purpose: when discussing theistic arguments it is often open to the atheist to claim that the argument in question appears to succeed but since it entails a conclusion i.e. God’s existence, that we have strong independent reason to think impossible, we ought to reject the argument even if we cannot detect where our reasoning went wrong. If, on the other hand, we do not appeal to external metaphysical concerns to determine that what the argument reaches is the God of classical theism, then the atheist has no a priori reason to reject it—in this latter case then both the theist and atheist can accept the minimal conclusion that the argument has established something and thus advanced the task of explanatory metaphysics.

In the following discussion I do not intend to discuss Feser’s arguments in chronological order. Instead I am going to approach them in a way that will prove more fruitful in raising pertinent philosophical issues which I’ll return to in discussion of later arguments.

The most important argument, and probably the only ‘knockdown’ argument for something approaching theism in the book, is what Feser calls the Leibnizian Argument. This argument, quite possibly the quintessential cosmological argument, appeals to that most venerable of metaphysical principles, the Principle of Sufficient Reason (henceforth PSR), and proposes that from this and the relatively uncontroversial premise that there exist contingent beings we can prove that there exists a necessary being. Of all arguments showcased in the book it is the one with the least metaphysical baggage.

It is fashionable to divide the PSR into a weak and strong variant: the former makes the modest claim that all existential fact have an explanation whilst the latter claims that all contingent facts have an explanation. Both of these suffice for a functional cosmological argument (as does the even weaker claim that for every existential fact it is possible that it has an explanation1).  Feser gives three ‘Thomistic’ formulations of the principle, the first of these amounts to the weak version and the third, to the claim ‘there is a sufficient reason or adequate necessary objective explanation for the being of whatever is and for all attributes of any being’, to the strong version (assuming one is to take attributes in the wide sense including relational properties).

The second formulation, the claim ‘Everything is intelligible’, is more interesting as it suggests that the PSR might follow from the scholastic account of the transcendentals (truth being considered convertible, if not synonymous, with being). I do not know if it would be possible to give a deductive proof of the principle based on this—the transcendentals have received little to no attention in contemporary philosophy of religion and it is likely that the PSR is so basic that any proof for or even against it would end up tacitly appealing to it—but it represents an important area for further exploration.

As it stands Feser follows the well-trodden Leibnizian course and relies on abductive and retorsive argument to support the PSR. It is in the latter of those approaches that he makes what is undoubtably his most original contribution to the discussion. Against those who reject the PSR Feser argues that the nature of psychological justification itself implies the PSR—our acceptance of a claim as true, or at least rational, is itself a form of explanation (to put it another way: it is proposition Y’s appearing to be true because of factor X which explains why we accept Y). In other words if the PSR did not hold there would always be the risk that our seemingly true beliefs are held for no reason as opposed to some justificatory factor. In endorsing such an argument one need not deny the possibility of error—all the argument requires is that the beliefs in question have some justificatory factor even if it is a false one—or endorse Spinozistic epistemic determinism (more on this later). Such an argument must be spelt out in greater detail, say with distinctions between rational and psychological justification, before it can make headway, but as it stands it is an elegant fusion of the PSR and the argument from reason.

Of the weak and the strong formulation, the primary criticism people can muster against the former is that it is ad hoc. Feser takes the philosophically more interesting route and defends the latter. Two major problems present themselves on such an account2.

The first is just an expanded version of the Standard Objection to Free Will, which in its normal formulation appeals to causation. The dilemma goes like so: a so-called free action is either explained by a pre-existing factor in which case it can hardly be called free, or lacks an explanation, thus happening for no reason, in which case it can hardly be called an 'action', the deliberate choice of an agent. The proponent of the PSR is, the critic will say, committed to the first freedom-denying option of the disjunction.

The second, really the major criticism against the strong PSR, is that it leads to ‘Modal Collapse’, a scenario in which all contingent truths become necessary ones3. The most common formulation refers to the ‘Big Contingent Conjunctive Fact’. If every contingent fact has an explanation—if there is an explanation for why each contingent state-of-affairs holds—then there must also be an explanation for why the contingent fact which is the conjunction of all smaller contingent facts holds. This explanation cannot itself be a contingent fact, for no contingent fact can explain itself, and therefore must be a necessary one. Yet if it is a necessary fact that certain other facts hold then those facts too are necessary.

Although most analytical philosophers prefer the above formulation of the objection, the general problem in fact dates back to the question of whether God must choose the best of all possible worlds. This problem can be put as follows: God, as a supremely rational agent, must always choose the best; therefore God must have a sufficient reason for choosing to actualise this possible world as opposed to all the other seemingly possible options4. But if God (the being in which all possibilities are grounded as both Feser and Leibniz would agree) must actualise this possible world and thus cannot actualise any others, it follows that it is in fact the only possible world, and, once again, all seemingly contingent facts, facts about things which could have seemingly been otherwise, become necessary. If the theist tries to escape this conclusion by pointing out that there is no single ‘best possible world’, (that there are worlds containing distinct but comeasurable goods) then the critic will fling the PSR back in their face. If there is no sufficient reason to prefer one possible world over another then God cannot rationally act. The deity will be trapped, like some divine Buridan's Ass, eternally contemplating an infinitude of equally tempting alternatives yet never acting5.

Feser’s response to this problem is infuriatingly insubstantial. As in Scholastic Metaphysics he gestures to the fact that scholastics do not treat propositions as platonic entities existing apart from the mind’s entertaining them6. Whilst true this is irrelevant to the criticism, since it is concerned not with propositions in and of themselves but with the states-of-affairs (the ways reality is, e.g. X entity having Y property) which they represent; this is why the term ‘facts’ is used as a way of remaining neutral as to whether truths add another entity to one’s ontology above the beings involved. He also makes the case that not all explanations need be such that potential explanans entail their explanandum. Whilst I’m sympathetic to such a view—I suspect logical entailment in the strict sense belongs only to narrow logic and that our unwillingness to let go of lingering prejudices linking necessity with analyticity—the supposed counterexamples that Feser gives of statistical and scientific explanation are unconvincing: in each case they appear merely to be incomplete explanations which, if sufficiently fleshed out, would give the same appearance of entailment. Take his example of the sun’s gravitational influence explaining the elliptical orbits of the planets: accepting an account of the laws of nature on which such laws are metaphysically necessary, then if one has a complete description of a physical domain—that is all the substances that make it up and all the causal powers at work—then from that description the outcome necessarily follows. It does no good to say that it would be different if there were other factors at work because a description of the other-factored system would necessitate the different result just as much. What is needed is a paradigmatic example of a complete explanation which looks sufficiently different to those presenting the appearance of entailment.

Surprisingly, and perhaps tellingly, Feser does not discuss the most significant response to all of the above problems, one that has been lurking in the wings since Leibniz’s correspondence with Samuel Clarke. Richard Gale and Alexander Pruss have proposed that an elegant and brutal way to defuse all such problems is to hold that contingent facts stating an agent’s free choices are in fact self-explanatory (how one formulates this is still up for debate—of the options discussed by Pruss readers would probably prefer ‘X freely chose Y because impressed by reason Z’ as it leaves room for the Scholastic insight that every agent acts for a perceived good)7. This account fits well with our intuitions about free agents being neither random nor externally determined but self-determined—whilst one may grant that causa sui (in the sense of cyclical causation) is impossible one can still accept self-explanation. True there is something unsatisfactory about non-necessitating explanation, but the atheist libertarian will have to bite the same bullet; the mystery lies not with the theism but with the free will. One might press an analogy with abstract objects: the difference between agents and non-agents is as radical as the difference between abstracta and concreta—abstracta have their own account of explanation separate from most concreta so why should it surprise us if agents do as well? A free choice seems a good candidate for that ‘paradigmatic example of a complete explanation sufficiently different to those presenting the appearance of entailment’.

Armed with such an account one can avoid modal collapse and liberate God from His divine indecision. This would not imply the extreme voluntarist position Feser has elsewhere called ‘liberty of indifference’, for one need not deny that an agent that does not make ‘evil’ choices is better, or even more ‘free’, than one that does (although, as Quentin Smith has pointed out, if one accepts the restriction of the principle of alternate possibilities to only good choices, the standard Free Will response to the Logical Problem of Evil appears to fail8). The observations do not concern a choice between a bad and a good option but between choices, of which there are likely an infinite number, where one alternative is no better or worse than another. Charges of doxastic voluntarism can be rebutted on the same grounds.

A bigger concern might be that in taking contingent facts regarding free choices as self-explanatory one risks vitiating the PSR’s role in the Cosmological Argument. I suspect that the worry here is that every explanatory chain might terminate in the free choice of a contingent agent: although the vast majority of existential facts do not appear to involve free acts on the part of contingent beings, might not the sceptic postulate a deceitful angel responsible for each fact? Multiple formulations of the argument do not suffer from this problem however: for instance those that ask ‘why does the set of contingent beings have the members that it does?’ (Rowe), ‘why do these contingent beings exist as opposed to others?’ (Pruss) or ‘why are there contingent beings at all?’ (Feser) (of course one can ask the same questions about the subset of contingent beings, contingent agents). Feser’s specifically Scholastic variant, ‘why do contingent beings remain in existence?’ is also unaffected. Finally, all that one needs to conclude from the existence of contingent beings to a necessary being is that a world without contingent free agents is possible, a premise that seems uncontroversial and can be supported with subtraction arguments.

It may be wondered why so much time has been spent on an argument Feser does not even mention; this will become apparent later on when I return to some of the points raised in discussion of the other proofs. For now let us take it that Feser’s PSR argument has worked and it has been granted that a necessary being exists.

Next, what attributes might the necessary being of the PSR Cosmological Argument have? In a sense this is one of the most existentially important questions in philosophy, for it is far easier—infinitely easier in fact if one wishes to remain rational—for the atheist to accept PSR reasoning from contingent beings to a necessary being but deny said being is anything like the God of classical theism. If one accepts the free will lemma, of course one gets agency. Feser appeals to a number of considerations from his Thomist metaphysics to derive the classical Divine Attributes; in keeping with our project, though, let us examine what one can derive solely from the argument itself.

The argument itself leads swiftly to the conclusion that the necessary being in question is omnipotent, for if all contingent states-of-affairs depend upon said entity then it follows that it has the power to actualise said states-of-affairs whether directly or through an intermediary. William Rowe objected to this course of argument claiming that all one is entitled to conclude is that the being is ‘very powerful’9, but not omnipotent—we know it can bring about all contingent states-of-affairs that actually are the case but what reason do we have to think it can bring about all others? An easy response comes to mind: being of its nature necessary, the being revealed in the PSR must exist in all possible worlds; if that is the case then—the notion of a contingent fact being the case for no reason at all having already been ruled out—the being could ultimately explain the existence of any contingent fact in every world in which it exists. Since it exists in all possible worlds, though, it exists alongside all possible contingent facts (thus all possible beings) and thus would have the power to actualise them.

An objection: might not it be the case that instead of the totality of contingent entities having its explanation in one necessary entity, the various subsets of that totality are explained by different necessary beings? Let us take two necessary beings, Scarlet and Azure. Scarlet has the power to actualise all contingent states-of-affairs related to material beings and Azure those relating to immaterial beings. What justification is there for belief in one omnipotent being as opposed to Scarlett and Azure or any number of specialised necessary beings? From the argument itself one can only appeal to the Principle of Parsimony—true, we have no a priori way of knowing that there is only the one necessary being, but if we can get away with only affirming one our theory will be in better shape.

This reveals an interesting limitation of the PSR argument taken on its own; namely that it proves there exists a necessary being but does not on its own furnish any further account of that being’s necessity10. This is not to the argument’s detriment (Clarke admits this limitation early on); after all, many philosophers, both atheist and theist, accept the existence of Platonic abstracta, for the necessity of which no account is given. By their very nature necessary facts are not brute facts, yet when weighing theoretical virtues it is considered good form to try to make necessity claims as transparent as possible. Let us look at the ‘necessity-making’ principles the PSR arguer might appeal to:

1. A form of Ontological Argument. This is the authentically Leibnizian option and the reason Kant claimed the Cosmological Argument depends upon the Ontological Argument to establish God’s existence. A perfect being is a necessary being and if a necessary being is possible then it is actual. We know from our PSR reasoning that a necessary being is actual, therefore we know that the ontological argument goes through, therefore our necessary being is a perfect being. The problem with this is that it gives no way of knowing whether the necessary beings in question are one and the same. At the back of the Leibnizian’s mind is the assumption that the only way one could account for the necessity of a concrete being is through its perfection, a claim modern philosophers might find too strong. A better way would be to claim that from Ontological Argument concerns we know that at least one necessary being is an omnipotent being, but that the existence of an omnipotent being is incompatible with almost omnipotent beings like Scarlet and Azure. If we have a priori reason to think omnipotence is metaphysically possible (the PSR argument certainly gives us reason to believe that) then we have additional reason to prefer that over merely epistemically possible limited necessary beings.

2. Divine Simplicity. Feser appeals to this option though he runs it into the next two options. A simple being, much like a perfect being, is such that if it is even possible then it actually exists. The challenge is then to derive some of the divine attributes from simplicity (Feser makes an interesting case for such in his Neo-Platonic proof) and argue in a similar way to the above.

3. Act and Potency. This the classic scholastic account, which will be looked at in greater detail during discussion of the Aristotelian Proof.

4. The identicality of Essence and Existence. This is the infamous Thomist account which holds that a necessary being (in the relevant sense) is a being in which essence and existence are one. Of all the accounts of necessity given this is probably the clearest. It requires commitment to an inflationary account of existence—one which treats existence as a really distinct property of things. Although Thomas derives this view from the Act/Potency distinction it is an open question whether one could hold it without that piece of Aristotelian metaphysics.

A few closing observations: none of these ways of accounting for necessity exclude the others; indeed, most of them follow from the others, e.g. in the case of 3 entailing 2 and 1. This gives the theist an impressive cumulative argument. One might worry that asking for an account of the being reached through the PSR cosmological argument is moving the goal posts; after all, it is only contingent being which requires an explanation and, unless the theist can give a very clear explanation of what elucidating necessity-maker principles actually means, all they have is a weak appeal to theoretical virtue. At any rate, in order for the theist to prove that the necessary being established in the course of PSR reasoning is God they must either show that the argument plus one’s background ontology means the being in question has all of the Divine Attributes, or that it is the only coherent (concrete) necessary being (in which case other attribute proofs pertaining to a necessary being in fact refer to this necessary being). Until such time theists must learn to live with the epistemic possibility of limited necessary beings.

Next up: the Aristotelian Argument


1. This refers to the Cosmological Argument devised by Richard Gale and Alexander Pruss. The original paper can be read online here or with additional context in Gale’s God and Metaphysics. For an in-depth account of the Pruss-Gale Argument and some of the criticisms it has faced the reader should consult pages 51 to 97 of Emanuel Rutten’s A Critical Assessment of Contemporary Cosmological Arguments: Towards a Renewed Case for Theism.

2. Other criticisms of the PSR usually take the form of denying the principle itself or claiming that we cannot, for Russelian reasons, coherently speak of a totality of contingent facts. Since none of them appear that plausible I do not discuss them here. There exists a further ingenious criticism mentioned by Rowe and further developed by Bede Rundle to the effect that instead of requiring a necessary being the existence of contingent being could equally be explained by a hypothetical principle: ‘necessarily there exists some contingent being’. Although a clear advance on criticisms which simply seek to deny the PSR I do not think this a serious contender to the necessary being option. For one thing the nature of this principle is left extremely unclear. For another it fails to satisfy variants of the PSR that cover all contingent facts or even all contingent existential facts: if it is necessarily the case that there exists a contingent being why is it the case that contingent being Y exists as opposed to contingent being X? This account provides no explanation as to why this possible world is the actual world.

3. This criticism is commonly associated with Peter Van Inwagen’s presentation of it in his 1983 volume An Essay on Free Will, although William Rowe had in fact raised a similar objection in his survey of the Cosmological Argument 8 years before. The most detailed presentation of modal collapse objections in contemporary literature can be found on pages 214 to 233 of J.H. Sobel’s dense and idiosyncratically written Logic and Theism. A dishonourable mention goes pages 119 to 123 of Graham Oppy’s Arguing About Gods.

4. The astute reader will have noticed that the much vaunted ‘Problem of Evil’ in fact boils down to the question of what worlds a morally good rational being can have a sufficient reason to actualise.

5. William Rowe sets out the various problems relating to Divine choice in his excellent study Can God be Free? though of course the question was first raised explicitly in relation to the PSR in Leibniz's correspondence with Samuel Clarke.

6. Here we come to a tricky question about priorities. Feser can hardly accept that truth is dependent on a contingent mind, that without thinking beings a certain fact e.g. ‘Snow is white’ is neither true nor false, since his denial of this forms a premise in his Augustinian Argument. Both he and the ‘Platonic’ atheist are committed to propositions being independent of contingent knowers. See pages 73 to 75 of Rutten for a good case as to why the PSR arguer can remain agnostic about the ontological status of propositions or even assay them in a nominalist manner should he or she wish to.

7. See page 240 of Gale’s On the Nature and Existence of God and pages 128 to 168 of Pruss’ The Principle of Sufficient Reason: A Reassessment.

8. See pages 148 to 157 of Smith’s Ethical and Religious Thought in Analytical Philosophy of Language for his ‘Divine Perfect Freedom’ objection to the Free Will Defense.

9. See pages 243 to 245 of Rowe’s The Cosmological Argument.

10. For reasons best known to themselves a number of people find this distinction confusing. For an explanation of how the Cosmological Argument establishes the existence of a logically necessary being without providing or needing to provide an account of that being’s necessity one is recommended to see Chapter 5 of Rowe’s study.


Feser, Edward (2014). Scholastic Metaphysics: A Contemporary Introduction. Ignatius Press.
Feser, Edward (2017). Five Proofs of the Existence of God. Ignatius Press.
Gale, Richard (2004). God and Metaphysics. Prometheus Book
Gale, Richard (1999). On the Nature and Existence of God. Cambridge University Press
Oppy, Graham (2006). Arguing about Gods. Cambridge University Press.
Pruss, Alexander (2006). The Principle of Sufficient Reason: A Reassessment. Cambridge University Press.
Rowe, William (1975). The Cosmological Argument. Princeton University Press.
Rowe, William (2004). Can God Be Free?. Oxford University Press.
Rutten, Emanuel (2012). A Critical Assessment of Contemporary Cosmological Arguments:
Towards a Renewed Case for Theism. Academisch Proefschrift. Full text available here.
Smith, Quentin (2004). Ethical and Religious Thought in Analytical Philosophy of Language. Yale University Press.
Sobel, Jordan Howard (2004). Logic and Theism. Cambridge University Press.
van Inwagen, Peter (1983). An Essay on Free Will. Oxford University Press.


  1. Daniel,

    Do you think the PER (not the weak version) strictly entails contrastive explanations?

    1. No, but with qualifications.

      In many cases it appears clear that one can ask of state X ‘Why X rather than Y’. What is needed is some kind of canon or method for distinguishing where it makes sense to ask for a further contrastive explanation and where it doesn’t. Libertarian free choices* seem the best candidate for this. Somewhere Gale mentions dividing explanations into scientific and agential – it would be an interesting question whether one could make room for further options e.g. those involving aesthetics or perceptual phenomenology. I am to an extent leaning on the dilemma presented by the standard objection to support this claim i.e. if free choices are dependent on brute facts then they are indeterminate and thus beyond the agent’s control.

      I do appeal to contrastive explanation against Bede Rundle’s non-necessary being alternative to the PSR and I still hold that question (if ‘necessarily some contingent being exists’ why contingent being A rather than contingent being B) is a reasonable one.

      *Strictly speaking it requires not just Libertarian free will but a certain kind of Libertarian free will, that is Agent Causation, the claim that agent’s qua substances are the ultimate causes of their free choices. This definition is less than helpful however as agent causation qua causation by substances is often contrasted with event causation, whereas on Scholastic and Aristotelian accounts all causation is between substances. I know that Timothy O’Connor, who is mentioned in the blog entry you linked to earlier, has written a book about this kind of agency which I want to read at some point.

  2. I wonder if the principle of proportionate causality could help with Rundle's objection? That intellect and will must in some sense exist in the neccessary explanation.

    1. I don't think so (explanations are states-of-affairs not substances so proportionate causality does not apply to them directly). The Rundle defender would say 'yes, necessarily there must exist a contingent being and given proportionate causality that being must contain all the properties of its effects in some way, but at the very most that only proves that whatever contingent being it was in this world contained the properties of possessing intelligence and will'.

      The best I can make of Rundle’s alternative principle (‘necessarily, there exists some contingent being’) is by combining it with John Leslie’s Optimalism (‘the world exists because it is better that it does so’). Thus we get: A maximally good world has to exist because it is better that it does so, however there are commeasurable maximal worlds, therefore it is a brute fact which one gets actualised. Rundle’s principle could then be strengthened to ‘necessarily very good contingent beings exist because it is better that they do so’. That way Optimalism avoids modal collapse and the Rundle principle appears less ad hoc. One is still left with a massive lack of contrastive explanation however.

  3. On the subject of PSR versions and entailment/contrastive explanations, I wonder about your thoughts on Feser's version where it makes a fact or state of affairs intelligible? The bar seems to be set quite low in regards to what counts as an explanation and thereby dodging brute facts. On one hand this doesnt seem to have the ad hoc air about it that the weak version (of WLC or stephen Davis, say) has. On the other it seems just as comfortable with explanans that dont entail the explanation and content that we can say atleast *something* regarding contrastive explanations. Here I'm thinking of Pruss's ideas in his Divine Creative Freedom paper where Agent A was impressed by reason R to choose choice C. Even though A was also impressed by reason R2 to choose choice C2. We can still make the choice intelligible, if not entailed. But then I get the feeling you may reply something along the lines of 'why not just take such accounts of free will as self explanatory and stick to the strong version?'. You would have a point imo. Wouldn't self explanatory accounts of free will still need to reject explanatiry entailment with an omniscient God?

  4. Hello! Some questions/remarks, if I may;

    First, it seems to me that there's a problem with the PSR that Dr. Feser endorses; he don't use, if I'm correct, the full version wich concerns facts, and only uses the one concerning beings. But here's my problem; it seems to me that this is not sufficient to get to a necessary being, because it seems that the Hume objection works here. A set of beings is not really a being, so it may well be the case that with the principle "Every contingent being has an external cause", the set is sufficiently explained. That's not problem with the the principle with facts of course.
    Am I wrong?

    Now, relating to the free will theme: don't you fear that, if you accept that there can be self-explaining facts, then the atheist could say that the BCCF is itself self-explaining? For escaping that, we would need a coherent account of libertarian free will which is not equivalent to that idea.
    It looks like a necessary fact of the form "God freely choses to do so" is a better way to follow for the explanation of the BCCF. (God being necessary, and also an agent, the proposition holds in every possible world, even if He hadn't created anything at all.)

    The biggest problem seems that there's no reason to say that a libertarian choice is self-explaining but not the proposition "Necessarily, there's a contingent being (or not.)"
    What do you think?

    1. Thanks for your comments.

      Re 1. Good point! I will check about this but I am assume that's a verbal category mistake on his part - technically explanations are something we ask about facts - people tend to be lazy when formulating the weaker version and ask about the existence of contingent beings when they should really ask about the facts reporting the existence of these contingent beings.

      Re 2, The BCCF would only be self-explanatory if each chain of explanations terminated in an explanation involving a free choice. This does gesture towards important questions involving freedom and divine foreknowledge though (if one rejects Molinism for instance one might have to say that the fact X is the actual world is explained by God's free choice + all the free choices contingent beings make).

      Re 3, On the contrary I think regardless of the truth of theism the libertarian has a strong reason to hold that free actions are self-explanatory in that it allows them to escape the two horns of the Standard Objection.