The Foundations of Science: Science and Hypothesis, The...

To see the different aspects of things and see them quickly; he has no time to hunt mice. It is necessary that, in the complex physical objects presented to him, he should promptly recognize the point where the mathematical tools we have put in his hands can take hold. How could he do it if we should leave between instruments and objects the deep chasm hollowed out by the logicians?

9. Besides the engineers, other scholars, less numerous, are in their turn to become teachers; they therefore must go to the very bottom; a knowledge deep and rigorous of the first principles is for them before all indispensable. But this is no reason not to cultivate in them intuition; for they would get a false idea of the science if they never looked at it except from a single side, and besides they could not develop in their students a quality they did not themselves possess.

For the pure geometer himself, this faculty is necessary; it is by logic one demonstrates, by intuition one invents. To know how to criticize is good, to know how to create is better. You know how to recognize if a combination is correct; what a predicament if you have not the art of choosing among all the possible combinations. Logic tells us that on such and such a way we are sure not to meet any obstacle; it does not say which way leads to the end. For that it is necessary to see the end from afar, and the faculty which teaches us to see is intuition. Without it the geometer would be like a writer who should be versed in grammar but had no ideas. Now how could this faculty develop if, as soon as it showed itself, we chase it away and proscribe it, if we learn to set it at naught before knowing the good of it.

And here permit a parenthesis to insist upon the importance of written exercises. Written compositions are perhaps not sufficiently emphasized in certain examinations, at the polytechnic school, for instance. I am told they would close the door against very good scholars who have mastered the course, thoroughly understanding it, and who nevertheless are incapable of making the slightest application. I have just said the word understand has several meanings: such students only understand in the first way, and we have seen that suffices neither to make an engineer nor a geometer. Well, since choice must be made, I prefer those who understand completely.

10. But is the art of sound reasoning not also a precious thing, which the professor of mathematics ought before all to cultivate? I take good care not to forget that. It should occupy our attention and from the very beginning. I should be distressed to see geometry degenerate into I know not what tachymetry of low grade and I by no means subscribe to the extreme doctrines of certain German Oberlehrer. But there are occasions enough to exercise the scholars in correct reasoning in the parts of mathematics where the inconveniences I have pointed out do not present themselves. There are long chains of theorems where absolute logic has reigned from the very first and, so to speak, quite naturally, where the first geometers have given us models we should constantly imitate and admire.

It is in the exposition of first principles that it is necessary to avoid too much subtility; there it would be most discouraging and moreover useless. We can not prove everything and we can not define everything; and it will always be necessary to borrow from intuition; what does it matter whether it be done a little sooner or a little later, provided that in using correctly premises it has furnished us, we learn to reason soundly.

11. Is it possible to fulfill so many opposing conditions? Is this possible in particular when it is a question of giving a definition? How find a concise statement satisfying at once the uncompromising rules of logic, our desire to grasp the place of the new notion in the totality of the science, our need of thinking with images? Usually it will not be found, and this is why it is not enough to state a definition; it must be prepared for and justified.

What does that mean? You know it has often been said: every definition implies an assumption, since it affirms the existence of the object defined. The definition then will not be justified, from the purely logical point of view, until one shall have proved that it involves no contradiction, neither in the terms, nor with the verities previously admitted.

Is it by caprice? If not, why had this combination more right to exist than all the others? To what need does it respond? How was it foreseen that it would play an important rôle in the development of the science, that it would abridge our reasonings and our calculations? Is there in nature some familiar object which is so to speak the rough and vague image of it?

This is not all; if you answer all these questions in a satisfactory manner, we shall see indeed that the new-born had the right to be baptized; but neither is the choice of a name arbitrary; it is needful to explain by what analogies one has been guided and that if analogous names have been given to different things, these things at least differ only in material and are allied in form; that their properties are analogous and so to say parallel.

At this cost we may satisfy all inclinations. If the statement is correct enough to please the logician, the justification will satisfy the intuitive. But there is still a better procedure; wherever possible, the justification should precede the statement and prepare for it; one should be led on to the general statement by the study of some particular examples.

Still another thing: each of the parts of the statement of a definition has as aim to distinguish the thing to be defined from a class of other neighboring objects. The definition will be understood only when you have shown, not merely the object defined, but the neighboring objects from which it is proper to distinguish it, when you have given a grasp of the difference and when you have added explicitly: this is why in stating the definition I have said this or that.