So, I want to get a bit more clear on what the grounding objection to Molinism is saying. As far as I can tell at this moment, the grounding objection seems to go something like this.
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.
