A New Chance for Infinitesimals? This article discusses the connection between the Zenonian paradox of magnitude and probability on infinite sample spaces. Two important premises in the Zenonian argument are: the Archimedean axiom, which excludes infinitesimal magnitudes, and perfect additivity. Standard probability theory uses real numbers that satisfy the Archimedean axiom, but it rejects perfect additivity. The additivity requirement for real-valued probabilities is limited to countably infinite collections of mutually incompatible events. A consequence of this is that there exists no (...) standard probability function that describes a fair lottery on the natural numbers. If we reject the Archimedean axiom, allowing infinitesimal probability values, we can retain perfect additivity and describe a fair, countable infinite lottery. The article gives a historical overview to understand how the first option has become the current standard, whereas the latter remains ‘non-standard’. (shrink)

This is a survey of the concept of continuity. Efforts to explicate continuity have produced a plurality of philosophical conceptions of continuity that have provably distinct expressions within contemporary mathematics. I claim that there is a divide between the conceptions that treat the whole continuum as prior to its parts, and those conceptions that treat the parts of the continuum as prior to the whole. Along this divide, a tension emerges between those conceptions that favor philosophical idealizations of continuity and (...) those that are more readily available for mathematico-scientific use. (shrink)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

The early calculus is a popular example of an inconsistent but fruitful scientific theory. This paper is concerned with the formalisation of reasoning processes based on this inconsistent theory. First it is shown how a formal reconstruction in terms of a sub-classical negation leads to triviality. This is followed by the evaluation of the chunk and permeate mechanism proposed by Brown and Priest in, 379–388, 2004) to obtain a non-trivial formalisation of the early infinitesimal calculus. Different shortcomings of this application (...) of C&P as an explication of inconsistency tolerant reasoning are pointed out, both conceptual and technical. To remedy these shortcomings, an adaptive logic is proposed that allows for conditional permeations of formulas under the assumption of consistency preservation. First the adaptive logic is defined and explained and thereafter it is demonstrated how this adaptive logic remedies the defects C&P suffered from. (shrink)

Cantor’s theory of cardinal numbers offers a way to generalize arithmetic from finite sets to infinite sets using the notion of one-to-one association between two sets. As is well known, all countable infinite sets have the same ‘size’ in this account, namely that of the cardinality of the natural numbers. However, throughout the history of reflections on infinity another powerful intuition has played a major role: if a collectionAis properly included in a collectionBthen the ‘size’ ofAshould be less than the (...) ‘size’ ofB(part–whole principle). This second intuition was not developed mathematically in a satisfactory way until quite recently. In this article I begin by reviewing the contributions of some thinkers who argued in favor of the assignment of different sizes to infinite collections of natural numbers (Thabit ibn Qurra, Grosseteste, Maignan, Bolzano). Then, I review some recent mathematical developments that generalize the part–whole principle to infinite sets in a coherent fashion (Katz, Benci, Di Nasso, Forti). Finally, I show how these new developments are important for a proper evaluation of a number of positions in philosophy of mathematics which argue either for the inevitability of the Cantorian notion of infinite number (Gödel) or for the rational nature of the Cantorian generalization as opposed to that, based on the part–whole principle, envisaged by Bolzano (Kitcher). (shrink)

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)

Les contributions à la logique de MacColl et Charles Sanders Peirce (1839-1914) ont été les deux plus profondes influences sur le travail de Ernst Schröder (1841-1902) en logique algébrique. Dans son Vorlesungen über dieAlgebra der Logik, Schröder a cité MacColl comme l’un de ses précurseurs les plus importants. Schröder a comparé les travaux de Peirce avec les premières parties de la série d’articles intitulés « The calculus of equivalent statements » que MacColl publie entre 1877 et 1880. Schröder a attribué (...) la priorité à MacColl pour avoir anticipé les résultats de Peirce. Pour Schröder, MacColl était une phase préliminaire à l’algèbre de la logique de Peirce. (shrink)

The small, the tiny, and the infinitesimal have been the object of both fascination and vilification for millenia. One of the most vitriolic reviews in mathematics was that written by Errett Bishop about Keisler’s book Elementary Calculus: an Infinitesimal Approach. In this skit we investigate both the argument itself, and some of its roots in Bishop George Berkeley’s criticism of Leibnizian and Newtonian Calculus. We also explore some of the consequences to students for whom the infinitesimal approach is congenial. The (...) casual mathematical reader may be satisfied to read the text of the five act play, whereas the others may wish to delve into the 130 footnotes, some of which contain elucidation of the mathematics or comments on the history. (shrink)

In this paper I illustrate the evolution of series theory from Leibniz and Newton to the first decades of the eighteenth century. Although mathematicians used convergent series to solve geometric problems, they manipulated series by a mere extension of the rules valid for finite series, without considering convergence as a preliminary condition. Further, they conceived of a power series as a result of a process of the expansion of a finite analytical expression and thought that the link between series and (...) analytical expression was not restricted to the interval of convergence. This gave rise to formal aspects that became progressively more evident while the complexity of the theory increased. Asymptotic and recurrence series emerged as the result of the natural evolution of theory, without the difference between these infinite processes with respect to ordinary series being highlighted. The various aspects of dealing with series can be viewed today as derived from different definitions of the sum. However, mathematicians of that time always considered them as different approaches to a single theory that was based on a unique notion of the sum (even though, later in the eighteenth century, they disagree about what this notion was). (shrink)

The ArgumentIt has long been apparent that in the nineteenth century, mathematics in France and England developed along different lines. The differences, which might well be labelled stylistic, are most easy to see on the foundational level. At first this may seem surprising because it is such a fundamental area, but, upon reflection, it is to be expected. Ultimately discussions about the foundations of mathematics turn on views about what mathematics is, and this is a question which is answered by (...) a variety of different groups including mathematicians, students, curricular planners, parents, etc. Mathematical practice rests on some kind of mixture of the answers to this fundamental question which come from these diverse groups. Comparing the cultural matrices which supported mathematics in France and Britain in the first decades of the nineteenth century sheds light on the real though often subtle differences in the ways the subject was pursued in the two countries. (shrink)

Adequality, or παρισóτης (parisotēs) in the original Greek of Diophantus 1 , is a crucial step in Fermat’s method of finding maxima, minima, tangents, and solving other problems that a modern mathematician would solve using infinitesimal calculus. The method is presented in a series of short articles in Fermat’s collected works (1891, pp. 133–172). The first article, Methodus ad Disquirendam Maximam et Minimam 2 , opens with a summary of an algorithm for finding the maximum or minimum value of an (...) algebraic expression in a variable A. For convenience, we will write such an expression in modern functional notation as f (a). 3 The algorithm can be broken up into six steps in the following way:Introduce an auxiliary .. (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)

The role of mathematics in the development of Gilles Deleuze's (1925-95) philosophy of difference as an alternative to the dialectical philosophy determined by the Hegelian dialectic logic is demonstrated in this paper by differentiating Deleuze's interpretation of the problem of the infinitesimal in Difference and Repetition from that which G. W. F Hegel (1770-1831) presents in the Science of Logic . Each deploys the operation of integration as conceived at different stages in the development of the infinitesimal calculus in his (...) treatment of the problem of the infinitesimal. Against the role that Hegel assigns to integration as the inverse transformation of differentiation in the development of his dialectical logic, Deleuze strategically redeploys Leibniz's account of integration as a method of summation in the form of a series in the development of his philosophy of difference. By demonstrating the relation between the differential point of view of the Leibnizian infinitesimal calculus and the differential calculus of contemporary mathematics, I argue that Deleuze effectively bypasses the methods of the differential calculus which Hegel uses to support the development of the dialectical logic, and by doing so, sets up the critical perspective from which to construct an alternative logic of relations characteristic of a philosophy of difference. The mode of operation of this logic is then demonstrated by drawing upon the mathematical philosophy of Albert Lautman (1908-44), which plays a significant role in Deleuze's project of constructing a philosophy of difference. Indeed, the logic of relations that Deleuze constructs is dialectical in the Lautmanian sense. (shrink)

Leibnizian-Newtonian calculus was a theory that dealt with geometrical objects; the figure continued to play one of the fundamental roles it had played in Greek geometry: it susbstituted a part of reasoning. During the eighteenth century a process of de-geometrization of calculus took place, which consisted in the rejection of the use of diagrams and in considering calculus as an 'intellectual' system where deduction was merely linguistic and mediated. This was achieved by interpreting variables as universal quantities and introducing the (...) notion of function, which replaced the study of curves. However, the emancipation of calculus from its basis in geometry was not comprehensive. In fact, the geometrical properties of curves were attributed de facto to functions and thus eighteenth-century calculus continued implicitly to use principles borrowed from geometry. There was therefore no transition to a purely syntactical theory based on axiomatically introduced terms, a shift which only took place subsequently in modern times. (shrink)

It is well known that over the eighteenth century the calculus moved away from its geometric origins; Euler, and later Lagrange, aspired to transform it into a “purely analytical” discipline. In the 1780 s, the Portuguese mathematician José Anastácio da Cunha developed an original version of the calculus whose interpretation in view of that process presents challenges. Cunha was a strong admirer of Newton (who famously favoured geometry over algebra) and criticized Euler’s faith in analysis. However, the fundamental propositions of (...) his calculus follow the analytical trend. This appears to have been possible due to a nominalistic conception of variable that allowed him to deal with expressions as names, rather than abstract quantities. Still, Cunha tried to keep the definition of fluxion directly applicable to geometrical magnitudes. According to a friend of Cunha’s, his calculus had an algebraic (analytical) branch and a geometrical branch, and it was because of this that his definition of fluxion appeared too complex to some contemporaries. (shrink)

The aim of this paper is to analyze Dimitry Gawronsky’s doctrine of actual infinitesimals. I examine the peculiar connection that his critical idealism establishes between transcendental philosophy and mathematics. In particular, I reconstruct the relationship between Gawronsky’s differentials, Cantor’s transfinite numbers, Veronese’s trans-Archimedean numbers and Robinson’s hyperreal numbers. I argue that by means of his doctrine of actual infinitesimals, Gawronsky aims to provide an interpretation of calculus that eliminates any alleged given element in knowledge.

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 status of infinite divisibility in nature, rather than in mathematics. In line with this distinction, we offer a reading of the fictionality of infinitesimals. The letter has been claimed to support a reading of infinitesimals according to which they are logical fictions, (...) contradictory in their definition, and thus absolutely impossible. The advocates of such a reading have lumped infinitesimals with infinite wholes, which are rejected by Leibniz as contradicting the part–whole principle. Far from supporting this reading, the letter is arguably consistent with the view that infinitesimals, as inassignable quantities, are mentis fictiones, i.e., (well-founded) fictions usable in mathematics, but possibly contrary to the Leibnizian principle of the harmony of things and not necessarily idealizing anything in rerum natura. Unlike infinite wholes, infinitesimals—as well as imaginary roots and other well-founded fictions—may involve accidental (as opposed to absolute) impossibilities, in accordance with the Leibnizian theories of knowledge and modality. (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)

This paper is concerned with the status of mathematical fictions in Leibniz’s work and especially with infinitary quantities as fictions. Thus, it is maintained that mathematical fictions constitute a kind of symbolic notion that implies various degrees of impossibility. With this framework, different kinds of notions of possibility and impossibility are proposed, reviewing the usual interpretation of both modal concepts, which appeals to the consistency property. Thus, three concepts of the possibility/impossibility pair are distinguished; they give rise, in turn, to (...) three concepts of mathematical fictions. Moreover, such a distinction is the base for the claim that infinitesimal quantities, as mathematical fictions, do not imply an absolute impossibility, resulting from self-contradiction, but a relative impossibility, founded on irrepresentability and on the fact that it does not conform to architectural principles. In conclusion, this “soft” impossibility of infinitesimals yields them, in Leibniz view, a presumptive or “conjectural” status. (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)

Despite his commitment to freedom, Leibniz’ philosophy is also founded on pre-established harmony. Understanding the life of the individual as a spiritual automaton led Leibniz to refer to the puzzle of the way out of determinism as the Labyrinth of Freedom. Leibniz claimed that infinite complexity is the reason why it is impossible to prove a contingent truth. But by means of Leibniz’ calculus, it actually can be shown in a finite number of steps how to calculate a summation of (...) infinite parts. It appears that the analogy Leibniz drew between the mathematics of infinite series and the logic of contingent truths did more harm than good. A solution consistent with Leibniz’ perception of infinity is proposed. Alongside the existence of the aforementioned analogy, it is based on a disanalogy between the mathematics of infinite series and the logic of infinitely complex truths. This is a disanalogy that Leibniz had already used to solve the Labyrinth of Continuum which he declared more than once could, like the Labyrinth of Freedom, be solved by means of the nature of infinity. The solution of both labyrinths is based on the fictitiousness of the infinitesimal. (shrink)

Baruch Spinoza’s (1632–77)Tractatus theologico-politicus (1669 or 1670) caused outrage across the Dutch Republic, for it obliterated the carefully installed separation between philosophy and theology. The posthumous publication of Spinoza’s Ethica, which is contained in his Opera posthuma (1677), caused similar consternation. It was especially the mathematical order in which the Ethica was composed that caused fierce opposition, for its mathematical appearance gave the impression that Spinoza’s heretical teachings were established demonstratively. In this essay, I document how the Dutch physician, local (...) politician, and amateur mathematician and experimenter Bernard Nieuwentijt (1654–1718) attempted to physico-mathematically and methodologically counter the threats posed by Spinoza’s program. Nieuwentijt tried to defend the authority of the scriptures in times at which they came under attack by the new philosophy and by the emerging sciences that were gradually winning terrain. The crux of his defense consisted in delineating a modest epistemology, a “learned ignorance,” that would cure Spinoza’s followers of their pansophical aspirations, on the one hand, and remove the conflict between the Bible and reason, on the other. The specific way in which he sought to accomplish this distinguished him from Dutch Reformed thought, or so I will argue. (shrink)

Cauchy's sum theorem is a prototype of what is today a basic result on the convergence of a series of functions in undergraduate analysis. We seek to interpret Cauchy’s proof, and discuss the related epistemological questions involved in comparing distinct interpretive paradigms. Cauchy’s proof is often interpreted in the modern framework of a Weierstrassian paradigm. We analyze Cauchy’s proof closely and show that it finds closer proxies in a different modern framework.

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 success of the Weierstrassian foundations. We propose a view without passing through the lens, by means of proxies for such procedures in the modern theory of infinitesimals. The real accomplishments of calculus and analysis had been based primarily on the elaboration of novel techniques for (...) solving problems rather than a quest for ultimate foundations. It may be hopeless to interpret historical foundations in terms of a punctiform continuum, but arguably it is possible to interpret historical techniques and procedures in terms of modern ones. Our proposed formalisations do not mean that Fermat, Gregory, Leibniz, Euler, and Cauchy were pre-Robinsonians, but rather indicate that Robinson’s framework is more helpful in understanding their procedures than a Weierstrassian framework. (shrink)

We apply Benacerraf’s distinction between mathematical ontology and mathematical practice to examine contrasting interpretations of infinitesimal mathematics of the seventeenth and eighteenth century, in the work of Bos, Ferraro, Laugwitz, and others. We detect Weierstrass’s ghost behind some of the received historiography on Euler’s infinitesimal mathematics, as when Ferraro proposes to understand Euler in terms of a Weierstrassian notion of limit and Fraser declares classical analysis to be a “primary point of reference for understanding the eighteenth-century theories.” Meanwhile, scholars like (...) Bos and Laugwitz seek to explore Eulerian methodology, practice, and procedures in a way more faithful to Euler’s own. Euler’s use of infinite integers and the associated infinite products are analyzed in the context of his infinite product decomposition for the sine function. Euler’s principle of cancellation is compared to the Leibnizian transcendental law of homogeneity. The Leibnizian law of continuity similarly finds echoes in Euler. We argue that Ferraro’s assumption that Euler worked with a classical notion of quantity is symptomatic of a post-Weierstrassian placement of Euler in the Archimedean track for the development of analysis, as well as a blurring of the distinction between the dual tracks noted by Bos. Interpreting Euler in an Archimedean conceptual framework obscures important aspects of Euler’s work. Such a framework is profitably replaced by a syntactically more versatile modern infinitesimal framework that provides better proxies for his inferential moves. (shrink)

This paper offers an introduction to Hermann Cohen’s Das Princip der Infinitesimal-Methode, and recounts the history of its controversial reception by Cohen’s early sympathizers, who would become the so-called ‘Marburg school’ of Neo-Kantianism, as well as the reactions it provoked outside this group. By dissecting the ambiguous attitudes of the best-known representatives of the school, as well as those of several minor figures, this paper shows that Das Princip der Infinitesimal-Methode is a unicum in the history of philosophy: it represents (...) a strange case of an unsuccessful book’s enduring influence. The “puzzle of Cohen’s Infinitesimalmethode,” as we will call it, can be solved by looking beyond the scholarly results of the book, and instead focusing on the style of philosophy it exemplified. Moreover, the paper shows that Cohen never supported, but instead explicitly opposed, the doctrine of the centrality of the ‘concept of function’, with which Marburg Neo-Kantianism is usually associated. (shrink)

This paper offers an introduction to Hermann Cohen’s Das Princip der Infinitesimal-Methode, and recounts the history of its controversial reception by Cohen’s early sympathizers, who would become the so-called ‘Marburg school’ of Neo-Kantianism, as well as the reactions it provoked outside this group. By dissecting the ambiguous attitudes of the best-known representatives of the school, as well as those of several minor figures, this paper shows that Das Princip der Infinitesimal-Methode is a unicum in the history of philosophy: it represents (...) a strange case of an unsuccessful book’s enduring influence. The “puzzle of Cohen’s Infinitesimalmethode,” as we will call it, can be solved by looking beyond the scholarly results of the book, and instead focusing on the style of philosophy it exemplified. Moreover, the paper shows that Cohen never supported, but instead explicitly opposed, the doctrine of the centrality of the ‘concept of function’, with which Marburg Neo-Kantianism is usually associated. (shrink)

One of the most famous critiques of the Leibnitian calculus is contained in the essay “The Analyst” written by George Berkeley in 1734. His key argument is those on compensating errors. In this article, we reconstruct Berkeley's argument from a systematical point of view showing that the argument is neither circular nor trivial, as some modern historians think. In spite of this well-founded argument, the critique of Berkeley is with respect to the calculus not a fundamental one. Nevertheless, it highlights (...) central aspects of the calculus that are characteristic of modern scientific theories. (shrink)

Alexis Fontaine des Bertins was the first French mathematician to make use of the calculus of several variables in the integration of ordinary differential equations . In this paper I argue that this usage evolved from Fontaine's ‘fluxio-differential method’ of the early 1730s. In this way I extend the thesis enunciated in an earlier paper in this journal.

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)

Cauchy’s contribution to the foundations of analysis is often viewed through the lens of developments that occurred some decades later, namely the formalisation of analysis on the basis of the epsilon-delta doctrine in the context of an Archimedean continuum. What does one see if one refrains from viewing Cauchy as if he had read Weierstrass already? One sees, with Felix Klein, a parallel thread for the development of analysis, in the context of an infinitesimal-enriched continuum. One sees, with Emile Borel, (...) the seeds of the theory of rates of growth of functions as developed by Paul du Bois-Reymond. One sees, with E. G. Björling, an infinitesimal definition of the criterion of uniform convergence. Cauchy’s foundational stance is hereby reconsidered. (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)

In relation to a thesis put forward by Marx Wartofsky, we seek to show that a historiography of mathematics requires an analysis of the ontology of the part of mathematics under scrutiny. Following Ian Hacking, we point out that in the history of mathematics the amount of contingency is larger than is usually thought. As a case study, we analyze the historians’ approach to interpreting James Gregory’s expression ultimate terms in his paper attempting to prove the irrationality of \. Here (...) Gregory referred to the last or ultimate terms of a series. More broadly, we analyze the following questions: which modern framework is more appropriate for interpreting the procedures at work in texts from the early history of infinitesimal analysis? As well as the related question: what is a logical theory that is close to something early modern mathematicians could have used when studying infinite series and quadrature problems? We argue that what has been routinely viewed from the viewpoint of classical analysis as an example of an “unrigorous” practice, in fact finds close procedural proxies in modern infinitesimal theories. We analyze a mix of social and religious reasons that had led to the suppression of both the religious order of Gregory’s teacher degli Angeli, and Gregory’s books at Venice, in the late 1660s. (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)

Les contributions à la logique de MacColl et Charles Sanders Peirce (1839-1914) ont été les deux plus profondes influences sur le travail de Ernst Schröder (1841-1902) en logique algébrique. Dans son Vorlesungen über dieAlgebra der Logik, Schröder a cité MacColl comme l’un de ses précurseurs les plus importants. Schröder a comparé les travaux de Peirce avec les premières parties de la série d’articles intitulés « The calculus of equivalent statements » que MacColl publie entre 1877 et 1880. Schröder a attribué (...) la priorité à MacColl pour avoir anticipé les résultats de Peirce. Pour Schröder, MacColl était une phase préliminaire à l’algèbre de la logique de Peirce. (shrink)

Résumé Il est courant d’inscrire Leibniz dans une lignée qui, passant par Nicolas de Cues et Giordano Bruno, aurait marqué le triomphe de l’infini actuel dans la pensée moderne, qu’elle soit scientifique ou métaphysique. Pourtant Leibniz n’acceptait nullement un tel infini en mathématiques et s’en est expliqué à diverses reprises de manière particulièrement claire. Dans cet article, je voudrais rappeler cette position élaborée dès le début du séjour parisien (Accessio ad Arithmeticam infinitorum, fin 1672) et montrer son effectivité dans l’élaboration (...) du « fictionalisme » leibnizien en ce qui concerne les infiniment petits. Rappelant les différentes stratégies de comparaison entre les pensées de Leibniz et Nicolas de Cues, je voudrais indiquer la manière dont des textes récemment édités permettent aujourd’hui une meilleure appréciation de l’écart qui peut les séparer. (shrink)

The ubiquitous assertion that the early calculus of Newton and Leibniz was an inconsistent theory is examined. Two different objects of a possible inconsistency claim are distinguished: (i) the calculus as an algorithm; (ii) proposed explanations of the moves made within the algorithm. In the first case the calculus can be interpreted as a theory in something like the logician’s sense, whereas in the second case it acts more like a scientific theory. I find no inconsistency in the first case, (...) and an inconsistency in the second case which can only be imputed to a small minority of the relevant community. (shrink)