---
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
address:
- 'P. Błaszczyk, Institute of Mathematics, Pedagogical University of Cracow, Poland'
- 'V. Kanovei, IPPI, Moscow, and MIIT, Moscow, Russia'
- 'K. Katz, Department of Mathematics, Bar Ilan University, Ramat Gan 52900 Israel'
- 'M. Katz, Department of Mathematics, Bar Ilan University, Ramat Gan 52900 Israel'
- 'T. Kudryk, Department of Mathematics, Lviv National University, Lviv, Ukraine'
- 'T. Mormann, Department of Logic and Philosophy of Science, University of the Basque Country UPV/EHU, 20080 Donostia San Sebastian, Spain'
- 'D. Sherry, Department of Philosophy, Northern Arizona University, 