Consider this theory, a modification of my causal power account of possibility:
- A proposition p is contingent provided that something has a power for p and something has a power for not-p.
It follows from this theory that every contingent true propositions has a causal explanation.
For suppose for reductio ad absurdum that p is contingently true and has no causal explanation. Let q be the conjunction of p with the claim that p has no causal explanation. Then q is true, and it is not necessarily true since p is not necessarily true, so q is contingent. It follows from our account of contingency that something has the power to ... bring q about (where the "..." is a possible chain of causal power claims). But that's absurd, since something that brings q about thereby also brings p about, and then p isn't bereft of causal explanation!