We are thus brought back to the point from which we started, namely, the falsity of Riemann's initial disjunction, and the consequent fallacy in his proof of the empirical nature of the axioms. His philosophy is chiefly vitiated, to my mind, by this fallacy, and by the uncritical assumption that a metrical coordinate system can be set up independently of any axioms as to space-measurement[82]. Riemann has failed to observe, what I have endeavoured to prove in the next chapter, that, unless space had a strictly constant measure of curvature, Geometry would become impossible; also that the absence of constant measure of curvature involves absolute position, which is an absurdity. Hence he is led to the conclusion that all geometrical axioms are empirical, and may not hold in the infinitesimal, where observation is impossible. Thus he says (p. 267): "Now the empirical conceptions, on which spatial measurements are based, the conceptions of the rigid body and the light-ray, appear to lose their validity in the infinitesimal: it is therefore quite conceivable that the relations of spatial magnitudes in the infinitesimal do not correspond to the presuppositions of Geometry, and this would, in fact, have to be assumed, as soon as it would enable us to explain the phenomena more simply." From this conclusion I must entirely dissent. In very large spaces, there might be a departure from Euclid; for they depend upon the axiom of parallels, which is not contained in the axiom of Free Mobility; but in the infinitesimal, departures from Euclid could only be due to the absence of Free Mobility, which, as I hope my third chapter will show, is once for all impossible.
Helmholtz.
66. Helmholtz, like Riemann, was important both in the mathematics and in the philosophy of Geometry. From the mathematical point of view, his work has been already considered in Chapter I.; the consideration of his philosophy, which must occupy us here, will be a more serious task. Like Riemann, he endeavoured to prove that all the axioms are empirical, and like Riemann, he based his proof chiefly on Metageometry. He had an additional resource, however, in the physiology of the senses, which first led him to reject the Transcendental Aesthetic, and enabled him to attack Kant from the psychological as well as the mathematical side[83].
The principal topics, for a criticism of Helmholtz, are three: First, his criterion of the à priori; second, his discussion with Land as to the "imaginability" of non-Euclidean spaces; third—and this is by far the most important of the three—his theory of the dependence of Geometry on Mechanics. Let us discuss these three points successively.
67. Helmholtz's criterion of apriority is difficult to discover, as he never, to my knowledge, gives a precise statement of it. From his discussion of physical and transcendental Geometry[84], however, it would appear that he regards as empirical whatever applies to empirical matter. For he there maintains, that even if space were an à priori form, yet any Geometry, which aimed at an application to Physics, would, since the actual places of bodies are not known à priori, be necessarily empirical[85]. It seems the more probable that he regards this as a possible criterion, as it is adopted, in several passages, by his disciple Erdmann[86], and so strange a test could hardly be accepted by a philosopher, unless he had found it in his master. I have called this a strange test, because it seems to me completely to ignore the work of the Critical Philosophy. For if there is one thing which, one might have hoped, had been made sufficiently clear by Kant's Critique, it is this, that knowledge which is à priori, being itself the condition of possible experience, applies—and in Kant's view, applies only—to empirical matter. Helmholtz and Erdmann, therefore, in setting up this test without discussion, simply ignore the existence of Kant and the possibility of a transcendental argument. Helmholtz assumes always that empirical knowledge must be wholly empirical, that there can be no à priori conditions of the experience in question, that experience will always be possible, and may give any kind of result. Thus in discussing "physical" Geometry, he assumes that the possibility of empirical measurement involves no à priori axioms, and that no à priori element can be contained in the process. This assumption, as we shall see in Chapter III., is quite unwarrantable: certain properties of space, in fact, are involved in the possibility of measuring matter. In spite of the fact, therefore, that we apply measurement to empirical matter, and that our results are therefore empirical, there may well be an à priori element in measurement, which is presupposed in its possibility. Such a criterion, therefore, must pronounce everything empirical, but must itself be pronounced worthless.
Another and a better criterion, it is true, is also to be found in Helmholtz, and has also been adopted by Erdmann. Whatever might, by a different experience, have been rendered different—so this criterion contends—must itself be dependent on experience, and so empirical. This criterion seems perfectly sound, but Helmholtz's use of it is usually vitiated by his neglecting to prove the possibility of the different experience in question. He says, for example, that if our experience showed us only bodies which changed their shapes in motion, we should not arrive at the axiom of Congruence, which he pronounces accordingly to be empirical. But I shall endeavour to prove, in Chapter III., that without the axiom of Congruence, experience of spatial magnitude would be impossible. If my proof be correct, it follows that no experience can ever reveal spatial magnitudes which contradict this axiom—a possibility which Helmholtz nowhere discusses, in setting up his hypothetical experience. Thus this second criterion, though perfectly sound, requires always an accompanying transcendental argument, as to the conditions of possible experience. But this accompaniment is seldom to be found in Helmholtz.
68. One of the few cases, in which Helmholtz has attempted such an accompaniment, occurs in connection with our second point, the imaginability of non-Euclidean spaces. The argument on this point was elicited by Helmholtz's Kantian opponents, who maintained that the merely logical possibility of these spaces was irrelevant, since the basis of Geometry was not logic, but intuition. The axioms, they said, are synthetic propositions, and their contraries are, therefore, not self-contradictory; they are nevertheless apodeictic propositions, since no other intuition than the Euclidean is possible to us[87]. I have already criticized this line of argument in the beginning of the present chapter. Helmholtz's criticism, however, was different: admitting the internal consistency of the argument, he denied one of its premisses. We can imagine non-Euclidean spaces, he said, though their unfamiliarity makes this difficult. From this view it followed, of course, that Kant's argument, even if it were formally valid, could not prove the apriority of Euclidean space in particular, but only of that general space which included Euclid and non-Euclid alike[88].
Although I agree with Helmholtz in thinking the distinction between Euclidean and non-Euclidean spaces empirical, I cannot think his argument on the "imaginability" of the latter a very happy one. The validity of any proof must turn, obviously, on the definition of imaginability. The definition which Helmholtz gives in his answer to Land is as follows: Imaginability requires "die vollständige Vorstellbarkeit derjenigen Sinneseindrücke, welche das betreffende Object in uns nach den bekannten Gesetzen unserer Sinnesorgane unter allen denkbaren Bedingungen der Beobachtung erregen, und wodurch es sich von anderen ähnlichen Objecten unterscheiden würde" (Wiss. Abh. II. p. 644). This definition is not very clear, owing to the ambiguity of the word "Vorstellbarkeit." The following definition seems less ambiguous: "Wenn die Reihe der Sinneseindrücke vollständig und eindeutig angegeben werden kann, muss man m. E. die Sache für anschaulich vorstellbar erklären" (Vorträge und Reden, II. p. 234). This makes clear, what also appears from his manner of proof, that he regards things as imaginable which can be described in conceptual terms. Such, as Land remarks (Mind, Vol. II. p. 45), "is not the sense required for argumentation in this case." That Land's criticism is just, is shown by Helmholtz's proof for non-Euclidean spaces, for it consists only in an analogy to the volume inside a sphere, which is mathematically obtained thus: We take the symbols representing magnitudes in "pseudo-spherical" (hyperbolic) space, and give them a new Euclidean meaning; thus all our symbolic propositions become capable of two interpretations, one for pseudo-spherical space, and one for the volume inside a sphere. It is, however, sufficiently obvious that this procedure, though it enables us to describe our new space, does not enable us to imagine it, in the sense of calling up images of the way things would look in it. We really derive, from this analogy, no more knowledge than a man born blind may derive, as to light, from an analogy with heat. The dictum "Nihil est in intellectu quod non fuerit ante in sensu," would unquestionably be true, if for intellect we were to substitute imagination; it is vain, therefore, if our actual space be Euclidean, to hope for a power of imagining a non-Euclidean space. What Helmholtz might, I believe with perfect truth, have urged against Land, is that the image we actually have of space is not sufficiently accurate to exclude, in the actual space we know, all possibility of a slight departure from the Euclidean type. But in maintaining that we cannot imagine, though we can conceive and describe, a space different from that we actually have, Land is, in my opinion, unquestionably in the right. For a pure Kantian, who maintains, with Land, that none of the axioms can be proved, this question is of great importance. But if, as I have maintained, some of the axioms are susceptible of a transcendental proof, while the others can be verified empirically, the question is freed from psychological implications, and the imaginability or non-imaginability of metageometrical spaces becomes unimportant.
69. We come now to the third and most important question, the relation of Geometry to Mechanics. There are three senses in which Helmholtz's appeal to rigid bodies may be taken: the first, I think, is the sense in which he originally intended it; the second seems to be the sense which he adopted in his defence against Land; while the third is admitted by Land, and will be admitted in the following argument. These three senses are as follows:
(1) It may be asserted that the actual meaning of the axiom of Free Mobility lies in the assertion of empirical rigid bodies, and that the two propositions are equivalent to one another. This is certainly false.