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

This collection compiles the scientific writings of Henri Poincaré, including *Science and Hypothesis*, *The Value of Science*, and *Science and Method*. The text explores the application of non-Euclidean geometry to theories of the universe and the possibility of alternative laws of nature.

Page 384 of 470
Table of Contents

BOOK II MATHEMATICAL REASONING

second, that of the straight line; the third, that of phosphorus.

I grant it for the second; I do not admit it for the other two. I must explain the reason for this apparent inconsistency.

First, we have seen that a definition is acceptable only on condition that it implies no contradiction. We have shown likewise that for the first definition this demonstration is impossible; on the other hand, we have just recalled that for the second Hilbert has given a complete proof.

As to the third, evidently it implies no contradiction. Does this mean that the definition guarantees, as it should, the existence of the object defined? We are here no longer in the mathematical sciences, but in the physical, and the word existence has no longer the same meaning. It no longer signifies absence of contradiction; it means objective existence.

You already see a first reason for the distinction I made between the three cases; there is a second. In the applications we have to make of these three concepts, do they present themselves to us as defined by these three postulates?

The possible applications of the principle of induction are innumerable; take, for example, one of those we have expounded above, and where it is sought to prove that an aggregate of assumptions can lead to no contradiction. For this we consider one of the series of syllogisms we may go on with in starting from these assumptions as premises. When we have finished the nth syllogism, we see we can make still another and this is the n + 1th. Thus the number n serves to count a series of successive operations; it is a number obtainable by successive additions. This therefore is a number from

384