Some people have been struck by this character of free convention recognizable in certain fundamental principles of the sciences. They have wished to generalize beyond measure, and, at the same time, they have forgotten that liberty is not license. Thus they have reached what is called _nominalism_, and have asked themselves if the savant is not the dupe of his own definitions and if the world he thinks he discovers is not simply created by his own caprice.[1] Under these conditions science would be certain, but deprived of significance. [1] See Le Roy, 'Science et Philosophie,' _Revue de Métaphysique et de Morale_, 1901. If this were so, science would be powerless. Now every day we see it work under our very eyes. That could not be if it taught us nothing of reality. Still, the things themselves are not what it can reach, as the naïve dogmatists think, but only the relations between things. Outside of these relations there is no knowable reality. Such is the conclusion to which we shall come, but for that we must review the series of sciences from arithmetic and geometry to mechanics and experimental physics. What is the nature of mathematical reasoning? Is is really deductive, as is commonly supposed? A deeper analysis shows us that it is not, that it partakes in a certain measure of the nature of inductive reasoning, and just because of this is it so fruitful. None the less does it retain its character of rigor absolute; this is the first thing that had to be shown. Knowing better now one of the instruments which mathematics puts into the hands of the investigator, we had to analyze another fundamental notion, that of mathematical magnitude. Do we find it in nature, or do we ourselves introduce it there? And, in this latter case, do we not risk marring everything? Comparing the rough data of our senses with that extremely complex and subtile concept which mathematicians call magnitude, we are forced to recognize a difference; this frame into which we wish to force everything is of our own construction; but we have not made it at random. We have made it, so to speak, by measure and therefore we can make the facts fit into it without changing what is essential in them. Another frame which we impose on the world is space. Whence come the first principles of geometry? Are they imposed on us by logic? Lobachevski has proved not, by creating non-Euclidean geometry. Is space revealed to us by our senses? Still no, for the space our senses could show us differs absolutely from that of the geometer. Is experience the source of geometry? A deeper discussion will show us it is not. We therefore conclude that the first principles of geometry are only conventions; but these conventions are not arbitrary and if transported into another world (that I call the non-Euclidean world and seek to imagine), then we should have been led to adopt others.