An essay on the foundations of geometryRussell, Bertrand
Philosophy
An essay on the foundations of geometry
Russell, Bertrand
Geometry -- Foundations
=98.= M. Delbœuf's four articles in the Revue Philosophique contain
much matter that has already been dealt with in the criticism of
Lotze, and much that is irrelevant for our present purpose. The only
point, which I wish to discuss here, is the question of absolute
magnitude, as it is called--the question, that is, whether the
possibility of similar but unequal geometrical figures can be known
_à priori_[109].
In discussing this question, it is important, to begin with, to
distinguish clearly the sense in which absolute magnitude _is_
required in non-Euclidean Geometry, from another sense, in which
it would be absurd to regard any magnitude as absolute. Judgments
of magnitude can only result from comparison, and if Metageometry
required magnitudes which could be determined without comparison, it
would certainly deserve condemnation. But this is not required. All
we require is, that it shall be impossible, while the rest of space
is unaffected, to alter the magnitude of any figure, as compared with
other figures, while leaving the relative internal magnitudes of its
parts unchanged. This construction, which is possible in Euclid,
is impossible in Metageometry. We have to discuss whether such an
impossibility renders non-Euclidean spaces logically faulty.
M. Delbœuf's position on this axiom--which he calls the postulate
of homogeneity[110]--is, that all Geometry must presuppose it, and
that Metageometry, consequently, though logically sound, is logically
subsequent to Euclid, and can only make its constructions within a
Euclidean "homogeneous" space (Rev. Phil. Vol. XXXVII., pp. 380-1).
He would appear to think, nevertheless, that homogeneity (in his
sense) is learnt from experience, though on this point he is not
very explicit. (See Vol. XXXVIII., p. 129.) No _à priori_ proof, at
any rate, is offered in his articles. As a result of experience,
every one would admit, similarity is known to be possible within the
limits of observation; but the fact that this possibility extends to
Ordnance maps, which deal with a spherical surface, should make us
chary of inferring, from such a datum, the certainty of Euclid for
large spaces. Moreover if homogeneity be empirical, Metageometry,
which dispenses with it, is not necessarily in _logical_ dependence
upon Euclid, since homogeneity and isogeneity are _logically_
separable. I shall assume, therefore, as the only contention which
can be interesting to our argument, that homogeneity is regarded as
_à priori_, and as logically essential to Geometry.
Public-domain text, read in full here on John Shaqi.
Reviews
Reviews
No reviews yet
Be the first to share your thoughts on this work.
Elsewhere in the archive
Join the Discussion
Join the discussion
Sign in to leave a comment or review.
Sign InorCreate an account