such a line which yesterday was straight will cease to be straight to-morrow if some physical circumstance has changed.
Suppose now we find that phosphorus does not melt at 44°, but at 43.9°. Shall we conclude that phosphorus being by definition that which melts at 44°, this body that we did call phosphorus is not true phosphorus, or, on the other hand, that phosphorous melts at 43.9°? Here again we are free to adopt the one or the other definition and consequently the one or the other conclusion; but to adopt the first would be stupid because we can not be changing the name of a substance every time we determine a new decimal of its fusion-point.
XIII
To sum up, Russell and Hilbert have each made a vigorous effort; they have each written a work full of original views, profound and often well warranted. These two works give us much to think about and we have much to learn from them. Among their results, some, many even, are solid and destined to live.
But to say that they have finally settled the debate between Kant and Leibnitz and ruined the Kantian theory of mathematics is evidently incorrect. I do not know whether they really believed they had done it, but if they believed so, they deceived themselves.
CHAPTER V
The Latest Efforts of the Logisticians
I
The logicians have attempted to answer the preceding considerations. For that, a transformation of logistic was necessary, and Russell in particular has modified on certain points his original views. Without entering into the details of the debate, I should like to return to the two questions to my mind most important: Have the rules of logistic demonstrated their fruitfulness and infallibility? Is it true they afford means of proving