I've been enjoying your critique of [Peter] van Inwagen. [The reader is presumably referring to my "Van Inwagen on Fiction, Existence, Properties, Particulars, and Method" in Studia Neoaristotelica: A Journal of Analytical Scholasticism, 2015, vol. 12, no. 2, 99-125] I was initially astonished at his claim that metaphysics/ontology doesn't explain, but it also got me curious about where the explanation is going on in ontological accounts (especially of properties, however construed).I'm doing a Ph.D. in metaontology and I'm contrasting neo-Quinean (van Inwagen) and neo-Aristotelian (Lowe) approaches.Can you direct me to where you might have written about, if indeed you have, how it is ontology/metaphysics explains?
Let 'Tom' name a particular tomato. Let us agree that if a predicate applies to a particular, then the predicate is true of the particular. Predicates are linguistic items. Tomatoes are not. If Tom is red, then 'red' is true of Tom, and if 'red' is true of Tom, then Tom is red. This yields the material biconditional
1. Tom is red iff 'red' is true of Tom.
Now it seems to me that the following question is intelligible: Is Tom red because 'red' is true of Tom, or is 'red' true of Tom because Tom is red? 'Because' here does not have a causal sense. So the question is not whether Tom's being red causes 'red' to be true of Tom, or vice versa. So I won't speak of causation in this context. I will speak of metaphysical/ontological grounding. The question then is what grounds what, not what causes what. Does Tom's being red ground the application (the being-applied) of 'red' to Tom, or does the application (the being-applied) of 'red' to Tom ground Tom's being red?
I am not primarily concerned with the correct answer to this question, but with meaningfulness/intelligibility of the question itself.
Grounding is asymmetrical: if x grounds y, then y does not ground x. (It is also irreflexive and transitive.) Now if there is such a relation as grounding, then there will be a distinctive form of explanation we can call metaphysical/ontological explanation. (Grounding, even though it is not causation, is analogous to causation, and metaphysical explanation, even though distinct from causal explanation, is analogous to causal explanation.)
Explaining is something we do: in worlds without minds there is no explaining and there are no explanations, including metaphysical explanations. But I assume that, if there are any metaphysical grounding relations, then in every world metaphysical grounding relations obtain. (Of course, there is no grounding of the application of predicates in a world without languages and predicates, but there are other grounding relations. For example, if propositions are abstract objects that necessarily exist, and some of the true ones need truth-makers, then truth-making, which is a grounding relation, exists in worlds in which there are no minds and no languages and hence no sentences.)
Grounding is not causation. It is not a relation between event tokens such as Jack's touching a live wire and Jack's death by electrocution. Grounding is also not a relation between propositions. It is not a logical relation that connects propositions to propositions. It is not the relation of material implication, nor is it entailment (the necessitation of material implication), nor any other logical relation wholly situated at the level of propositions. Propositions, let us assume, are the primary truth-bearers.
In our example, grounding is not a relation between propositions — it is not a logical relation — since neither Tom nor 'red' are propositions.
I want to say the following. Tom's being red grounds the correctness of the application of 'red' to Tom. 'Red' is true of Tom because (metaphysically, not causally or logically) Tom is red, and not vice versa. 'Red' is true of Tom in virtue of Tom's being red. Tom's being red is metaphysically prior to the truth of 'Tom is red' where this metaphysical priority cannot be reduced to some ordinary type of priority, whether logical, causal, temporal, or what have you. Tom's being red metaphysically accounts for the truth of 'Tom is red.' Tom's being red makes it the case the 'red' is true of Tom. Tom's being red makes 'Tom is red' true.
I conclude that there is at least one type of metaphysical grounding relation, and at least one form of irreducibly metaphysical explanation.