Leibniz’s well-founded fictions and their interpetations
Journal Title: Математичні Студії - Year 2018, Vol 49, Issue 2
Abstract
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, expressed in his published articles and correspondence, led Bos to distinguish between two methods in Leibniz's work: (A) one exploiting classical `exhaustion' arguments, and (B) one exploiting inassignable infinitesimals together with a law of continuity. Of particular interest is evidence stemming from Leibniz's work Nouveaux Essais sur l'En- tendement Humain as well as from his correspondence with Arnauld, Bignon, Dagincourt, Des Bosses, and Varignon. A careful examination of the evidence leads us to the opposite conclusion from Arthur's. We analyze a hitherto unnoticed objection of Rolle's concerning the lack of justification for extending axioms and operations in geometry and analysis from the ordinary domain to that of infinitesimal calculus, and reactions to it by Saurin and Leibniz. A newly released 1705 manuscript by Leibniz (Puisque des personnes. . . ) currently in the process of digitalisation, sheds light on the nature of Leibnizian inassignable infinitesimals. In a pair of 1695 texts Leibniz made it clear that his incomparable magnitudes violate Euclid's Definition V.4, a.k.a. the Archimedean property, corroborating the non-Archimedean construal of the Leibnizian calculus.
Authors and Affiliations
J. Bair, P. Blaszczyk, R. Ely, M. G. Katz
Keywords
Related Articles
- EP ID EP411804
- DOI 10.15330/ms.49.2.186-224
- Views 68
- Downloads 0
Existence of solitary traveling waves in Fermi-Pasta-Ulam system on 2D–lattice
The article deals with the Fermi–Pasta–Ulam system that describes an infinite system of particles on 2D–lattice. The main result concerns the existence of solitary traveling wave solutions. By means of critical point the...
An alternative look at the structure of graph inverse semigroups
For any graph inverse semigroup G(E) we describe subsemigroups D0=D∪{0} and J0=J∪{0} of G(E) where D and J are arbitrary D-class and J-class of G(E), respectively. In particular, we prove that for each D-class D of a gra...
Weakened problem on extremal decomposition of the complex plane
The paper deals with the problem of the maximum of the functional rγ(B0,0)∏k=1nr(Bk,ak), where B0,..., Bn, n⩾2, are pairwise disjoint domains in C¯¯¯¯, a0=0, |ak|=1, k∈{1,…,n} and γ∈(0,n] (r(B,a) is the inner radius of t...
Note on separately symmetric polynomials on the Cartesian product of ℓ1
In the paper, we describe algebraic bases in algebras of separately symmetric polynomials which are defined on Cartesian products of n copies of ℓ1. Also, we describe spectra of algebras of entire functions, generated by...
Growth of p-th means of the Poisson-Stieltjes integrals in polydisc
We prove a sharp upper estimate of the pth means of the Poisson-Stieltjes integrals in the unit polydisc for p>1. The estimate is given in terms of the smoothness of a complex-valued Stieltjes measure μ. If the measure μ...