Is Leibnizian Calculus Embeddable in First Order Logic?

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

Research output: Contribution to journalArticle

3 Citations (Scopus)

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.

Original languageEnglish (US)
Pages (from-to)1-15
Number of pages15
JournalFoundations of Science
DOIs
StateAccepted/In press - Jun 22 2016

Fingerprint

Calculi
Gottfried Wilhelm Leibniz
First-order Logic
Ontological
Procedural
Proximity

Keywords

  • Abraham Robinson
  • First order logic
  • Infinitesimal calculus
  • Leibniz
  • Ontology
  • Procedures
  • Weierstrass

ASJC Scopus subject areas

  • General
  • History and Philosophy of Science

Cite this

Błaszczyk, P., Kanovei, V., Katz, K. U., Katz, M. G., Kudryk, T., Mormann, T., & Sherry, D. M. (Accepted/In press). Is Leibnizian Calculus Embeddable in First Order Logic? Foundations of Science, 1-15. https://doi.org/10.1007/s10699-016-9495-6

Is Leibnizian Calculus Embeddable in First Order Logic? / Błaszczyk, Piotr; Kanovei, Vladimir; Katz, Karin U.; Katz, Mikhail G.; Kudryk, Taras; Mormann, Thomas; Sherry, David M.

In: Foundations of Science, 22.06.2016, p. 1-15.

Research output: Contribution to journalArticle

Błaszczyk, P, Kanovei, V, Katz, KU, Katz, MG, Kudryk, T, Mormann, T & Sherry, DM 2016, 'Is Leibnizian Calculus Embeddable in First Order Logic?', Foundations of Science, pp. 1-15. https://doi.org/10.1007/s10699-016-9495-6
Błaszczyk P, Kanovei V, Katz KU, Katz MG, Kudryk T, Mormann T et al. Is Leibnizian Calculus Embeddable in First Order Logic? Foundations of Science. 2016 Jun 22;1-15. https://doi.org/10.1007/s10699-016-9495-6
Błaszczyk, Piotr ; Kanovei, Vladimir ; Katz, Karin U. ; Katz, Mikhail G. ; Kudryk, Taras ; Mormann, Thomas ; Sherry, David M. / Is Leibnizian Calculus Embeddable in First Order Logic?. In: Foundations of Science. 2016 ; pp. 1-15.
@article{a9219c44d97b4f30b55624e70467cf4f,
title = "Is Leibnizian Calculus Embeddable in First Order Logic?",
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 = "Abraham Robinson, First order logic, Infinitesimal calculus, Leibniz, Ontology, Procedures, Weierstrass",
author = "Piotr Błaszczyk and Vladimir Kanovei and Katz, {Karin U.} and Katz, {Mikhail G.} and Taras Kudryk and Thomas Mormann and Sherry, {David M}",
year = "2016",
month = "6",
day = "22",
doi = "10.1007/s10699-016-9495-6",
language = "English (US)",
pages = "1--15",
journal = "Foundations of Science",
issn = "1233-1821",
publisher = "Springer Netherlands",

}

TY - JOUR

T1 - Is Leibnizian Calculus Embeddable in First Order Logic?

AU - Błaszczyk, Piotr

AU - Kanovei, Vladimir

AU - Katz, Karin U.

AU - Katz, Mikhail G.

AU - Kudryk, Taras

AU - Mormann, Thomas

AU - Sherry, David M

PY - 2016/6/22

Y1 - 2016/6/22

N2 - 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.

AB - 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.

KW - Abraham Robinson

KW - First order logic

KW - Infinitesimal calculus

KW - Leibniz

KW - Ontology

KW - Procedures

KW - Weierstrass

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

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

U2 - 10.1007/s10699-016-9495-6

DO - 10.1007/s10699-016-9495-6

M3 - Article

AN - SCOPUS:84975526213

SP - 1

EP - 15

JO - Foundations of Science

JF - Foundations of Science

SN - 1233-1821

ER -