The anti-Molinist says that some general statement about the relation between grounding and truth such as the following holds:

(A) If some proposition is true then there is an entity which grounds its truth.

It seems in this context 'grounds the truth of p' just means 'is the truthmaker of p'. The objector to Molinism then proposes:

(B) There could be no entity to ground the truth of CCF's.

Of course from A and B it follows that all CCF's, if they are meaningful, are necessarily false. Hopefully this is all a correct representation of the objection.

Now, one problem is that we seem to be starting with abstract principles and moving to judgments about cases, whereas we should probably go the other way around; for instance, supposing it is true CCF's can't be 'grounded', then in this case we should recognize the truth of some CCF's and conclude there is something wrong with (A), rather than vice versa. For it is more clear to me that I would have gotten chicken had I gone to Panda Express earlier than it is that all truths need to be grounded in the sense we're talking about.

Another problem is that there is no immediate reason to accept either (A) or (B). What are the arguments for them?

Also, there seem to be problems with both premises. Let's start off with (B): Why can't the

*fact*that I would do such and such action in such and such circumstances be the 'ground' of the counterfactual? Note, facts are not propositions. Maybe take facts to be necessarily existing entities.

If for some reason this is not allowed according to (A), then there are still problems for (A) itself. Since it seems to entail the immediate falsity of presentism given that statements about the future are true, (A) would have to be more plausible than presentism, and why think that? And why is (A) true in the face of, say, negative propositions (e.g. the proposition that there does not exist a chair)? Also, is (A) necessarily true? If so, what is the truthmaker of (A)?

Regarding that last question, there seems to be a lurking circularity or something in (A). This is a real problem. Consider the following argument (which I'll admit I came up with rather quickly and thus it may be problematic). Note beforehand: I'm going to define S below as a set; that's inaccurate since it's really supposed to be a sum of entities, but that makes it easier to deal with and there is a sort of function from the relevant statements about the set to the corresponding statements about the sum. Also, I will just assume for ease that S is finite, which is probably not a plausible assumption, but the argument could be made to work in the infinite case if one really wanted it to. Anyway, let us consider the argument:

1. Suppose all true propositions have a truthmaker. [assumption, called (A)]

2. (A) is a true proposition. [premise] Then,

3. (A) has a truthmaker. [by 1 and 2] But,

4. If (A) has a truthmaker, then the truthmaker of (A) would have to be the sum S = {t : For some truth P, t is a truthmaker of P} = {t1, ..., tn, tn+1} [premise]

5. The truthmaker of (A) is the sum S = {t1, ... , tn, tn+1} = {t : For some truth P, t is a truthmaker of P} [by 3 and 4]

6. Suppose S is in S and let S = tn+1. [assumption]

7. For all sums A, if A = {x} U {x1, ..., xn} and A =/= {x1, ... , xn}, then x is a proper part of A. [definition]

8. Then S would be a proper part of S, since S would be {S} U {t1, t2, ... , tn} and S =/= {t1, t2, ... , tn}. [by def. of proper part]

9. But no sum can be a proper part of itself; that is impossible. [premise]

10. So S is not in S. [by 8 and 9]

11. But S must be in S, for S is a truthmaker of some truth (viz. (A)). [by 5 and definition of S]

12. That's a contradiction right there^.

13. So one of 1 - 3 is false, which implies (A) is false. [1-11]

So it's false that all true propositions have a truthmaker.

Also, if (A) entails there are no true CCF's, then we can argue against (A) by giving a very strong argument for the truth of CCF's. Let us consider the following argument, which I will call the 'direct argument' for the truth of CCF's. It seems to have first been endorsed by the great Jesuit theologian Francisco Suarez. Take a CCF like the following:

(*) If Alfredo were to defend Molinism, Reginald would have accepted it.

This is of the form A => B. We can verify either A => B or its counterpart A => ~B as follows: Have Alfredo defend Molinism, and see if Reginald accepts it or not. If he accepts it, then someone would have been correct in asserting (*) at some time e beforehand. If Reginald does not accept it, then someone asserting the counterpart CCF of the form A => ~B at time e would have been correct instead. Either way, at least one CCF was true at e, so at least some CCF's are true at some time. But whether the antecedent A is true in the actual world or not shouldn't make a difference metaphysically speaking; for why does the truth about this counterfactual depend on the actual world's in fact being actual? Also, there is nothing special about this particular CCF nor its being said at e. So all CCF's or their counterparts are true. And that entails (A) is false.

So, while it's not even clear to me CCF's can't be grounded as per (B), we have a lot of reasons to think (A) is incorrect anyway and not much reason to think it is true (it seems to me whatever intuitive force (A) has can probably be captured just as well by weaker principles). Hence, we should reject the proposition that all propositions must have a truthmaker, and thus the grounding objection to Molinism fails.