Interpreting the Infinitesimal Mathematics of Leibniz and Euler

Jacques Bair, Piotr Błaszczyk, Robert Ely, Valérie Henry, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Semen S. Kutateladze, Thomas McGaffey, Patrick Reeder, David M. Schaps, David M Sherry, Steven Shnider

Research output: Contribution to journalArticle

10 Citations (Scopus)

Abstract

We apply Benacerraf’s distinction between mathematical ontology and mathematical practice (or the structures mathematicians use in practice) to examine contrasting interpretations of infinitesimal mathematics of the seventeenth and eighteenth century, in the work of Bos, Ferraro, Laugwitz, and others. We detect Weierstrass’s ghost behind some of the received historiography on Euler’s infinitesimal mathematics, as when Ferraro proposes to understand Euler in terms of a Weierstrassian notion of limit and Fraser declares classical analysis to be a “primary point of reference for understanding the eighteenth-century theories.” Meanwhile, scholars like Bos and Laugwitz seek to explore Eulerian methodology, practice, and procedures in a way more faithful to Euler’s own. Euler’s use of infinite integers and the associated infinite products are analyzed in the context of his infinite product decomposition for the sine function. Euler’s principle of cancellation is compared to the Leibnizian transcendental law of homogeneity. The Leibnizian law of continuity similarly finds echoes in Euler. We argue that Ferraro’s assumption that Euler worked with a classical notion of quantity is symptomatic of a post-Weierstrassian placement of Euler in the Archimedean track for the development of analysis, as well as a blurring of the distinction between the dual tracks noted by Bos. Interpreting Euler in an Archimedean conceptual framework obscures important aspects of Euler’s work. Such a framework is profitably replaced by a syntactically more versatile modern infinitesimal framework that provides better proxies for his inferential moves.

Original languageEnglish (US)
Pages (from-to)1-44
Number of pages44
JournalJournal for General Philosophy of Science
DOIs
StateAccepted/In press - Jul 19 2016

Fingerprint

mathematics
eighteenth century
Law
seventeenth century
historiography
ontology
continuity
interpretation
methodology
Gottfried Wilhelm Leibniz
Mathematics
Leonhard Euler
homogeneity

Keywords

  • Archimedean axiom
  • Euler
  • Infinite product
  • Infinitesimal
  • Law of continuity
  • Law of homogeneity
  • Leibniz
  • Mathematical practice
  • Ontology
  • Principle of cancellation
  • Procedure
  • Standard part principle

ASJC Scopus subject areas

  • History and Philosophy of Science
  • Philosophy
  • Social Sciences(all)

Cite this

Bair, J., Błaszczyk, P., Ely, R., Henry, V., Kanovei, V., Katz, K. U., ... Shnider, S. (Accepted/In press). Interpreting the Infinitesimal Mathematics of Leibniz and Euler. Journal for General Philosophy of Science, 1-44. https://doi.org/10.1007/s10838-016-9334-z

Interpreting the Infinitesimal Mathematics of Leibniz and Euler. / Bair, Jacques; Błaszczyk, Piotr; Ely, Robert; Henry, Valérie; Kanovei, Vladimir; Katz, Karin U.; Katz, Mikhail G.; Kutateladze, Semen S.; McGaffey, Thomas; Reeder, Patrick; Schaps, David M.; Sherry, David M; Shnider, Steven.

In: Journal for General Philosophy of Science, 19.07.2016, p. 1-44.

Research output: Contribution to journalArticle

Bair, J, Błaszczyk, P, Ely, R, Henry, V, Kanovei, V, Katz, KU, Katz, MG, Kutateladze, SS, McGaffey, T, Reeder, P, Schaps, DM, Sherry, DM & Shnider, S 2016, 'Interpreting the Infinitesimal Mathematics of Leibniz and Euler', Journal for General Philosophy of Science, pp. 1-44. https://doi.org/10.1007/s10838-016-9334-z
Bair, Jacques ; Błaszczyk, Piotr ; Ely, Robert ; Henry, Valérie ; Kanovei, Vladimir ; Katz, Karin U. ; Katz, Mikhail G. ; Kutateladze, Semen S. ; McGaffey, Thomas ; Reeder, Patrick ; Schaps, David M. ; Sherry, David M ; Shnider, Steven. / Interpreting the Infinitesimal Mathematics of Leibniz and Euler. In: Journal for General Philosophy of Science. 2016 ; pp. 1-44.
@article{318550c7b4ec4d9fb3875e4bbd6519d7,
title = "Interpreting the Infinitesimal Mathematics of Leibniz and Euler",
abstract = "We apply Benacerraf’s distinction between mathematical ontology and mathematical practice (or the structures mathematicians use in practice) to examine contrasting interpretations of infinitesimal mathematics of the seventeenth and eighteenth century, in the work of Bos, Ferraro, Laugwitz, and others. We detect Weierstrass’s ghost behind some of the received historiography on Euler’s infinitesimal mathematics, as when Ferraro proposes to understand Euler in terms of a Weierstrassian notion of limit and Fraser declares classical analysis to be a “primary point of reference for understanding the eighteenth-century theories.” Meanwhile, scholars like Bos and Laugwitz seek to explore Eulerian methodology, practice, and procedures in a way more faithful to Euler’s own. Euler’s use of infinite integers and the associated infinite products are analyzed in the context of his infinite product decomposition for the sine function. Euler’s principle of cancellation is compared to the Leibnizian transcendental law of homogeneity. The Leibnizian law of continuity similarly finds echoes in Euler. We argue that Ferraro’s assumption that Euler worked with a classical notion of quantity is symptomatic of a post-Weierstrassian placement of Euler in the Archimedean track for the development of analysis, as well as a blurring of the distinction between the dual tracks noted by Bos. Interpreting Euler in an Archimedean conceptual framework obscures important aspects of Euler’s work. Such a framework is profitably replaced by a syntactically more versatile modern infinitesimal framework that provides better proxies for his inferential moves.",
keywords = "Archimedean axiom, Euler, Infinite product, Infinitesimal, Law of continuity, Law of homogeneity, Leibniz, Mathematical practice, Ontology, Principle of cancellation, Procedure, Standard part principle",
author = "Jacques Bair and Piotr Błaszczyk and Robert Ely and Val{\'e}rie Henry and Vladimir Kanovei and Katz, {Karin U.} and Katz, {Mikhail G.} and Kutateladze, {Semen S.} and Thomas McGaffey and Patrick Reeder and Schaps, {David M.} and Sherry, {David M} and Steven Shnider",
year = "2016",
month = "7",
day = "19",
doi = "10.1007/s10838-016-9334-z",
language = "English (US)",
pages = "1--44",
journal = "Journal for General Philosophy of Science",
issn = "0925-4560",
publisher = "Springer Netherlands",

}

TY - JOUR

T1 - Interpreting the Infinitesimal Mathematics of Leibniz and Euler

AU - Bair, Jacques

AU - Błaszczyk, Piotr

AU - Ely, Robert

AU - Henry, Valérie

AU - Kanovei, Vladimir

AU - Katz, Karin U.

AU - Katz, Mikhail G.

AU - Kutateladze, Semen S.

AU - McGaffey, Thomas

AU - Reeder, Patrick

AU - Schaps, David M.

AU - Sherry, David M

AU - Shnider, Steven

PY - 2016/7/19

Y1 - 2016/7/19

N2 - We apply Benacerraf’s distinction between mathematical ontology and mathematical practice (or the structures mathematicians use in practice) to examine contrasting interpretations of infinitesimal mathematics of the seventeenth and eighteenth century, in the work of Bos, Ferraro, Laugwitz, and others. We detect Weierstrass’s ghost behind some of the received historiography on Euler’s infinitesimal mathematics, as when Ferraro proposes to understand Euler in terms of a Weierstrassian notion of limit and Fraser declares classical analysis to be a “primary point of reference for understanding the eighteenth-century theories.” Meanwhile, scholars like Bos and Laugwitz seek to explore Eulerian methodology, practice, and procedures in a way more faithful to Euler’s own. Euler’s use of infinite integers and the associated infinite products are analyzed in the context of his infinite product decomposition for the sine function. Euler’s principle of cancellation is compared to the Leibnizian transcendental law of homogeneity. The Leibnizian law of continuity similarly finds echoes in Euler. We argue that Ferraro’s assumption that Euler worked with a classical notion of quantity is symptomatic of a post-Weierstrassian placement of Euler in the Archimedean track for the development of analysis, as well as a blurring of the distinction between the dual tracks noted by Bos. Interpreting Euler in an Archimedean conceptual framework obscures important aspects of Euler’s work. Such a framework is profitably replaced by a syntactically more versatile modern infinitesimal framework that provides better proxies for his inferential moves.

AB - We apply Benacerraf’s distinction between mathematical ontology and mathematical practice (or the structures mathematicians use in practice) to examine contrasting interpretations of infinitesimal mathematics of the seventeenth and eighteenth century, in the work of Bos, Ferraro, Laugwitz, and others. We detect Weierstrass’s ghost behind some of the received historiography on Euler’s infinitesimal mathematics, as when Ferraro proposes to understand Euler in terms of a Weierstrassian notion of limit and Fraser declares classical analysis to be a “primary point of reference for understanding the eighteenth-century theories.” Meanwhile, scholars like Bos and Laugwitz seek to explore Eulerian methodology, practice, and procedures in a way more faithful to Euler’s own. Euler’s use of infinite integers and the associated infinite products are analyzed in the context of his infinite product decomposition for the sine function. Euler’s principle of cancellation is compared to the Leibnizian transcendental law of homogeneity. The Leibnizian law of continuity similarly finds echoes in Euler. We argue that Ferraro’s assumption that Euler worked with a classical notion of quantity is symptomatic of a post-Weierstrassian placement of Euler in the Archimedean track for the development of analysis, as well as a blurring of the distinction between the dual tracks noted by Bos. Interpreting Euler in an Archimedean conceptual framework obscures important aspects of Euler’s work. Such a framework is profitably replaced by a syntactically more versatile modern infinitesimal framework that provides better proxies for his inferential moves.

KW - Archimedean axiom

KW - Euler

KW - Infinite product

KW - Infinitesimal

KW - Law of continuity

KW - Law of homogeneity

KW - Leibniz

KW - Mathematical practice

KW - Ontology

KW - Principle of cancellation

KW - Procedure

KW - Standard part principle

UR - http://www.scopus.com/inward/record.url?scp=84978654577&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84978654577&partnerID=8YFLogxK

U2 - 10.1007/s10838-016-9334-z

DO - 10.1007/s10838-016-9334-z

M3 - Article

AN - SCOPUS:84978654577

SP - 1

EP - 44

JO - Journal for General Philosophy of Science

JF - Journal for General Philosophy of Science

SN - 0925-4560

ER -