Abstract
Any rational discipline has as its proper and primary task to present itself as an internally interconnected and coherent system. If it is important to human beings that it should be true, its practitioners cannot be content with premisses from which it follows as a hypothetical system, but must either show them as indubitable by their own nature or as grounded in fact. If they are grounded in fact then we must continually appeal to experimentally verified hypotheses which will further anchor the science to our actual world. Mathematics is in the peculiar position of having no possible empirical verification of its theorems, but of being continually verified by application. Mathematics ‘works’ when applied to the building of bridges and skyscrapers, the knitting of pullovers and the designing of engines. It also appeals to rational beings as intellectually satisfying in itself. Metaphysics is like mathematics in presenting itself as intellectually satisfying to those willing to submit themselves to its discipline; it is unlike mathematics in that it has, in the ordinary sense of the word, no application. Nevertheless, Spinoza makes a determined attempt to exhibit metaphysics as satisfying on all counts. It is an internally coherent system, it justifies itself by its effect on its practitioners, and it could not be effective in this way if it were not at the same time true.