Related papers: Procedures of Leibnizian infinitesimal calculus: A…
Many historians of the calculus deny significant continuity between infinitesimal calculus of the 17th century and 20th century developments such as Robinson's theory. Robinson's hyperreals, while providing a consistent theory of…
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…
We contribute to the lively debate in current scholarship on the Leibnizian calculus. In a recent text, Arthur and Rabouin argue that non-Archimedean continua are incompatible with Leibniz's concepts of number, quantity and magnitude. They…
We present some similarities between Leibnizian and Robinsonian calculi, and address some objections raised by historians. The comparison with NSA facilitates our appreciation of some Leibnizian procedures that may otherwise seem obscure.…
Leibniz entertained various conceptions of infinitesimals, considering them sometimes as ideal things and other times as fictions. But in both cases, he compares infinitesimals favorably to imaginary roots. We agree with the majority of…
We explore Leibniz's understanding of the differential calculus, and argue that his methods were more coherent than is generally recognized. The foundations of the historical infinitesimal calculus of Newton and Leibniz have been a target…
Abraham Robinson's framework for modern infinitesimals was developed half a century ago. It enables a re-evaluation of the procedures of the pioneers of mathematical analysis. Their procedures have been often viewed through the lens of the…
Leibniz used the term fiction in conjunction with infinitesimals. What kind of fictions they were exactly is a subject of scholarly dispute. The position of Bos and Mancosu contrasts with that of Ishiguro and Arthur. Leibniz's own views,…
It is often claimed that analysis with infinitesimals requires more substantial use of the Axiom of Choice than traditional elementary analysis. The claim is based on the observation that the hyperreals entail the existence of nonprincipal…
We examine some recent scholarship on Leibniz's philosophy of the infinitesimal calculus. We indicate difficulties that arise in articles by Bassler, Knobloch, and Arthur, due to a denial to Leibniz's infinitesimals of the status of…
We explore the issue of providing a foundational framework for Leibnizian infinitesimals in the light of modern standard and nonstandard approaches. We outline a trichotomy of ordinals, cardinals and ringinals as a historiographic tool. A…
Did Leibniz exploit infinitesimals and infinities `a la rigueur, or only as shorthand for quantified propositions that refer to ordinary Archimedean magnitudes? Chapter 5 in (Ishiguro 1990) is a defense of the latter position, which she…
The way Leibniz applied his philosophy to mathematics has been the subject of longstanding debates. A key piece of evidence is his letter to Masson on bodies. We offer an interpretation of this often misunderstood text, dealing with the…
This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their constructive engagement with the Cantor-Dedekind postulate and…
In this paper we offer a reconstruction of the evolution of Leibniz's thought concerning the problem of the infinite divisibility of bodies, the tension between actuality, unassignability and syncategorematicity, and the closely related…
We apply Benacerraf's distinction between mathematical ontology and mathematical practice (or the structures mathematicians use in practice) to examine contrasting interpretations of infinitesimal mathematics of the 17th and 18th century,…
This article explores the following methodological principle for theory construction in physics: if an ontological theory predicts two scenarios that are ontologically distinct but empirically indiscernible, then this theory should be…
We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of ten equivalent statements} borrowed from algebra, real analysis, general topology and non-standard analysis. We also discuss…
Leibniz described imaginary roots, negatives, and infinitesimals as useful fictions. But did he view such 'impossible' numbers as mathematical entities? Alice and Bob take on the labyrinth of the current Leibniz scholarship.
An alternative mathematics based on qualitative plurality of finiteness is developed to make non-standard mathematics independent of infinite set theory. The vague concept "accessibility" is used coherently within finite set theory whose…