An Essay on the Foundations of Geometry

we require p's coordinates, i.e., some measurement of distance from the origin. But the distance from the origin could only be measured if we assumed our law f(p) to measure it by. For suppose the origin to be O, and Op to be a straight line whose length is required. If we have a measuring rod with which we travel along the line and measure successive infinitesimal arcs, the measuring rod will change its size as we move, so that an arc which appears by the measure to be ds will really be f(s).ds, where s is the previously traversed distance. If, on the other hand, we move our line Op slowly through the origin, and measure each piece as it passes through, our measure, it is true, will not alter, but now we have no means of discovering the law by which any element has changed its length in coming to the origin. Hence, until we assume our function f(p), we have no means of determining p, for we have just seen that distances from the origin can only be estimated by means of the law f(p). It follows that experience can neither prove nor disprove the constancy of shapes throughout motion, since, if shapes were not constant, we should have to assume a law of their variation before measurement became possible, and therefore measurement could not itself reveal that variation to us[154]. Nevertheless, such an arbitrarily assumed law does, at first sight, give a mathematically possible Geometry. The fundamental proposition, that two magnitudes which can be superposed in any one position can be superposed in any other, still holds. For two infinitesimal arcs, whose lengths in the standard position are ds1 and ds2, would, in any other position p, have lengths f(p).ds1 and f(p).ds2, so that their ratio would be unaltered. From this constancy of ratio, as we know through Riemann and Helmholtz, the above proposition follows. Hence all that Geometry requires, it would seem, as a basis for measurement, is an axiom that the alteration of shapes during motion follows a definite known law, such as that assumed above. 147. There is, however, in such a view, as I remarked above, a logical error as to the nature of magnitude. This error has been already pointed out in dealing with Erdmann[155], and need only be briefly repeated here. A judgment of magnitude is essentially a judgment of comparison: in unmeasured quantity, comparison as to the mere more or less, but in measured magnitude, comparison as to the precise how many times. To speak of differences of magnitude, therefore, in a case where comparison cannot reveal them, is logically absurd. Now in the case contemplated above, two magnitudes, which appear equal in one position, appear equal also when compared in another position. There is no sense, therefore, in supposing the two magnitudes unequal when separated, nor in supposing, consequently, that they have changed their magnitudes in motion. This senselessness of our hypothesis is the logical ground of the mathematical indeterminateness as to the law of variation. Since, then, there is no means of comparing two spatial figures, as regards magnitude, except superposition, the only logically possible axiom, if spatial magnitude is to be self-consistent, is the axiom of Free Mobility in the form first given above. 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