An Essay on the Foundations of Geometry

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. (2) The axiom of Free Mobility, it may be said, is logically distinguishable from the assertion of rigid bodies, and may even be not empirical; but it is barren, even for pure Geometry, without the aid of measures, which must themselves be empirical rigid bodies. This sense is more plausible than the first, but I believe we can show that, in this sense also, the proposition is false. (3) For pure Geometry and the abstract study of space, it may be said, Free Mobility, as applied to an abstract geometrical matter, gives a sufficient possibility of quantitative comparison; but the moment we extend our results to mixed mathematics, and apply them to empirically given matter, we require also, as measures, empirically given rigid bodies, or bodies, at least, whose departures from rigidity are empirically known. In this sense, I admit, the proposition is correct[89]. In discussing these three meanings, I shall not confine myself strictly to the text of Helmholtz or Land: if I endeavoured to do so, I should be met by the difficulty that neither of them defines the à priori, and that each is too much inclined, in my opinion, to test it by psychological criteria. I shall, therefore, take the three meanings in turn, without laying stress on their historical adequacy to the views of Land or Helmholtz. 70. (1) Congruence may be taken to mean—as Helmholtz would certainly seem to desire—that we find actual bodies, in our mechanical experience, to preserve their shapes with approximate constancy, and that we infer, from this experience, the homogeneity of space. This view, in my opinion, radically misconceives the nature of measurement, and of the axioms involved in it. For what is meant by the non-rigidity of a body? We mean, simply, that it has changed its shape. But this involves the possibility of comparison with its former shape, in other words, of measurement. In order, therefore, that there may be any question of rigidity or non-rigidity, the measurement of spatial magnitudes must be already possible. It follows that measurement cannot, without a vicious circle, be itself derived from experience of rigid bodies. Geometrical measurement, in fact, is the comparison of spatial magnitudes, and such comparison involves, as will be proved at length in Chapter III., the homogeneity of space. This is, therefore, the logical prerequisite of all experience of rigid bodies, and cannot be the result of such experience. Without the homogeneity of space, the very notion of rigidity or non-rigidity could not exist, since these mean, respectively, the constancy or inconstancy of spatial magnitude in pieces of matter, and both alike, therefore, presuppose the possibility of spatial measurement. From the homogeneity of space, we learn that a body, when it moves, will not change its shape without some physical cause; that it actually does not change its shape, is never asserted, and is indeed known to be false. As soon as measurement is possible, actual changes of shape can be estimated, and their empirical causes can be sought. But if space were not homogeneous, measurement would be impossible, constant shape would be a meaningless phrase, and rigidity could never be experienced. Congruence asserts, in short, that a body can, so far as mere space is concerned, move without change of shape; rigidity asserts that it actually does so move—a very different proposition, involving obviously, as its logical prius, the former geometrical proposition. This argument may be summed up by the following disjunction: If bodies change their shapes in motion—and to some extent, since no body is perfectly rigid, they must all do so—then one of two cases must occur. Either the changes of shape, as bodies move from place to place, follow no geometrical law, are not, for instance, functions of the amount or direction of motion; in which case the law of causation requires that they should not be effects of the change of place, but of some simultaneous non-geometrical change, such as temperature. Or the changes are regular, and the shape S becomes, in a new position p, Sf(p). In this case, the law of concomitant variations leads us to attribute the change of shape to the mere motion, and shape thus becomes a function of absolute position. But this is absurd, for position means merely a relation or set of relations; it is impossible, therefore, that mere position should be able to effect changes in a body. Position is one term in a relation, not a thing per se; it cannot, therefore, act on a thing, nor exist by itself, apart from the other terms of the relation. Thus Helmholtz's view, that Congruence depends on the existence of rigid bodies, must, since it involves absolute position, be condemned as a logical fallacy. Congruence, in fact, as I shall prove more fully in Chapter III., is an à priori deduction from the relativity of position. 71. (2) The above argument seems to me to answer satisfactorily Helmholtz's contention in the precise form which he first gave it. The axiom of Congruence, we must agree, is logically distinguishable from the existence of rigid bodies. Nevertheless some reference to matter is logically involved in Geometry[90], but whether this reference makes Geometry empirical, or does not, rather, show an