Poincaré maintains that the question, whether Euclid or Metageometry should be accepted, is one of convenience and convention, not of truth; axioms are definitions in disguise, and the choice between definitions is arbitrary. This view has been discussed in Chapter I., in connection with Cayley's theory of distance, on which it depends.
Lechalas is a philosophical disciple of Calinon. He is a rationalist of the pre-Kantian type, but a believer in the validity of Metageometry. He holds that Geometry can dispense with all purely spatial postulates, and work with axioms of magnitude alone[113], which, in his opinion, are purely analytic. The principle of contradiction, to him, is the sole and only test of truth; we make long chains of reasoning from our premisses to see if contradictions will emerge. It might be objected that this view, though it saves general Geometry from being logically empirical, leaves it only empirically logical; this must, in fact, be the fate of every piece of à priori knowledge, if M. Lechalas's were the only test of truth. However, he concludes that general Geometry is apodeictic, while the space of our actual world, like all other phenomena, is contingent.
Delbœuf criticizes non-Euclidean space from an ultra-realist standpoint: he holds that real space is neither homogeneous nor isogeneous, but that conceived space, as abstracted from real space, has both these properties. He offers no justification for his real space, which seems to be maintained in the spirit of naïve realism, nor does he show how he has acquired his intimate knowledge of its constitution[114]. His arguments against Metageometry, in so far as they are not repetitions of Lotze, have been discussed above.
Renouvier, finally, is a pure Kantian, of the most orthodox type. His views as to the importance, for Geometry, of the distinction between synthetic and analytic judgments, have been discussed, in connection with Kant, at the beginning of the present Chapter[115].
101. Before beginning the constructive argument of the next Chapter, let us endeavour briefly to sum up the theories which have been polemically advocated throughout the criticisms we have just concluded. We agreed to accept, with Kant, necessity for any possible experience as the test of the à priori, but we refused, for the present, to discuss the connection of the à priori with the subjective, regarding the purely logical test as sufficient for our immediate purpose. We also refused to attach importance to the distinction of analytic and synthetic, since it seemed to apply, not to different judgments, but only to different aspects of any judgment.
We then discussed Riemann's attempt to identify the empirical element in Geometry with the element not deducible from ideas of magnitude, and we decided that this identification was due to a confusion as to the nature of magnitude. For judgments of magnitude, we said, require always some qualitative basis, which is not quantitatively expressible.
In criticizing Helmholtz, we decided that Mechanics logically presupposes Geometry, though space presupposes matter; but that the matter which space presupposes, and to which Geometry indirectly refers, is a more abstract matter than that of Mechanics, a matter destitute of force and of causal attributes, and possessed only of the purely spatial attributes required for the possibility of spatial figures. But we conceded that Geometry, when applied to mixed mathematics or to daily life, demands more than this, demands, in fact, some means of discovering, in the more concrete matter of Mechanics, either a rigid body, or a body whose departure from rigidity follows some empirically discoverable law. Actual measurement, therefore, we agreed to regard as empirical.
Our conclusions, as regards the empiricism of Riemann and Helmholtz, were reinforced by a criticism of Erdmann. We then had an opposite task to perform, in defending Metageometry against Lotze. Here we saw that there are two senses in which Metageometry is possible. The first concerns our actual space, and asserts that it may have a very small space-constant; the second concerns philosophical theories of space, and asserts a purely logical possibility, which leaves the decision to experience. We saw also that Lotze's mathematical strictures arose from insufficient knowledge of the subject, and could all be refuted by a better acquaintance with Metageometry.
Finally, we discussed the question of absolute magnitude, and found in it no logical obstacle to non-Euclidean spaces. Our conclusion, then, in so far as we are as yet entitled to a conclusion, is that all spaces with a space-constant are à priori justifiable, and that the decision between them must be the work of experience. Spaces without a space-constant, on the other hand, spaces, that is, which are not homogeneous throughout, we found logically unsound and impossible to know, and therefore to be condemned à priori. The constructive proof of this thesis will form the argument of the following chapter.