An Essay On The Foundations of Geometry
An Essay On The Foundations of Geometry
An Essay On The Foundations of Geometry
FOUNDATIONS OF GEOMETRY,
SonDon: C. J. CLAY AND SONS,
CAMBRIDGE UNIVEKSITY PEESS WAKEHOUSE,
AVE MARIA LANE.
263, ARGYLE STREET.
ILdpjtg: F. A. BROCKHAUS.
$orfe: THE MACMILLAN COMPANY.
GEORGE BELL AND SONS.
AN ESSAY
ON THE
FOUNDATIONS OF GEOMETRY
BY
CAMBRIDGE:
AT THE UNIVERSITY PRESS.
1897
Math. Stat.
Add l
GIFT
>
MATH.-
STAT.
PREFACE.
Geometry ;
I
Principles of Psychology."
HASLEMERE.
May, 1897.
351
TO
INTRODUCTION.
OUR PROBLEM DEFINED BY ITS RELATIONS TO LOGIC,
PSYCHOLOGY AND MATHEMATICS.
PAGE
modern form through Kant, who
1. The problem
A
first received a
connected the a priori with the subjective
mental state is subjective, for Psychology, when
.... its imme
1
2.
we must
. . 3
6. But since the necessary is hypothetical, include, in
the a priori, the ground of necessity 4
8.
CHAPTER I.
>
....10 7
PAGE
13.
14.
Whose
chewsky
And Bolyai
...........
suggestions were developed independently by Lobat-
10
11
15. The purpose of all three was to show that the axiom of parallels
could not be deduced from the others, since its denial did
not lead to contradictions . .. . . . .12
16. The second period had a more philosophical aim, and was
inspired chiefly by Gauss and Herbart . . . .13
17. The first work of this period, that of Riemann, invented two
new conceptions: . . . . . . .14 .
22.
By means
surfaces,
Which
..........
of Gauss s analytical formula for the curvature of
23.
dimension ..........
of a three-dimensional space without reference to a fourth
28.
pretation,
Which is
..........
Beltrami gave Lobatchewsky s planimetry a Euclidean inter
PAGE
35. Projective coordinates have been regarded as dependent oil
37.
But this is
projectively
not the case, since
denned ........ auharmonic
.
-.< . 42
43. And is capable of giving geometrical results only when it
CHAPTER II.
PAGE
53. Kant contends that since apodeictic, space must
Geometry is
56.
ments of the metaphysical deduction of space
Modern Logic regards every judgment as both synthetic and
... 57
analytic, 57
57. But leaves the a priori, as that which is presupposed in the
possibility of experience 59
58. Kant s two arguments as to space suffice to prove soine
first
60.
theory of Geometry, by influencing Rieinann
Riemann regarded space as a particular kind of manifold,
... i.e.
62
wholly quantitatively . 63
61. He therefore unduly neglected the qualitative adjectives of
64
62.
63.
space
His philosophy rests on a vicious disjunction
His definition of a manifold is obscure,
... 65
66
64. And his definition of measurement applies only to space . 67
65.
66.
Though mathematically
manifold is
invaluable,
philosophically misleading
Helmholtz attacked Kant both on the mathematical and on
his
.....
view of space as a
69
71.
actually asserts the existence of rigid bodies,
Is untrue if it means that the necessary reference of geometrical
... 75
76.
classifying space as a species of manifold
His deduction involves four fallacious assumptions, namely
... : .
82
82
77. That conceptions must be abstracted from a series of instances ;
83
78. That all definition is classification ;
83
79. That conceptions of magnitude can be applied to space as
a whole; . 84
80. And that conceptions of magnitude could be so applied, .all
if
82.
the truth of the axiom of Congruence,
Which he affirms to be empirically proved by Mechanics
....
regards Geometry alone as incapable of deciding on
.
86
88
83. The variety and inadequacy of Erdmann s tests of apriority 89
84. Invalidate his final conclusions on the theory of Geometry 90
85. Lotze has discussed two questions in the theory of Geometry : 93
86. (1) He regards the possibility of non-Euclidean spaces as
suggested by the subjectivity of space, . . .. 93
87. And rejects it owing to a mathematical misunderstanding, 96
88. Having missed the most important sense of their possibility, 96
89. Which is that they fulfil the logical conditions to which any
form of externality must conform 97
90. (2) He attacks the mathematical procedure of Metageometry 98
91. The attack begins with a question-begging definition of
parallels 99
92. Lotze maintains that apparent departures from Euclid
all
96.
He
that they are not homogeneous
Lotze s objections fall under four heads
.....
attacks non- Euclidean spaces on the mistaken ground
.... 107
108
97. Two other semi-philosophical objections may be urged, . 109
98. One of which, the absence of similarity, has been made the
basis of attack by Delbceuf, .110
99. But does not form a valid ground of objection . . . Ill
100. Recent French speculation on the foundations of Geometry
has suggested few new views . . . . . . 112
101. All homogeneous spaces are a pi*iori possible, and the decision
between them is empirical . . . . ... 114
Xll CONTENTS.
CHAPTER III.
113.
114.
definition of points,
And can be protectively
By the general principle
. .
defined, .......123
. .
of projective transformation.
. . .
.
124
126
115. The principle of duality is the mathematical form of a
philosophical circle, . . 127
116. Which is an inevitable consequence of the relativity of
space, and makes any definition of the point contra
dictory , 128
117. We define the point as that which is spatial, but contains
no space, whence other definitions follow . . .128
118. What is meant by qualitative equivalence in Geometry? . 129
119. Two pairs of points on one straight line, or two pairs of
straight lines through one point, are qualitatively equi
"
valent . 129
120. This explains why four collinear points are needed, to give
an intrinsic relation by which the fourth can be de
scriptively defined when the first three are given . . 130
121. Any two protectively related figures are qualitatively equi
valent, i.e. differ in no non-quantitative conceptual
property 131
122. Three axioms are used by projective Geometry, . . . 132
CONTENTS. Xlll
PAGE
123. And are required for qualitative spatial comparison, . . 132
124. Which involves the homogeneity, relativity and passivity
of space <-. . . .133
125. The conception of a form of externality, . . . .134
126. Being a creature of the intellect, can be dealt with by
pure mathematics . . . -. -. -/ >-. 134
127. The resulting doctrine of extension will be, for the moment,
hypothetical . .. .
. * V . . 135
128. But is rendered assertorical by the necessity, for experience,
136
129. Any such form must be relational . . . ^
-
1 136
130. And homogeneous . . 137
131. And the relations constituting it must appear infinitely
divisible 137
132. It must have a finite integral number of dimensions, . 139
133. Owing to its passivity and homogeneity . . . . 140
134. And to the systematic unity of the world . , . 140
A
135.
136.
one-dimensional form alone would not
perience . . ..- .
.
141
142
137. Two positions have a relation independent of other positions, 143
138.
139. Hence
relations
protective
..........
Since positions are wholly defined by mutually independent
of Free Mobility . . . . C
-
. . .150
145. The denial of this axiom involves an action of empty
I 51
space on things . .
.
empirical . ; ; :
-
; - .154
XIV CONTENTS.
PAGE
149. Some objections remain to be answered, concerning . 154
150. (1) The comparison of volumes and of Kant s symmetrical
objects 154
151. (2) The measurement of time, where congruence is im
possible 156
152. (3) The immediate perception of spatial magnitude ;
and . 157
153. (4) The Geometry of non-congruent surfaces . . .158
154. Free Mobility includes Helmholtz s Monodromy . . .159
155. Free Mobility involves the relativity of space . . .159
156. From which, reciprocally, it can be deduced . . .160
157. Our axiom is therefore d priori in a double sense . . 160
160. The general axiom follows from the relativity of position 162 .
164. Since two points must have some relation, and the passivity
of space proves this to be independent of external reference 165
165. There can be only one such relation 166
166. This must be measured by a curve joining the two points, 166
167. And the curve must be uniquely determined by the two
points 167
168. Spherical Geometry contains an exception to this axiom, . 168
169. Which, however, is not quite equivalent to Euclid s . . 168
170. The exception due to the fact that two points, in spherical
is
172. A relation between two points must be a line joining them 170 .
PAGE
175. Hence the axiom of distance, also, is a priori in a double
sense -.-.-
.
:
. . . . 172
176. No metrical coordinate system can be set up without the
177.
straight line
Xo axioms
. . . \^ .
CHAPTER IV.
PHILOSOPHICAL CONSEQUENCES.
PAGE
194. What are we
to do with the contradictions in space? . 188
195. Three contradictions will be discussed in what follows . 188
196. (1) The antinomy of the Point proves the relativity of space, 189
197. And shows that Geometry must have some reference to
matter, 190
198.
199.
By which means
The
to empty space .........
it is made to refer to spatial order, not
201. (3) The antinomy that space is relational and yet more
than relational, 193
202. Seems to depend on the confusion of empty space with
spatial order 193
203. Kant regarded empty space as the subject-matter of Geometry, 194
204. But the arguments of the Aesthetic are inconclusive on this
point, 195
205. And are upset by the mathematical antinomies, which prove
that spatial order should be the subject-matter of Geo
:
metry . . v ;
196
206. The apparent thinghood a psychological illusion,
of space is
208.
lations
Externality is
..........
of the possibility of quantitatively different spatial re
theless it has, I think, much less force than the former. Let us
R. G. 1
2 INTRODUCTION.
about itself.
at all from the outside, i.e. not deducible directly from the
nature of either, but provable if it can be proved only by
a general view of the conditions of both. The question, what
1
I use "experience" here in the widest possible sense, the sense in which
the word is used by Bradley.
-
Where the branch of experience in question is essential to all experience,
the resulting apriority may be regarded as absolute where it is necessary only
;
10. WHEN
a long established system is attacked, it usually
happens that the attack begins only at a single point, where
the weakness of the established doctrine is peculiarly evident.
But criticism, when once invited, is apt to extend much further
than the most daring, at first, would have wished.
1
V. Memoires de 1 Academie royale des Sciences de Institut de France,
1
T. XIL 1833, for a full statement of his results, with references to former
writings.
8 FOUNDATIONS OF GEOMETRY.
an extent that he devoted the last half of his book to disproving them.
A SHORT HISTORY OF METAGEOMETRY. 9
1
Klein s first account of elliptic Geometry, as a result of Cayley s projective
theory of distance, appeared in two articles entitled Ueber die sogenannte
"
First Period.
1
Veronese (op. cit. p. 638) denies the priority of Gauss in the invention of
a non-Euclidean system, though he admits him to have been the first to
regard the axiom of parallels as indemonstrable. His grounds for the former
assertion seem scarcely adequate on the evidence against
:
it, see Klein, Nicht-
Euklid, i. pp. 171-174.
-
V. Briefwechsel mit Schumacher, Bd. n. p. 268.
3
Cf. Helmholtz, Wiss. Abh. n. p. 611.
4
Crelle s Journal, 1837.
A SHORT HISTORY OF METAGEOMETRY. 11
and German 1
: even then, they do not appear to have obtained
the notice they deserved, until, in 1868, Beltrami unearthed
the article in Crelle, and made it the theme of a brilliant
interpretation.
In the introduction to his little German book, Lobatchewsky
laments the slight interest shown in his writings by his com
patriots, and the inattention of mathematicians, since Legendre s
abortive attempt, to the difficulties in the theory of parallels.
The body work begins with the enunciation of several
of the
not inter
"
parallel,"
Wolfgang Bolyai, and used to say that the was the onlylatter
man who appreciated his philosophical speculations on the
axioms of Geometry nevertheless, Wolfgang appears to have
;
The Science Absolute of Space, translated from the Latin, 4th edition, Austin,
Texas, U.S.A. 1896.
2
Both Lobatchewsky and Bolyai, as Veronese remarks, start rather from
the point-pairthan from distance. See Frischauf, Absolute Geometric,
Anhang.
A SHORT HISTORY OF METAGEOMETRY. 13
Second Period.
16. The work of Lobatchewsky and Bolyai remained, for
compared when one is part of another, and then only the more
or less, not the how much, can be decided
"
3
Compare Veronese, op. cit. p. 642: "Riemann ist in seiner Definition
des Begrififs Grb sse dunkel." See also Veronese s whole following ciiticism.
16 FOUNDATIONS OF GEOMETRY.
obscurity"
Euclid to Legendre" (p. 254). And Riemann
certainly has
succeeded, from an algebraic point of view, in exhibiting, far
more clearly than any of axioms which
his predecessors, the
"
tion of a four-dimensional
"
since any three points lie in a plane, such a circle can always
be described.
If we now pass to a surface, what we want is, by analogy,
a measure of its departure from a plane. The curvature, as
above defined, has become indeterminate, for through any point
of the surface we can draw an infinite number of arcs, which
2
Vortrage und Reden, Vol. n.
1
p. 18. Cf. Klein, Nicht-Enklid, i. p. 160.
R. G. 2
18 FOUNDATIONS OF GEOMETRY.
will not, in general, all have the same curvature. Let us, then,
draw the geodesies joining the point in question to neigh
all
them, they have not all the same curvature, one arc of
if
1
Since we are considering the curvature at a point, we are only concerned
with the first infinitesimal elements of the geodesies that start from such a
point.
2
Disquisitiones generales circa superficies curvas, Werke, Bd. iv. SS. 219-
258, 1827.
3
Nevertheless, the Geometries of different surfaces of equal curvature are
liable to important differences. For example, the cylinder is a surface of zero
curvature, but since its lines of curvature in one direction are finite, its
Geometry coincides with that of the plane only for lengths smaller than the
circumference of its generating circle (see Veronese, op. cit. p. 644). Two
geodesies on a cylinder may meet in many points. For surfaces of zero
curvature on which this is not possible, the identity with the plane may be
allowed to stand. Otherwise, the identity extends only to the properties of
figures not exceeding a certain size.
A SHORT HISTORY OF METAOEOMETRY. 19
21. So far, all has been plain sailing we have been dealing
with purely geometrical ideas in a purely geometrical manner
but we have not, as yet, found any sense of the measure of
curvature, in which it can be extended to space, still less to
an ^^-dimensional manifold. For this purpose, we must examine
Gauss s method, which enables us to determine the measure
of curvature of a surface at any point as an inherent property,
dimension,
22
20 FOUNDATIONS OF GEOMETRY.
ds2 = ^n 2i
w a ik dxi dxky.
In this case only, as I pointed out above, can the term "measure
of curvature" be properly applied to space without reference
to a higher dimension, since free mobility is logically indis
indispensable.
24. Helmholtz, the historically nearest follower of Riemann,
was guided by a similar empirical philosophy, arid arrived
even from the purely analytical point of view. Sophus Lie has
proved it to be superfluous
2
Thus the axiom of Congruence,
.
1
See 69-73.
2 end of
Grundlagen der Geometric, i. and n., Leipziger Berichte, 1890; v.
gations.
27. other writings on Geometry are almost
Helmholtz s
characteristic method
interprets Lobatchewsky s results by the
of the second period. It shows, by a development of the work
3
of Gauss and Minding that all the propositions in plane ,
1
Nicht-Euklid, i. pp. 258-9.
2
Giornale di Matematiche, Vol. vi., 1868. Translated into French by
J. Hoiiel in the "
2
Imaginaire" had appeared in Crelle, Vol. XVII. and Minding s ,
replaced by geodesies ;
his coordinates are obtained through
a point-by-point correspondence with an auxiliary plane, in
which straight lines correspond to geodesies on the surface.
Thus geodesies have linear equations, and are always uniquely
determined by two points. Distances on the surface, however,
are not equal to distances on the plane thus while the surface ;
=a (
log tan ^ + cos
A SHORT HISTORY OF METAGEOMETRY. 27
with the formula for the linear element, and proves from this
that Congruence holds for such spaces, and next, that
first,
Third Period.
1 "
principles."
He showed that, with the ordinary notion of
it can be rendered projective
distance, by reference to the
circular points and the line at infinity, and that the same is
3
true of angles Not content with this, he suggested a new
.
1
See Klein, Nieht-Euklid, i. p. 47 f., and the references there given.
2
See quotation below, from his British Association Address.
3
Compare the opening sentence, due to Cayley, of Salmon s Higher Plane
Curves.
4 V. Nicht-Euklid, i. Chaps, i. and n.
30 FOUNDATIONS OF GEOMETRY.
(hyperbolic) system
if it be
imaginary, we get either spherical
;
point-pair, we get
parabolic Geometry, and if, in particular,
the point-pair be the circular points, we get ordinary Euclid.
In elliptic Geometry, two straight lines in the same plane meet
in only one point, not two as in Helmholtz s The
system.
distinction between the two kinds of Geometry is difficult,
and will be discussed later.
definitions :
in disguise 2
Thus Klein blames Beltrami for regarding his
."
1
See p. 9 of Cayley s address to the Brit. Ass. 1883. Also a quotation from
Klein in Erdmann s Axiome der Geometric, p. 124 note.
2
Nature, Vol. XLV. p. 407.
3
Nicht-Euklid, i. p. 200.
A SHORT HISTORY OF METAGEOMETRY. 31
1
I.e. the equation AB + BC = AC, for three points in one straight line.
2
The formula substituted by Klein for Cayley s inverse sine or cosine.
The two are equivalent, but Klein s is mathematically much the more
convenient.
32 FOUNDATIONS OF GEOMETRY.
struction 4 .
By this construction, which I have reproduced in
outline in Chapter ill. Section A, 112 ff., we obtain a purely de
R. G. 3
34 FOUNDATIONS OF GEOMETRY.
32
36 FOUNDATIONS OF GEOMETRY.
1
Sir E. Ball does not regard his non-Euclidean content as a possible space
(v. op. cit. p. 151). In this important point I disagree with his interpretation,
holding such a content to be a space as possible, a priori, as Euclid s, and
perhaps actually true within the margin due to errors of observation.
A SHORT HISTORY OF METAGEOMETRY. 39
elliptic i.e. of a
space, space having a point-to-point corre
spondence with the Euclidean space, and having as the ordinary
distance between two of its points the elliptic definition of the
distance between corresponding points of the Euclidean space.
To prove this possibility, we must adopt the direct method of
1
See Nicht-Euklid, i. p. 97 if. and p. 292 ff.
40 FOUNDATIONS OF GEOMETRY.
1
he has only failed to prove that they are contradictory This .
1
Newcomb says (loc. cit. p. 293): "The system here set forth is founded
on the following three postulates.
I assume that space is triply extended, unbounded, without properties
"1.
the indefinitely small angle a with each other, their distance apart at the
distance r from the point of intersection will be given by the equation
2aZ> rir
*
.
&m
TT 2D
The right line thus has this property in common
with the Euclidean right line
that two such lines intersect only in a single point. It may be that the number
of points in which two such lines can intersect admit of being determined from
the laws of curvature, but not being able so to determine it, I assume as a
postulate the fundamental property of the Euclidean right line."
It is plain that in the absence of the determination spoken of, the possibility
1
Cf. p. 9 of Report:
"My
own view is that Euclid s twelfth axiom, in
Playfair s form ofdoes not need demonstration, but is part of our notion of
it,
space, of the physical space of our experience, but which is the representation
lying at the bottom of all external experience."
42 FOUNDATIONS OF GEOMETRY.
geometry. An
imaginary quantity is one which involves
V 1 most general form is a + V 1 b where a and b are
: its
Geometry.
In the first place, we must exclude, from the imaginary
points considered, those whose coordinates are only imaginary
with certain special systems of coordinates. For example, if
one of a point s coordinates be the tangent from to a sphere,
it
begin and end with real quantities, and use imaginaries only
for the intermediate steps. Now in all such cases, we have a
real spatial interpretation at the beginning and end of our
1
Mathematicians of Lie s school have a habit, at first somewhat confusing,
of speaking of motions of space instead of motions of bodies, as though space
as a whole could move. All that is meant is, of course, the equivalent
motion of the coordinate axes, i.e. a change of axes in the usual elementary
sense.
48 FOUNDATIONS OF GEOMETRY.
Lie s method
perfectly exhaustive omitting the premiss
is ;
1
Ueber die Grundlagen der Geometrie," Leipziger Berichte, 1890. The
"
problem of these two papers is really metrical, since it is concerned, not with
collineations in general, but with motions. The problem, however, is dealt
with by the projective method, motions being regarded as collineations which
leave the Absolute unchanged. It seemed impossible, therefore, to discuss Lie s
work, until some account had been given of the projective method.
2
Lie s premisses, to be accurate, are the following :
Let
x i=f(x,y, , i, 2 ---)
.r
a
= 0(ar, y, z, a t ,
a2 ...)
r 3=^(*. y,z, i, ">..-)
x, y, z, a lf flo....
when one point is fixed, any other point of general position can take up oo 2
positions; when two points are fixed, any other of general position can take up
positions ; when three, no motion is possible
l
oo these limitations being results
of the equations given by the invariant ft.
3
On this point, cf. Klein, Hohere Geometrie, Gottingen, 1893, n. pp. 225-
244, especially pp. 230-1.
A SHORT HISTORY OF METAGEOMETRY. 49
point is held fast, every other point within the region can
move freely over a surface : in this case the axiom of Mo
nodromy unnecessary, and the first three axioms suffice to
is
fourth axiom.
ably hope, will take the form of growth, rather than trans
formation. The same gradual development out of philosophy
might, I believe, be traced in the infancy of most branches of
mathematics ;
when philosophical motives cease to operate,
this in general, a sign that the stage of uncertainty as to
is,
mutually external.
III. Three points not in one straight line determine a
unique figure, the plane, arid four points not in one plane
determine a figure of three dimensions. This process may, so
far as can be seen a priori, be continued, without in any way
interfering with the possibility of projective Geometry, to five
or to n points. But projective Geometry requires, as an axiom,
that the process should stop with some positive integral number
of points, after which, any fresh point is contained in the
1
Cf. Helniholtz, Wiss. Abh. Vol. n. p. 640, note: "Die Bearbeiter
der Nicht-Euklidischen Geometric (haben) deren Wahrheit nie
objective
behauptet."
CHAPTER II.
1
The Critical Philosophy of Kant, Vol. I.
p. 287.
PHILOSOPHICAL THEORIES OF GEOMETRY. 55
Kant.
52. It is not my purpose, in this chapter, to add to the
voluminous literature of Kantian criticism, but only to discuss
the bearing of Metageometry on the argument of the Tran
scendental Aesthetic, and the aspect under which this argument
must be viewed in a discussion of Geometry 1 On this point .
James
"
sequences.
53. Now on this question, as on almost all questions in the
Aesthetic or the Analytic, Kant s argument is twofold. On
the one hand, he says, Geometry known to have apodeictic
is
1
Cf. Vaihinger s Commentai, n. pp. 202, 265. Also p. 336 if.
2
E.g. second edition, p. 3 J: "So wcrden auck alle geometrisclieii (miud-
satze, z. B. dass in einem Triaugel zwei Seiten zusammen grosser sind als die
dritte, nieiuals aus allgenieiiien Begriffen von Linie uud Triangel, sondern
aus der Anscliauung, und zvvar a priori mit apodiktisolier Gewissheit
abgeleitet."
PHILOSOPHICAL THEORIES OF GEOMETRY. 57
2 I
have stated this doctrine dogmatically, as a proof would require a whole
treatise on Logic. I accept the proofs offered by Bradley and Bosanquet, to
which the reader is referred.
PHILOSOPHICAL THEORIES OF GEOMETRY. 59
analytic judgments.
at once a wider
Logic, at the present day, arrogates to itself
and a narrower sphere than Kant allowed to it. Wider, because
it condemning any false principle or
believes itself capable of
because it believes that its law of contra
postulate narrower,
;
less, and that two terms, per se, though they may be different,
cannot be contradictories, but acquire this relation only by
combination in a whole about which something is known, or
some must
by connection with a postulate which, for reason,
be preserved. Thus no judgment, per se, iseither analytic or
nor
But in its proper context it is neither purely synthetic
for while it is the further determination of a
purely analytic ;
58.
(2) Kant s arguments for the apriority of space.
Having now discussed the logical canon to be used as regards
the a priori, we may proceed to test Kant s arguments as
1
For a further discussion of this point, see Chaps, m. and iv.
2
See Chap. iv. for a discussion of this argument.
3
See Chap. iv. 185,
62 FOUNDATIONS OF GEOMETRY.
1
An Otherness of substance, rather than of attribute, is here intended ;
an
Otherness which may perhaps be called real as opposed to logical diversity.
2
This proposition will be argued at length in Chap. iv.
PHILOSOPHICAL THEORIES OF GEOMETRY. 63
for the discrete above the continuous, and finally his belief
in the great importance of classifying space with other forms
of series (Reihenformen 1 ), gave rise to many of Riemann s
epoch-
making speculations, and encouraged the attempt to explain
the nature of space by its analytical and quantitative aspect
alone 2 Through his influence on Riemann, he acquired, in
.
Riemann.
60. The aim of Riemann s dissertation, as we saw in
i.e. what
adjectives of space, must be presupposed, in order that
quantitative comparison of the parts of space may be possible
at all ? And only when we have determined these conditions,
which are a priori necessary to any quantitative science of
space, does the second question arise what inferences can we
:
"
colour manifold is
completely determined by three magnitudes,
which are given in fact, and cannot be arbitrarily chosen, it is
plain that measurement by superposition involving, as it does,
motion, and therefore change in these determining magnitudes
is totally out of the
question. The superposition of one colour
on another, as a means of measurement, is sheer nonsense. And
yet measurement is possible in the colour-manifold, by means of
Helmholtz s law of mixture (Mischuugsgesetz); but the measure
ment is of every separate element, not of the relations between
elements, and is thus radically different from space-measure
ment 1
. The elements are not, like points in space, qualitatively
1
I do not mean that measurement of colours is effected without reference to
52
68 FOUNDATIONS OF GEOMETRY.
different, both from each other, and from any possible tone,
Helmholtz.
"
1
The works ofHelmholtz on geometrical philosophy comprise, in addition
to the articles quoted in Chap, i., the following articles Ursprung uud Sinn
"
der geometrischen Axiome, gegen Land," Wiss. Abh. Vol. n. p. 640, 1878.
(Also Mind, Vol. m.: an answer to Land in Mind, Vol. n.) Urspruug und
"
Axiome sind"; and III. "Die Anwendbarkeit der Axiome auf die physische
Welt," 1878, Vortrage und Eeden, Vol. n. p. 256 ff.
The two Appendices last mentioned are popularizings and expansions of the
article in Mind, Vol. in. The most widely read, though also, to my mind, the
least valuable, of all Helmholtz s writings on Geometry, is the article in Mind,
Vol. i. This contains the famous and much misunderstood analogies of
Flatland and Sphereland, which will be discussed, and as far as possible
defended, in answering Lotze s attack on Metageometry an attack based,
apparently, almost entirely on this one popular article. The present discussion,
therefore, may be confined almost entirely to Mind, Vol. in., and the philo
sophical portions of the two papers quoted in Chap, i., i.e. to the articles in
Wiss. Abh. Vol. n. pp. 610-660. His other works are popular, and important
only because of the large public to which they appeal.
PHILOSOPHICAL THEORIES OF GEOMETRY. 71
of result. "
1
In the answer to Laud, Mind, Vol. in. and Wiss. Abb. n. p. 640.
2
See also Die Tbatsachen in der Wabrnehinung, Zusatz n., Der Eauin kaiin
transcendental sein, obne dass es die Axiome sind. Vortrage uud Reden,
Vol. n.
3
See below, criticism of Erdmann. 84.
72 FOUNDATIONS OF GEOMETRY.
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. What
ever 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 in., that without the axiom of Congruence,
magnitudes in pseudo-spherical
them a new Euclidean meaning thus all our symbolic propo ;
spherical space, and one for the volume inside a sphere. It is,
proposition is false.
it
may be said, Free Mobility, as applied to an abstract geo
metrical matter, gives a sufficient possibility of quantitative
is a
gross varepov irpbrepov. Nevertheless, as we have seen,
some sort of matter is essential to Geometry. But this geometri
cal 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
:
p. 60.
80 FOUNDATIONS OF GEOMETRY.
and we may suppose this network to form the occasion for our
geometer s reflections. Then he will be able to imagine a
network in which the lines are straight, or circular, or parabolic,
or any other shape, and he will be able to infer that such a
cally possible, some body or bodies which are either rigid (in
the dynamical sense), or known to undergo some definite
Erdmann.
74. In connection with Riemann and Helmholtz, it is
natural to consider Erdmann s philosophical work on their
1
theories This is certainly the most important book on the
.
and his views, as this agreement would lead one to expect, are
ultra-empirical. Indeed his logic seems though I say this with
1
Die Axiome der Geometrie Erne philosophische
:
Untersuchung der
Riemann-Helmholtz schen Raumtheorie, Leipzig, 1877.
R. G. 6
82 FOUNDATIONS OF GEOMETRY.
1
This view seems to be derived, through Riemann, from Herbart. See
Psych, als Wiss. ed. Hart. Vol. v. p. 262.
62
84 FOUNDATIONS OF GEOMETKY.
80. This suggests the fourth and last of the above points,
that the qualities of space, even if space could be successfully
have instituted it, they forget all about the common qualities
on which its possibility depends. But these are precisely the
fundamental properties of space, and those from which, as I
shall endeavour to prove in Chapter m. :
the axioms common
to Euclid and Metageometry follow a priori. Such are the
dangers of the quantitative bias.
81. After this protest against the initial assumptions in
1
The same irreducibility of space to mere magnitude is proved by Kaut s
hands and spherical triangles, in which a difference persists in spite of complete
quantitative equality.
PHILOSOPHICAL THEORIES OF GEOMETRY. 87
is
unmeaning. On this subject I shall have more to say in
1
III.
Chapter
82. This hypothesis, however, is not introduced for its
own sake, but only to usher in the Helmholtzian deus ex
machina, Mechanics. For Mechanics proves so Erdmannn con
fidently continues that rigidity must hold, not merely as to
ratios, in the above restricted geometrical sense, but as to
absolute magnitudes (p. 62). Hence we get at last true Con
gruence, empirical as empirical, and impossible to
Mechanics is
accurately, true of our actual space (pp. 78, 83). He does not
i
See 146-7.
PHILOSOPHICAL THEORIES OF GEOMETRY. 89
1
Jeder Versuch, Kaut s Lehre von cler Aprioritat als des subjectiven, von
"
Lotze.
85. Lotze
argument as regards Geometry
s which follows 1
the counterpart.
87. Admitting, then, in Lotze s sense, the subjectivity of
seem clear on this point, I will enter somewhat fully into what
I conceive to be its purpose.
In the first place, there are some writers notably Clifford
who, being naive realists as regards space, hold that our
evidence is wholly insufficient, as yet, to decide as to its nature
in the infinite or in the infinitesimal (cf.
Essays, Vol. I. p. 320) :
R. G. 7
98 FOUNDATIONS OF GEOMETRY.
they throw light on the nature of the grounds for Euclid, rather
1
than on the actual conformation of space This import of .
1
Compare Calinon, Sur I lnddtermination g^ometrique de
"
PUnivers," Eevue
Philosophique, 1893, Vol. xxxvi. pp. 595-607.
PHILOSOPHICAL THEORIES OF GEOMETRY. 101
1
Vortrage und Keden, Vol. n. p. 9:
"
Geometry. B
would observe, he says, that the meridians made
smaller angles with his path towards the nearer than towards
the further pole as a matter of fact, they would be simply
perpendicular to his path in both directions. What Lotze
means is, perhaps, that all the meridians would meet sooner
in one direction than in the other, and this, of course, is true.
Bewohner der Kugel gar nicht kennen. Sie wiirden behaupten, dass jede
beliebige zwei geradeste Linien, gehorig verlangert, sich schliesslich nicht nur
in einem, sondern in zwei Punkten sclmeiden miissten." (The italics are
mine.) The omission of straight in such phrases is a frequent laxity of
mathematicians.
104 FOUNDATIONS OF GEOMETKY.
die viefte Dimension nicht bloss eine Abanderung von Vorhandenem, sondern
etwas vollkommen Neues ware, so befinden wir uns schon wegen unserer
korperlichen Organisation in der absoluten Unmoglichkeit, uns eine An-
schauungsweise einer vierten Dimension vorzustellen.
"
106 FOUNDATIONS OF GEOMETRY.
1
thought, be determined by a priori reasoning I will not, .
-mx +mx
any force at all. The only way I can account for it is, to
the method by which all alike are obtained. The two objections
are:
I.
Space must be such as to allow of similarity, i.e. of the
increase or diminution, in a constant ratio, of all the lines in a
1
See especially Stallo, Concepts of Modern Physics, International Science
Series, Vol. XLH. Chaps, xm. and xiv. ; Renouvier, "Philosophic de la regie et
Delboeuf.
impossible in Metageometry. We
have to discuss whether such
an impossibility renders non-Euclidean spaces logically faulty.
M. Delboeufs position on this axiom which he calls the
2
postulate of homogeneity is, that all Geometry must presup
1
For a criticism of this view, see the above discussions on Riemann and
Erdmann.
a
Cf. Couturat, "De 1 Infini Mathematiqne,
"
R. G. 8
114 FOUNDATIONS OF GEOMETRY.
1
The following is a list of the most important recent French philosophical
writings on Geometry, so far as I am acquainted with them.
Andrade Les bases exp6rimentales de la ge ome trie euclidienne Rev. Phil. "
"
: ;
: Gauthier-Villars, 1897. ;
18935.
Lechalas: La geometric generale
"
"
;
Grit. Phil. 1889.
La geometric generale
"
and
"Les bases expdrimentales de la geometric" Rev. Phil. 1890, n. ;
"
;
i.
"Note ;
;
Annales de Phil. Chret., 1890.
"
justifiable,
and that the decision between them must be the
work of Spaces without a space-constant, on
experience.
the other hand, spaces, that is, which are not homogeneous
Section A.
"
1
The era denotes the straight line common to the planes a and
straight line
a, the point denotes the point common to the plane a and the straight line
<ra
a"b"c"d",
all have the same anharmonic ratio. The reciprocal
Two
sets of four points each are defined as having the same
anharmonic ratio, when (1) each set of four lies in one straight
line,and (2) corresponding points of different sets lie two by two
on four straight lines through a single point, or when both sets
have this relation to any third set And reciprocally Two sets
l
. :
general.
112. We have next to consider the quadrilateral con-
1
There is no corresponding property of three points on a line, because they
can be protectively transformed into any other three points on the same line.
See 120.
124 FOUNDATIONS OF GEOMETRY.
to afford an
unambiguous and exhaustive method of assigning
different numbers to different points. This last method has,
113. A
harmonic range, in elementary Geometry, is one
whose anharmonic ratio is 1, or one in which the three
1111
:
spectively
ab
- /lad =- 1. -j- =.. and
, ab
7
= ad = .
ad7
,
be dc ab ac etc be cd
1
Due to v. Staudt s "Geoinetrie der Lage."
THE AXIOMS OF PROJECTIVE GEOMETRY. 125
But as they are all quantitative, they cannot be used for our
T.
Join DQ, BP, and let them intersect in E. Join OR, and let
OR meet ABD in C. Then C is the point required.
To prove this, let DRQ meet OA in T, and draw AR,
meeting OD in S. Then a projective transformation of A, B, C, D
from R on to OD givesthe points S, P, 0, D, which, projected
from A on to DQ, give R, Q, T, D. But these again, projected
from on to ABD, give C, B, A, D. Hence A, B, (7, can D
be projectively transformed into C, B, A, D, and therefore
form a harmonic range. From this point, the proof that the
1
construction is unique and general follows simply . .
1
See Cremona, op. cit. Chapter vui.
126 FOUNDATIONS OF GEOMETRY.
everything is
by means of the two fundamental ideas
effected
we have just discussed, and everything, therefore, depends on
our general principle of project! ve equivalence. This principle,
as regards two dimensions, may be stated more simply than
in the passage quoted from Cremona. It starts, in two
1
The corresponding definitions, for the two-dimensional manifold of lines
through a point, follow by the principle of duality.
THE AXIOMS OF PROJECTIVE GEOMETRY. 127
if, therefore, we take any spatial figure, and seek for the terms
between which it is a relation, we are compelled, in Geometry,
but if they are to supply the terms for spatial relations, e.g.
metrical ideas. Without metrical ideas, we saw, nothing appears to give the
Point precedence of the straight line, or indeed to distinguish it conceptually
from the straight line. A reference to quantity is therefore inevitable in
The straight line is the relation between two points, and the
plane is the relation between three. These definitions will be
argued and defended at length in section B of this Chapter 1 ,
B. G. 9
130 FOUNDATIONS OF GEOMETRY.
isthe straight line on which they lie. This gives that identity
of quality for all pairs of points on the same straight line,
which is
required both by our projective principle and by
metrical Geometry. (For only where there is identity of
quality can quantity be properly applied.) If only two points
are given, they cannot, without the use of quantity, be dis
any other. This again is, on the one hand, the basis of the
second part of our general projective principle, and on the
other hand the condition of applying quantity, in the measure
ment of angles, to the departure of two intersecting straight
lines.
120.We can now see the reason for what may have
hitherto seemed a somewhat arbitrary fact, namely, the neces
sity of four collinear points for anharmonic ratio. Recurring
to the quadrilateral construction and the consequent intro
duction of number, we see that anharmonic ratio is an intrinsic
projective relation of four collinear points or concurrent straight
lines, such that given three terms and the relation, the fourth
term can be uniquely determined by projective methods. Now
consider a pair of points. Since all straight lines are
first
since two points determine nothing but one straight line, the
third point cannot be further limited. Thus we see why no
intrinsic projective relation can be found between three points,
which from two, uniquely to determine the third.
shall enable us,
With three
given points, however, we have more
collinear
straight line, is the same for any other two. But now let us
choose, at hap-hazard, some point outside the straight line.
The points of our line now acquire new adjectives, namely their
relations to the new point, the straight lines joining them
i.e.
determination, that is, of all the figures which, when any one
figure is given, can be distinguished from the given figure, so
long as quantity is excluded, only by the mere fact that they
are external to it.
space.
This passivity and this independence involve the homo
geneity of space, or its equivalent, the relativity of position.
1
The straight line and plane, in all discussions of general Geometry, are not
hypothetical
1
All necessary truth, as Bradley has shown, is
.
1
That projective Geometry must have existential import, I shall attempt to
prove in Chapter iv.
2
Logic, Book i.
Chapter n.
136 FOUNDATIONS OF GEOMETRY.
1
Of. Bradley s Logic, p. 63. It will be seen that the sense in which I have
of individuation "
1
It is important to observe, however, that this way of regarding spatial
relations is metrical ;
from the projective standpoint, the relation between two
points the whole unbounded straight line on which they
is lie, and need not be
regarded as divisible into parts or as built up of points.
2 254.
207, 208. Of. Hegel, Naturphilosophie,
THE AXIOMS OF PROJECTIVE GEOMETRY. 139
by
the present writer in Mind, July, 1897.
140 FOUNDATIONS OF GEOMETRY.
of a part A
to other parts B, (7..., a sufficient wealth of such
relations throws light on the relations of to C, etc. If this B
were not the case, the parts A, B, C... could not be said to
form such a system ;
for in such a system, to define A is to
define, at the same time, all the other members, and to give
an adjective to A, is to give an adjective to B and C. But the
relations between positions are, when we restore the matter
from which the positions were abstracted, relations between
the things occupying those positions, and these relations, we
have seen, can be studied without reference to the particular
nature, in other respects, of the related things. It follows that,
when we apply the general principle of systematic unity to
these in particular, we find these relations to be
relations
may occupy the same space, but only at different times two :
aspects may coexist in a thing at one time and place, but two diverse real
things cannot so coexist.
1
On the insufficiency of time alone, see Chapter iv. 191.
THE AXIOMS OF PROJECTIVE GEOMETRY. 143
B. C
were necessary, and gave rise to the relation abc between
the three. Then there would remain no means of denning the
different pairs BC, CA, AB. since the only relation
defining
them would be one common to all three pairs, Nothing would
be gained, in this case, by reference to fresh points, for it
follows,from the homogeneity and passivity of the form, that
these fresh points could not affect the internal relations of our
triad, which
relations, if they can give definiteness at all, must
give without
it the aid of external reference. Two positions
must, therefore, if definition is to be possible, have some
relation which they by themselves suffice to define. Precisely
the same argument applies to three positions, or to four; the
argument loses its scope only when we have exhausted the
dimensions of the form considered. Thus, in three dimensions,
five positions have no fresh relation, not deducible from those
1
Geometrically, the axiom of the plane is, not that three points determine
a figure at all, which follows from the axiom of the straight line, but that the
THE AXIOMS OF PRO.TECTIVE GEOMETRY. 145
straight line joining two casual points of the plane lies wholly in the plane.
This axiom requires a projective method of constructing the plane, i.e. of
finding all the triads of points which determine the same projective figure as
the given triad. The required construction will be obtained if we can findany
projective figure determined by three points, and any projective method
of reaching other points which determine the same figure.
Let O, P, Q be the three points whose projective relation is required.
Then we have given us the three straight lines PQ, QO, OP. Metrically, the
relation between these points is made up of the area, and the magnitude of the
sides and angles, of the triangle OPQ, just as the relation between two points
is distance. But projectively, the figure is unchanged when P and Q travel
along OP and OQ, or when OP and OQ turn about in such a way as still to
meet PQ. This is a result of the general principle of projective equivalence
enunciated above ( 108, 109). Hence the projective relation between 0, P, Q
is the same as that between 0, p, q or 0, P Q
, ;that is, p, q and
1
P
Q lie in
,
the plane In this way, any number of points on the plane may be
OPQ.
obtained, and by repeating the construction with fresh triads, every point of the
plane can be reached. We have to prove that, when the plane is so constructed,
the straight line joining any two points of the plane lies wholly in the plane.
It is evident, from the manner of construction, that any point of PQ, OP,
OQ, OP or OQ the plane.
lies in If we can prove that any point of pq lies in
R. G. 10
146 FOUNDATIONS OF GEOMETRY.
the plane, we shall have proved all that is required, since pq may be transformed,
by successive repetitions of the same construction, into any straight line
joining two points of the plane. But we have seen that the same plane is
determined by O, p, q and by O, P, Q. The straight lines PQ,pq have, therefore,
the same relation to the plane. But PQ lies wholly in the plane ; therefore pq
also lies wholly in the plane. Hence our axiom is proved.
THE AXIOMS OF METRICAL GEOMETRY. 147
Section B.
141. We
have now reviewed the axioms of protective
Geometry, and have seen that they are d priori deductions
from the fact that we can experience externality, i.e. a co
existent multiplicity of different but interrelated things. But
projecti ve Geometry, in spite of its claims, is not the whole
science of space, as is sufficiently proved by the fact that it
cannot between Euclidean and non- Euclidean
discriminate
1
spaces For. this purpose, spatial measurement is required:
metrical Geometry, with its quantitative tests, can alone effect
the discrimination. For all application of Geometry to physics,
also, measurement is required the law of gravitation, for
;
1
A detailed proof has been given above, Chap. i. 3rd period. It is to
be observed that any reference to infinitely distant elements involves metrical
ideas.
102
148 FOUNDATIONS OF GEOMETRY.
1
Cf. Section A, 115-117.
THE AXIOMS OF METRICAL GEOMETRY. 14-9
1
Contrast Erdmann, op. cit. p. 138.
-
Cf. Erdmann, op. cit. p. 164.
150 FOUNDATIONS OF GEOMETRY.
to prove (1) that the denial of this axiom would involve logical
and philosophical absurdities, so that it must be classed as
Strictly speaking, this method is only applicable where the two magnitudes
1
are commensurable. But if we take infinite divisibility rigidly, the units can
theoretically be taken so small as to obtain any required degree of approxima
tion. The difficulty is the universal one of applying to continua the essentially
discrete conception of number.
2
Cf. Erdmann, op. cit. p. 50.
3
Also called the axiom of congruence. I have taken congruence to be the
if it refused this
wholly a priori (2) that metrical Geometry,
:
1
For the sense in which these figures are to be regarded as material,
see criticism of Helmholtz, Chapter n. 69 ff.
152 FOUNDATIONS OF GEOMETRY.
is a form of
externality, allow only of relative, not of absolute,
position, and must be completely homogeneous throughout.
To suppose it otherwise, is to
give it a thinghood which no
form of externality can possibly possess. We must, then, on
purely philosophical grounds, admit that a geometrical figure
which is possible anywhere is possible everywhere, which is the
axiom of Free Mobility.
146. B. Geometrical Argument. Let us see next what sort
of Geometry we could construct without this axiom. The ulti
mate standard of comparison of spatial magnitudes must, as we
saw in introducing the axiom, be equality when superposed but ;
lengths f(p}. ds! and f(p)- ds2 so that their ratio would be
,
1
The view of Helmholtz and Erdinaun, that mechanical experience suffices
here, though geometrical experience fails us, has been discussed above,
Chapter n. 73, 82.
2
Chapter n. 81.
154 FOUNDATIONS OF GEOMETRY.
1
a fourth dimension to operate in and from what I have said
,
all their sides and all their faces equal. Two such cubes differ,
then, in no sensible spatial quality save position, for volume, in
this case at any rate, is not a sensible quality. They are,
therefore, as far as such qualities are concerned, indiscernible.
If their places were interchanged, we might know the change
rotation and revolution of the earth and the planets, etc. These
do not exactly agree, but they lead us to the laws of motion, by
which we are able, on our arbitrary hypothesis, to estimate
their small departures from uniformity just as the assumption
;
1
Prolegomena, 13. See Vaihinger s Commentar, n. pp. 518532 esp.
pp. 521 2. The above was Kant s whole purpose in 1768, but only part of his
purpose in the Prolegomena, where the intuitive nature of space was also to be
proved.
THE AXIOMS OF METRICAL GEOMETRY. 157
philosophic absurdity ;
we might have assumed that the above
set of approximately agreeing motions all had velocities which
varied approximately as some arbitrarily assumed function of
the time,/() say, measured from some arbitrary origin. Such
an assumption would still keep them as nearly synchronous as
before, and would give an equally possible, though more com
1
This deduction is practically the same as that in Sec. A, but I have stated
it here with more special reference to space and to metrical Geometry.
2
The question: Kelations to what?" is a question involving many
"
possible, in the fourth chapter. For the present, in spite of the glaring circle
involved, I shall take the relations as relations to other positions.
R. G. 11
162 FOUNDATIONS OF GEOMETRY.
one position differs from another just because they are two,
not because of anything intrinsic in either. Position is thus
defined simply and solely by relation to other positions. Any
position, therefore, is completely defined when, and only when,
enough such relations have been given to enable us to de
termine its relation to any new position, this new position
1
Cf. Riemann, Hypothesen welche der Geometrie zu Grunde liegen,
Gesammelte Werke, p. 266 also Erdmann, op. cit. p. 154.
;
112
164 FOUNDATIONS OF GEOMETRY.
162. We
have already seen, in discussing projective Geo
metry, that two points must determine a unique curve, the
straight line. In metrical Geometry, the corresponding axiom
is, must determine a unique spatial quantity, dis
that two points
tance. what follows, (1) that if distance,
I propose to prove, in
as a quantity completely determined by two points, did not exist,
1
This is subject, in spherical space, to the modification pointed out below,
in dealing with the exception to the axiom of the straight line. See
168171.
2
In speaking of distance at once as a quantity and as an intrinsic
relation, Iam anxious to guard against an apparent inconsistency. I have
spoken of the judgment of quantity, throughout, as one of comparison ; how,
then, can a quantity be intrinsic ? The reply is that, although measurement
and the judgment of quantity express the result of comparison, yet the terms
compared must exist before the comparison in this case, the terms compared
;
in measuring distances, i.e. in comparing them inter se, are intrinsic relations
between points. Thus, although the measurement of distance involves a
reference to other distances, and its expression as a magnitude requires such a
reference, yet its existence does not depend on any external reference, but
exclusively on the two points whose distance it is.
166 FOUNDATIONS OF GEOMETRY.
the relation of two given points does not depend on the other
points of the straight line on which the given points lie. For
only through their relation, i.e. through the straight line which
they determine, can the other points of the straight line be
known to have any peculiar connection with the given pair.
165. But why,
be asked, should there be only one
it may
such relation between two points ? Why not several ? The
answer to this lies in the fact that points are wholly constituted
by relations, and have no intrinsic nature of their own A ]
.
1
See the end of the argument on Free Mobility, 155 ff.
THE AXIOMS OF METRICAL GEOMETRY. 167
J
In Frischauf s
"
stant, and d be one value for the distance between two points,
2-Tr/iVi + d, where n is
any integer, is an equally good value.
170 FOUNDATIONS OF GEOMETRY.
1
Nor in any argument which, like those of protective Geometry, avoids the
notion of magnitude or distance altogether. It follows that the propositions of
as, in
numbers another number, so in the field of space the rela
is
tions are facts of the same order with the facts they relate
When we speak of the relation of direction of two points
towards each other, we mean simply the sensation of the line
that joins the two points together. The line is the relation
The relation of position between the top and bottom points of
a vertical line is that line, and nothing else."
If I had been willing to use this doctrine at the beginning,
I might have avoided all discussion. A unique relation between
two points must in this case, involve a unique line between
them. But it seemed better to avoid a doctrine not universally
accepted, the more so as I was approaching the question from
the logical, not the psychological, side. After disposing of the
objections, however, it is interesting to find this confirmation
of the above theory from so different a standpoint. Indeed, I
believe James s doctrine could be proved to be a logical neces
points.
173. (3) But farther, the existence of curves uniquely
determined by two points can be deduced from the nature of
any form of externality *. For we saw, in discussing Free
Mobility, that this axiom, together with homogeneity and the
relativity of position, can be so deduced, and we saw in the
beginning of our discussion on distance, that the existence of a
unique relation between two points could be deduced from the
homogeneity of space. Since position is relative, we may say,
any two points must have some relation to each other: since
1
This step in the argument has been put very briefly, since it is a mere
repetition of the corresponding argument in Section A, and is inserted here only
for the sake of logical completeness. See 137 ff.
172 FOUNDATIONS OF GEOMETRY.
two other points in the same straight line the figure, in both ;
PHILOSOPHICAL CONSEQUENCES.
logical and deductive proof, like that from the nature of a form
of externality, bear to an experienced subject-matter such as
course, necessity for experience can only arise from the nature
of the mind which experiences but it does not follow that the
;
122
180 FOUNDATIONS OF GEOMETRY.
1
I speak of sense-perception instead of sensation, so as. not to prejudge the
issue as to the sensational nature of space,
2
See Vaihinger s Commentar, n. pp. 86 7, 168171.
3
See Caird, Critical Philosophy of Kant, Vol. i. p. 287.
PHILOSOPHICAL CONSEQUENCES. 181
2
Stumpf and
1
othersand has been described by Vaihinger as a
,
3
fatal petitio principii it is irrelevant to the logical argument,
)
3
Commentar, n. p. 71 ff.
182 FOUNDATIONS OF GEOMETRY.
any rate, externality to the Self, but only the mutual externality
2
of the things presented to sense-perception .
universal
3
." The importance of this fact appears, when we
1
E.g. by Caird, op. cit. Vol. i. p. 286.
2
I have no wish to deny, however, that space is essential in the subsequent
distinction of Self and not- Self.
3
See also Book I. Chap n. passim ; especially p. 51 ff. and pp. 70-1.
PHILOSOPHICAL CONSEQUENCES. 183
2
For the This, on such a hypothesis, has a purely temporal complexity,
and
is not resolvable into coexisting Thises.
186 FOUNDATIONS OF GEOMETRY.
through them ;
but straight lines and planes, being all quali
tatively similar, can only be defined by the positions they
relate. Hence, again, we get a vicious circle.
(3) Spatial figures must be regarded as relations. But a
relation is
necessarily indivisible, while spatial figures are
we thus obtain ?
Analysis, being unable to find any earlier
halting-place, finds its elements in points, that is, in zero quanta
1
Chapter in. Section A, ( 131).
2
Cf. Hannequin, Essai critique sur 1 hypothese des atomes, Paris 1895,
Chap. i. Section in. ; especially p. 43.
190 FOUNDATIONS OF GEOMETRY.
-
See third antinomy below, 201 ff.
PHILOSOPHICAL CONSEQUENCES. 191
is
R. G. 13
194 FOUNDATIONS OF GEOMETRY.
of empty
matter, but only to denote a space which is not a mere
order of material things.) Stumpf regards it as given in sense ;
of Kant s it as
wholly conceptual ? It is not
argument, regard
required, in the first place, by the argument of the first half of
this chapter, which required only that every This of sense-
1
See Yaihinger s Commentar, n. pp. 189 190.
2
See ibid. p. 224 ff. for Kant s inconsistencies on this point.
3
The fourth and fifth in the first edition, the third and fourth in the
second.
4
Cf. Vaihinger s Commentar, n. p. 218.
196 FOUNDATIONS OF GEOMETRY.
logical, it would not do so, but would leave the meaning of the
spatial element in sense-perception free from any implication
1
Cf. Vaihinger s Commentar, n. p. 207.
PHILOSOPHICAL CONSEQUENCES. 197
tions as substituted for it, which gives the second way of view
ing the question.
The same reference to matter, then, by which the antinomy
of the Point was solved, solves also the antinomy as to the
relational nature of space. Space, if it is to be freed from
1
Cf. James, Psychology, Vol. n., p. 148 ff.
198 FOUNDATIONS OF GEOMETRY.
Conclusion.
were the axiom of Free Mobility, the axiom that space has a
finite integral number of dimensions, and the axiom of distance.
Except for the new idea of motion, these were found equivalent
to the projective triad, and thus necessarily true of any form
of externality. But the remaining axioms of Euclid the
axiom of three dimensions, the axiom that two straight lines
can never enclose a space, and the axiom of parallels were
regarded as empirical laws, derived from the investigation and
measurement of our actual space, and true only, as far as the
last two are concerned, within the limits set by errors of
observation.
In the present chapter, we completed our proof of the
apriority of the projective and equivalent metrical axioms, by
showing the necessity, for experience, of some form of externality,
given by sensation or intuition, and not merely inferred from
other data. Without this, we said, a knowledge of diverse but
interrelated things, the corner-stone of all experience, would be
R. G. 14
PRINTED BY J. AND C. F. CLAY,
AT THE UNIVERSITY PRESS.
RETURN Astronomy /Mathematks/Statistks/Computer Science Librcfr}
5
TO +>
100 Evans Hall J
APR 16 1985
AUG 24 1990 00
Rec UL 3 1 2000
uiATUilRRARY
U v- 1-
RUG 8
a
c QA
(>\
STAT.