7. I have, I think, now disposed of the principal objections which bear upon the proper axioms of geometry. The principles which are stated as the first seven axioms of Euclid’s Elements, need not, as I have said, be here discussed. They are principles which refer, not to Space in particular, but to Quantity in general: such, for instance, as these; ‘If equals be added to equals the wholes are equal;’—‘If equals be taken from equals the remainders are equal.’ But I will make an observation or two upon them before I proceed.
Both Locke and Stewart have spoken of these axioms as barren truisms: as propositions from which it is not possible to deduce a single inference: and the reviewer asserts that they are not first principles, but laws of thought (p. 88). To this last expression I am [114] willing to assent; but I would add, that not only these, but all the principles which express the fundamental conditions of our knowledge, may with equal propriety be termed laws of thought; for these principles depend upon our ideas, and regulate the active operations of the mind, by which coherence and connexion are given to its passive impressions. But the assertion that no conclusions can be drawn from simple axioms, or laws of human thought, which regard quantity, is by no means true. The whole of arithmetic,—for instance, the rules for the multiplication and division of large numbers, the rule for finding a common measure, and, in short, a vast body of theory respecting numbers,—rests upon no other foundation than such axioms as have been just noticed, that if equals be added to equals the wholes will be equal. And even when Locke’s assertion, that from these axioms no truths can be deduced, is modified by Stewart and the reviewer, and limited to geometrical truths, it is hardly tenable (although, in fact, it matters little to our argument whether it is or no). For the greater part of the Seventh Book of Euclid’s Elements, (on Commensurable and Incommensurable Quantities,) and the Fifth Book, (on Proportion,) depend upon these axioms, with the addition only of the definition or axiom (for it may be stated either way) which expresses the idea of proportionality in numbers. So that the attempt to disprove the necessity and use of axioms, as principles of reasoning, fails even when we take those instances which the opponents consider as the more manifestly favourable to their doctrine.
8. But perhaps the question may have already suggested itself to the reader’s mind, of what use can it be formally to state such principles as these, (for example, that if equals be added to equals the wholes are equal,) since, whether stated or no, they will be assumed in our reasoning? And how can such principles be said to be necessary, when our proof proceeds equally well without any reference to them? And the answer is, that it is precisely because these are the [115] common principles of reasoning, which we naturally employ without specially contemplating them, that they require to be separated from the other steps and formally stated, when we analyse the demonstrations which we have obtained. In every mental process many principles are combined and abbreviated, and thus in some measure concealed and obscured. In analysing these processes, the combination must be resolved, and the abbreviation expanded, and thus the appearance is presented of a pedantic and superfluous formality. But that which is superfluous for proof, is necessary for the analysis of proof. In order to exhibit the conditions of demonstration distinctly, they must be exhibited formally. In the same manner, in demonstration we do not usually express every step in the form of a syllogism, but we see the grounds of the conclusiveness of a demonstration, by resolving it into syllogisms. Neither axioms nor syllogisms are necessary for conviction; but they are necessary to display the conditions under which conviction becomes inevitable. The application of a single one of the axioms just spoken of is so minute a step in the proof, that it appears pedantic to give it a marked place; but the very essence of demonstration consists in this, that it is composed of an indissoluble succession of such minute steps. The admirable circumstance is, that by the accumulation of such apparently imperceptible advances, we can in the end make so vast and so sure a progress. The completeness of the analysis of our knowledge appears in the smallness of the elements into which it is thus resolved. The minuteness of any of these elements of truth, of axioms for instance, does not prevent their being as essential as others which are more obvious. And any attempt to assume one kind of element only, when the course of our analysis brings before us two or more kinds, is altogether unphilosophical. Axioms and definitions are the proximate constituent principles of our demonstrations; and the intimate bond which connects together a definition and an axiom on the same subject is not truly expressed [116] by asserting the latter to be derived from the former. This bond of connexion exists in the mind of the reasoner, in his conception of that to which both definition and axiom refer, and consequently in the general Fundamental Idea of which that conception is a modification.
CHAPTER VI.
Of the Perception of Space.
1. ACCORDING to the views above explained, certain of the impressions of our senses convey to us the perception of objects as existing in space; inasmuch as by the constitution of our minds we cannot receive those impressions otherwise than in a certain form, involving such a manner of existence. But the question deserves to be asked, What are the impressions of sense by which we thus become acquainted with space and its relations? And as we have seen that this idea of space implies an act of the mind as well as an impression on the sense, what manifestations do we find of this activity of the mind, in our observation of the external world?
It is evident that sight and touch are the senses by which the relations of space are perceived, principally or entirely. It does not appear that an odour, or a feeling of warmth or cold, would, independently of experience, suggest to us the conception of a space surrounding us. But when we see objects, we see that they are extended and occupy space; when we touch them, we feel that they are in a space in which we also are. We have before our eyes any object, for instance, a board covered with geometrical diagrams; and we distinctly perceive, by vision, those lines of which the relations are the subjects of our mathematical reasoning. Again, we see before us a solid object, a cubical box for instance; we see that it is within reach; we stretch out the hand and perceive by the touch that it has sides, edges, corners, which we had already perceived by vision. [118]
2. Probably most persons do not generally apprehend that there is any material difference in these two cases;—that there are any different acts of mind concerned in perceiving by sight a mathematical diagram upon paper, and a solid cube lying on a table. Yet it is not difficult to show that, in the latter case at least, the perception of the shape of the object is not immediate. A very little attention teaches us that there is an act of judgment as well as a mere impression of sense requisite, in order that we may see any solid object. For there is no visible appearance which is inseparably connected with solidity. If a picture of a cube be rightly drawn, in perspective and skilfully shaded, the impression upon the sense is the same as if it were a real cube. The picture may be mistaken for a solid object. But it is clear that, in this case, the solidity is given to the object by an act of mental judgment. All that is seen is outline and shade, figures and colours on a flat board. The solid angles and edges, the relation of the faces of the figure by which they form a cube, are matters of inference. This, which is evident in the case of the pictured cube, is true in all vision whatever. We see a scene before us on which are various figures and colours, but the eye cannot see more. It sees length and breadth, but no third dimension. In order to know that there are solids, we must infer as well as see. And this we do readily and constantly; so familiarly, indeed, that we do not perceive the operation. Yet we may detect this latent process in many ways; for instance, by attending to cases in which the habit of drawing such inferences misleads us. Most persons have experienced this delusion in looking at a scene in a theatre, and especially that kind of scene which is called a diorama, when the interior of a building is represented. In these cases, the perspective representations of the various members of the architecture and decoration impress us almost irresistibly with the conviction that we have before us a space of great extent and complex form, instead of a flat painted canvass. Here, at least, the space is our own creation; but yet here, it is [119] manifestly created by the same act of thought as if we were really in the palace or the cathedral of which the halls and aisles thus seem to inclose us. And the act by which we thus create space of three dimensions out of visible extent of length and breadth, is constantly and imperceptibly going on. We are perpetually interpreting in this manner the language of the visible world. From the appearances of things which we directly see, we are constantly inferring that which we cannot directly see,—their distance from us, and the position of their parts.
3. The characters which we thus interpret are various. They are, for instance, the visible forms, colours, and shades of the parts, understood according to the maxims of perspective; (for of perspective every one has a practical knowledge, as every one has of grammar;) the effort by which we fix both our eyes on the same object, and adjust each eye to distinct vision; and the like. The right interpretation of the information which such circumstances give us respecting the true forms and distances of things, is gradually learned; the lesson being begun in our earliest infancy, and inculcated upon us every hour during which we use our eyes. The completeness with which the lesson is mastered is truly admirable; for we forget that our conclusion is obtained indirectly, and mistake a judgment on evidence for an intuitive perception. We see the breadth of the street, as clearly and readily as we see the house on the other side of it; and we see the house to be square, however obliquely it be presented to us. This, however, by no means throws any doubt or difficulty on the doctrine that in all these cases we do interpret and infer. The rapidity of the process, and the unconsciousness of the effort, are not more remarkable in this case than they are when we understand the meaning of the speech which we hear, or of the book which we read. In these latter cases we merely hear noises or see black marks; but we make, out of these elements, thought and feeling, without being aware of the act by which we do so. And by an exactly similar process we see a variously-coloured [120] expanse, and collect from it a space occupied by solid objects. In both cases the act of interpretation is become so habitual that we can hardly stop short at the mere impression of sense.