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.

Those who think that metaphysics is just misunderstood grammar will react to my giving metaphysics some place or another in the system of knowledge.

Leibniz believed in freedom, both divine and human, and he thought that contingency was a necessary condition of freedom. That is, if an agent A acts freely when choosing X, then A's choosing X cannot be necessary. But there are some elements in his philosophy that seem to make contingency impossible.

In my view the bundle theorist should say that when a bundle is located somewhere, there is an 'instance' of the bundle there. The instance is entirely constituted by the universals of the bundle. But the bundle and the instance are two distinct entities. Bundles of universals can be multiply located, but their instances cannot, and particulars are instances of a bundle of universals.

I do not believe in the bundle theory anyway. The bundle theory postulates universals and I do not believe in them; so I do not believe in the bundle theory.

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.

For bundles of universals can be in more than one place at the same time; so a bundle can have more than one instance; so there can be numerically distinct particulars sharing the same universals; so the principle of identity of indiscernibles is false.