Leibniz's Infinitesimals: Their Fictionality, Their Modern Implementations, And Their Foes From Berkeley To Russell And Beyond
arXiv:1205.0174 · doi:10.1007/s10670-012-9370-y
Abstract
Many historians of the calculus deny significant continuity between infinitesimal calculus of the 17th century and 20th century developments such as Robinson's theory. Robinson's hyperreals, while providing a consistent theory of infinitesimals, require the resources of modern logic; thus many commentators are comfortable denying a historical continuity. A notable exception is Robinson himself, whose identification with the Leibnizian tradition inspired Lakatos, Laugwitz, and others to consider the history of the infinitesimal in a more favorable light. Inspite of his Leibnizian sympathies, Robinson regards Berkeley's criticisms of the infinitesimal calculus as aptly demonstrating the inconsistency of reasoning with historical infinitesimal magnitudes. We argue that Robinson, among others, overestimates the force of Berkeley's criticisms, by underestimating the mathematical and philosophical resources available to Leibniz. Leibniz's infinitesimals are fictions, not logical fictions, as Ishiguro proposed, but rather pure fictions, like imaginaries, which are not eliminable by some syncategorematic paraphrase. We argue that Leibniz's defense of infinitesimals is more firmly grounded than Berkeley's criticism thereof. We show, moreover, that Leibniz's system for differential calculus was free of logical fallacies. Our argument strengthens the conception of modern infinitesimals as a development of Leibniz's strategy of relating inassignable to assignable quantities by means of his transcendental law of homogeneity.
arXiv comment69 pages, 3 figures
References in corpus (8)
- Who Gave you the Cauchy-Weierstrass Tale? The Dual History of Rigorous Calculus
- Ten Misconceptions from the History of Analysis and Their Debunking
- Leibniz's Laws of Continuity and Homogeneity
- A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
- Cauchy's continuum
- Stevin numbers and reality
- An integer construction of infinitesimals: Toward a theory of Eudoxus hyperreals
- Two ways of obtaining infinitesimals by refining Cantor's completion of the reals
Cited by in corpus (32)
- Ten Misconceptions from the History of Analysis and Their Debunking
- Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
- Almost equal: Method of adequality from Diophantus to Fermat and beyond
- Leibniz's Laws of Continuity and Homogeneity
- A Cauchy-Dirac delta function
- Interpreting the infinitesimal mathematics of Leibniz and Euler
- Procedures of Leibnizian infinitesimal calculus: An account in three modern frameworks
- Toward a history of mathematics focused on procedures
- Cauchy's infinitesimals, his sum theorem, and foundational paradigms
- Infinitesimal analysis without the Axiom of Choice
- Two-track depictions of Leibniz's fictions
- Gregory's sixth operation
- Cauchy, infinitesimals and ghosts of departed quantifiers
- Leibniz vs Ishiguro: Closing a quarter-century of syncategoremania
- Leibniz's well-founded fictions and their interpretations
- An integer construction of infinitesimals: Toward a theory of Eudoxus hyperreals
- From Pythagoreans and Weierstrassians to true infinitesimal calculus
- Leibniz on bodies and infinities: rerum natura and mathematical fictions
- Continuity between Cauchy and Bolzano: Issues of antecedents and priority
- Euler's lute and Edwards' oud
- Infinite lotteries, spinners, and the applicability of hyperreals
- Toward a clarity of the extreme value theorem
- Controversies in the foundations of analysis: Comments on Schubring's Conflicts
- Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context
- The Mathematical Intelligencer flunks the Olympics
- Small oscillations of the pendulum, Euler's method, and adequality
- Is Leibnizian calculus embeddable in first order logic?
- Evolution of Leibniz's thought in the matter of fictions and infinitesimals
- Contemporary Infinitesimalist Theories of Continua and their late 19th- and early 20th-century forerunners
- Stateful Realizers for Nonstandard Analysis
- Episodes from the history of infinitesimals
- Formalism 25