148. Although this axiom is à priori, its application to the measurement of actual bodies, as we found in discussing Helmholtz's views, always involves an empirical element[156]. Our axiom, then, only supplies the à priori condition for carrying out an operation which, in the concrete, is empirical—just as arithmetic supplies the à priori condition for a census. As this topic has been discussed at length in Chapter II., I shall say no more about it here.
149. There remain, however, a few objections and difficulties to be discussed. First, how do we obtain equality in solids, and in Kant's cases of right and left hands, or of right and left-handed screws, where actual superposition is impossible? Secondly, how can we take congruence as the only possible basis of spatial measurement, when we have before us the case of time, where no such thing as congruence is conceivable? Thirdly, it might be urged that we can immediately estimate spatial equality by the eye, with more or less accuracy, and thus have a measure independent of congruence. Fourthly, how is metrical Geometry possible on non-congruent surfaces, if congruence be the basis of spatial measurement? I will discuss these objections successively.
150. (1) How do we measure the equality of solids? These could only be brought into actual congruence if we had a fourth dimension to operate in[157], and from what I have said before of the absolute necessity of this test, it might seem as though we should be left here in utter ignorance. Euclid is silent on the subject, and in all works on Geometry it is assumed as self-evident that two cubes of equal side are equal. This assumption suggests that we are not so badly off as we should have been without congruence, as a test of equality in one or two dimensions; for now we can at least be sure that two cubes have all their sides and all their faces equal. Two such cubes differ, then, in no sensible spatial quality save position, for volume, in this case at any rate, is not a sensible quality. They are, therefore, as far as such qualities are concerned, indiscernible. If their places were interchanged, we might know the change by their colour, or by some other non-geometrical property; but so far as any property of which Geometry can take cognisance is concerned, everything would seem as before. To suppose a difference of volume, then, would be to ascribe an effect to mere position, which we saw to be inadmissible while discussing Free Mobility. Except as regards position, they are geometrically indiscernible, and we may call to our aid the Identity of Indiscernibles to establish their agreement in the one remaining geometrical property of volume. This may seem rather a strange principle to use in Mathematics, and for Geometry their equality is, perhaps, best regarded as a definition; but if we demand a philosophical ground for this definition, it is, I believe, only to be found in the Identity of Indiscernibles. We can, without error, make our definition of three-dimensional equality rest on two-dimensional congruence. For since direct comparison as to volume is impossible, we are at liberty to define two volumes as equal, when all their various lines, surfaces, angles and solid angles are congruent, since there remains, in such a case, no measurable difference between the figures composing the two volumes. Of course, as soon as we have established this one case of equality of volumes, the rest of the theory follows; as appears from the ordinary method of integrating volumes, by dividing them into small cubes.
Thus congruence helps to establish three-dimensional equality, though it cannot directly prove such equality; and the same philosophical principle, of the homogeneity of space, by which congruence was proved, comes to our rescue here. But how about right-handed and left-handed screws? Here we can no longer apply the Identity of Indiscernibles, for the two are very well discernible. But as with solids, so here, Free Mobility can help us much. It can enable us, by ordinary measurement, to show that the internal relations of both screws are the same, and that the difference lies only in their relation to other things in space. Knowing these internal relations, we can calculate, by the Geometry which Free Mobility has rendered possible, all the geometrical properties of these screws—radius, pitch, etc.—and can show them to be severally equal in both. But this is all we require. Mediate comparison is possible, though immediate comparison is not. Both can, for instance, be compared with the cylinder on which both would fit, and thus their equality can be proved. A precisely similar proof holds, of course, for the other cases, right and left hands, spherical triangles, etc. On the whole, these cases confirm my argument; for they show, as Kant intended them to show[158], the essential relativity of space.
151. (2) As regards time, no congruence is here conceivable, for to effect congruence requires always—as we saw in the case of solids—one more dimension than belongs to the magnitudes compared. No day can be brought into temporal coincidence with any other day, to show that the two exactly cover each other; we are therefore reduced to the arbitrary assumption that some motion or set of motions, given us in experience, is uniform. Fortunately, we have a large set of motions which all roughly agree; the swing of the pendulum, the rotation and revolution of the earth and the planets, etc. These do not exactly agree, but they lead us to the laws of motion, by which we are able, on our arbitrary hypothesis, to estimate their small departures from uniformity; just as the assumption of Free Mobility enabled us to measure the departures of actual bodies from rigidity. But here, as there, another possibility is mathematically open to us, and can only be excluded by its philosophic absurdity; we might have assumed that the above set of approximately agreeing motions all had velocities which varied approximately as some arbitrarily assumed function of the time, f(t) say, measured from some arbitrary origin. Such an assumption would still keep them as nearly synchronous as before, and would give an equally possible, though more complex, system of Mechanics; instead of the first law of motion, we should have the following: A particle perseveres in its state of rest, or of rectilinear motion with velocity varying as f(t), except in so far as it is compelled to alter that state by the action of external forces. Such a hypothesis is mathematically possible, but, like the similar one for space, it is excluded logically by the comparative nature of the judgment of quantity, and philosophically by the fact that it involves absolute time, as a determining agent in change, whereas time can never, philosophically, be anything but a passive form, abstracted from change. I have introduced this parallel from time, not as directly bearing on the argument, but as a simpler case which may serve to illustrate my reasoning in the more complex case of space. For since time, in mathematics, is one-dimensional, the mathematical difficulties are simpler than in Geometry; and although nothing accurately corresponds to congruence, there is a very similar mixture of mathematical and philosophical necessity, giving, finally, a thoroughly definite axiom as the basis of time-measurement, corresponding to congruence as the basis of space-measurement[159].
152. (3) The case of time-measurement suggests the third of the above objections to the absolute necessity of the axiom of Free Mobility. Psycho-physics has shown that we have an approximate power, by means of what may be called the sense of duration, of immediately estimating equal short times. This establishes a rough measure independent of any assumed uniform motion, and in space also, it may be said, we have a similar power of immediate comparison. We can see, by immediate inspection, that the sub-divisions on a foot rule are not grossly inaccurate; and so, it may be said, we both have a measure independent of congruence, and also could discover, by experience, any gross departure from Free Mobility. Against this view, however, there is at the outset a very fundamental psychological objection. It has been urged that all our comparison of spatial magnitudes proceeds by ideal superposition. Thus James says (Psychology, Vol. II. p. 152): "Even where we only feel one sub-division to be vaguely larger or less, the mind must pass rapidly between it and the other sub-division, and receive the immediate sensible shock of the more," and "so far as the sub-divisions of a sense-space are to be measured exactly against each other, objective forms occupying one sub-division must be directly or indirectly superposed upon the other[160]."
Even if we waive this fundamental objection, however, others remain. To begin with, such judgments of equality are only very rough approximations, and cannot be applied to lines of more than a certain length, if only for the reason that such lines cannot well be seen together. Thus this method can only give us any security in our own immediate neighbourhood, and could in no wise warrant such operations as would be required for the construction of maps &c., much less the measurement of astronomical distances. They might just enable us to say that some lines were longer than others, but they would leave Geometry in a position no better than that of the Hedonical Calculus, in which we depend on a purely subjective measure. So inaccurate, in fact, is such a method acknowledged to be, that the foot-rule is as much a need of daily life as of science. Besides, no one would trust such immediate judgments, but for the fact that the stricter test of congruence to some extent confirms them; if we could not apply this test, we should have no ground for trusting them even as much as we do. Thus we should have, here, no real escape from our absolute dependence upon the axiom of Free Mobility.
153. (4) One last elucidatory remark is necessary before our proof of this axiom can be considered complete. We spoke above of the Geometry on an egg, where Free Mobility does not hold. What, I may be asked, is there about a thoroughly non-congruent Geometry, more impossible than this Geometry on the egg? The answer is obvious. The Geometry of non-congruent surfaces is only possible by the use of infinitesimals, and in the infinitesimal all surfaces become plane. The fundamental formula, that for the length of an infinitesimal arc, is only obtained on the assumption that such an arc may be treated as a straight line, and that Euclidean Plane Geometry may be applied in the immediate neighbourhood of any point. If we had not our Euclidean measure, which could be moved without distortion, we should have no method of comparing small arcs in different places, and the Geometry of non-congruent surfaces would break down. Thus the axiom of Free Mobility, as regards three-dimensional space, is necessarily implied and presupposed in the Geometry of non-congruent surfaces; the possibility of the latter, therefore, is a dependent and derivative possibility, and can form no argument against the à priori necessity of congruence as the test of equality.
154. It is to be observed that the axiom of Free Mobility, as I have enunciated it, includes also the axiom to which Helmholtz gives the name of Monodromy. This asserts that a body does not alter its dimensions in consequence of a complete revolution through four right angles, but occupies at the end the same position as at the beginning. The supposed mathematical necessity of making a separate axiom of this property of space has been disproved by Sophus Lie (v. [Chap. I. § 45]); philosophically, it is plainly a particular case of Free Mobility[161], and indeed a particularly obvious case, for a translation really does make some change in a body, namely, a change in position, but a rotation through four right angles may be supposed to have been performed any number of times without appearing in the result, and the absurdity of ascribing to space the power of making bodies grow in the process is palpable; everything that was said above on congruence in general applies with even greater evidence to this special case.
155. The axiom of Free Mobility involves, if it is to be true, the homogeneity of space, or the complete relativity of position. For if any shape, which is possible in one part of space, be always possible in another, it follows that all parts of space are qualitatively similar, and cannot, therefore, be distinguished by any intrinsic property. Hence positions in space, if our axiom be true, must be wholly defined by external relations, i.e. Position is not an intrinsic, but a purely relative, property of things in space. If there could be such a thing as absolute position, in short, metrical Geometry would be impossible. This relativity of position is the fundamental postulate of all Geometry, to which each of the necessary metrical axioms leads, and from which, conversely, each of these axioms can be deduced.