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

Authors
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.
Keywords First Order Logic  Infinitesimal Calculus  Leibniz  Weierstrass  Abraham Robinson
Categories (categorize this paper)
Reprint years 2017
ISBN(s)
DOI 10.1007/s10699-016-9495-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

What Numbers Could Not Be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.
Ontological Relativity.W. V. Quine - 1968 - Journal of Philosophy 65 (7):185-212.
Non-Standard Analysis.A. Robinson - 1961 - North-Holland Publishing Co..
Non-Standard Analysis.Gert Heinz Müller - 1969 - Journal of Symbolic Logic 34 (2):292-294.

View all 25 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

The Role of Mathematics in Deleuze’s Critical Engagement with Hegel.Simon Duffy - 2009 - International Journal of Philosophical Studies 17 (4):563 – 582.
Continuidade na lógica de Leibniz.Vivianne Moreira - 2010 - Analytica (Rio) 14 (1):103-137.
Schizo‐Math.Simon Duffy - 2004 - Angelaki 9 (3):199 – 215.
The Modal Object Calculus and its Interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.

Analytics

Added to PP index
2016-06-01

Total views
222 ( #38,571 of 2,386,625 )

Recent downloads (6 months)
33 ( #22,989 of 2,386,625 )

How can I increase my downloads?

Downloads

My notes