arrived at this point, the question further occurs, what is the ground of the truth of these Axioms? It is not the logical, but the philosophical, not the formal, but the real foundation of necessary truth, which we are seeking. Hence this inquiry necessarily comes before us, What is the ground of the Axioms of Geometry, of Mechanics, and of any other demonstrable science?

The answer which we are led to give, by the view which we have taken of the nature of knowledge, has already been stated. The ground of the axioms belonging to each science is the Idea which the axiom involves. The ground of the Axioms of Geometry is the Idea of Space: the ground of the Axioms of Mechanics is the Idea of Force, of Action and Reaction, and the like. And hence these Ideas are Fundamental Ideas; and since they are thus the foundations, not only of demonstration but of truth, an examination into their real import and nature is of the greatest consequence to our purpose.

8. Not only the Axioms, but the Definitions which form the basis of our reasonings, depend upon our Fundamental Ideas. And the Definitions are not arbitrary definitions, but are determined by a necessity no less rigorous than the Axioms themselves. We could not think of geometrical truths without conceiving a circle; and we could not reason concerning such truths without defining a circle in some mode equivalent to that which is commonly adopted. The Definitions of parallels, of right angles, and the like, are quite as necessarily prescribed by the nature of the case, as the Axioms which these Definitions bring with them. Indeed we may substitute one of these kinds of principles for another. We cannot always put a Definition in the place of an Axiom; but we may always find an Axiom which shall take the place of a Definition. If we assume a proper Axiom respecting straight lines, we need no Definition

of a straight line. But in whatever shape the principle appear, as Definition or as Axiom, it has about it nothing casual or arbitrary, but is determined to be what it is, as to its import, by the most rigorous necessity, growing out of the Idea of Space.

9. These principles,-Definitions, and Axioms,—thus exhibiting the primary developements of a fundamental idea, do in fact express the idea, so far as its expression in words forms part of our science. They are different views of the same body of truth; and though each principle, by itself, exhibits only one aspect of this body, taken together they convey a sufficient conception of it for our purposes. The Idea itself cannot be fixed in words; but these various lines of truth proceeding from it, suggest sufficiently to a fitly-prepared mind, the place where the idea resides, its nature, and its efficacy.

It is true that these principles, our elementary Definitions and Axioms, even taken altogether, express the Idea incompletely. Thus the Definitions and Axioms of Geometry, as they are stated in our elementary works, do not fully express the Idea of Space as it exists in our minds. For, in addition to these, other Axioms, independent of these, and no less evident, can be stated; and are in fact stated when we come to the Higher Geometry. Such, for instance, is the Axiom of Archimedes —that a curve line which joins two points is less than a broken line which joins the same points and includes the curve. And thus the Idea is disclosed but not fully revealed, imparted but not transfused, by the use we make of it in science. When we have taken from the fountain so much as serves our purpose, there still remains behind. a deep well of truth, which we have not exhausted, and which we may easily believe to be inexhaustible.

74

CHAPTER VII.

THE FUNDAMENTAL IDEAS ARE NOT DERIVED FROM EXPERIENCE.

1. By the course of speculation contained in the last three Chapters, we are again led to the conclusion which we have already stated, that our knowledge contains an ideal element, and that this element is not derived from experience. For we have seen that there are propositions which are known to be necessarily true; and that such knowledge is not, and cannot be, obtained by mere observation of actual facts. It has been shown, also, that these necessary truths are the results of certain fundamental ideas, such as those of space, number, and the like. Hence it follows inevitably that these ideas and others of the same kind are not derived from experience. For these ideas possess a power of infusing into their developements that very necessity which experience can in no way bestow. This power they do not borrow from the external world, but possess by their own nature. Thus we unfold out of the Idea of Space the propositions of geometry, which are plainly truths of the most rigorous necessity and universality. But if the idea of space were merely collected from observation of the external world, it could never enable or entitle us to assert such propositions: it could never authorize us to say that not merely some lines, but all lines, not only have, but must have, those properties which geometry teaches. Geometry in every proposition speaks a language which experience never dares to utter; and indeed of which she but half comprehends the meaning. Experience sees that the assertions are true, but she sees not how profound and absolute is their truth. She unhesitatingly assents to the laws which geometry delivers, but she does

not pretend to see the origin of their obligation. She is always ready to acknowledge the sway of pure scientific principles as a matter of fact, but she does not dream of offering her opinion on their authority as a matter of right; still less can she justly claim to be herself the source of that authority.

David Hume asserted*, that we are incapable of seeing in any of the appearances which the world presents anything of necessary connexion; and hence he inferred that our knowledge cannot extend to any such connexion. It will be seen from what we have said that we assent to his remark as to the fact, but we differ from him altogether in the consequence to be drawn from it. Our inference from Hume's observation is, not the truth of his conclusion, but the falsehood of his premises;— not that, therefore, we can know nothing of natural connexion, but that, therefore, we have some other source of knowledge than experience:-not, that we can have no idea of connexion or causation, because, in his language, it cannot be the copy of an impression; but that since we have such an idea, our ideas are not the copies of our impressions.

Since it thus appears that our fundamental ideas are not acquired from the external world by our senses, but have some separate and independent origin, it is important for us to examine their nature and properties, as they exist in themselves; and this it will be our business to do through a portion of the following pages. But it may be proper first to notice one or two objections which may possibly occur to some readers.

2. It may be said that without the use of our senses, of sight and touch, for instance, we should never have any idea of space; that this idea, therefore, may properly be said to be derived from those senses. And to this I

* Essays, Vol. II. p. 70.

reply, by referring to a parallel instance. Without light we should have no perception of visible figure; yet the power of perceiving visible figure cannot be said to be derived from the light, but resides in the structure of the eye. If we had never seen objects in the light, we should be quite unaware that we possessed a power of vision; yet we should not possess it the less on that account. If we had never exercised the senses of sight and touch (if we can conceive such a state of human existence) we know not that we should be conscious of an idea of space. But the light reveals to us at the same time the existence of external objects and our own power of seeing. And in a very similar manner, the exercise of our senses discloses to us, at the same time, the external world, and our own ideas of space, time, and other conditions, without which the external world can neither be observed nor conceived. That light is necessary to vision, does not, in any degree, supersede the importance of a separate examination of the laws of our visual powers, if we would understand the nature of our own bodily faculties and the extent of the information they can give us. In like manner, the fact that intercourse with the external world is necessary for the conscious. employment of our ideas, does not make it the less essential for us to examine those ideas in their most intimate structure, in order that we may understand the grounds and limits of our knowledge. Even before we see a single object, we have a faculty of vision; and in like manner, if we can suppose a man who has never contemplated an object in space or time, we must still assume him to have the faculties of entertaining the ideas of space and time, which faculties are called into play on the very first occasion of the use of the senses.

3. In answer to such remarks as the above, it has sometimes been said that to assume separate faculties in