Is Leibnizian calculus embeddable in first order logic?

DOI10.1007/S10699-016-9495-6zbMATH Open1398.03223arXiv1605.03501OpenAlexW2368126457MaRDI QIDQ1616106FDOQ1616106

David Sherry, Karin U. Katz, Thomas Mormann, Piotr Błaszczyk, Vladimir Kanovei, Mikhail G. Katz, Taras S. Kudryk

Publication date: 31 October 2018

Published in: Foundations of Science (Search for Journal in Brave)

Abstract: To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on procedural questions. This would enable an account of Leibnizian procedures in a framework limited to FOL with a small number of additional ingredients such as the relation of infinite proximity. If, as we argue here, first order logic is indeed suitable for developing modern proxies for the inferential moves found in Leibnizian infinitesimal calculus, then modern infinitesimal frameworks are more appropriate to interpreting Leibnizian infinitesimal calculus than modern Weierstrassian ones. Keywords: First order logic; infinitesimal calculus; ontology; procedures; Leibniz; Weierstrass; Abraham Robinson

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

zbMATH Keywords

ontologyWeierstrassLeibnizAbraham Robinsonfirst order logicinfinitesimal calculusprocedures

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Nonstandard models in mathematics (03H05)

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?)
• Non-standard analysis
• Differentials, higher-order differentials and the derivative in the Leibnizian calculus
• Fermat, Leibniz, Euler, and the gang: the true history of the concepts of limit and shadow
• Euler's lute and Edwards's oud
• Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus
• Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond
• Leibniz’s Laws of Continuity and Homogeneity
• Rings of Real-Valued Continuous Functions. I
• A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
• Is mathematical history written by the victors?
• Differential geometry via infinitesimal displacements
• Cauchy's Continuum
• 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
• Leibniz's rigorous foundation of infinitesimal geometry by means of Riemannian sums
• Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
• Conway's Field of Surreal Numbers
• EDWARD NELSON (1932–2014)

Cited In (2)

• Periodic words connected with the tribonacci-Lucas numbers
• Is Leibniz's `lex iustitiae' a logical law?

This page was built for publication: Is Leibnizian calculus embeddable in first order logic?

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