Principles of Human Knowledge [43]
in itself parts innumerable. There is no such thing as the ten- thousandth part of an inch; but there is of a mile or diameter of the earth, which may be signified by that inch. When therefore I delineate a triangle on paper, and take one side not above an inch, for example, in length to be the radius, this I consider as divided into 10,000 or 100,000 parts or more; for, though the ten-thousandth part of that line considered in itself is nothing at all, and consequently may be neglected without an error or inconveniency, yet these described lines, being only marks standing for greater quantities, whereof it may be the ten- thousandth part is very considerable, it follows that, to prevent notable errors in practice, the radius must be taken of 10,000 parts or more.
128. From what has been said the reason is plain why, to the end any theorem become universal in its use, it is necessary we speak of the lines described on paper as though they contained parts which really they do not. In doing of which, if we examine the matter thoroughly, we shall perhaps discover that we cannot conceive an inch itself as consisting of, or being divisible into, a thousand parts, but only some other line which is far greater than an inch, and represented by it; and that when we say a line is infinitely divisible, we must mean a line which is infinitely great. What we have here observed seems to be the chief cause why, to suppose the infinite divisibility of finite extension has been thought necessary in geometry.
129. The several absurdities and contradictions which flowed from this false principle might, one would think, have been esteemed so many demonstrations against it. But, by I know not what logic, it is held that proofs a posteriori are not to be admitted against propositions relating to infinity, as though it were not impossible even for an infinite mind to reconcile contradictions; or as if anything absurd and repugnant could have a necessary connexion with truth or flow from it. But, whoever considers the weakness of this pretence will think it was contrived on purpose to humour the laziness of the mind which had rather acquiesce in an indolent scepticism than be at the pains to go through with a severe examination of those principles it has ever embraced for true.
130. Of late the speculations about Infinities have run so high, and grown to such strange notions, as have occasioned no small scruples and disputes among the geometers of the present age. Some there are of great note who, not content with holding that finite lines may be divided into an infinite number of parts, do yet farther maintain that each of those infinitesimals is itself subdivisible into an infinity of other parts or infinitesimals of a second order, and so on ad infinitum. These, I say, assert there are infinitesimals of infinitesimals of infinitesimals, &c., without ever coming to an end; so that according to them an inch does not barely contain an infinite number of parts, but an infinity of an infinity of an infinity ad infinitum of parts. Others there be who hold all orders of infinitesimals below the first to be nothing at all; thinking it with good reason absurd to imagine there is any positive quantity or part of extension which, though multiplied infinitely, can never equal the smallest given extension. And yet on the other hand it seems no less absurd to think the square, cube or other power of a positive real root, should itself be nothing at all; which they who hold infinitesimals of the first order, denying all of the subsequent orders, are obliged to maintain.
131. Have we not therefore reason to conclude they are both in the wrong, and that there is in effect no such thing as parts infinitely small, or an infinite number of parts contained in any finite quantity? But you will say that if this doctrine obtains it will follow the very foundations of Geometry are destroyed, and those great men who have raised that science to so astonishing a height, have been all the while building a castle in the air. To this it
128. From what has been said the reason is plain why, to the end any theorem become universal in its use, it is necessary we speak of the lines described on paper as though they contained parts which really they do not. In doing of which, if we examine the matter thoroughly, we shall perhaps discover that we cannot conceive an inch itself as consisting of, or being divisible into, a thousand parts, but only some other line which is far greater than an inch, and represented by it; and that when we say a line is infinitely divisible, we must mean a line which is infinitely great. What we have here observed seems to be the chief cause why, to suppose the infinite divisibility of finite extension has been thought necessary in geometry.
129. The several absurdities and contradictions which flowed from this false principle might, one would think, have been esteemed so many demonstrations against it. But, by I know not what logic, it is held that proofs a posteriori are not to be admitted against propositions relating to infinity, as though it were not impossible even for an infinite mind to reconcile contradictions; or as if anything absurd and repugnant could have a necessary connexion with truth or flow from it. But, whoever considers the weakness of this pretence will think it was contrived on purpose to humour the laziness of the mind which had rather acquiesce in an indolent scepticism than be at the pains to go through with a severe examination of those principles it has ever embraced for true.
130. Of late the speculations about Infinities have run so high, and grown to such strange notions, as have occasioned no small scruples and disputes among the geometers of the present age. Some there are of great note who, not content with holding that finite lines may be divided into an infinite number of parts, do yet farther maintain that each of those infinitesimals is itself subdivisible into an infinity of other parts or infinitesimals of a second order, and so on ad infinitum. These, I say, assert there are infinitesimals of infinitesimals of infinitesimals, &c., without ever coming to an end; so that according to them an inch does not barely contain an infinite number of parts, but an infinity of an infinity of an infinity ad infinitum of parts. Others there be who hold all orders of infinitesimals below the first to be nothing at all; thinking it with good reason absurd to imagine there is any positive quantity or part of extension which, though multiplied infinitely, can never equal the smallest given extension. And yet on the other hand it seems no less absurd to think the square, cube or other power of a positive real root, should itself be nothing at all; which they who hold infinitesimals of the first order, denying all of the subsequent orders, are obliged to maintain.
131. Have we not therefore reason to conclude they are both in the wrong, and that there is in effect no such thing as parts infinitely small, or an infinite number of parts contained in any finite quantity? But you will say that if this doctrine obtains it will follow the very foundations of Geometry are destroyed, and those great men who have raised that science to so astonishing a height, have been all the while building a castle in the air. To this it