85. Lotze's argument as regards Geometry[100]—which follows a metaphysical argument as to the ontological nature of space, and assumes the results of this argument—consists of two parts: the first discusses the various meanings logically assignable (pp. 233–247) to the proposition that other spaces than Euclid's are possible, and the second criticizes, in detail, the procedure of Metageometry. The first of these questions is very important, and demands considerable care as to the logical import of a judgment of possibility. Although Lotze's discussion is excellent in many respects, I cannot persuade myself that he has hit on the only true sense in which non-Euclidean spaces are possible. I shall endeavour to make good this statement in the following pages.
86. Lotze opens with a somewhat startling statement, which, though philosophically worthy to be true, does not appear to be historically borne out. Euclidean Geometry has been chiefly shaken, he says, by the Kantian notion of the exclusive subjectivity of space—if space is only our private form of intuition, to which there exists no analogue in the objective world, then other beings may have other spaces, without supposing any difference in the world which they arrange in these spaces (p. 233). This certainly seems a legitimate deduction from the subjectivity of space, which, so far from establishing the universal validity of Euclid, establishes his validity only after an empirical investigation of the nature of space as intuited by Tom, Dick or Harry. But as a matter of fact, those who have done most to further non-Euclidean Geometry—with the exception of Riemann, who was a disciple of Herbart—have usually inherited from Newton a naïve realism as regards absolute space. I might instance the passage quoted from Bolyai in Chapter I., or Clifford, who seems to have thought that we actually see the images of things on the retina[101], or again Helmholtz's belief in the dependence of Geometry on the behaviour of rigid bodies. This belief led to the view that Geometry, like Physics, is an experimental science, in which objective truth can be attained, it is true, but only by empirical methods. However, Lotze's ground for uncertainty about Euclid is a philosophically tenable ground, and it will be instructive to observe the various possibilities which arise from it.
If space is only a subjective form—so Lotze opens his argument—other beings may have a different form. If this corresponds to a different world, the difference, he says, is uninteresting: for our world alone is relevant to any metaphysical discussion. But if this different space corresponds to the same world which we know under the Euclidean form, then, in his opinion, we get a question of genuine philosophic interest. And here he distinguishes two cases: either the relations between things, which are presented to these hypothetical beings under the form of some different space, are relations which do not appear to us, or at any rate do not appear spatial; or they are the same relations which appear to us as figures in Euclidean space (p. 235). The first possibility would be illustrated, he says, by beings to whom the tone or colour-manifolds appeared extended; but we cannot, in his opinion, imagine a manifold, such as is required for this case, to have its dimensions homogeneous and comparable inter se, and therefore the contents of the various presentations constituting such a manifold could not be combined into a single content containing them all. But the possibility of such a combination is of the essence of anything worth calling a space: therefore the first of the above possibilities is unmotived and uninteresting. Lotze's conclusion on this point, I think, is undeniable, but I doubt whether his argument is very cogent. However, as this possibility has no connection with that contemplated by non-Euclideans, it is not worth while to discuss it further.
The second possibility also, Lotze thinks, is not that of Metageometry, but in truth it comes nearer to it than any of the other possibilities discussed. If a non-Euclidean were at the same time a believer in the subjectivity of space, he would have to be an adherent of this view. Let us see more precisely what the view is. In Book II., Chapter I., Lotze has accepted the argument of the Transcendental Aesthetic, but rejected that of the mathematical antinomies: he has decided that space is, as Kant believed, subjective, but possesses nevertheless, what Kant denied it, an objective counterpart. The relation of presented space to its objective counterpart, as conceived by Lotze, is rather hard to understand. It seems scarcely to resemble the relation of sensation to its object—e.g. of light to ether-vibrations—for if it did, space would not be in any peculiar sense subjective. It seems rather to resemble the relation of a perceived bodily motion to the state of mind of the person willing the motion. However this may be, the objective counterpart of space is supposed to consist of certain immediate interactions of monads, who experience the interactions as modifications of their internal states. Such interactions, it is plain, do not form the subject-matter of Geometry, which deals only with our resulting perceptions of spatial figures. Now if Lotze's construction of space be correct, there seems certainly no reason why these resulting perceptions should not, for one and the same interaction between monads, be very different in beings differently constituted from ourselves. But if they were different, says Lotze, they would have to be utterly different—as different, for example, as the interval between two notes is from a straight line. The possibility is, therefore, in his opinion, one about which we can know nothing, and one which must remain always a mere empty idea. This seems to me to go too far: for whatever the objective counterpart may be, any argument which gives us information about it must, when reversed, give us information about any possible form of intuition in which this counterpart is presented. The argument which Lotze has used in his former chapter, for example, deducing, from the relativity of position, the merely relational nature of the objective counterpart, allows us, conversely, to infer, from this relational nature, the complete relativity of position in any possible space-intuition—unless, indeed, it bore a wholly deceitful relation to those interactions of monads which form its objective counterpart. But the complete relativity of position, as I shall endeavour to establish in Chapter III., suffices to prove that our Geometry must be Euclidean, elliptic, spherical or pseudo-spherical. We have, therefore, it would seem, very considerable knowledge, on Lotze's theory of space, of the manner in which what appears to us as space must appear to any beings with our laws of thought. We cannot know, it is true, what psychological theory of space-perception would apply to such beings: they might have a sense different from any of ours, and they might have no sense in any way resembling ours, but yet their Geometry would have points of resemblance to ours, as that of the blind coincides with that of the seeing. If space has any objective counterpart whatever, in short, and if any inference is possible, as Lotze holds it to be, from space to its counterpart, then a converse argument is also possible, though it may give some only of the qualities of Euclidean space, since some only of these qualities may be found to have a necessary analogue in the counterpart.
87. Admitting, then, in Lotze's sense, the subjectivity of space, the above possibility does not seem so empty as he imagines. He discusses it briefly, however, in order to pass on to what he regards as the real meaning of Metageometry. In this he is guilty of a mathematical mistake, which causes much irrelevant reasoning. For he believes that Metageometry constructs its spaces out of straight lines and angles in all respects similar to Euclid's, whence he derives an easy victory in proving that these elements can lead only to the one space. In this he has been misled by the phraseology of non-Euclideans, as well as by Euclid's separation of definitions and axioms. For the fact is, of course, that straight lines are only fully defined when we add to the formal definition the axioms of the straight line and of parallels. Within Euclidean space, Euclid's definition suffices to distinguish the straight line from all other curves; the two axioms referred to are then absorbed into the definition of space. But apart from the restriction to Euclidean space, the definition has to be supplemented by the two axioms, in order to define completely the Euclidean straight line. Thus Lotze has misconceived the bearing of non-Euclidean constructions, and has simply missed the point in arguing as he does. The possibility contemplated by a non-Euclidean, if it fell under any of Lotze's cases, would fall under the second case discussed above.
88. But the bearing of Metageometry is really, I think, different from anything imagined by Lotze; and as few writers seem clear on this point, I will enter somewhat fully into what I conceive to be its purpose.
In the first place, there are some writers—notably Clifford—who, being naïve realists as regards space, hold that our evidence is wholly insufficient, as yet, to decide as to its nature in the infinite or in the infinitesimal (cf. Essays, Vol. I. p. 320): these writers are not concerned with any possibility of beings different from ourselves, but simply with the everyday space we know, which they investigate in the spirit of a chemist discussing whether hydrogen is a metal, or an astronomer discussing the nebular hypothesis.
But these are a minority: most, more cautious, admit that our space, so far as observation extends, is Euclidean, and if not accurately Euclidean, must be only slightly spherical or pseudo-spherical. Here again, it is the space of daily life which is under discussion, and here further the discussion is, I think, independent of any philosophical assumption as to the nature of our space-intuition. For even if this be purely subjective, the translation of an intuition into a conception can only be accomplished approximately, within the errors of observation incident to self-analysis; and until the intuition of space has become a conception, we get no scientific Geometry. The apodeictic certainty of the axiom of parallels shrinks to an unmotived subjective conviction, and vanishes altogether in those who entertain non-Euclidean doubts. To reinforce the Euclidean faith, reason must now be brought to the aid of intuition; but reason, unfortunately, abandons us, and we are left to the mercy of approximate observations of stellar triangles—a meagre support, indeed, for the cherished religion of our childhood.
89. But the possibility of an inaccuracy so slight, that our finest instruments and our most distant parallaxes show no trace of it, would trouble men's minds no more than the analogous chance of inaccuracy in the law of gravitation, were it not for the philosophical import of even the slenderest possibility in this sphere. And it is the philosophical bearing of Metageometry alone, I think, which constitutes its real importance. Even if, as we will suppose for the moment, observation had established, beyond the possibility of doubt, that our space might be safely regarded as Euclidean, still Metageometry would have shown a philosophical possibility, and on this ground alone it could claim, I think, very nearly all the attention which it at present deserves.
But what is this possibility? A thing is possible, according to Bradley (Logic, p. 187), when it would follow from a certain number of conditions, some of which are known to be realized. Now the conditions to which a form of externality must conform, in order to be affirmed, are: first, of course, that it should be experienced, or legitimately inferred from something experienced; but secondly, that it should conform to certain logical conditions, detailed in Chapter III., which may be summed up in the relativity of position. Now what Metageometry has done, in any case, is to suggest the proof that the second of these conditions is fulfilled by non-Euclidean spaces. Euclid is affirmed, therefore, on the ground of immediate experience alone, and his truth, as unmediated by logical necessity, is merely assertorical, or, if we prefer it, empirical. This is the most important sense, it seems to me, in which non-Euclidean spaces are possible. They are, in short, a step in a philosophical argument, rather than in the investigation of fact: they throw light on the nature of the grounds for Euclid, rather than on the actual conformation of space[102]. This import of Metageometry is denied by Lotze, on the ground that non-Euclidean logic is faulty, a ground which he endeavours, by much detail and through many pages, to make good—with what success, we will now proceed to examine.