THE ANALYST.
[]I. THOUGH I am a Stranger to your Perſon, yet I am not, Sir, a Stranger to the Repu⯑tation you have acquired, in that branch of Learning which hath been your peculiar Study; nor to the Authority that you therefore aſſume in things foreign to your Profeſſion, nor to the Abuſe that you, and too many more of the like Cha⯑racter, are known to make of ſuch undue Authority, to the miſleading of unwary Perſons in matters of the higheſt Con⯑cernment, and whereof your mathemati⯑cal Knowledge can by no means qualify you to be a competent Judge. Equity in⯑deed and good Senſe would incline one to diſregard the Judgment of Men, in Points [4] which they have not conſidered or exami⯑ned. But ſeveral who make the loudeſt Claim to thoſe Qualities, do, nevertheleſs, the very thing they would ſeem to deſpiſe, clothing themſelves in the Livery of other Mens Opinions, and putting on a general deference for the Judgment of you, Gen⯑tlemen, who are preſumed to be of all Men the greateſt Maſters of Reaſon, to be moſt converſant about diſtinct Ideas, and never to take things upon truſt, but al⯑ways clearly to ſee your way, as Men whoſe conſtant Employment is the de⯑ducing Truth by the juſteſt inference from the moſt evident Principles. With this bias on their Minds, they ſubmit to your Deciſions where you have no right to de⯑cide. And that this is one ſhort way of making Infidels I am credibly informed.
II. Whereas then it is ſuppoſed, that you apprehend more diſtinctly, conſider more cloſely, infer more juſtly, conclude more accurately than other Men, and that you are therefore leſs religious becauſe more judicious, I ſhall claim the privilege of a Free-Thinker; and take the Liberty [5] to inquire into the Object, Principles, and Method of Demonſtration admitted by the Mathematicians of the preſent Age, with the ſame freedom that you preſume to treat the Principles and Myſteries of Reli⯑gion; to the end, that all Men may ſee what right you have to lead, or what En⯑couragement others have to follow you. It hath been an old remark that Geome⯑try is an excellent Logic. And it muſt be owned, that when the Definitions are clear; when the Poſtulata cannot be refuſed, nor the Axioms denied; when from the diſ⯑tinct Contemplation and Compariſon of Figures, their Properties are derived, by a perpetual well-connected chain of Conſe⯑quences, the Objects being ſtill kept in view, and the attention ever fixed upon them; there is acquired an habit of rea⯑ſoning, cloſe and exact and methodical: which habit ſtrengthens and ſharpens the Mind, and being transferred to other Subjects, is of general uſe in the inquiry after Truth. But how far this is the caſe of our Geometrical Analyſts, it may be worth while to conſider.
III. The Method of Fluxions is the ge⯑neral Key, by help whereof the modern Mathematicians unlock the ſecrets of Geo⯑metry, and conſequently of Nature. And as it is that which hath enabled them ſo remarkably to outgo the Ancients in diſ⯑covering Theorems and ſolving Problems, the exerciſe and application thereof is be⯑come the main, if not ſole, employment of all thoſe who in this Age paſs for pro⯑found Geometers. But whether this Me⯑thod be clear or obſcure, conſiſtent or repugnant, demonſtrative or precarious, as I ſhall inquire with the utmoſt impar⯑tiality, ſo I ſubmit my inquiry to your own Judgment, and that of every candid Reader. Lines are ſuppoſed to be gene⯑rated * by the motion of Points, Plains by the motion of Lines, and Solids by the motion of Plains. And whereas Quan⯑tities generated in equal times are greater or leſſer, according to the greater or leſſer Velocity, wherewith they increaſe and are generated, a Method hath been found to determine Quantities from the Velocities of their generating Motions. [7] And ſuch Velocities are called Fluxions: and the Quantities generated are called flowing Quantities. Theſe Fluxions are ſaid to be nearly as the Increments of the flowing Quantities, generated in the leaſt equal Particles of time; and to be accurately in the firſt Proportion of the naſcent, or in the laſt of the evaneſcent, Increments. Sometimes, inſtead of Velo⯑cities, the momentaneous Increments or Decrements of undetermined flowing Quantities are conſidered, under the Ap⯑pellation of Moments.
IV. By Moments we are not to under⯑ſtand finite Particles. Theſe are ſaid not to be Moments, but Quantities genera⯑ted from Moments, which laſt are only the naſcent Principles of finite Quanti⯑ties. It is ſaid, that the minuteſt Errors are not to be neglected in Mathematics: that the Fluxions are Celerities, not pro⯑portional to the finite Increments though ever ſo ſmall; but only to the Moments or naſcent Increments, whereof the Pro⯑portion alone, and not the Magnitude, is conſidered. And of the aforeſaid Fluxions [8] there be other Fluxions, which Fluxions of Fluxions are called ſecond Fluxions. And the Fluxions of theſe ſecond Fluxions are called third Fluxions: and ſo on, fourth, fifth, ſixth, &c. ad infinitum. Now as our Senſe is ſtrained and puzzled with the perception of Objects extremely minute, even ſo the Imagination, which Faculty derives from Senſe, is very much ſtrained and puzzled to frame clear Ideas of the leaſt Particles of time, or the leaſt Incre⯑ments generated therein: and much more ſo to comprehend the Moments, or thoſe Increments of the flowing Quanti⯑ties in ſtatu naſcenti, in their very firſt origin or beginning to exiſt, before they become finite Particles. And it ſeems ſtill more difficult, to conceive the abſtracted Velocities of ſuch naſcent imperfect En⯑tities. But the Velocities of the Velocities, the ſecond, third, fourth and fifth Velo⯑cities, &c. exceed, if I miſtake not, all Humane Underſtanding. The further the Mind analyſeth and purſueth theſe fugi⯑tive Ideas, the more it is loſt and be⯑wildered; the Objects, at firſt fleeting and minute, ſoon vaniſhing out of ſight. Cer⯑tainly [9] in any Senſe a ſecond or third Fluxion ſeems an obſcure Myſtery. The incipient Celerity of an incipient Celerity, the naſcent Augment of a naſcent Aug⯑ment, i. e. of a thing which hath no Magnitude: Take it in which light you pleaſe, the clear Conception of it will, if I miſtake not, be found impoſſible, whe⯑ther it be ſo or no I appeal to the trial of every thinking Reader. And if a ſecond Fluxion be inconceivable, what are we to think of third, fourth, fifth Fluxions, and ſo onward without end?
V. The foreign Mathematicians are ſuppoſed by ſome, even of our own, to proceed in a manner, leſs accurate per⯑haps and geometrical, yet more intelligi⯑ble. Inſtead of flowing Quantities and their Fluxions, they conſider the variable finite Quantities, as increaſing or dimi⯑niſhing by the continual Addition or Sub⯑duction of infinitely ſmall Quantities. In⯑ſtead of the Velocities wherewith Incre⯑ments are generated, they conſider the In⯑crements or Decrements themſelves, which they call Differences, and which are ſup⯑poſed [10] to be infinitely ſmall. The Diffe⯑rence of a Line is an infinitely little Line; of a Plain an infinitely little Plain. They ſuppoſe finite Quantities to conſiſt of Parts infinitely little, and Curves to be Poly⯑gones, whereof the Sides are infinitely lit⯑tle, which by the Angles they make one with another determine the Curvity of the Line. Now to conceive a Quantity in⯑finitely ſmall, that is, infinitely leſs than any ſenſible or imaginable Quantity, or than any the leaſt finite Magnitude, is, I confeſs, above my Capacity. But to con⯑ceive a Part of ſuch infinitely ſmall Quan⯑tity, that ſhall be ſtill infinitely leſs than it, and conſequently though multiply'd infinitely ſhall never equal the minuteſt finite Quantity, is, I ſuſpect, an infinite Difficulty to any Man whatſoever; and will be allowed ſuch by thoſe who can⯑didly ſay what they think; provided they really think and reflect, and do not take things upon truſt.
VI. And yet in the calculus differentialis, which Method ſerves to all the ſame In⯑tents and Ends with that of Fluxions, [11] our modern Analyſts are not content to conſider only the Differences of finite Quantities: they alſo conſider the Diffe⯑rences of thoſe Differences, and the Diffe⯑rences of the Differences of the firſt Diffe⯑rences. And ſo on ad infinitum. That is, they conſider Quantities infinitely leſs than the leaſt diſcernible Quantity; and others infinitely leſs than thoſe infinitely ſmall ones; and ſtill others infinitely leſs than the prece⯑ding Infiniteſimals, and ſo on without end or limit. Inſomuch that we are to ad⯑mit an infinite ſucceſſion of Infiniteſimals, each infinitely leſs than the foregoing, and infinitely greater than the following. As there are firſt, ſecond, third, fourth, fifth, &c. Fluxions, ſo there are Diffe⯑rences, firſt, ſecond, third, fourth, &c. in an infinite Progreſſion towards nothing, which you ſtill approach and never arrive at. And (which is moſt ſtrange) although you ſhould take a Million of Millions of theſe Infiniteſimals, each whereof is ſup⯑poſed infinitely greater than ſome other real Magnitude, and add them to the leaſt given Quantity, it ſhall be never the bigger. For this is one of the modeſt poſtulata of [12] our modern Mathematicians, and is a Cor⯑ner-ſtone or Ground-work of their Specu⯑lations.
VII. All theſe Points, I ſay, are ſup⯑poſed and believed by certain rigorous Ex⯑actors of Evidence in Religion, Men who pretend to believe no further than they can ſee. That Men, who have been con⯑verſant only about clear Points, ſhould with difficulty admit obſcure ones might not ſeem altogether unaccountable. But he who can digeſt a ſecond or third Fluxi⯑on, a ſecond or third Difference, need not, methinks, be ſqueamiſh about any Point in Divinity. There is a natural Preſump⯑tion that Mens Faculties are made alike. It is on this Suppoſition that they attempt to argue and convince one another. What, therefore, ſhall appear evidently impoſſi⯑ble and repugnant to one, may be pre⯑ſumed the ſame to another. But with what appearance of Reaſon ſhall any Man preſume to ſay, that Myſteries may not be Objects of Faith, at the ſame time that he himſelf admits ſuch obſcure Myſteries to be the Object of Science?
VIII. It muſt indeed be acknowledged, the modern Mathematicians do not conſi⯑der theſe Points as Myſteries, but as clear⯑ly conceived and maſtered by their com⯑prehenſive Minds. They ſcruple not to ſay, that by the help of theſe new Analy⯑tics they can penetrate into Infinity it ſelf: That they can even extend their Views be⯑yond Infinity: that their Art comprehends not only Infinite, but Infinite of Infinite (as they expreſs it) or an Infinity of Infinites. But, notwithſtanding all theſe Aſſertions and Pretenſions, it may be juſtly queſtion⯑ed whether, as other Men in other Inqui⯑ries are often deceived by Words or Terms, ſo they likewiſe are not wonderfully de⯑ceived and deluded by their own peculiar Signs, Symbols, or Species. Nothing is eaſier than to deviſe Expreſſions or Notations for Fluxions and Infiniteſimals of the firſt, ſe⯑cond, third, fourth and ſubſequent Orders, proceeding in the ſame regular form with⯑out end or limit x.. x... x⸫. x⸬. [...] or dx. ddx. dddx. ddddx &c. Theſe Expreſſions in⯑deed are clear and diſtinct, and the Mind finds no difficulty in conceiving them to be continued beyond any aſſignable Bounds. [14] But if we remove the Veil and look under⯑neath, if laying aſide the Expreſſions we ſet our ſelves attentively to conſider the things themſelves, which are ſuppoſed to be expreſſed or marked thereby, we ſhall diſcover much Emptineſs, Darkneſs, and Confuſion; nay, if I miſtake not, direct Impoſſibilities and Contradictions. Whe⯑ther this be the caſe or no, every think⯑ing Reader is intreated to examine and judge for himſelf.
IX. Having conſidered the Object, I proceed to conſider the Principles of this new Analyſis by Momentums, Fluxions, or Infiniteſimals; wherein if it ſhall appear that your capital Points, upon which the reſt are ſuppoſed to depend, include Er⯑ror and falſe Reaſoning; it will then fol⯑low that you, who are at a loſs to con⯑duct your ſelves, cannot with any decen⯑cy ſet up for guides to other Men. The main Point in the method of Fluxions is to obtain the Fluxion or Momentum of the Rectangle or Product of two indeter⯑minate Quantities. Inaſmuch as from thence are derived Rules for obtaining the [15] Fluxions of all other Products and Pow⯑ers; be the Coefficients or the Indexes what they will, integers or fractions, rational or ſurd. Now this fundamental Point one would think ſhould be very clearly made out, conſidering how much is built upon it, and that its Influence extends throughout the whole Analyſis. But let the Reader judge. This is given for De⯑monſtration. * Suppoſe the Product or Rectangle AB increaſed by continual Mo⯑tion: and that the momentaneous Incre⯑ments of the Sides A and B are a and b. When the Sides A and B were deficient, or leſſer by one half of their Moments, the Rect⯑angle was [...] i. e. AB − ½aB − ½bA + ¼ab. And as ſoon as the Sides A and B are increaſed by the other two halves of their Moments, the Rectangle becomes [...] or AB + ½aB + ½bA + ¼ab. From the latter Rectangle ſubduct the former, and the remaining diffe⯑rence will be aB + bA. Therefore the Increment of the Rectangle generated by the intire Increments a and b is aB + bA. [16] Q. E. D. But it is plain that the direct and true Method to obtain the Moment of Increment of the Rectangle AB, is to take the Sides as increaſed by their whole In⯑crements, and ſo multiply them together, A + a by B + b, the Product whereof AB + aB + bA + ab is the augmented Rectangle; whence if we ſubduct AB, the Remainder aB + bA + ab will be the true Increment of the Rectangle, exceeding that which was obtained by the former illegitimate and indirect Method by the Quantity ab. And this holds univerſally be the Quantities a and b what they will, big or little, Finite or Infiniteſimal, Incre⯑ments, Moments, or Velocities. Nor will it avail to ſay that ab is a Quantity ex⯑ceeding ſmall: Since we are told that in re⯑bus mathematicis errores quàm minimi non ſunt contemnendi. * Such reaſoning as this, for Demonſtration, nothing but the obſcurity of the Subject could have encouraged or indu⯑ced the great Author of the Fluxionary Me⯑thod to put upon his Followers, and nothing but an implicit deference to Authority could move them to admit. The Caſe indeed is [17] difficult. There can be nothing done till you have got rid of the Quantity ab. In order to this the Notion of Fluxions is ſhifted: It is placed in various Lights: Points which ſhould be clear as firſt Prin⯑ciples are puzzled; and Terms which ſhould be ſteadily uſed are ambiguous. But notwithſtanding all this addreſs and skill the point of getting rid of ab can⯑not be obtained by legitimate reaſoning. If a Man by Methods, not geometrical or demonſtrative, ſhall have ſatisfied himſelf of the uſefulneſs of certain Rules; which he afterwards ſhall propoſe to his Diſciples for undoubted Truths; which he under⯑takes to demonſtrate in a ſubtile man⯑ner, and by the help of nice and in⯑tricate Notions; it is not hard to conceive that ſuch his Diſciples may, to ſave them⯑ſelves the trouble of thinking, be inclined to confound the uſefulneſs of a Rule with the certainty of a Truth, and accept the one for the other; eſpecially if they are Men accuſtomed rather to compute than to think; earneſt rather to go on faſt and far, than ſolicitous to ſet out warily and ſee their way diſtinctly.
XI. The Points or meer Limits of naſ⯑cent Lines are undoubtedly equal, as hav⯑ing no more magnitude one than ano⯑ther, a Limit as ſuch being no Quantity. If by a Momentum you mean more than the very initial Limit, it muſt be either a finite Quantity or an Infiniteſimal. But all finite Quantities are expreſly excluded from the Notion of a Momentum. There⯑fore the Momentum muſt be an Infini⯑teſimal. And indeed, though much Ar⯑tifice hath been employ'd to eſcape or a⯑void the admiſſion of Quantities infinitely ſmall, yet it ſeems ineffectual. For ought I ſee, you can admit no Quantity as a Medium between a finite Quantity and nothing, without admitting Infiniteſimals. An Increment generated in a finite Parti⯑cle of Time, is it ſelf a finite Particle; and cannot therefore be a Momentum. You muſt therefore take an Infiniteſimal Part of Time wherein to generate your Momentum. It is ſaid, the Magnitude of Moments is not conſidered: And yet theſe ſame Moments are ſuppoſed to be divided into Parts. This is not eaſy to conceive, no more than it is why we ſhould take [19] Quantities leſs than A and B in order to obtain the Increment of AB, of which proceeding it muſt be owned the final Cauſe or Motive is very obvious; but it is not ſo obvious or eaſy to explain a juſt and legitimate Reaſon for it, or ſhew it to be Geometrical.
XII. From the foregoing Principle ſo demonſtrated, the general Rule for find⯑ing the Fluxion of any Power of a flow⯑ing Quantity is derived *. But, as there ſeems to have been ſome inward Scruple or Conſciouſneſs of defect in the forego⯑ing Demonſtration, and as this finding the Fluxion of a given Power is a Point of primary Importance, it hath therefore been judged proper to demonſtrate the ſame in a different manner independent of the foregoing Demonſtration. But whe⯑ther this other Method be more legitimate and concluſive than the former, I pro⯑ceed now to examine; and in order there⯑to ſhall premiſe the following Lemma. ‘If with a View to demonſtrate any [20] Propoſition, a certain Point is ſuppoſed, by virtue of which certain other Points are attained; and ſuch ſuppoſed Point be it ſelf afterwards deſtroyed or rejec⯑ted by a contrary Suppoſition; in that caſe, all the other Points, attained thereby and conſequent thereupon, muſt alſo be deſtroyed and rejected, ſo as from thence forward to be no more ſuppo⯑ſed or applied in the Demonſtration.’ This is ſo plain as to need no Proof.
XIII. Now the other Method of ob⯑taining a Rule to find the Fluxion of any Power is as follows. Let the Quantity x flow uniformly, and be it propoſed to find the Fluxion of xn. In the ſame time that x by flowing becomes x + o, the Power xn becomes [...], i. e. by the Method of infinite Series xn + noxn−1 + [...] ooxn−2 + &c. and the Incre⯑ments o and noxn−1 + [...] ooxn−2 + &c. are one to another as 1 to nxn−1 + [...] oxn−2 + &c.. Let now the In⯑crements vaniſh, and their laſt Proportion will be 1 to nxn−1. But it ſhould ſeem [21] that this reaſoning is not fair or concluſive. For when it is ſaid, let the Increments vaniſh, i. e. let the Increments be nothing, or let there be no Increments, the former Suppoſition that the Increments were ſomething, or that there were Increments, is deſtroyed, and yet a Conſequence of that Suppoſition, i. e. an Expreſſion got by virtue thereof, is retained. Which, by the foregoing Lemma, is a falſe way of reaſoning. Certainly when we ſuppoſe the Increments to vaniſh, we muſt ſup⯑poſe their Proportions, their Expreſſions, and every thing elſe derived from the Sup⯑poſition of their Exiſtence to vaniſh with them.
XIV. To make this Point plainer, I ſhall unfold the reaſoning, and propoſe it in a fuller light to your View. It amounts therefore to this, or may in other Words be thus expreſſed. I ſuppoſe that the Quantity x flows, and by flowing is in⯑creaſed, and its Increment I call o, ſo that by flowing it becomes x + o. And as x increaſeth, it follows that every Power of x is likewiſe increaſed in a due Pro⯑portion. [22] Therefore as x becomes x + o, xn will become [...]: that is, accord⯑ing to the Method of infinite Series, xn + noxn−1 + [...] ooxn−2 + &c. And if from the two augmented Quantities we ſubduct the Root and the Power reſpec⯑tively, we ſhall have remaining the two Increments, to wit, o and noxn−1 + [...] ooxn−2 + &c. which Increments, being both divided by the common Divi⯑ſor o, yield the Quotients 1 and nxn−1 + [...] oxn−2 + &c. which are there⯑fore Exponents of the Ratio of the Incre⯑ments. Hitherto I have ſuppoſed that x flows, that x hath a real Increment, that o is ſomething. And I have proceeded all along on that Suppoſition, without which I ſhould not have been able to have made ſo much as one ſingle Step. From that Suppoſition it is that I get at the Incre⯑ment of xn, that I am able to compare it with the Increment of x, and that I find the Proportion between the two In⯑crements. I now beg leave to make a new Suppoſition contrary to the firſt, i. e. I will ſuppoſe that there is no Increment [23] of x, or that o is nothing; which ſecond Suppoſition deſtroys my firſt, and is in⯑conſiſtent with it, and therefore with eve⯑ry thing that ſuppoſeth it. I do never⯑theleſs beg leave to retain nxn−1, which is an Expreſſion obtained in virtue of my firſt Suppoſition, which neceſſarily pre⯑ſuppoſeth ſuch Suppoſition, and which could not be obtained without it: All which ſeems a moſt inconſiſtent way of arguing, and ſuch as would not be allow⯑ed of in Divinity.
XV. Nothing is plainer than that no juſt Concluſion can be directly drawn from two inconſiſtent Suppoſitions. You may indeed ſuppoſe any thing poſſible: But af⯑terwards you may not ſuppoſe any thing that deſtroys what you firſt ſuppoſed. Or if you do, you muſt begin de novo. If therefore you ſuppoſe that the Augments vaniſh, i. e. that there are no Augments, you are to begin again, and ſee what fol⯑lows from ſuch Suppoſition. But nothing will follow to your purpoſe. You cannot by that means ever arrive at your Con⯑cluſion, or ſucceed in, what is called by [24] the celebrated Author, the Inveſtigation of the firſt or laſt Proportions of naſcent and evaneſcent Quantities, by inſtituting the Analyſis in finite ones. I repeat it again: You are at liberty to make any poſſible Suppoſition: And you may de⯑ſtroy one Suppoſition by another: But then you may not retain the Conſequences, or any part of the Conſequences of your firſt Suppoſition ſo deſtroyed. I admit that Signs may be made to denote either any thing or nothing: And conſequently that in the original Notation x + o, o might have ſignified either an Increment or no⯑thing. But then which of theſe ſoever you make it ſignify, you muſt argue con⯑ſiſtently with ſuch its Signification, and not proceed upon a double Meaning: Which to do were a manifeſt Sophiſm. Whether you argue in Symbols or in Words, the Rules of right Reaſon are ſtill the ſame. Nor can it be ſuppoſed, you will plead a Privilege in Mathematics to be exempt from them.
XVI. If you aſſume at firſt a Quantity increaſed by nothing, and in the Expreſ⯑ſion [25] x + o, o ſtands for nothing, upon this Suppoſition as there is no Increment of the Root, ſo there will be no Increment of the Power; and conſequently there will be none except the firſt, of all thoſe Mem⯑bers of the Series conſtituting the Power of the Binomial; you will therefore never come at your Expreſſion of a Fluxion le⯑gitimately by ſuch Method. Hence you are driven into the fallacious way of pro⯑ceeding to a certain Point on the Suppo⯑ſition of an Increment, and then at once ſhifting your Suppoſition to that of no Increment. There may ſeem great Skill in doing this at a certain Point or Period. Since if this ſecond Suppoſition had been made before the common Diviſion by o, all had vaniſhed at once, and you muſt have got nothing by your Suppoſition. Whereas by this Artifice of firſt dividing, and then changing your Suppoſition, you retain 1 and nxn−1. But, notwithſtand⯑ing all this addreſs to cover it, the fal⯑lacy is ſtill the ſame. For whether it be done ſooner or later, when once the ſe⯑cond Suppoſition or Aſſumption is made, in the ſame inſtant the former Aſſumpti⯑on [26] and all that you got by it is deſtroyed, and goes out together. And this is univer⯑ſally true, be the Subject what it will, throughout all the Branches of humane Knowledge; in any other of which, I believe, Men would hardly admit ſuch a reaſoning as this, which in Mathematics is accepted for Demonſtration.
XVII. It may not be amiſs to obſerve, that the Method for finding the Fluxion of a Rectangle of two flowing Quantities, as it is ſet forth in the Treatiſe of Qua⯑dratures, differs from the abovementioned taken from the ſecond Book of the Prin⯑ciples, and is in effect the ſame with that uſed in the calculus differentialis *. For the ſuppoſing a Quantity infinitely dimi⯑niſhed and therefore rejecting it, is in ef⯑fect the rejecting an Infiniteſimal; and indeed it requires a marvellous ſharpneſs of Diſcernment, to be able to diſtinguiſh between evaneſcent Increments and infini⯑teſimal Differences. It may perhaps be ſaid that the Quantity being infinitely di⯑miniſhed becomes nothing, and ſo no⯑thing is rejected. But according to the [27] received Principles it is evident, that no Geometrical Quantity, can by any diviſion or ſubdiviſion whatſoever be exhauſted, or reduced to nothing. Conſidering the vari⯑ous Arts and Devices uſed by the great Author of the Fluxionary Method: in how many Lights he placeth his Fluxions: and in what different ways he attempts to demonſtrate the ſame Point: one would be inclined to think, he was himſelf ſuſpici⯑ous of the juſtneſs of his own demonſtra⯑tions; and that he was not enough pleaſed with any one notion ſteadily to adhere to it. Thus much at leaſt is plain, that he owned himſelf ſatisfied concerning certain Points, which nevertheleſs he could not undertake to demonſtrate to others *. Whe⯑ther this ſatisfaction aroſe from tentative Methods or Inductions; which have often been admitted by Mathematicians, (for inſtance by Dr. Wallis in his A⯑rithmetic of Infinites) is what I ſhall not pretend to determine. But, whatever the Caſe might have been with reſpect to the Author, it appears that his Followers have ſhewn themſelves more eager in ap⯑plying [28] his Method, than accurate in exa⯑mining his Principles.
XVIII. It is curious to obſerve, what ſubtilty and skill this great Genius em⯑ploys to ſtruggle with an inſuperable Dif⯑ficulty; and through what Labyrinths he endeavours to eſcape the Doctrine of Infiniteſimals; which as it intrudes up⯑on him whether he will or no, ſo it is admitted and embraced by others without the leaſt repugnance. Leibnitz and his Followers in their calculus differentialis making no manner of ſcruple, firſt to ſup⯑poſe, and ſecondly to reject Quantities infinitely ſmall: with what clearneſs in the Apprehenſion and juſtneſs in the reaſoning, any thinking Man, who is not prejudiced in favour of thoſe things, may eaſily diſcern. The Notion or Idea of an infiniteſimal Quantity, as it is an Object ſimply apprehended by the Mind, hath been already conſidered *. I ſhall now only obſerve as to the method of getting rid of ſuch Quantities, that it is done without the leaſt Ceremony. As in [29] Fluxions the Point of firſt importance, and which paves the way to the reſt, is to find the Fluxion of a Product of two in⯑determinate Quantities, ſo in the calculus differentialis (which Method is ſuppoſed to have been borrowed from the former with ſome ſmall Alterations) the main Point is to obtain the difference of ſuch Product. Now the Rule for this is got by rejecting the Product or Rectangle of the Differen⯑ces. And in general it is ſuppoſed, that no Quantity is bigger or leſſer for the Addi⯑tion or Subduction of its Infiniteſimal: and that conſequently no error can ariſe from ſuch rejection of Infiniteſimals.
XIX. And yet it ſhould ſeem that, whatever errors are admitted in the Pre⯑miſes, proportional errors ought to be ap⯑prehended in the Concluſion, be they finite or infiniteſimal: and that therefore the [...] of Geometry requires nothing ſhould be neglected or rejected. In anſwer to this you will perhaps ſay, that the Concluſions are accurately true, and that therefore the Principles and Methods from whence they are derived muſt be ſo too. [30] But this inverted way of demonſtrating your Principles by your Concluſions, as it would be peculiar to you Gentlemen, ſo it is contrary to the Rules of Logic. The truth of the Concluſion will not prove either the Form or the Matter of a Syl⯑logiſm to be true: inaſmuch as the Illation might have been wrong or the Premiſes falſe, and the Concluſion nevertheleſs true, though not in virtue of ſuch Illation or of ſuch Premiſes. I ſay that in every other Science Men prove their Concluſions by their Principles, and not their Principles by the Concluſions. But if in yours you ſhould allow your ſelves this unnatural way of proceeding, the Conſequence would be that you muſt take up with the Induction, and bid adieu to Demonſtration. And if you ſubmit to this, your Authority will no longer lead the way in Points of Reaſon and Science.
XX. I have no Controverſy about your Concluſions, but only about your Logic and Method. How you demonſtrate? What Objects you are coverſant with, and whether you conceive them clearly? [31] What Principles you proceed upon; how ſound they may be; and how you apply them? It muſt be remembred that I am not concerned about the truth of your Theorems, but only about the way of coming at them; whether it be legitimate or illegitimate, clear or obſcure, ſcientific or tentative. To prevent all poſſibility of your miſtaking me, I beg leave to repeat and inſiſt, that I conſider the Geometrical A⯑nalyſt as a Logician, i. e. ſo far forth as he reaſons and argues; and his Mathematical Concluſions, not in themſelves, but in their Premiſes; not as true or falſe, uſe⯑ful or inſignificant, but as derived from ſuch Principles, and by ſuch Inferences. And foraſmuch as it may perhaps ſeem an unaccountable Paradox, that Mathe⯑maticians ſhould deduce true Propoſitions from falſe Principles, be right in the Con⯑cluſion, and yet err in the Premiſes; I ſhall endeavour particularly to explain why this may come to paſs, and ſhew how Er⯑ror may bring forth Truth, though it cannot bring forth Science.
XXI. In order therefore to clear up this Point, we will ſuppoſe for inſtance that a Tangent is to be drawn to a Parabola, and examine the progreſs of this Affair, as it is performed by infiniteſimal Differences.
Let AB be a Curve, the Abſciſſe AP = x, the ordinate PB = y, the Difference of the Abſciſſe PM = dx, the Difference of the Ordinate RN = dy. Now by ſuppoſing the Curve to be a Polygon, and conſequent⯑ly BN, the Increment or Difference of the Curve, to be a ſtraight Line coincident [33] with the Tangent, and the differential Triangle BRN to be ſimiliar to the tri⯑angle TPB the Subtangent PT is found a fourth Proportional to RN ∶ RB ∶ PB: that is to dy ∶ dx ∶ y. Hence the Subtangent will be [...]. But herein there is an error ariſing from the forementioned falſe ſup⯑poſition, whence the value of PT comes out greater than the Truth: for in reality it is not the Triangle RNB but RLB, which is ſimilar to PBT, and therefore (in⯑ſtead of RN) RL ſhould have been the firſt term of the Proportion, i. e. RN + NL, i. e. dy + z: whence the true expreſſion for the Subtangent ſhould have been [...]. There was therefore an error of defect in making dy the diviſor: which error was equal to z, i. e. NL the Line comprehend⯑ed between the Curve and the Tangent. Now by the nature of the Curve yy = px, ſuppoſing p to be the Parameter, whence by the rule of Differences 2ydy = pdx and dy = [...]. But if you multiply y + dy by it ſelf, and retain the whole Product without rejecting the Square of the Diffe⯑rence, [34] it will then come out, by ſubſtitu⯑ting the augmented Quantities in the E⯑quation of the Curve, that dy = [...] truly. There was therefore an error of exceſs in making dy = [...], which followed from the erroneous Rule of Differences. And the meaſure of this ſecond error is [...] = z. Therefore the two errors being equal and contrary deſtroy each other; the firſt er⯑ror of deſect being corrected by a ſecond error of exceſs.
XXII. If you had committed only one error, you would not have come at a true Solution of the Problem. But by virtue of a twofold miſtake you arrive, though not at Science, yet at Truth. For Science it cannot be called, when you proceed blindfold, and arrive at the Truth not knowing how or by what means. To de⯑monſtrate that z is equal to [...], let BR or dx be m and RN or dy be n. By the thirty third Propoſition of the firſt Book of the Conics of Apollonius, and from ſimilar [35] Triangles, as 2x to y ſo is m to n + z = [...]. Likewiſe from the Nature of the Parabola yy + 2yn + nn = xp + mp, and 2yn + nn = mp: wherefore [...] = m: and becauſe yy = px, [...] will be equal to x. Therefore ſubſtituting theſe values inſtead of m and x we ſhall have n + z = [...]: i. e. n + z = [...]: which being reduced gives z = [...] Q. E. D.
XXIII. Now I obſerve in the firſt place, that the Concluſion comes out right, not becauſe the rejected Square of dy was in⯑finitely ſmall; but becauſe this error was compenſated by another contrary and e⯑qual error. I obſerve in the ſecond place, that whatever is rejected, be it ever ſo ſmall, if it be real and conſequently makes a real error in the Premiſes, it will pro⯑duce a proportional real error in the Con⯑cluſion. Your Theorems therefore cannot be accurately true, nor your Problems accurately ſolved, in virtue of Premiſes, [36] which themſelves are not accurate, it be⯑ing a rule in Logic that Concluſio ſequitur partem debiliorem. Therefore I obſerve in the third place, that when the Concluſion is evident and the Premiſes obſcure, or the Concluſion accurate and the Premiſes in⯑accurate, we may ſafely pronounce that ſuch Concluſion is neither evident nor accurate, in virtue of thoſe obſcure inaccurate Pre⯑miſes or Principles; but in virtue of ſome other Principles which perhaps the De⯑monſtrator himſelf never knew or thought of. I obſerve in the laſt place, that in caſe the Differences are ſuppoſed finite Quantities ever ſo great, the Concluſion will nevertheleſs come out the ſame: in⯑aſmuch as the rejected Quantities are le⯑gitimately thrown out, not for their ſmallneſs, but for another reaſon, to wit, becauſe of contrary errors, which deſtroy⯑ing each other do upon the whole cauſe that nothing is really, though ſomething is apparently thrown out. And this Rea⯑ſon holds equally, with reſpect to Quan⯑tities finite as well as infiniteſimal, great as well as ſmall, a Foot or a Yard long as well as the minuteſt Increment.
XXIV. For the fuller illuſtration of this Point, I ſhall conſider it in another light, and proceeding in finite Quantities to the Concluſion, I ſhall only then make uſe
of one Infiniteſimal. Suppoſe the ſtraight Line MQ cuts the Curve AT in the Points R and S. Suppoſe LR a Tangent at the Point R, AN the Abſciſſe, NR and OS Ordinates. Let AN be produced to O, and RP be drawn parallel to NO. Suppoſe AN = x, NR = y, NO = v, PS = z, the ſubſecant MN = S. Let the Equation y = xx expreſs the nature of the Curve: and ſuppoſing y and x increaſed by their finite Increments, we get y + z = xx + 2xv + vv: whence the former [38] Equation being ſubducted there remains z = 2xv + vv. And by reaſon of ſimilar Triangles PS ∶ PR ∷ NR ∶ NM, i. e. z ∶ v ∷ y ∶ s = [...], wherein if for y and z we ſubſtitute their values, we get [...] = s = [...]. And ſuppoſing NO to be infinitely diminiſhed, the ſubſecant NM will in that caſe coincide with the ſubtan⯑gent NL, and v as an Infiniteſimal may be rejected, whence it follows that S = NL = [...]; which is the true va⯑lue of the Subtangent. And ſince this was obtained by one only error, i. e. by once rejecting one only Infiniteſimal, it ſhould ſeem, contrary to what hath been ſaid, that an infiniteſimal Quantity or Difference may be neglected or thrown away, and the Concluſion nevertheleſs be accurately true, although there was no double miſtake or rectifying of one error by another, as in the firſt Caſe. But if this Point be through⯑ly conſidered, we ſhall find there is even here a double miſtake, and that one com⯑penſates or rectifies the other. For in the [39] firſt place, it was ſuppoſed, that when NO is infinitely diminiſhed or becomes an Infiniteſimal, then the Subſecant NM be⯑comes equal to the Subtangent NL. But this is a plain miſtake, for it is evident, that as a Secant cannot be a Tangent, ſo a Subſecant cannot be a Subtangent. Be the Difference ever ſo ſmall, yet ſtill there is a Difference. And if NO be infinitely ſmall, there will even then be an infinitely ſmall Difference between NM and NL. There⯑fore NM or S was too little for your ſup⯑poſition, (when you ſuppoſed it equal to NL) and this error was compenſated by a ſecond error in throwing out v, which laſt error made s bigger than its true va⯑lue, and in lieu thereof gave the value of the Subtangent. This is the true State of the Caſe, however it may be diſguiſed. And to this in reality it amounts, and is at bottom the ſame thing, if we ſhould pretend to find the Subtangent by hav⯑ing firſt found, from the Equation of the Curve and ſimilar Triangles, a ge⯑neral Expreſſion for all Subſecants, and then reducing the Subtangent under this general Rule, by conſidering it as the [40] Subſecant when v vaniſhes or becomes nothing.
XXV. Upon the whole I obſerve, Firſt, that v can never be nothing ſo long as there is a ſecant. Secondly, That the ſame Line cannot be both tangent and ſecant. Thirdly, that when v or NO * vaniſheth, PS and SR do alſo vaniſh, and with them the proportionality of the ſimilar Triangles. Conſequently the whole Expreſ⯑ſion, which was obtained by means thereof and grounded thereupon, vaniſheth when v vaniſheth. Fourthly, that the Method for finding Secants or the Expreſſion of Se⯑cants, be it ever ſo general, cannot in com⯑mon ſenſe extend any further than to all Secants whatſoever: and, as it neceſſarily ſuppoſeth ſimilar Triangles, it cannot be ſuppoſed to take place where there are not ſimilar Triangles. Fifthly, that the Subſe⯑cant will always be leſs than the Subtan⯑gent, and can never coincide with it; which Coincidence to ſuppoſe would be abſurd; for it would be ſuppoſing, the ſame Line at the ſame time to cut and [41] not to cut another given Line, which is a manifeſt Contradiction, ſuch as ſubverts the Hypotheſis and gives a Demonſtration of its Falſhood. Sixthly, If this be not admitted, I demand a Reaſon why any other apagogical Demonſtration, or De⯑monſtration ad abſurdum ſhould be ad⯑mitted in Geometry rather than this: Or that ſome real Difference be aſſigned be⯑tween this and others as ſuch. Seventhly, I obſerve that it is ſophiſtical to ſuppoſe NO or RP, PS, and SR to be finite real Lines in order to form the Triangle RPS, in order to obtain Proportions by ſimilar Triangles; and afterwards to ſup⯑poſe there are no ſuch Lines, nor conſe⯑quently ſimilar Triangles, and neverthe⯑leſs to retain the Conſequence of the firſt Suppoſition, after ſuch Suppoſition hath been deſtroyed by a contrary one. Eighthly, That although, in the preſent caſe, by in⯑conſiſtent Suppoſitions Truth may be ob⯑tained, yet that ſuch Truth is not demon⯑ſtrated: That ſuch Method is not conform⯑able to the Rules of Logic and right Rea⯑ſon: That, however uſeful it may be, it muſt be conſidered only as a Preſumption, [42] as a Knack, an Art or rather an Artifice, but not a ſcientific Demonſtration.
XXVI. The Doctrine premiſed may be farther illuſtrated by the following ſimple and eaſy Caſe, wherein I ſhall proceed by evaneſcent Increments. Suppoſe AB = x,
BC = y, BD = o, and that xx is equal to the Area ABC: It is propoſed to find the Ordinate y or BC. When x by flowing becomes x + o, then xx becomes xx + 2xo + oo: And the Area ABC becomes ADH, and the Increment of xx will be equal to BDHC the Increment of the [43] Area, i. e. to BCFD + CFH. And if we ſuppoſe the curvilinear Space CFH to be qoo, then 2xo + oo = yo + qoo which divided by o gives 2x + o = y + qo. And, ſuppoſing o to vaniſh, 2x = y, in which Caſe ACH will be a ſtraight Line, and the Areas ABC, CFH, Triangles. Now with regard to this Reaſoning, it hath been already remarked *, that it is not le⯑gitimate or logical to ſuppoſe o to vaniſh, i. e. to be nothing, i. e. that there is no Increment, unleſs we reject at the ſame time with the Increment it ſelf every Con⯑ſequence of ſuch Increment, i. e. what⯑ſoever could not be obtained but by ſup⯑poſing ſuch Increment. It muſt never⯑theleſs be acknowledged, that the Problem is rightly ſolved, and the Concluſion true, to which we are led by this Method. It will therefore be asked, how comes it to paſs that the throwing out o is attended with no Error in the Concluſion? I an⯑ſwer, the true reaſon hereof is plainly this: Becauſe q being Unite, qo is equal to o: And therefore 2x + o − qo = y = 2x, [44] the equal Quantities qo and o being de⯑ſtroyed by contrary Signs.
XXVII. As on the one hand it were abſurd to get rid of o by ſaying, let me contradict my ſelf: Let me ſubvert my own Hypotheſis: Let me take it for grant⯑ed that there is no Increment, at the ſame time that I retain a Quantity, which I could never have got at but by aſſuming an Increment: So on the other hand it would be equally wrong to imagine, that in a geometrical Demonſtration we may be allowed to admit any Error, though ever ſo ſmall, or that it is poſſible, in the nature of Things, an accurate Concluſion ſhould be derived from inaccurate Prin⯑ciples. Therefore o cannot be thrown out as an Infiniteſimal, or upon the Principle that Infiniteſimals may be ſafely neglected. But only becauſe it is deſtroyed by an equal Quantity with a negative Sign, whence o − qo is equal to nothing. And as it is illegitimate to reduce an Equation, by ſubducting from one Side a Quantity when it is not to be deſtroyed, or when an equal Quantity is not ſubducted from [45] the other Side of the Equation: So it muſt be allowed a very logical and juſt Method of arguing, to conclude that if from E⯑quals either nothing or equal Quantities are ſubducted, they ſhall ſtill remain equal. And this is a true Reaſon why no Error is at laſt produced by the rejecting of o. Which therefore muſt not be aſcribed to the Doctrine of Differences, or Infiniteſi⯑mals, or evaneſcent Quantities, or Mo⯑mentums, or Fluxions.
XXVIII. Suppoſe the Caſe to be gene⯑ral, and that xn is equal to the Area ABC, whence by the Method of Fluxi⯑ons the Ordinate is found nxn−1 which we admit for true, and ſhall inquire how it is arrived at. Now if we are content to come at the Concluſion in a ſummary way, by ſuppoſing that the Ratio of the Fluxions of x and xn are found * to be 1 and nxn−1, and that the Ordinate of the Area is conſidered as its Fluxion; we ſhall not ſo clearly ſee our way, or per⯑ceive how the truth comes out, that Me⯑thod as we have ſhewed before being ob⯑ſcure [46] and illogical. But if we fairly de⯑lineate the Area and its Increment, and divide the latter into two Parts BCFD and CFH *, and proceed regularly by E⯑quations between the algebraical and geo⯑metrical Quantities, the reaſon of the thing will plainly appear. For as xn is equal to the Area ABC, ſo is the In⯑crement of xn equal to the Increment of the Area, i. e. to BDHC; that is, to ſay, noxn−1 + [...] ooxn−2 + &c. = BDFC + CFH. And only the firſt Members, on each Side of the Equation being retained, noxn−1 = BDFC: And dividing both Sides by o or BD, we ſhall get nxn−1 = BC. Admitting, therefore, that the curvilinear Space CFH is equal to the rejectaneous Quantity [...] ooxn−2 + &c.. and that when this is rejected on one Side, that is rejected on the other, the Reaſoning becomes juſt and the Concluſion true. And it is all one whatever Magnitude you allow to BD, whether that of an infiniteſimal Difference or a finite Increment ever ſo great. It is there⯑fore plain, that the ſuppoſing the rejectaneous [47] algebraical Quantity to be an infinitely ſmall or evaneſcent Quantity, and there⯑fore to be neglected, muſt have produced an Error, had it not been for the curvi⯑linear Spaces being equal thereto, and at the ſame time ſubducted from the other Part or Side of the Equation agreeably to the Axiom, If from Equals you ſubduct Equals, the Remainders will be equal. For thoſe Quantities which by the Analyſts are ſaid to be neglected, or made to vaniſh, are in reality ſubducted. If therefore the Concluſion be true, it is abſolutely neceſ⯑ſary that the finite Space CFH be equal to the Remainder of the Increment expreſſed by [...] ooxn−2 &c. equal I ſay to the finite Remainder of a finite Incre⯑ment.
XXIX. Therefore, be the Power what you pleaſe, there will ariſe on one Side an algebraical Expreſſion, on the other a geometrical Quantity, each of which na⯑turally divides it ſelf into three Members: The algebraical or fluxionary Expreſſion, into one which includes neither the Ex⯑preſſion [48] of the Increment of the Abſciſs nor of any Power thereof, another which includes the Expreſſion of the Increment it ſelf, and a third including the Expreſ⯑ſion of the Powers of the Increment. The geometrical Quantity alſo or whole in⯑creaſed Area conſiſts of three Parts or Members, the firſt of which is the given Area, the ſecond a Rectangle under the Ordinate and the Increment of the Ab⯑ſciſs, and the third a curvilinear Space. And, comparing the homologous or cor⯑reſpondent Members on both Sides, we find that as the firſt Member of the Ex⯑preſſion is the Expreſſion of the given Area, ſo the ſecond Member of the Ex⯑preſſion will expreſs the Rectangle or ſe⯑cond Member of the geometrical Quanti⯑ty; and the third, containing the Powers of the Increment, will expreſs the curvi⯑linear Space, or third Member of the geo⯑metrical Quantity. This hint may, per⯑haps, be further extended and applied to good purpoſe, by thoſe who have leiſure and curioſity for ſuch Matters. The uſe I make of it is to ſhew, that the Analyſis cannot obtain in Augments or Differences, [49] but it muſt alſo obtain in finite Quantities, be they ever ſo great, as was before ob⯑ſerved.
XXX. It ſeems therefore upon the whole that we may ſafely pronounce, the Concluſion cannot be right, if in order thereto any Quantity be made to vaniſh, or be neglected, except that either one Error is redreſſed by another; or that ſe⯑condly, on the ſame Side of an Equa⯑tion equal Quantities are deſtroyed by contrary Signs, ſo that the Quantity we mean to reject is firſt annihilated; or laſtly, that from the oppoſite Sides equal Quantities are ſubducted. And therefore to get rid of Quantities by the received Principles of Fluxions or of Differences is neither good Geometry nor good Logic. When the Augments vaniſh, the Veloci⯑ties alſo vaniſh. The Velocities or Fluxi⯑ons are ſaid to be primò and ultimò, as the Augments naſcent and evaneſcent. Take therefore the Ratio of the evaneſcent Quantities, it is the ſame with that of the Fluxions. It will therefore anſwer all Intents as well. Why then are Fluxions [50] introduced? Is it not to ſhun or rather to palliate the Uſe of Quantities infinitely ſmall? But we have no Notion whereby to conceive and meaſure various Degrees of Velocity, beſide Space and Time, or when the Times are given, beſide Space alone. We have even no Notion of Ve⯑locity preſcinded from Time and Space. When therefore a Point is ſuppoſed to move in given Times, we have no Notion of greater or leſſer Velocities or of Pro⯑portions between Velocities, but only of longer or ſhorter Lines, and of Proporti⯑ons between ſuch Lines generated in equal Parts of Time.
XXXI. A Point may be the limit of a Line: A Line may be the limit of a Sur⯑face: A Moment may terminate Time. But how can we conceive a Velocity by the help of ſuch Limits? It neceſſarily im⯑plies both Time and Space, and cannot be conceived without them. And if the Velocities of naſcent and evaneſcent Quan⯑tities, i. e. abſtracted from Time and Space, may not be comprehended, how can we comprehend and demonſtrate their [51] Proportions? Or conſider their rationes primae and ultimae. For to conſider the Proportion or Ratio of Things implies that ſuch Things have Magnitude: That ſuch their Magnitudes may be meaſured, and their Relations to each other known. But, as there is no meaſure of Velocity except Time and Space, the Proportion of Velo⯑cities being only compounded of the di⯑rect Proportion of the Spaces, and the reciprocal Proportion of the Times; doth it not follow that to talk of inveſtigating, obtaining, and conſidering the Proportions of Velocities, excluſively of Time and Space, is to talk unintelligibly?
XXXII. But you will ſay that, in the uſe and application of Fluxions, Men do not overſtrain their Faculties to a preciſe Conception of the abovementioned Velo⯑cities, Increments, Infiniteſimals, or any other ſuch like Ideas of a Nature ſo nice, ſubtile, and evaneſcent. And therefore you will perhaps maintain, that Problems may be ſolved without thoſe inconceiva⯑ble Suppoſitions: and that, conſequently, the Doctrine of Fluxions, as to the prac⯑tical [52] Part, ſtands clear of all ſuch Diffi⯑culties. I anſwer, that if in the uſe or application of this Method, thoſe difficult and obſcure Points are not attended to, they are nevertheleſs ſuppoſed. They are the Foundations on which the Moderns build, the Principles on which they pro⯑ceed, in ſolving Problems and diſcover⯑ing Theorems. It is with the Method of Fluxions as with all other Methods, which preſuppoſe their reſpective Principles and are grounded thereon. Although the Rules may be practiſed by Men who nei⯑ther attend to, nor perhaps know the Principles. In like manner, therefore, as a Sailor may practically apply certain Rules derived from Aſtronomy and Geo⯑metry, the Principles whereof he doth not underſtand: And as any ordinary Man may ſolve divers numerical Queſtions, by the vulgar Rules and Operations of Arith⯑metic, which he performs and applies without knowing the Reaſons of them: Even ſo it cannot be denied that you may apply the Rules of the fluxionary Me⯑thod: You may compare and reduce par⯑ticular Caſes to general Forms: You may [53] operate and compute and ſolve Problems thereby, not only without an actual At⯑tention to, or an actual Knowledge of, the Grounds of that Method, and the Prin⯑ciples whereon it depends, and whence it is deduced, but even without having ever conſidered or comprehended them.
XXXIII. But then it muſt be remembred, that in ſuch Caſe although you may paſs for an Artiſt, Computiſt, or Analyſt, yet you may not be juſtly eſteemed a Man of Science and Demonſtration. Nor ſhould any Man, in virtue of being converſant in ſuch obſcure Analytics, imagine his rational Faculties to be more improved than thoſe of other Men, which have been exerciſed in a different manner, and on different Subjects; much leſs erect him⯑ſelf into a Judge and an Oracle, concern⯑ing Matters that have no ſort of conne⯑xion with, or dependence on thoſe Species, Symbols or Signs, in the Management whereof he is ſo converſant and expert. As you, who are a skilful Computiſt or Analyſt, may not therefore be deemed skilful in Anatomy: or vice verſa, as a [54] Man who can diſſect with Art, may, ne⯑vertheleſs, be ignorant in your Art of com⯑puting: Even ſo you may both, notwith⯑ſtanding your peculiar Skill in your re⯑ſpective Arts, be alike unqualified to de⯑cide upon Logic, or Metaphyſics, or E⯑thics, or Religion. And this would be true, even admitting that you underſtood your own Principles and could demon⯑ſtrate them.
XXXIV. If it is ſaid, that Fluxions may be expounded or expreſſed by finite Lines proportional to them: Which finite Lines, as they may be diſtinctly conceiv⯑ed and known and reaſoned upon, ſo they may be ſubſtituted for the Fluxions, and their mutual Relations or Proportions be conſidered as the Proportions of Fluxions: By which means the Doctrine becomes clear and uſeful. I anſwer that if, in or⯑der to arrive at theſe finite Lines propor⯑tional to the Fluxions, there be certain Steps made uſe of which are obſcure and inconceivable, be thoſe finite Lines them⯑ſelves ever ſo clearly conceived, it muſt nevertheleſs be acknowledged, that your [55] proceeding is not clear nor your method ſcientific. For inſtance, it is ſuppoſed that AB being the Abſciſs, BC the Ordinate,
and VCH a Tangent of the Curve AC, Bb or CE the Increment of the Abſciſs, Ec the Increment of the Ordinate, which produced meets VH in the Point T, and Cc the Increment of the Curve. The right Line Cc being produced to K, there are formed three ſmall Triangles, the Rectilinear CEc, the Mixtilinear CEc, and the Rectilinear Triangle CET. It is evident theſe three Triangles are dif⯑ferent from each other, the Rectilinear CEc being leſs than the Mixtilinear CEc, whoſe Sides are the three Incre⯑ments abovementioned, and this ſtill leſs than the Triangle CET. It is ſuppoſed that the Ordinate bc moves into the place BC, ſo that the Point c is coincident with the Point C; and the right Line CK, [56] and conſequently the Curve Cc, is coin⯑cident with the Tangent CH. In which caſe the mixtilinear evaneſcent Triangle CEc will, in its laſt form, be ſimilar to the Triangle CET: And its evaneſcent Sides CE, Ec, and Cc will be porpor⯑tional to CE, ET, and CT the Sides of the Triangle CET. And therefore it is concluded, that the Fluxions of the Lines AB, BC, and AC, being in the laſt Ratio of their evaneſcent Increments, are proportional to the Sides of the Tri⯑angle CET, or, which is all one, of the Triangle VBC ſimilar thereunto. * It it particularly remarked and inſiſted on by the great Author, that the Points C and c muſt not be diſtant one from ano⯑ther, by any the leaſt Interval whatſoever: But that, in order to find the ultimate Proportions of the Lines CE, Ec, and Cc (i. e. the Proportions of the Fluxi⯑ons or Velocities) expreſſed by the finite Sides of the Triangle VBC, the Points C and c muſt be accurately coincident, i. e. one and the ſame. A Point therefore is conſidered as a Triangle, or a Triangle is ſuppoſed to be formed in a Point. Which [57] to conceive ſeems quite impoſſible. Yet ſome there are, who, though they ſhrink at all other Myſteries, make no difficulty of their own, who ſtrain at a Gnat and ſwal⯑low a Camel.
XXXV. I know not whether it be worth while to obſerve, that poſſibly ſome Men may hope to operate by Symbols and Suppoſitions, in ſuch ſort as to avoid the uſe of Fluxions, Momentums, and In⯑finiteſimals after the following manner. Suppoſe x to be one Abſciſs of a Curve, and z another Abſciſs of the ſame Curve. Suppoſe alſo that the reſpective Areas are xxx and zzz: and that z − x is the In⯑crement of the Abſciſs, and zzz − xxx the Increment of the Area, without conſi⯑dering how great, or how ſmall thoſe In⯑crements may be. Divide now zzz − xxx by z − x and the Quotient will be zz + zx + xx: and, ſuppoſing that z and x are equal, this ſame Quotient will be 3xx which in that caſe is the Ordinate, which therefore may be thus obtained in⯑dependently of Fluxions and Infiniteſi⯑mals. But herein is a direct Fallacy: for [58] in the firſt place, it is ſuppoſed that the Abſciſſes z and x are unequal, without which ſuppoſition no one ſtep could have been made; and in the ſecond place, it is ſuppoſed they are equal; which is a mani⯑feſt Inconſiſtency, and amounts to the ſame thing that hath been before conſi⯑dered *. And there is indeed reaſon to ap⯑prehend, that all Attempts for ſetting the abſtruſe and fine Geometry on a right Foundation, and avoiding the Doctrine of Velocities, Momentums, &c. will be found impracticable, till ſuch time as the Object and End of Geometry are better un⯑derſtood, than hitherto they ſeem to have been. The great Author of the Method of Fluxions felt this Difficulty, and there⯑fore he gave into thoſe nice Abſtractions and Geometrical Metaphyſics, without which he ſaw nothing could be done on the received Principles; and what in the way of Demonſtration he hath done with them the Reader will judge. It muſt, in⯑deed, be acknowledged, that he uſed Fluxions, like the Scaffold of a building, as things to be laid aſide or got rid of, as ſoon as finite Lines were found proportio⯑nal [59] to them. But then theſe finite Expo⯑nents are found by the help of Fluxions. Whatever therefore is got by ſuch Expo⯑nents and Proportions is to be aſcribed to Fluxions: which muſt therefore be previ⯑ouſly underſtood. And what are theſe Fluxions? The Velocities of evaneſcent Increments? And what are theſe ſame eva⯑neſcent Increments? They are neither fi⯑nite Quantities, nor Quantities infinitely ſmall, nor yet nothing. May we not call them the Ghoſts of departed Quanti⯑ties?
XXXVI. Men too often impoſe on themſelves and others, as if they conceived and underſtood things expreſſed by Signs, when in truth they have no Idea, ſave only of the very Signs themſelves. And there are ſome grounds to apprehend that this may be the preſent Caſe. The Velo⯑cities of evaneſcent or naſcent Quantities are ſuppoſed to be expreſſed, both by fi⯑nite Lines of a determinate Magnitude, and by Algebraical Notes or Signs: but I ſuſpect that many who, perhaps never having examined the matter, take it for [60] granted, would upon a narrow ſcrutiny find it impoſſible, to frame any Idea or Notion whatſoever of thoſe Velocities, ex⯑cluſive of ſuch finite Quantities and Signs.
Suppoſe the Line KP deſcribed by the Motion of a Point continually accelerated, and that in equal Particles of time the unequal Parts KL, LM, MN, NO &c. are generated. Suppoſe alſo that a, b, c, d, e, &c. denote the Velocities of the genera⯑ting Point, at the ſeveral Periods of the Parts or Increments ſo generated. It is eaſy to obſerve that theſe Increments are each pro⯑portional to the ſum of the Velocities with which it is deſcribed: That, conſequently, the ſeveral Sums of the Velocities, generated in equal Parts of Time, may be ſet forth by the reſpective Lines KL, LM, MN, &c. generated in the ſame times: It is likewiſe an eaſy matter to ſay, that the laſt Velocity generated in the firſt Parti⯑cle of Time, may be expreſſed by the Symbol a, the laſt in the ſecond by b, the laſt generated in the third by c, and ſo [61] on: that a is the Velocity of LM in ſtatu naſcenti, and b, c, d, e, &c. are the Velocities of the Increments MN, NO, OP, &c. in their reſpective naſcent eſtates. You may proceed, and conſider theſe Ve⯑locities themſelves as flowing or increaſing Quantities, taking the Velocities of the Velocities, and the Velocities of the Ve⯑locities of the Velocities, i. e. the firſt, ſecond, third, &c. Velocities ad infinitum: which ſucceeding Series of Velocities may be thus expreſſed. a. b − a. c − 2b + a. d − 3c + 3b − a &c. which you may call by the names of firſt, ſecond, third, fourth Fluxions. And for an apter Expreſſion you may denote the variable flowing Line KL, KM, KN, &c. by the Letter x; and the firſt Fluxions by x., the ſecond by x.., the third by x⸫, and ſo on ad infini⯑tum.
XXXVII. Nothing is eaſier than to aſſign Names, Signs, or Expreſſions to theſe Fluxions, and it is not difficult to compute and operate by means of ſuch Signs. But it will be found much more difficult, to omit the Signs and yet retain in our [62] Minds the things, which we ſuppoſe to be ſignified by them. To conſider the Ex⯑ponents, whether Geometrical, or Alge⯑braical, or Fluxionary, is no difficult Mat⯑ter. But to form a preciſe Idea of a third Velocity for inſtance, in it ſelf and by it ſelf, Hoc opus, hic labor. Nor indeed is it an eaſy point, to form a clear and diſtinct Idea of any Velocity at all, excluſive of and preſcinding from all length of time and ſpace; as alſo from all Notes, Signs or Symbols whatſoever. This, if I may be allowed to judge of others by my ſelf, is impoſſible. To me it ſeems evident, that Meaſures and Signs are abſolutely neceſſa⯑ry, in order to conceive or reaſon about Velocities; and that, conſequently, when we think to conceive the Velocities, ſim⯑ply and in themſelves, we are deluded by vain Abſtractions.
XXXVIII. It may perhaps be thought by ſome an eaſier Method of conceiving Fluxions, to ſuppoſe them the Velocities wherewith the infiniteſimal Differences are generated. So that the firſt Fluxions ſhall be the Velocities of the firſt Differences, [63] the ſecond the Velocities of the ſecond Differences, the third Fluxions the Veloci⯑ties of the third Differences, and ſo on ad in⯑finitum. But not to mention the inſurmoun⯑table difficulty of admitting or conceiving Infiniteſimals, and Infiniteſimals of Infinite⯑ſimals, &c. it is evident that this notion of Fluxions would not conſiſt with the great Author's view; who held that the minuteſt Quantity ought not to be neglected, that therefore the Doctrine of Infiniteſimal Diffe⯑rences was not to be admitted in Geome⯑try, and who plainly appears to have in⯑troduced the uſe of Velocities or Fluxions, on purpoſe to exclude or do without them.
XXXIX. To others it may poſſibly ſeem, that we ſhould form a juſter Idea of Fluxions, by aſſuming the finite unequal iſochronal Increments KL, LM, MN, &c. and conſidering them in ſtatu naſcenti, alſo their Increments in ſtatu naſcenti, and the naſcent Increments of thoſe Increments, and ſo on, ſuppoſing the firſt naſcent In⯑crements to be proportional to the firſt Fluxions or Velocities, the naſcent Incre⯑ments of thoſe Increments to be propor⯑tional [64] to the ſecond Fluxions, the third naſcent Increments to be proportional to the third Fluxions, and ſo onwards. And, as the firſt Fluxions are the Velocities of the firſt naſcent Increments, ſo the ſe⯑cond Fluxions may be conceived to be the Velocities of the ſecond naſcent Incre⯑ments, rather than the Velocities of Ve⯑locities. By which means the Analogy of Fluxions may ſeem better preſerved, and the notion rendered more intelligible.
XL. And indeed it ſhould ſeem, that in the way of obtaining the ſecond or third Fluxion of an Equation, the given Fluxions were conſidered rather as Incre⯑ments than Velocities. But the conſider⯑ing them ſometimes in one Senſe, ſome⯑times in another, one while in themſelves, another in their Exponents, ſeems to have occaſioned no ſmall ſhare of that Confu⯑ſion and Obſcurity, which is found in the Doctrine of Fluxions. It may ſeem there⯑fore, that the Notion might be ſtill mend⯑ed, and that inſtead of Fluxions of Fluxi⯑ons, or Fluxions of Fluxions of Fluxions, and inſtead of ſecond, third, or fourth, &c. [65] Fluxions of a given Quantity, it might be more conſiſtent and leſs liable to exception to ſay, the Fluxion of the firſt naſcent Increment, i. e. the ſecond Fluxion; the Fluxion of the ſecond naſcent Increment, i. e. the third Fluxion; the Fluxion of the third naſcent Increment, i. e. the fourth Fluxion, which Fluxions are con⯑ceived reſpectively proportional, each to the naſcent Principle of the Increment ſucceeding that whereof it is the Fluxion.
XLI. For the more diſtinct Conception of all which it may be conſidered, that if the finite Increment LM * be divided into the Iſochronal Parts Lm, mn, no, oM; and the Increment MN into the Parts Mp, pq, qr, rN Iſochronal to the for⯑mer; as the whole Increments LM, MN are proportional to the Sums of their de⯑ſcribing Velocities, even ſo the homolo⯑gous Particles Lm, Mp are alſo propor⯑tional to the reſpective accelerated Veloci⯑ties with which they are deſcribed. And as the Velocity with which Mp is gene⯑rated, exceeds that with which Lm was generated, even ſo the Particle Mp ex⯑ceeds [66] the Particle Lm. And in general, as the Iſochronal Velocities deſcribing the Particles of MN exceed the Iſochronal Velocities deſcribing the Particles of LM, even ſo the Particles of the former exceed the correſpondent Particles of the latter. And this will hold, be the ſaid Particles ever ſo ſmall. MN therefore will exceed LM if they are both taken in their naſ⯑cent States: and that exceſs will be pro⯑portional to the exceſs of the Velocity b above the Velocity a. Hence we may ſee that this laſt account of Fluxions comes, in the upſhot, to the ſame thing with the firſt *.
XLII. But notwithſtanding what hath been ſaid it muſt ſtill be acknowledged, that the finite Particles Lm or Mp, though taken ever ſo ſmall, are not pro⯑portional to the Velocities a and b; but each to a Series of Velocities changing every Moment, or which is the ſame thing, to an accelerated Velocity, by which it is generated, during a certain minute Parti⯑cle of time: That the naſcent beginnings or evaneſcent endings of finite Quantities, [67] which are produced in Moments or infi⯑nitely ſmall Parts of Time, are alone proportional to given Velocities: That, therefore, in order to conceive the firſt Fluxions, we muſt conceive Time divi⯑ded into Moments, Increments generated in thoſe Moments, and Velocities propor⯑tional to thoſe Increments: That in order to conceive ſecond and third Fluxions, we muſt ſuppoſe that the naſcent Principles or momentaneous Increments have themſelves alſo other momentaneous Increments, which are proportional to their reſpective genera⯑ting Velocities: That the Velocities of theſe ſecond momentaneous Increments are ſecond Fluxions: thoſe of their naſcent momentaneous Increments third Fluxions. And ſo on ad infinitum.
XLIII. By ſubducting the Increment generated in the firſt Moment from that generated in the ſecond, we get the Incre⯑ment of an Increment. And by ſubduct⯑ing the Velocity generating in the firſt Mo⯑ment from that generating in the ſecond, we get the Fluxion of a Fluxion. In like manner, by ſubducting the Difference of [68] the Velocities generating in the two firſt Moments, from the exceſs of the Velocity in the third above that in the ſecond Mo⯑ment, we obtain the third Fluxion. And after the ſame Analogy we may proceed to fourth, fifth, ſixth Fluxions, &c. And if we call the Velocities of the firſt, ſe⯑cond, third, fourth Moments a, b, c, d, the Series of Fluxions will be as above, a. b − a. c − 2b + a. d − 3c + 3b − a. ad infinitum, i. e. x.. x... x⸫. x⸬. ad infi⯑nitum.
XLIV. Thus Fluxions may be conſider⯑ed in ſundry Lights and Shapes, which ſeem all equally difficult to conceive. And indeed, as it is impoſſible to conceive Ve⯑locity without time or ſpace, without either finite length or finite Duration †, it muſt ſeem above the powers of Men to comprehend even the firſt Fluxions. And if the firſt are incomprehenſible, what ſhall we ſay of the ſecond and third Fluxions, &c? He who can conceive the beginning of a beginning, or the end of an end, ſomewhat before the firſt or after [69] the laſt, may be perhaps ſharpſighted enough to conceive theſe things. But moſt Men will, I believe, find it impoſſible to underſtand them in any ſenſe whatever.
XLV. One would think that Men could not ſpeak too exactly on ſo nice a Subject. And yet, as was before hinted, we may often obſerve that the Exponents of Fluxions or Notes repreſenting Fluxions are con⯑founded with the Fluxions themſelves. Is not this the Caſe, when juſt after the Fluxions of flowing Quantities were ſaid to be the Celerities of their increaſing, and the ſecond Fluxions to be the muta⯑tions of the firſt Fluxions or Celerities, we are told that z″. z′. z. z.. z⸬. z⸫. * re⯑preſents a Series of Quantities, whereof each ſubſequent Quantity is the Fluxion of the preceding; and each foregoing is a fluent Quantity having the following one for its Fluxion?
XLVI. Divers Series of Quantities and Expreſſions, Geometrical and Algebraical, [70] may be eaſily conceived, in Lines, in Sur⯑faces, in Species, to be continued without end or limit. But it will not be found ſo eaſy to conceive a Series, either of mere Velocities or of mere naſcent Increments, diſtinct therefrom and correſponding there⯑unto. Some perhaps may be led to think the Author intended a Series of Ordinates, wherein each Ordinate was the Fluxion of the preceding and Fluent of the following, i. e. that the Fluxion of one Ordinate was it ſelf the Ordinate of another Curve; and the Fluxion of this laſt Ordinate was the Ordinate of yet another Curve; and ſo on ad infinitum. But who can conceive how the Fluxion (whether Velocity or naſcent Increment) of an Ordinate ſhould be it ſelf an Ordinate? Or more than that each preceding Quantity or Fluent is related to its Subſequent or Fluxion, as the Area of a curvilinear Figure to its Ordi⯑nate; agreeably to what the Author re⯑marks, that each preceding Quantity in ſuch Series is as the Area of a curvili⯑near Figure, whereof the Abfciſs is z, and the Ordinate is the following Quan⯑tity.
XLVII. Upon the whole it appears that the Celerities are diſmiſſed, and inſtead thereof Areas and Ordinates are introduced. But however expedient ſuch Analogies or ſuch Expreſſions may be found for facili⯑tating the modern Quadratures, yet we ſhall not find any light given us thereby into the original real nature of Fluxions; or that we are enabled to frame from thence juſt Ideas of Fluxions conſidered in them⯑ſelves. In all this the general ultimate drift of the Author is very clear, but his Principles are obſcure. But perhaps thoſe Theories of the great Author are not mi⯑nutely conſidered or canvaſſed by his Diſ⯑ciples; who ſeem eager, as was before hinted, rather to operate than to know, rather to apply his Rules and his Forms, than to underſtand his Principles and en⯑ter into his Notions. It is nevertheleſs cer⯑tain, that in order to follow him in his Quadratures, they muſt find Fluents from Fluxions; and in order to this, they muſt know to find Fluxions from Fluents; and in order to find Fluxions, they muſt firſt know what Fluxions are. Otherwiſe they proceed without Clearneſs and without [72] Science. Thus the direct Method precedes the inverſe, and the knowledge of the Principles is ſuppoſed in both. But as for operating according to Rules, and by the help of general Forms, whereof the ori⯑ginal Principles and Reaſons are not un⯑derſtood, this is to be eſteemed merely technical. Be the Principles therefore ever ſo abſtruſe and metaphyſical, they muſt be ſtudied by whoever would comprehend the Doctrine of Fluxions. Nor can any Geometrician have a right to apply the Rules of the great Author, without firſt conſidering his metaphyſical Notions whence they were derived. Theſe how neceſſary ſoever in order to Science, which can never be attained without a preciſe, clear, and accurate Conception of the Principles, are nevertheleſs by ſeveral careleſly paſſed over; while the Expreſ⯑ſions alone are dwelt on and conſidered and treated with great Skill and Manage⯑ment, thence to obtain other Expreſſions by Methods, ſuſpicious and indirect (to ſay the leaſt) if conſidered in themſelves, however recommended by Induction and [73] Authority; two Motives which are ac⯑knowledged ſufficient to beget a rational Faith and moral Perſuaſion, but nothing higher.
XLVIII. You may poſſibly hope to e⯑vade the Force of all that hath been ſaid, and to ſcreen falſe Principles and incon⯑ſiſtent Reaſonings, by a general Pretence that theſe Objections and Remarks are Metaphyſical. But this is a vain Pretence. For the plain Senſe and Truth of what is advanced in the foregoing Remarks, I ap⯑peal to the Underſtanding of every un⯑prejudiced intelligent Reader. To the ſame I appeal, whether the Points re⯑marked upon are not moſt incomprehen⯑ſible Metaphyſics. And Metaphyſics not of mine, but your own. I would not be un⯑derſtood to infer, that your Notions are falſe or vain becauſe they are Metaphyſi⯑cal. Nothing is either true or falſe for that Reaſon. Whether a Point be called Metaphyſical or no avails little. The Queſtion is whether it be clear or obſcure, right or wrong, well or ill-deduced?
XLIX. Although momentaneous Incre⯑ments, naſcent and evaneſcent Quantities, Fluxions and Infiniteſimals of all Degrees, are in truth ſuch ſhadowy Entities, ſo difficult to imagine or conceive diſtinctly, that (to ſay the leaſt) they cannot be ad⯑mitted as Principles or Objects of clear and accurate Science: and although this ob⯑ſcurity and incomprehenſibility of your Metaphyſics had been alone ſufficient, to allay your Pretenſions to Evidence; yet it hath, if I miſtake not, been further ſhewn, that your Inferences are no more juſt than your Conceptions are clear, and that your Logics are as exceptionable as your Meta⯑phyſics. It ſhould ſeem therefore upon the whole, that your Concluſions are not attained by juſt Reaſoning from clear Prin⯑ciples; conſequently that the Employ⯑ment of modern Analyſts, however uſeful in mathematical Calculations, and Con⯑ſtructions, doth not habituate and qualify the Mind to apprehend clearly and infer juſtly; and conſequently, that you have no right in Virtue of ſuch Habits, to dictate out of your proper Sphere, beyond which [75] your Judgment is to paſs for no more than that of other Men.
L. Of a long time I have ſuſpected, that theſe modern Analytics were not ſcientifi⯑cal, and gave ſome Hints thereof to the Pub⯑lic about twenty five Years ago. Since which time, I have been diverted by other Occupations, and imagined I might em⯑ploy my ſelf better than in deducing and laying together my Thoughts on ſo nice a Subject. And though of late I have been called upon to make good my Suggeſti⯑ons; yet as the Perſon, who made this Call, doth not appear to think maturely enough to underſtand, either thoſe Meta⯑phyſics which he would refute, or Ma⯑thematics which he would patronize, I ſhould have ſpared my ſelf the trouble of writing for his Conviction. Nor ſhould I now have troubled you or my ſelf with this Addreſs, after ſo long an Intermiſſion of theſe Studies; were it not to prevent, ſo far as I am able, your impoſing on your ſelf and others in Matters of much higher Moment and Concern. And to the end that you may more clearly comprehend [76] the Force and Deſign of the foregoing Remarks, and purſue them ſtill further in your own Meditations, I ſhall ſubjoin the following Queries.
Query 1. Whether the Object of Geome⯑try be not the Proportions of aſſignable Extenſions? And whether, there be any need of conſidering Quantities either in⯑finitely great or infinitely ſmall?
Qu. 2. Whether the end of Geometry be not to meaſure aſſignable finite Ex⯑tenſion? And whether this practical View did not firſt put Men on the ſtudy of Geometry?
Qu. 3. Whether the miſtaking the Ob⯑ject and End of Geometry hath not crea⯑ted needleſs Difficulties, and wrong Pur⯑ſuits in that Science?
Qu. 4. Whether Men may properly be ſaid to proceed in a ſcientific Method, without clearly conceiving the Object they are converſant about, the End propoſed, and the Method by which it is purſued?
[77] Qu. 5. Whether it doth not ſuffice, that every aſſignable number of Parts may be contained in ſome aſſignable Magnitude? And whether it be not unneceſſary, as well as abſurd, to ſuppoſe that finite Extenſion is infinitely diviſible?
Qu. 6. Whether the Diagrams in a Geo⯑metrical Demonſtration are not to be conſi⯑dered, as Signs of all poſſible finite Fi⯑gures, of all ſenſible and imaginable Ex⯑tenſions or Magnitudes of the ſame kind?
Qu. 7. Whether it be poſſible to free Geometry from inſuperable Difficulties and Abſurdities, ſo long as either the abſtract general Idea of Extenſion, or abſolute ex⯑ternal Extenſion be ſuppoſed its true Ob⯑ject?
Qu. 8. Whether the Notions of abſolute Time, abſolute Place, and abſolute Mo⯑tion be not moſt abſtractedly Metaphyſi⯑cal? Whether it be poſſible for us to mea⯑ſure, compute, or know them?
Qu. 9. Whether Mathematicians do not engage themſelves in Diſputes and Para⯑doxes, [78] concerning what they neither do nor can conceive? And whether the Doc⯑trine of Forces be not a ſufficient Proof of this? *
Qu. 10. Whether in Geometry it may not ſuffice to conſider aſſignable finite Mag⯑nitude, without concerning our ſelves with Infinity? And whether it would not be righter to meaſure large Polygons having finite Sides, inſtead of Curves, than to ſuppoſe Curves are Polygons of infiniteſi⯑mal Sides, a Suppoſition neither true nor conceivable?
Qu. 11. Whether many Points, which are not readily aſſented to, are not never⯑theleſs true? And whether thoſe in the two following Queries may not be of that Number?
Qu. 12. Whether it be poſſible, that we ſhould have had an Idea or Notion of Extenſion prior to Motion? Or whether if a Man had never perceived Motion, he would ever have known or conceived one thing to be diſtant from another?
[79] Qu. 13. Whether Geometrical Quantity hath coexiſtent Parts? And whether all Quantity be not in a flux as well as Time and Motion?
Qu. 14. Whether Extenſion can be ſup⯑poſed an Attribute of a Being immutable and eternal?
Qu. 15. Whether to decline examining the Principles, and unravelling the Me⯑thods uſed in Mathematics, would not ſhew a bigotry in Mathematicians?
Qu. 16. Whether certain Maxims do not paſs current among. Analyſts, which are ſhocking to good Senſe? And whether the common Aſſumption that a finite Quantity divided by nothing is infinite be not of this Number?
Qu. 17. Whether the conſidering Geo⯑metrical Diagrams abſolutely or in them⯑ſelves, rather than as Repreſentatives of all aſſignable Magnitudes or Figures of the ſame kind, be not a principal Cauſe of the ſuppoſing finite Extenſion infinite⯑ly [80] diviſible; and of all the Difficulties and Abſurdities conſequent thereupon?
Qu. 18. Whether from Geometrical Propoſitions being general, and the Lines in Diagrams being therefore general Sub⯑ſtitutes or Repreſentatives, it doth not fol⯑low that we may not limit or conſider the number of Parts, into which ſuch parti⯑ticular Lines are diviſible?
Qu. 19. When it is ſaid or implied, that ſuch a certain Line delineated on Paper contains more than any aſſignable number of Parts, whether any more in truth ought to be underſtood, than that it is a Sign indifferently repreſenting all finite Lines, be they ever ſo great. In which relative Capacity it contains, i. e. ſtands for more than any aſſignable num⯑ber of Parts? And whether it be not alto⯑gether abſurd to ſuppoſe a finite Line, conſidered in it ſelf or in its own poſitive Nature, ſhould contain an infinite num⯑ber of Parts?
Qu. 20. Whether all Arguments for the infinite Diviſibility of finite Extenſion [81] do not ſuppoſe and imply, either general abſtract Ideas or abſolute external Exten⯑ſion to be the Object of Geometry? And, therefore, whether, along with thoſe Sup⯑poſitions, ſuch Arguments alſo do not ceaſe and vaniſh?
Qu. 21. Whether the ſuppoſed infinite Diviſibility of finite Extenſion hath not been a Snare to Mathematicians, and a Thorn in their Sides? And whether a Quantity infinitely diminiſhed and a Quan⯑tity infinitely ſmall are not the ſame thing?
Qu. 22. Whether it be neceſſary to conſider Velocities of naſcent or eva⯑neſcent Quantities, or Moments, or Infi⯑niteſimals? And whether the introducing of Things ſo inconceivable be not a re⯑proach to Mathematics?
Qu. 23. Whether Inconſiſtencies can be Truths? Whether Points repugnant and abſurd are to be admitted upon any Sub⯑ject, or in any Science? And whether the uſe of Infinites ought to be allowed, as a [82] ſufficient Pretext and Apology, for the ad⯑mitting of ſuch Points in Geometry?
Qu. 24. Whether a Quantity be not properly ſaid to be known, when we know its Proportion to given Quantities? And whether this Proportion can be known, but by Expreſſions or Exponents, either Geometrical, Algebraical, or Arith⯑metical? And whether Expreſſions in Lines or Species can be uſeful but ſo far forth as they are reducible to Numbers?
25. Whether the finding out proper Expreſſions or Notations of Quantity be not the moſt general Character and Ten⯑dency of the Mathematics? And Arithme⯑tical Operation that which limits and defines their Uſe?
Qu. 26. Whether Mathematicians have ſufficiently conſidered the Analogy and Uſe of Signs? And how far the ſpecific limit⯑ed Nature of things correſponds thereto?
Qu. 27. Whether becauſe, in ſtating a general Caſe of pure Algebra, we are at [83] full liberty to make a Character denote, either a poſitive or a negative Quantity, or nothing at all, we may therefore in a geometrical Caſe, limited by Hypotheſes and Reaſonings from particular Proper⯑ties and Relations of Figures, claim the ſame Licence?
Qu. 28. Whether the Shifting of the Hypotheſis, or (as we may call it) the fal⯑lacia Suppoſitionis be not a Sophiſm, that far and wide infects the modern Rea⯑ſonings, both in the mechanical Philo⯑ſophy and in the abſtruſe and fine Geo⯑metry?
Qu. 29. Whether we can form an Idea or Notion of Velocity diſtinct from and excluſive of its Meaſures, as we can of Heat diſtinct from and excluſive of the Degrees on the Thermometer, by which it is meaſured? And whether this be not ſuppoſed in the Reaſonings of modern Analyſts?
Qu. 30. Whether Motion can be con⯑ceived in a Point of Space? And if Mo⯑tion [84] cannot, whether Velocity can? And if not, whether a firſt or laſt Velocity can be conceived in a mere Limit, ei⯑ther initial or final, of the deſcribed Space?
Qu. 31. Where there are no Incre⯑ments, whether there can be any Ratio of Increments? Whether Nothings can be conſidered as proportional to real Quan⯑tities? Or whether to talk of their Pro⯑portions be not to talk Nonſenſe? Alſo in what Senſe we are to underſtand the Proportion of a Surface to a Line, of an Area to an Ordinate? And whether Species or Numbers, though properly ex⯑preſſing Quantities which are not homo⯑geneous, may yet be ſaid to expreſs their Proportion to each other?
Qu. 32. Whether if all aſſignable Cir⯑cles may be ſquared, the Circle is not, to all intents and purpoſes, ſquared as well as the Parabola? Or whether a pa⯑rabolical Area can in fact be meaſured more accurately than a Circular?
[85] Qu. 33. Whether it would not be righter to approximate fairly, than to endeavour at Accuracy by Sophiſms?
Qu. 34. Whether it would not be more decent to proceed by Trials and Induc⯑tions, than to pretend to demonſtrate by falſe Principles?
Qu. 35. Whether there be not a way of arriving at Truth, although the Prin⯑ciples are not ſcientific, nor the Reaſon⯑ing juſt? And whether ſuch a way ought to be called a Knack or a Science?
Qu. 36. Whether there can be Science of the Concluſion, where there is not Science of the Principles? And whether a Man can have Science of the Princi⯑ples, without underſtanding them? And therefore whether the Mathematicians of the preſent Age act like Men of Science, in taking ſo much more pains to apply their Principles, than to under⯑ſtand them?
[84][86] Qu. 37. Whether the greateſt Genius wreſtling with falſe Principles may not be foiled? And whether accurate Quadratures can be obtained without new Poſtulata or Aſſumptions? And if not, whether thoſe which are intelligible and conſiſtent ought not to be preferred to the contrary? See Sect. XXVIII and XXIX.
Qu. 38. Whether tedious Calculations in Algebra and Fluxions be the liklieſt Method to improve the Mind? And whe⯑ther Mens being accuſtomed to reaſon altogether about Mathematical Signs and Figures, doth not make them at a loſs how to reaſon without them?
Qu. 39. Whether, whatever readineſs Analyſts acquire in ſtating a Problem, or finding apt Expreſſions for Mathematical Quantities, the ſame doth neceſſarily in⯑fer a proportionable ability in conceiving and expreſſing other Matters?
Qu. 40. Whether it be not a general Caſe or Rule, that one and the ſame Co⯑efficient dividing equal Products gives e⯑qual [87] Quotients? And yet whether ſuch Coefficient can be interpreted by o or nothing? Or whether any one will ſay, that if the Equation 2 × o = 5 × o, be di⯑vided by o, the Quotients on both Sides are equal? Whether therefore a Caſe may not be general with reſpect to all Quantities, and yet not extend to No⯑things, or include the Caſe of Nothing? And whether the bringing Nothing un⯑der the Notion of Quantity may not have betrayed Men into falſe Reaſoning?
Qu. 41. Whether in the moſt general Reaſonings about Equalities and Propor⯑tions, Men may not demonſtrate as well as in Geometry? Whether in ſuch De⯑monſtrations, they are not obliged to the ſame ſtrict Reaſoning as in Geometry? And whether ſuch their Reaſonings are not deduced from the ſame Axioms with thoſe in Geometry? Whether therefore Alge⯑bra be not as truly a Science as Geo⯑metry?
Qu. 42. Whether Men may not reaſon in Species as well as in Words? Whether [88] the ſame Rules of Logic do not obtain in both Caſes? And whether we have not a right to expect and demand the ſame Evi⯑dence in both?
Qu. 43. Whether an Algebraiſt, Fluxio⯑niſt, Geometrician or Demonſtrator of any kind can expect indulgence for obſcure Principles or incorrect Reaſonings? And whether an Algebraical Note or Species can at the end of a Proceſs be interpreted in a Senſe, which could not have been ſub⯑ſtituted for it at the beginning? Or whe⯑ther any particular Suppoſition can come under a general Caſe which doth not con⯑ſiſt with the reaſoning thereof?
Qu. 44. Whether the Difference be⯑tween a mere Computer and a Man of Science be not, that the one computes on Principles clearly conceived, and by Rules evidently demonſtrated, whereas the other doth not?
Qu. 45. Whether, although Geometry be a Science, and Algebra allowed to be a Science, and the Analytical a moſt excel⯑lent [89] Method, in the Application neverthe⯑leſs of the Analyſis to Geometry, Men may not have admitted falſe Principles and wrong Methods of Reaſoning?
Qu. 46. Whether although Algebraical Reaſonings are admitted to be ever ſo juſt, when confined to Signs or Species as gene⯑ral Repreſentatives of Quantity, you may not nevertheleſs fall into Error, if, when you limit them to ſtand for particular things, you do not limit your ſelf to rea⯑ſon conſiſtently with the Nature of ſuch particular things? And whether ſuch Er⯑ror ought to be imputed to pure Algebra?
Qu. 47. Whether the View of modern Mathematicians doth not rather ſeem to be the coming at an Expreſſion by Artifice, than the coming at Science by Demonſtra⯑tion?
Qu. 48. Whether there may not be ſound Metaphyſics as well as unſound? Sound as well as unſound Logic? And whether the modern Analytics may not be brought under one of theſe Denominations, and which?
[90] Qu. 49. Whether there be not really a Philoſophia prima, a certain tranſcenden⯑tal Science ſuperior to and more extenſive than Mathematics, which it might behove our modern Analyſts rather to learn than deſpiſe?
Qu. 50. Whether ever ſince the recovery of Mathematical Learning, there have not been perpetual Diſputes and Controverſies among the Mathematicians? And whether this doth not diſparage the Evidence of their Methods?
Qu. 51. Whether any thing but Meta⯑phyſics and Logic can open the Eyes of Mathematicians and extricate them out of their Difficulties?
Qu. 52. Whether upon the received Principles a Quantity can by any Diviſion or Subdiviſion, though carried ever ſo far, be reduced to nothing?
Qu. 53. Whether if the end of Geo⯑metry be Practice, and this Practice be Meaſuring, and we meaſure only aſſigna⯑ble [91] Extenſions, it will not follow that un⯑limited Approximations compleatly an⯑ſwer the Intention of Geometry?
Qu. 54. Whether the ſame things which are now done by Infinities may not be done by finite Quantities? And whether this would not be a great Relief to the Imagi⯑nations and Underſtandings of Mathema⯑tical Men?
Qu. 55. Whether thoſe Philomathema⯑tical Phyſicians, Anatomiſts, and Dealers in the Animal Oeconomy, who admit the Doctrine of Fluxions with an implicit Faith, can with a good grace inſult other Men for believing what they do not com⯑prehend?
Qu. 56. Whether the Corpuſcularian, Experimental, and Mathematical Philo⯑ſophy ſo much cultivated in the laſt Age, hath not too much engroſſed Mens At⯑tention; ſome part whereof it might have uſefully employed?
[92] Qu. 57. Whether from this, and other concurring Cauſes, the Minds of ſpecula⯑tive Men have not been born downward, to the debaſing and ſtupifying of the higher Faculties? And whether we may not hence account for that prevailing Narrow⯑neſs and Bigotry among many who paſs for Men of Science, their Incapacity for things Moral, Intellectual, or Theological, their Proneneſs to meaſure all Truths by Senſe and Experience of animal Life?
Qu. 58. Whether it be really an Effect of Thinking, that the ſame Men admire the great Author for his Fluxions, and de⯑ride him for his Religion?
Qu. 59. If certain Philoſophical Vir⯑tuoſi of the preſent Age have no Religion, whether it can be ſaid to be for want of Faith?
Qu. 60. Whether it be not a juſter way of reaſoning, to recommend Points of Faith from their Effects, than to demon⯑ſtrate Mathematical Principles by their Concluſions?
[93] Qu. 61. Whether it be not leſs excep⯑tionable to admit Points above Reaſon than contrary to Reaſon?
Qu. 62. Whether Myſteries may not with better right be allowed of in Divine Faith, than in Humane Science?
Qu. 63. Whether ſuch Mathematicians as cry out againſt Myſteries, have ever examined their own Principles?
Qu. 64. Whether Mathematicians, who are ſo delicate in religious Points, are ſtrict⯑ly ſcrupulous in their own Science? Whe⯑ther they do not ſubmit to Authority, take things upon Truſt, believe Points incon⯑ceivable? Whether they have not their Myſteries, and what is more, their Re⯑pugnancies and Contradictions?
Qu. 65. Whether it might not become Men, who are puzzled and perplexed a⯑bout their own Principles, to judge wari⯑ly, candidly, and modeſtly concerning o⯑ther Matters?
[94] Qu. 66. Whether the modern Analytics do not furniſh a ſtrong argumentum ad ho⯑minem, againſt the Philomathematical In⯑fidels of theſe Times?
Qu. 67. Whether it follows from the abovementioned Remarks, that accurate and juſt Reaſoning is the peculiar Cha⯑racter of the preſent Age? And whether the modern Growth of Infidelity can be aſcribed to a Diſtinction ſo truly valuable?