An essay on the foundations of geometry

by Bertrand Russell

75. After a general introduction, and a short history of the development of Metageometry, Erdmann proceeds, in his second chapter, to discuss what are the axioms of Euclidean Geometry. The arithmetical axioms, as they are called, he leaves aside, as applying to magnitude in general; what we want here, he says, is a definition of space, for which the geometrical axioms are alone relevant. But a definition of space, he says—following Riemann—demands a genus of which space shall be a species, and this, since our space is psychologically unique, can only be furnished by analytical mathematics (p. 36). Now the space-forms dealt with by Geometry are magnitudes, and conceptions of magnitude are everywhere applied in Geometry. But before Riemann, only particular determinations of space could be exhibited as magnitudes, and thus the desired definition was impossible to obtain. Now, however, we can subsume space as a whole under a general conception of magnitude, and thus obtain, besides the space-intuition and the space-conception, a third form, namely, the conception of space as a magnitude (Grössenbegriff vom Raum, pp. 38–39). The definition of this will give us the complete, but not redundant, system of axioms, which could not be obtained by transforming the general intuition of space into the space-conception, for want of a plurality of instances (p. 40).

76. Before considering the subsequent method of definition, let us reflect on the theories involved in the above account of the conception of space as a magnitude. In the first place, it is assumed that conceptions cannot be formed unless we have a series of separate objects from which to abstract a common property—in other words, that the universal is always the general. In the second place, it is assumed that all definition is classification under a genus. In the third place, the conception of magnitude, if I am not mistaken, is fundamentally misunderstood when it is supposed applicable to space as a whole. But in the fourth place, even if such a conception existed, it could give none of the essential properties of space. Let us consider these four points successively.

77. As regards the first point, it is to be observed that people certainly had some conception of space before Riemann invented the notion of a manifold, and that this conception was certainly something other than the common qualities of all the points, lines or figures in space. In the second place, Erdmann's view would make it impossible to conceive God, unless one were a polytheist, or the universe—unless, like Leibnitz, one imagined a series of possible worlds, set over against God, and none of them, therefore, a true Universe—or, to take an instance more likely to appeal to an empiricist, the necessarily unique centre of mass of the material universe. Any universal, in short, which is a bond or unity between things, and not merely a common property among independent objects, becomes impossible on Erdmann's view. We cannot, therefore, unless we adopt Mill's philosophy intact, regard the conception of space as demanding a series of instances from which to abstract. But even if we did so regard it, Riemann's manifolds would leave us without resources. For Euclidean space still appears as unique, at the end of his series of determinations. We have instances of manifolds, but not instances of Euclidean space. Thus if Erdmann's theory of conceptions were correct, he would still be left searching in vain for the conception of Euclidean space.

78. The second point, the view that all definition is classification, is closely allied to the first, and the two together plunge us into the depths of scholastic formal logic. The same instances of things which could not, on Erdmann's view, be conceived, may now be adduced as things which cannot be defined. Whatever was said above applies here also, and the point need not, therefore, be further discussed[94].

79. As regards the third point, the impossibility of applying conceptions of magnitude to space as a whole, a longer argument will be necessary, for we are concerned, here, with the whole question of the logical nature of judgments of magnitude. As we had before too much comparison for our needs, so we have now too little. I will endeavour to explain this point, which is of great importance, and underlies, I think, most of the philosophical fallacies of Riemann's school.

A judgment of magnitude is always a judgment of comparison, and what is more, the comparison is never concerned with quality, but only with quantity. Quality, in the judgment of magnitude, is supposed identical, in the object whose magnitude is stated, and in the unit with which it is compared. But quality, except in pure number, and in pure quantity as dealt with by the Calculus, is always present, and is partly absorbed into quantity, partly untouched by the judgment of magnitude. As Bosanquet says (Logic, Vol. I. p. 124); "Quantitative comparison is not prima facie coordinate with qualitative, but rather stands in its place as the effect of comparison on quality, which so far as comparable becomes quantity, and so far as incomparable furnishes the distinction of parts essential to the quantitative whole" (italics in the original). Thus, if we are to regard space as a magnitude, we must be able to adduce all those series of instances of which Erdmann speaks, and which, for the conception of space, seemed irrelevant. But it remains to be proved that the comparison, which we can institute between various spaces, is capable of expression in a quantitative form. Rather it would seem that the difference of quality is such as to preclude quantitative comparison between different spaces, and therefore also to preclude all judgments of magnitude about space as a whole. Here an exception might seem to be demanded by non-Euclidean spaces, whose space-constants give a definite magnitude, inherent in space as a whole, and therefore, one might think, characterizing space as a magnitude. But this is a mistake. For the space-constant, in such spaces, is the ultimate unit, the fixed term in all quantitative comparison; it is itself, therefore, destitute of quantity, since there is no independently given magnitude with which to compare it. A non-Euclidean world, in which the space-constant and all lines and figures were suddenly multiplied in a constant ratio, would be wholly unchanged; the lines, as measured against the space-constant, would have the same magnitude as before, and the space-constant itself, having no outside standard of comparison, would be destitute of quantity, and therefore not subject to change of quantity. Such an enlargement of a non-Euclidean world, in other words, is unmeaning; and this proves how inapplicable is the notion of quantity to space as a whole.

It might be objected that this only proves the absence of quantitative difference between different spaces of positive space-constant, or between those of negative space-constant: the quantitative difference persists, it might be said, between those of positive curvature in general and those of negative curvature in general, or between both together and Euclidean space. This I entirely deny. There is no qualitatively similar unit, in the three kinds of space, by which quantitative comparison could be effected. The straight lines of one space cannot be put into the other: the two straight lines, in one space, whose product is the reciprocal of the measure of curvature, have no corresponding curves in the other space, and the measures of curvature cannot, therefore, be quantitatively compared with each other. That the one may be regarded as positive, the other negative, I admit, but their values are indeterminate, and the units in the two cases are qualitatively different. A debt of £300 may be represented as the asset of -£300, and the height of the Eiffel Tower is +300 metres; but it does not follow that the two are quantitatively comparable. So with space-constants: the space-constant is itself the unit for magnitudes in its own space, and differs qualitatively from the space-constant of another kind of space.

Again, to proceed to a more philosophical argument, two different spaces cannot co-exist in the same world: we may be unable to decide between the alternatives of the disjunction, but they remain, none the less, absolutely incompatible alternatives. Hence we cannot get that coexistence of two spaces which is essential to comparison. The fact seems to be that Erdmann, in his admiration for Riemann and Helmholtz, has fallen in with their mathematical bias, and assumed, as mathematicians naturally tend to assume, that quantity is everywhere and always applicable and adequate, and can deal with more than the mere comparison of things whose qualities are already known as similar[95].

80. This suggests the fourth and last of the above points, that the qualities of space, even if space could be successfully regarded as a magnitude, would have to be entirely omitted in such a manner of regarding it, and that, therefore, none of its important or essential properties would emerge from such treatment. For to regard space as a magnitude involves, as we saw, a comparison with something qualitatively similar, and an abstraction from the similar qualities. To some extent and by the help of certain doubtful arguments, such a comparison is instituted by Riemann and Erdmann; but when they have instituted it, they forget all about the common qualities on which its possibility depends. But these are precisely the fundamental properties of space, and those from which, as I shall endeavour to prove in Chapter III., the axioms common to Euclid and Metageometry follow à priori. Such are the dangers of the quantitative bias.