As some of my previous posts note, one of the contemporary debates over truth is whether truth can be explanatory. If so, then, it is argued, it is a bona fide property, a relational one according to most proponents of this. The form of arguments offered by folks like Kitcher is something like this: Success at a certain activity is best explained by the hypothesis that practitioners have true beliefs about an area of the practice; hence, having one's beliefs be true is an explanatory property. This is an argument that concludes to the property-hood of truth from truth entering into an explanans.
It seems that it might also be possible to go the other way: it seems one can conclude to the property-hood of truth from truth's entering into an explanandum. For instance: Why is it that most of our short-term predictive beliefs are true? Surely it is plausible that we can give a natural selection (either of the genetic sort, connected with belief-forming faculties, or of the mimetic sort, connected directly with particular beliefs or more general ideologies) explanation of the truth of these beliefs. Moreover, the explanation is causal in nature. Now, it is plausible that if we can give a causal explanation of the obtaining of some feature, that feature had better be a bona fide property in a broad (i.e., abundant) snese.
I don't know if this is an independent argument for the propertyhood of truth, though. For our reason to think that a natural selection explanation of the truth of these beliefs is possible is that it is plausible that the truth of these beliefs leads to (biologically or culturally) reproductive success. And this "leads to" is itself explanatory. So it seems that the status of truth as entering into explananda in the selective way is dependent on the status of truth as entering on the explanans side of explanations of fitness.
This leads to an interesting question. The person who believes in the closedness of the natural (in particular, any naturalist) is committed to the correctness in our world of the inference:
- F is natural; E's occurrence explains F's occurrence; therefore, E is natural.
- E is natural; E's occurrence explains F's occurrence; therefore, F is natural.