A truthmaker is an entity in virtue of which the proposition it makes true is true. And it is a necessary condition of being a truthmaker (though not a sufficient one) that a truthmaker necessitates the proposition it makes true.

By arguing that the bundle theory does not entail and is not committed in any way to the principle of identity of indiscernibles, I have thereby defended the bundle theory from a traditional objection to it.

Those who take knowledge to be a whole zoo of sub-disciplines will react to my giving metaphysics a privileged position in that zoo or to my thinking of knowledge as a tree, with more and less fundamental parts.

Knowledge has the form of a tree, and since metaphysics is the most fundamental one of the theoretical disciplines, it represents the roots of the tree.

A truthmaker is an entity in virtue of which the proposition it makes true is true. And it is a necessary condition of being a truthmaker (though not a sufficient one) that a truthmaker necessitates the proposition it makes true.

I think there is a metaphysical problem of the relation between mind and body. Thinking that there is no metaphysical dimension to the problem is an error.

The role of metaphysics in relation to other disciplines, whether philosophical or not and including the natural sciences, is thus a foundational role. Lack of clarity in the concepts of metaphysics implies lack of clarity in other disciplines - both theoretical and practical disciplines - employing those concepts or employing concepts that depend on those of metaphysics.