Berkeley on the Metaphysics and Logic of Newton’s Calculus in the Principia
Scott Harkema – harkema.2@osu.edu
Lecturer – The Ohio State University
1. The Received View
Many commentators on Berkeley’s critique of the calculus (most notably Douglas Jesseph) hold the following tenets:
Metaphysical | Logical |
|
|
2. My View
3. Newton’s Calculus in the Principia
Goal of this Paper:
To show that one particular case – Berkeley’s response to Newton’s remarks on the calculus in the Principia– supports the picture sketched above.
A
B
a
b
a
b
A
B
½a
½a
½b
½b
Newton’s Proof of the Product Rule:
Avoiding Infinitesimals:
Although Newton freely used infinitesimals in his early mathematical works, in the Principia he claims that “since the hypothesis of indivisibles is problematical and this method is therefore accounted less geometrical, I have preferred to make the proofs of what follows depend on the ultimate sums and ratios of vanishing quantities and the first sums and ratios of nascent quantities.”
4. Berkeley’s Response
5. Upshots
Standard Method (a la Leibniz)
Take the product p of two changing quantities, A and B, so that p=AB. The derivative of p (dp) can be found as follows:
Newton’s Method (Principia 648)
Take the product p of two changing quantities, A and B, so that p=AB. The “moment” or “fluxion” of p (fp) can be found as follows:
dp = (A+½a)(B+½b) – (A-½a)(B-½b)
Notice that Newton’s Method cleverly avoids Step (4) of the standard method – a step that Berkeley typically uses to motivate the Logical Critique.
On Infinitesimals:
“The Points or mere Limits of nascent Lines are undoubtedly equal, as having no more Magnitude one than another, a Limit as such being no Quantity. If by a Momentum you mean more than the very initial Limit, it must be either a finite Quantity or an Infinitesimal. But all finite Quantities are expressly excluded from the Notion of a Momentum. Therefore the Momentum must be an Infinitesimal. And indeed, though much Artifice hath been employ'd to escape or avoid the admission of Quantities infinitely small, yet it seems ineffectual. For ought I see, you can admit no Quantity as a Medium between a finite Quantity and nothing, without admitting Infinitesimals. An Increment generated in a finite Particle of Time, is it self a finite Particle; and cannot therefore be a Momentum. You must therefore take an Infinitesimal Part of Time wherein to generate your Momentum.” (The Analyst 11, emphasis mine)
On The Proof of the Product Rule:
“But it is plain that the direct and true Method to obtain the Moment or Increment of the Rectangle AB, is to take the Sides as increased by their whole Increments, and so multiply them together, A+a by B+b, the Product whereof AB + aB + bA + ab is the augmented Rectangle; whence if we subduct 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 universally be the Quantities a and b what they will, big or little, Finite or Infinitesimal, Increments, Moments, or Velocities. Nor will it avail to say that ab is a Quantity exceedingly small: Since we are told that in rebus mathematicis errores quam minimi non sunt contemnendi [errors, tho’ ever so small, are not to be neglected in Mathematicks].” (The Analyst 9)
“It is said, the Magnitude of Moments is not considered: And yet these same Moments are supposed to be divided into Parts. This is not easy to conceive, no more than it is why we should take Quantities less than A and B in order to obtain the Increment of AB, of which proceeding it must be owned the final Cause or Motive is very obvious; but it is not so obvious or easy to explain a just and legitimate Reason for it, or shew it to be Geometrical.” (The Analyst 11)
Scan for Complete Paper and References