Samuel Elgin

The principle of sufficient reason (PSR) says every fact has an explanation. But van Inwagen argues the PSR is false—otherwise all facts are necessary facts. Consider the conjunction of all contingent facts, which we can call the Big Contingent Conjunction. If every fact has an explanation, then presumably the Big Contingent Conjunction had better have an explanation too. But what fact could explain its truth—is the Big Contingent Conjunction explained by a necessary fact or a contingent one? Trouble ensues either way. If the Big Contingent Conjunction is explained by a necessary fact, then it is hard to see why it should be contingent. (After all, if something follows from what is necessary, it too would seem to be necessary.) On the other hand, if the Big Contingent Conjunction is explained by a contingent fact, then the explanation appears circular since the explanans itself is among the facts it explains in the Big Contingent Conjunction. This paper explores an assumption of this argument rarely subjected to scrutiny—namely, the distribution principle, which asserts that if a fact explains a conjunction, then it explains each of its conjuncts. Though superficially plausible, close consideration of this principle reveals some reasons to reject it, potentially saving the PSR from van Inwagen’s challenge.

I provide an analysis of sentences of the form ‘To be F is to be G’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F is that which makes it G. This approach is hyperintensional, and possesses desirable logical and modal features. These sentences are reflexive, transitive and symmetric, and, if they are true, then they are necessarily true, and it is necessary that all and only Fs are Gs. I close by defining an asymmetric and irreflexive notion of analysis in terms of the reflexive and symmetric one.