CodalSearch this book — or all of Codal…⌘K
nydus/The Foundations of Science: Science and Hypothesis, The Value of Science, Science and MethodPublic
Page 207 of 469
Table of Contents

PART I THE MATHEMATICAL SCIENCES

figures were copied by an inexpert draftsman who should grossly change all the proportions and replace the straights by lines more or less sinuous. In mathematical terms, they are not altered by any 'point-transformation' whatsoever. It has often been said that metric geometry was quantitative, while projective geometry was purely qualitative. That is not altogether true. The straight is still distinguished from other lines by properties which remain quantitative in some respects. The real qualitative geometry is, therefore, analysis situs.

The same questions which came up apropos of the truths of Euclidean geometry, come up anew apropos of the theorems of analysis situs. Are they obtainable by deductive reasoning? Are they disguised conventions? Are they experimental verities? Are they the characteristics of a form imposed either upon our sensibility or upon our understanding?

I wish simply to observe that the last two solutions exclude each other. We can not admit at the same time that it is impossible to imagine space of four dimensions and that experience proves to us that space has three dimensions. The experimenter puts to nature a question: Is it this or that? and he can not put it without imagining the two terms of the alternative. If it were impossible to imagine one of these terms, it would be futile and besides impossible to consult experience. There is no need of observation to know that the hand of a watch is not marking the hour 15 on the dial, because we know beforehand that there are only 12, and we could not look at the mark 15 to see if the hand is there, because this mark does not exist.

Note likewise that in analysis situs the empiricists are disembarrassed of one of the gravest objections that can be leveled against them, of that which renders absolutely vain in advance all their efforts to apply their thesis to the verities of Euclidean geometry. These verities

207