Is Leibnizian calculus embeddable in first order logic?

Foundations of Science 22 (4):73 - 88 (2017)
  Copy   BIBTEX

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 pro- cedural 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.

Author Profiles

Thomas Mormann
Ludwig Maximilians Universität, München (PhD)

Analytics

Added to PP
2016-06-01

Downloads
596 (#27,225)

6 months
108 (#38,126)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?