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)

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)

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)

I consider Leibniz's thoughts about Hobbes's materialism, focusing on his less-discussed later thoughts about the topic. Leibniz understood Hobbes to have argued for his materialism from his imagistic theory of ideas. Leibniz offered several criticisms of this argument and the resulting materialism itself. Several of these criticisms occur in texts in which Leibniz was engaging with the generation of British philosophers after Hobbes. Of particular interest is Leibniz's correspondence with Damaris Masham. Leibniz may have been trying to communicate with Locke, (...) but ended up discussing Masham's version of the argument for materialism that Leibniz attributed to Hobbes. (shrink)

Thomas Hobbes (1588-1679), whose current reputation rests largely on his political philosophy, was a thinker with wide ranging interests. In philosophy, he defended a range of materialist, nominalist, and empiricist views against Cartesian and Aristotelian alternatives. In physics, his work was influential on Leibniz, and lead him into disputes with Boyle and the experimentalists of the early Royal Society. In history, he translated Thucydides's History of the Peloponnesian War into English, and later wrote his own history of the Long Parliament. (...) In mathematics he was less successful, and is best remembered for his repeated unsuccessful attempts to square the circle. But despite that, Hobbes was a serious and prominent participant in the intellectual life of his time. (shrink)

In 1675, Burchard de Volder (1643–1709) was the first professor to introduce the demonstration of experiment into a university physics course and built the Leiden Physics Theatre to accommodate this new pedagogy. When he requested the funds from the university to build the facility, he claimed that the performance of experiments would demonstrate the “truth and certainty” of the postulates of theoretical physics. Such a claim is interesting given de Volder’s lifelong commitment to Cartesian scientia. This chapter will examine de (...) Volder’s views on experiment and show that they are not Newtonian or inductivist, as is sometimes claimed. While de Volder thinks we need deductive reasoning from first principles to provide evidence of the certainty of the content of our physical theories, he also contends that we need experiment to provide evidence of the certainty of the existence of the particular bodies those theories discuss. This approach to experiment is based on a distinction between rational certainty and the certainty of material bodies in the actual world. While this account is deeply influenced by Descartes, it is importantly different than Descartes’ distinction between absolute and moral certainty. De Volder’s “Cartesian Empiricism” is best understood as a continuation and further development of a long tradition of teaching through observation at Leiden. (shrink)