(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 à priori element in dynamics, is a further question.
The reference to matter is necessitated by the homogeneity of empty space. For so long as we leave matter out of account, one position is perfectly indistinguishable from another, and a science of the relations of positions is impossible. Indeed, before spatial relations can arise at all, the homogeneity of empty space must be destroyed, and this destruction must be effected by matter. The blank page is useless to the geometer until he defaces its homogeneity by lines in ink or pencil. No spatial figures, in short, are conceivable, without a reference to a not purely spatial matter. Again, if Congruence is ever to be used, there must be motion: but a purely geometrical point, being defined solely by its spatial attributes, cannot be supposed to move without a contradiction in terms. What moves, therefore, must be matter. Hence, in order that motion may afford a test of equality, we must have some matter which is known to be unaffected throughout the motion, that is, we must have some rigid bodies. And the difficulty is, that these bodies must not only undergo no change due solely to the nature of space, but must, further, be unchanged by their changing relation to other bodies. And here we have a requisite which can no longer be fulfilled à priori: which, indeed, we know to be, in strictness, untrue. For the forces acting on a body depend upon its spatial relations to other bodies, and changing forces are liable to produce changing configuration. Hence, it would seem, actual measurement must be purely empirical, and must depend on the degree of rigidity to be obtained, during the process of measurement, in the bodies with which we are conversant.
This conclusion, I believe, is valid of all actual measurement. But the possibility of such empirical and approximate rigidity, I must insist, depends on the à priori law that mere motion, apart from the action of other matter, cannot effect a change of shape. For without this law, the effect of other matter would not be discoverable; the laws of motion would be absurd, and Physics would be impossible. Consider the second law, for example: How could we measure the change of motion, if motion itself produced a change in our measures? Or consider the law of gravitation: How could we establish the inverse square, unless we were able, independently of Dynamics, to measure distances? The whole science of Dynamics, in short, is fundamentally dependent on Geometry, and but for the independent possibility of measuring spatial magnitudes, none of the magnitudes of Dynamics could be measured. Time, force, and mass are alike measured by spatial correlates: these correlates are given, for time, by the first law, for force and mass, by the second and third. It is true, then, that an empirical element appears unavoidably in all actual measurement, inasmuch as we can only know empirically that a given piece of matter preserves its shape throughout the necessary change of dynamical relations to other matter involved in motion; but it is further true that, for Geometry—which regards matter simply as supplying the necessary breach in the homogeneity of space, and the necessary term for spatial relations, not as the bearer of forces which change the configuration of other material systems—for Geometry, which deals with this abstract and merely kinematical matter, rigidity is à priori, in so far as the only changes with which it is cognizant—changes of mere position, namely—are incapable of affecting the shapes of the imaginary and abstract bodies with which it deals. To use a scholastic distinction, we may say that matter is the causa essendi of space, but Geometry is the causa cognoscendi of Physics. Without a Geometry independent of Physics, Physics itself, which necessarily assumes the results of Geometry, could never arise; but when Geometry is used in Physics, it loses some of its à priori certainty, and acquires the empirical and approximate character which belongs to all accounts of actual phenomena.
72. (3) This argument leads us to Land's distinction of physical and geometrical rigidity. The distinction may be expressed—and I think it is better expressed—by distinguishing between the conceptions of matter proper to Dynamics and to Geometry respectively. In Dynamics, we are concerned with matter as subject to and as causing motion, as affected by and as exerting force. We are therefore concerned with the changes of spatial configuration to which material systems are liable: the description and explanation of these changes is the proper subject-matter of all Dynamics. But in order that such a science may exist, it is obviously necessary that spatial configuration should be already measurable. If this were not the case, motion, acceleration and force would remain perfectly indeterminate. Geometry, therefore, must already exist before Dynamics becomes possible: to make Geometry dependent for its possibility on the laws of motion or any of their consequences, is a gross ὕστερον πρότερον. Nevertheless, as we have seen, some sort of matter is essential to Geometry. But this geometrical matter is a more abstract and wholly different matter from that of Dynamics. In order to study space by itself, we reduce the properties of matter to a bare minimum: we avoid entirely the category of causation, so essential to Dynamics, and retain nothing, in our matter, but its spatial adjectives[91]. The kind of rigidity affirmed of this abstract matter—a kind which suffices for the theory of our science, though not for its application to the objects of daily life—is purely geometrical, and asserts no more than this: That since our matter is devoid, ex hypothesi, of causal properties, there remains nothing, in mere empty space, which is capable of changing the configuration of any geometrical system. A change of absolute position, it asserts, is nothing; therefore the only real change involved in motion is a change of relation to other matter; but such other matter, for the purposes of our science, is regarded as destitute of causal powers; hence no change can occur, in the configuration of our system, by the mere effect of motion through empty space. The necessity of such a principle may be shown by a simple reductio ad absurdum, as follows. A motion of translation of the universe as a whole, with constant direction and velocity, is dynamically negligeable; indeed it is, philosophically, no motion at all, for it involves no change in the condition or mutual relations of the things in the universe. But if our geometrical rigidity were denied, the change in the parameter of space might cause all bodies to change their shapes owing to the mere change of absolute position, which is obviously absurd.
To make quite plain the function of rigid bodies in Geometry, let us suppose a liquid geometer in a liquid world. We cannot suppose the liquid perfectly homogeneous and undifferentiated, in the first place because such a liquid would be indistinguishable from empty space, in the second place because our geometer's body—unless he be a disembodied spirit—will itself constitute a differentiation for him. We may therefore assume