In this essay, I propose a functionalist theory of grounding (functionalist-grounding). Specifically, I argue that grounding is a second-order phenomenon that is realized by relations that play the noncausal explanatoriness role. I also show that functionalist-grounding can deal with a powerful challenge. Appeals to explanatory unificationism have been made to argue that the success of noncausal explanations does not depend on the existence of grounding relations. Against this, I argue that a systematization involving functionalist-grounding is superior to its anti-relational counterpart.

We explore the prospects of a monist account of explanation for both non-causal explanations in science and pure mathematics. Our starting point is the counterfactual theory of explanation for explanations in science, as advocated in the recent literature on explanation. We argue that, despite the obvious differences between mathematical and scientific explanation, the CTE can be extended to cover both non-causal explanations in science and mathematical explanations. In particular, a successful application of the CTE to mathematical explanations requires us to (...) rely on counterpossibles. We conclude that the CTE is a promising candidate for a monist account of explanation in both science and mathematics. (shrink)