Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond

DOI10.1007/S10670-012-9370-YzbMATH Open1303.01012arXiv1205.0174OpenAlexW1982610115WikidataQ55871456 ScholiaQ55871456MaRDI QIDQ486948FDOQ486948

Authors: Mikhail G. Katz, David Sherry 

Publication date: 19 January 2015

Published in: Erkenntnis (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1205.0174

Recommendations

• Leibniz's syncategorematic infinitesimals. II: Their existence, their use and their role in the justification of the differential calculus
• The continuum, the infinitely small, and the law of continuity in Leibniz
• Leibniz on the elimination of infinitesimals
• Leibniz's syncategorematic infinitesimals
• scientific article; zbMATH DE number 4104893

Mathematics Subject Classification ID

History of mathematics in the 17th century (01A45) History of mathematics in the 18th century (01A50) History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) History of field theory (12-03)

Cites Work

• Non-standard analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• The absolute arithmetic continuum and the unification of all numbers great and small
• Eine Erweiterung der Infinitesimalrechnung
• Title not available (Why is that?)
• Differentials, higher-order differentials and the derivative in the Leibnizian calculus
• Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rings of Real-Valued Continuous Functions. I
• A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
• Title not available (Why is that?)
• Cauchy's continuum
• Infinitely small quantities in Cauchy's textbooks
• Definite values of infinite sums: Aspects of the foundations of infinitesimal analysis around 1820
• A non-standard representation for Brownian motion and Ito integration
• The mathematics of the past: distinguishing its history from our heritage
• A new look at e.g. Björling and the Cauchy sum theorem
• Conflicts between generalization, rigor and intuition. Number concepts underlying the development of analysis in 17th--19th century France and Germany
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stevin numbers and reality
• Plato's ghost. The modernist transformation of mathematics
• The wake of Berkeley's analyst: Rigor mathematicae?
• On Cauchy's Notion of Infinitesimal
• Hermann Grassmann and the Creation of Linear Algebra
• Looking at graphs through infinitesimal microscopes, windows and telescopes
• Early delta functions and the use of infinitesimals in research
• Dedekind's Theorem: √2 × √3 = √6
• Internal set theory: A new approach to nonstandard analysis
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
• Nonstandard Analysis
• Infinitesimals
• Title not available (Why is that?)
• Title not available (Why is that?)
• Advanced mathematical thinking
• Newton and the notion of limit
• Numbers and models, standard and nonstandard
• Intermolecular forces of infinite range and the Boltzmann equation
• The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes
• Perceiving the infinite and the infinitesimal world: unveiling and optical diagrams in mathematics
• Implicit differentiation with microscopes
• Leibniz's rigorous foundation of infinitesimal geometry by means of Riemannian sums
• Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
• Commuting and noncommuting infinitesimals
• Title not available (Why is that?)
• Title not available (Why is that?)
• Detleff Clüver: An Early Opponent of the Leibnizian Differential Calculus
• Ten misconceptions from the history of analysis and their debunking
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Measuring the size of infinite collections of natural numbers: was Cantor's theory of infinite number inevitable?
• An integer construction of infinitesimals: toward a theory of eudoxus hyperreals
• One of Berkeley's arguments on compensating errors in the calculus
• Title not available (Why is that?)
• Structure and randomness. Pages from year one of a mathematical blog
• Genius and Biographers: The Fictionalization of Evariste Galois
• Title not available (Why is that?)
• Title not available (Why is that?)
• Why I am not a nominalist
• Utility-uncertainty trade-off structures
• Karl Marx and the foundations of differential calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• From a formalist's point of view
• Title not available (Why is that?)
• The rise and development of the theory of series up to the early 1820s

Cited In (39)

• On mathematical realism and applicability of hyperreals
• Cauchy's infinitesimals, his sum theorem, and foundational paradigms
• Gregory's sixth operation
• Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context
• Is Leibnizian calculus embeddable in first order logic?
• Toward a history of mathematics focused on procedures
• The Mathematical Intelligencer flunks the Olympics
• Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks
• Leibniz on the elimination of infinitesimals
• Continuity between Cauchy and Bolzano: issues of antecedents and priority
• Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
• Leibniz in Cantor’s Paradise: A Dialogue on the Actual Infinite
• Controversies in the foundations of analysis: comments on Schubring's \textit{Conflicts}
• Two-track depictions of Leibniz's fictions
• Multi-level nonstandard analysis and the axiom of choice
• Title not available (Why is that?)
• Euler's lute and Edwards's oud
• Periodic words connected with the tribonacci-Lucas numbers
• Equality and Near-Equality in a Nonstandard World
• Three case studies in current Leibniz scholarship
• Toward a clarity of the extreme value theorem
• Fiction, possibility and impossibility: three kinds of mathematical fictions in Leibniz's work
• Small oscillations of the pendulum, Euler's method, and adequality
• Almost equal: the method of adequality from Diophantus to Fermat and beyond
• Leibniz's syncategorematic infinitesimals. II: Their existence, their use and their role in the justification of the differential calculus
• On the unviability of interpreting Leibniz's infinitesimals through non-standard analysis
• Proofs and retributions, or: why Sarah can't take limits
• A Cauchy-Dirac delta function
• Ten misconceptions from the history of analysis and their debunking
• Infinitesimal analysis without the axiom of choice
• Stateful Realizers for Nonstandard Analysis
• 19th-century real analysis, forward and backward
• Cauchy's work on integral geometry, centers of curvature, and other applications of infinitesimals
• An integer construction of infinitesimals: toward a theory of eudoxus hyperreals
• The quantities useful for reasoning and research. Differentials and infinitesimal differences in a debate between Nieuwentijt, Leibniz and Hermann
• Gödel's contribution to the justification of Leibniz' notion of the infinitesimals
• A connection between Leibniz' infinitely small quantities and the analytical hierarchy
• Possibility vs iterativity: Leibniz and Aristotle on the infinite
• LEIBNIZ ON BODIES AND INFINITIES: RERUM NATURA AND MATHEMATICAL FICTIONS

This page was built for publication: Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q486948)