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. (shrink)

In contrast with some recent theories of infinitesimals as non-Archimedean entities, Leibniz’s mature interpretation was fully in accord with the Archimedean Axiom: infinitesimals are fictions, whose treatment as entities incomparably smaller than finite quantities is justifiable wholly in terms of variable finite quantities that can be taken as small as desired, i.e. syncategorematically. In this paper I explain this syncategorematic interpretation, and how Leibniz used it to justify the calculus. I then compare it with the approach of Smooth Infinitesimal Analysis, (...) as propounded by John Bell. I find some salient differences, especially with regard to higher-order infinitesimals. I illustrate these differences by a consideration of how each approach might be applied to propositions of Newton’s Principia concerning the derivation of force laws for bodies orbiting in a circle and an ellipse. “If the Leibnizian calculus needs a rehabilitation because of too severe treatment by historians in the past half century, as Robinson suggests (1966, 250), I feel that the legitimate grounds for such a rehabilitation are to be found in the Leibnizian theory itself.”—(Bos 1974–1975, 82–83). (shrink)

In contrast with some recent theories of infinitesimals as non-Archimedean entities, Leibniz’s mature interpretation was fully in accord with the Archimedean Axiom: infinitesimals are fictions, whose treatment as entities incomparably smaller than finite quantities is justifiable wholly in terms of variable finite quantities that can be taken as small as desired, i.e. syncategorematically. In this paper I explain this syncategorematic interpretation, and how Leibniz used it to justify the calculus. I then compare it with the approach of Smooth Infinitesimal Analysis (...) (SIA), as propounded by John Bell. Despite many parallels between SIA and Leibniz’s approach —the non-punctiform nature of infinitesimals, their acting as parts of the continuum, the dependence on variables (as opposed to the static quantities of both Standard and Non-standard Analysis), the resolution of curves into infinitesided polygons, and the finessing of a commitment to the existence of infinitesimals— I find some salient differences, especially with regard to higher-order infinitesimals. These differences are illustrated by a consideration of how each approach might be applied to Newton’s Proposition 6 of the Principia, and the derivation from it of the v2/r law for the centripetal force on a body orbiting around a centre of force. It is found that while Leibniz’s syncategorematic approach is adequate to ground a Leibnizian version of the v2/r law for the “solicitation” ddr experienced by the orbiting body, there is no corresponding possibility for a derivation of the law by nilsquare infinitesimals; and while SIA can allow for second order differentials if nilcube infinitesimals are assumed, difficulties remain concerning the compatibility of nilcube infinitesimals with the principles of SIA, and in any case render the type of infinitesimal analysis adopted dependent on its applicability to the problem at hand. (shrink)

Many historical and philosophical studies treat infinity as an exclusively quantitative notion, whose proper domain of application is mathematics and physics. The main aim of this paper is to disentangle, by critically examining, three notions of infinity in the early modern period, and to argue that one—but only one—of them is quantitative. One of these non-quantitative notions concerns being or reality, while the other concerns a particular iterative property of an aggregate. These three notions will emerge through examination of three (...) central figures in the period: Locke, Descartes, and Leibniz. (shrink)

We apply a framework developed by C. S. Peirce to analyze the concept of clarity, so as to examine a pair of rival mathematical approaches to a typical result in analysis. Namely, we compare an intuitionist and an infinitesimal approaches to the extreme value theorem. We argue that a given pre-mathematical phenomenon may have several aspects that are not necessarily captured by a single formalisation, pointing to a complementarity rather than a rivalry of the approaches.

Many historians of the calculus deny significant continuity between infinitesimal calculus of the seventeenth century and twentieth century developments such as Robinson’s theory. Robinson’s hyperreals, while providing a consistent theory of infinitesimals, require the resources of modern logic; thus many commentators are comfortable denying a historical continuity. A notable exception is Robinson himself, whose identification with the Leibnizian tradition inspired Lakatos, Laugwitz, and others to consider the history of the infinitesimal in a more favorable light. Inspite of his Leibnizian sympathies, (...) Robinson regards Berkeley’s criticisms of the infinitesimal calculus as aptly demonstrating the inconsistency of reasoning with historical infinitesimal magnitudes. We argue that Robinson, among others, overestimates the force of Berkeley’s criticisms, by underestimating the mathematical and philosophical resources available to Leibniz. Leibniz’s infinitesimals are fictions, not logical fictions, as Ishiguro proposed, but rather pure fictions, like imaginaries, which are not eliminable by some syncategorematic paraphrase. We argue that Leibniz’s defense of infinitesimals is more firmly grounded than Berkeley’s criticism thereof. We show, moreover, that Leibniz’s system for differential calculus was free of logical fallacies. Our argument strengthens the conception of modern infinitesimals as a development of Leibniz’s strategy of relating inassignable to assignable quantities by means of his transcendental law of homogeneity. (shrink)

Entre 1676 y 1680 Leibniz intentó conseguir un puesto remunerado en la Académie des sciencesque quedó vacante tras el fallecimiento de Roberval en 1675. Al mismo tiempo, Leibniz ofrece en cartas a Huygens varios métodos, recetas e invenciones que podrían ser de utilidad para la academia parisina: entre ellos encontramos el analysis situs, una discusión sobre el método de Becher para encontrar oro, la receta del fósforo, el método inverso de tangentes, la cuadratura aritmética y su propia red epistolar. La (...) hipótesis de este trabajo defiende que estas discusiones fueron presentadas a Huygens con la finalidad de conseguir el puesto remunerado en la Académie, lo cual no ha sido lo suficientemente tenido en cuenta en la literatura científica. (shrink)

In this paper, we endeavour to give a historically accurate presentation of how Leibniz understood his infinitesimals, and how he justified their use. Some authors claim that when Leibniz called them “fictions” in response to the criticisms of the calculus by Rolle and others at the turn of the century, he had in mind a different meaning of “fiction” than in his earlier work, involving a commitment to their existence as non-Archimedean elements of the continuum. Against this, we show that (...) by 1676 Leibniz had already developed an interpretation from which he never wavered, according to which infinitesimals, like infinite wholes, cannot be regarded as existing because their concepts entail contradictions, even though they may be used as if they exist under certain specified conditions—a conception he later characterized as “syncategorematic”. Thus, one cannot infer the existence of infinitesimals from their successful use. By a detailed analysis of Leibniz’s arguments in his De quadratura of 1675–1676, we show that Leibniz had already presented there two strategies for presenting infinitesimalist methods, one in which one uses finite quantities that can be made as small as necessary in order for the error to be smaller than can be assigned, and thus zero; and another “direct” method in which the infinite and infinitely small are introduced by a fiction analogous to imaginary roots in algebra, and to points at infinity in projective geometry. We then show how in his mature papers the latter strategy, now articulated as based on the Law of Continuity, is presented to critics of the calculus as being equally constitutive for the foundations of algebra and geometry and also as being provably rigorous according to the accepted standards in keeping with the Archimedean axiom. (shrink)

El objetivo de este trabajo es examinar el concepto leibniziano de ficción matemática, con especial énfasis en la tesis de Leibniz acerca del carácter ficcional de las nociones infinitarias. Se propone en primer lugar, como marco general de la investigación, un conjunto de cinco condiciones que una ficción tiene que cumplir para ser matemáticamente admisible. Sobre la base de las concepciones de Leibniz acerca del conocimiento simbólico, se propone la ficción matemática como la clase de nociones confusas que carecen de (...) denotación a raíz de la imposibilidad de su objeto. Tomando como punto de partida el análisis de la imposibilidad en términos de inconsis tencia, se muestra que Leibniz admite otras formas de imposibilidad, que afectan especialmente a las nociones infinitarias. Proponemos así la imposibilidad como irrepresentabilidad geométrica y la imposibilidad por incompatibilidad con principios arquitectónicos. Así, el resultado de nuestro examen fundamenta la admisión de tres tipos de ficcionalidad matemática, la ficción 1, que se corresponde con la noción inconsistente, la ficción 2 que incluye las nociones geométricamente irrepresentables y la ficción 3, que se aplica a las nociones “arquitectónicamente” imposibles. En conclusión, los conceptos infinitarios, sin ser por sí mismos inconsistentes, corresponden al tipo de ficcion 2 y ficción 3. Finalmente, se concluye que Leibniz está más preocupado por la imposibilidad por incompatibilidad con principios arquitectónicos que por la cuestión de la irrepresentabilidad geométrica. (shrink)

Did Leibniz exploit infinitesimals and infinities à la rigueur or only as shorthand for quantified propositions that refer to ordinary Archimedean magnitudes? Hidé Ishiguro defends the latter position, which she reformulates in terms of Russellian logical fictions. Ishiguro does not explain how to reconcile this interpretation with Leibniz’s repeated assertions that infinitesimals violate the Archimedean property (i.e., Euclid’s Elements, V.4). We present textual evidence from Leibniz, as well as historical evidence from the early decades of the calculus, to undermine Ishiguro’s (...) interpretation. Leibniz frequently writes that his infinitesimals are useful fictions, and we agree, but we show that it is best not to understand them as logical fictions; instead, they are better understood as pure fictions. (shrink)

The widespread idea that infinitesimals were “eliminated” by the “great triumvirate” of Cantor, Dedekind, and Weierstrass is refuted by an uninterrupted chain of work on infinitesimal-enriched number systems. The elimination claim is an oversimplification created by triumvirate followers, who tend to view the history of analysis as a pre-ordained march toward the radiant future of Weierstrassian epsilontics. In the present text, we document distortions of the history of analysis stemming from the triumvirate ideology of ontological minimalism, which identified the continuum (...) with a single number system. Such anachronistic distortions characterize the received interpretation of Stevin, Leibniz, d’Alembert, Cauchy, and others. (shrink)

RESUMEN El artículo reconstruye la concepción metodológica de Leibniz de finales del periodo parisino, que subyace al tratado Sobre la cuadratura aritmética del círculo, la elipse y la hipérbola (1676). Se muestra que Leibniz concibió un procedimiento en el cual el hallazgo de nuevos conocimientos de alguna manera coincide con su demostración, y en el que los procesos de análisis y síntesis se emplean de diversas maneras. ABSTRACT The article reconstructs Leibniz's methodological conception of the late Parisian period underlying the (...) treatise On the Arithmetical Squaring of the Circle, the Ellipse, and the Hyperbola (1676). It is shown that Leibniz conceived of a procedure where the finding of new knowledge somehow coincided with its demonstration and in which the processes of analysis and synthesis were employed in various ways. (shrink)