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

DOI10.1007/S10670-012-9370-YzbMATH Open1303.01012OpenAlexW1982610115WikidataQ55871456 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

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

Cited In (40)

• 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
• A Leibniz/NSA comparison
• 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)