The explanation of logical theorems and reductive truthmakers

This paper first identifies several plausible desiderata on satisfactory explanations of logical theorems, shows that ordinary grounding explanations cannot satisfy them and argues that there is reason to believe that no alternative grounding explanations of logical theorems can be given. It then develops an alternative explanation of logical theorems based on Yablo’s idea of reductive truthmaking. The resulting proposal invokes instances of reductive truthmaking that bear an interesting structural similarity to the notion of zero-ground, in virtue of which it is able to satisfy the identified desiderata.