§ 5. In the first place it is said, that if our assent to the proposition that two straight lines can not inclose a space, were derived from the senses, we could only be convinced of its truth by actual trial, that is, by seeing or feeling the straight lines; whereas, in fact, it is seen to be true by merely thinking of them. That a stone thrown into water goes to the bottom, may be perceived by our senses, but mere thinking of a stone thrown into the water would never have led us to that conclusion: not so, however, with the axioms relating to straight lines: if I could be made to conceive what a straight line is, without having seen one, I should at once recognize that two such lines can not inclose a space. Intuition is “imaginary looking;”[72] but experience must be real looking: if we see a property of straight lines to be true by merely fancying ourselves to be looking at them, the ground of our belief can not be the senses, or experience; it must be something mental.
To this argument it might be added in the case of this particular axiom (for the assertion would not be true of all axioms), that the evidence of it from actual ocular inspection is not only unnecessary, but unattainable. What says the axiom? That two straight lines can not inclose a space; that after having once intersected, if they are prolonged to infinity they do not meet, but continue to diverge from one another. How can this, in any single case, be proved by actual observation? We may follow the lines to any distance we please; but we can not follow them to infinity: for aught our senses can testify, they may, immediately beyond the farthest point to which we have traced them, begin to approach, and at last meet. Unless, therefore, we had some other proof of the impossibility than observation affords us, we should have no ground for believing the axiom at all.
To these arguments, which I trust I can not be accused of understating, a satisfactory answer will, I conceive, be found, if we advert to one of the characteristic properties of geometrical forms—their capacity of being painted in the imagination with a distinctness equal to reality: in other words, the exact resemblance of our ideas of form to the sensations which suggest them. This, in the first place, enables us to make (at least with a little practice) mental pictures of all possible combinations of lines and angles, which resemble the realities quite as well as any which we could make on paper; and in the next place, make those pictures just as fit subjects of geometrical experimentation as the realities themselves; inasmuch as pictures, if sufficiently accurate, exhibit of course all the properties which would be manifested by the realities at one given instant, and on simple inspection: and in geometry we are concerned only with such properties, and not with that which pictures could not exhibit, the mutual action of bodies one upon another. The foundations of geometry would therefore be laid in direct experience, even if the experiments (which in this case consist merely in attentive contemplation) were practiced solely upon what we call our ideas, that is, upon the diagrams in our minds, and not upon outward objects. For in all systems of experimentation we take some objects to serve as representatives of all which resemble them; and in the present case the conditions which qualify a real object to be the representative of its class, are completely fulfilled by an object existing only in our fancy. Without denying, therefore, the possibility of satisfying ourselves that two straight lines can not inclose a space, by merely thinking of straight lines without actually looking at them; I contend, that we do not believe this truth on the ground of the imaginary intuition simply, but because we know that the imaginary lines exactly resemble real ones, and that we may conclude from them to real ones with quite as much certainty as we could conclude from one real line to another. The conclusion, therefore, is still an induction from observation. And we should not be authorized to substitute observation of the image in our mind, for observation of the reality, if we had not learned by long-continued experience that the properties of the reality are faithfully represented in the image; just as we should be scientifically warranted in describing an animal which we have never seen, from a picture made of it with a daguerreotype; but not until we had learned by ample experience, that observation of such a picture is precisely equivalent to observation of the original.
These considerations also remove the objection arising from the impossibility of ocularly following the lines in their prolongation to infinity. For though, in order actually to see that two given lines never meet, it would be necessary to follow them to infinity; yet without doing so we may know that if they ever do meet, or if, after diverging from one another, they begin again to approach, this must take place not at an infinite, but at a finite distance. Supposing, therefore, such to be the case, we can transport ourselves thither in imagination, and can frame a mental image of the appearance which one or both of the lines must present at that point, which we may rely on as being precisely similar to the reality. Now, whether we fix our contemplation upon this imaginary picture, or call to mind the generalizations we have had occasion to make from former ocular observation, we learn by the evidence of experience, that a line which, after diverging from another straight line, begins to approach to it, produces the impression on our senses which we describe by the expression, “a bent line,” not by the expression, “a straight line.”[73]
The preceding argument, which is, to my mind unanswerable, merges, however, in a still more comprehensive one, which is stated most clearly and conclusively by Professor Bain. The psychological reason why axioms, and indeed many propositions not ordinarily classed as such, may be learned from the idea only without referring to the fact, is that in the process of acquiring the idea we have learned the fact. The proposition is assented to as soon as the terms are understood, because in learning to understand the terms we have acquired the experience which proves the proposition to be true. “We required,” says Mr. Bain,[74] “concrete experience in the first instance, to attain to the notion of whole and part; but the notion, once arrived at, implies that the whole is greater. In fact, we could not have the notion without an experience tantamount to this conclusion.... When we have mastered the notion of straightness, we have also mastered that aspect of it expressed by the affirmation that two straight lines can not inclose a space. No intuitive or innate powers or perceptions are needed in such case.... We can not have the full meaning of Straightness, without going through a comparison of straight objects among themselves, and with their opposites, bent or crooked objects. The result of this comparison is, inter alia, that straightness in two lines is seen to be incompatible with inclosing a space; the inclosure of space involves crookedness in at least one of the lines.” And similarly, in the case of every first principle,[75] “the same knowledge that makes it understood, suffices to verify it.” The more this observation is considered the more (I am convinced) it will be felt to go to the very root of the controversy.
§ 6. The first of the two arguments in support of the theory that axioms are a priori truths, having, I think, been sufficiently answered; I proceed to the second, which is usually the most relied on. Axioms (it is asserted) are conceived by us not only as true, but as universally and necessarily true. Now, experience can not possibly give to any proposition this character. I may have seen snow a hundred times, and may have seen that it was white, but this can not give me entire assurance even that all snow is white; much less that snow must be white. “However many instances we may have observed of the truth of a proposition, there is nothing to assure us that the next case shall not be an exception to the rule. If it be strictly true that every ruminant animal yet known has cloven hoofs, we still can not be sure that some creature will not hereafter be discovered which has the first of these attributes, without having the other.... Experience must always consist of a limited number of observations; and, however numerous these may be, they can show nothing with regard to the infinite number of cases in which the experiment has not been made.” Besides, Axioms are not only universal, they are also necessary. Now “experience can not offer the smallest ground for the necessity of a proposition. She can observe and record what has happened; but she can not find, in any case, or in any accumulation of cases, any reason for what must happen. She may see objects side by side; but she can not see a reason why they must ever be side by side. She finds certain events to occur in succession; but the succession supplies, in its occurrence, no reason for its recurrence. She contemplates external objects; but she can not detect any internal bond, which indissolubly connects the future with the past, the possible with the real. To learn a proposition by experience, and to see it to be necessarily true, are two altogether different processes of thought.”[76] And Dr. Whewell adds, “If any one does not clearly comprehend this distinction of necessary and contingent truths, he will not be able to go along with us in our researches into the foundations of human knowledge; nor, indeed, to pursue with success any speculation on the subject.”[77]
73
Dr. Whewell also says, that it does not appear why this resemblance of ideas to the sensations of which they are copies, should be spoken of as if it were a peculiarity of one class of ideas, those of space. My reply is, that I do not so speak of it. The peculiarity I contend for is only one of degree. All our ideas of sensation of course resemble the corresponding sensations, but they do so with very different degrees of exactness and of reliability. No one, I presume, can recall in imagination a color or an odor with the same distinctness and accuracy with which almost every one can mentally reproduce an image of a straight line or a triangle. To the extent, however, of their capabilities of accuracy, our recollections of colors or of odors may serve as subjects of experimentation, as well as those of lines and spaces, and may yield conclusions which will be true of their external prototypes. A person in whom, either from natural gift or from cultivation, the impressions of color were peculiarly vivid and distinct, if asked which of two blue flowers was of the darkest tinge, though he might never have compared the two, or even looked at them together, might be able to give a confident answer on the faith of his distinct recollection of the colors; that is, he might examine his mental pictures, and find there a property of the outward objects. But in hardly any case except that of simple geometrical forms, could this be done by mankind generally, with a degree of assurance equal to that which is given by a contemplation of the objects themselves. Persons differ most widely in the precision of their recollection, even of forms: one person, when he has looked any one in the face for half a minute, can draw an accurate likeness of him from memory; another may have seen him every day for six months, and hardly know whether his nose is long or short. But every body has a perfectly distinct mental image of a straight line, a circle, or a rectangle. And every one concludes confidently from these mental images to the corresponding outward things. The truth is, that we may, and continually do, study nature in our recollections, when the objects themselves are absent; and in the case of geometrical forms we can perfectly, but in most other cases only imperfectly, trust our recollections.