I am so in favor of the actual infinite that instead of admitting that Nature abhors it, as is commonly said, I hold that Nature makes frequent use of it everywhere, in order to show more effectively the perfections of its Author. Thus I believe that there is no part of matter which is not, I do not say divisible, but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different (...) creatures. (shrink)
Reminiscing about his early views on the continuum problem in a dialogue penned in 1689,2 Leibniz recalled the period in his youth when he had enthusiastically subscribed to the "New Philosophy", embracing the composition of the continuum out of points and the doctrine that “a slower motion is one interrupted by small intervals of rest.”3 Speaking of himself through the character Lubinianus, he continues: And I indulged other dogmas of this kind, to which people are prone when they are willing (...) to entertain every imagination, and do not notice the infinity lurking everywhere in things. But although when I became a geometer I relinquished these opinions, atoms and the vacuum held out for a long time, like certain relics in my mind rebelling against the idea of infinity; for even though I conceded that every continuum could be divided to infinity in thought, I still did not grasp that in reality there were parts in things exceeding every number, as a consequence of motion in a plenum. That “atoms and the vacuum held out for a long time” among Leibniz’s cherished views is readily confirmed by an examination of his manuscripts. One may find papers containing some measure of commitment to atomism intermittently throughout the period from 1666 to 1676; moreover, if his later memory is to be trusted, he first “gave himself over to” atomism as early as 1661.4 As for his reasons for rejecting atoms, Leibniz’s mature.. (shrink)
Before establishing his mature interpretation of infinitesimals as fictions, Gottfried Leibniz had advocated their existence as actually existing entities in the continuum. In this paper I trace the development of these early attempts, distinguishing three distinct phases in his interpretation of infinitesimals prior to his adopting a fictionalist interpretation: (i) (1669) the continuum consists of assignable points separated by unassignable gaps; (ii) (1670-71) the continuum is composed of an infinity of indivisible points, or parts smaller than any assignable, with no (...) gaps between them; (iii) (1672- 75) a continuous line is composed not of points but of infinitely many infinitesimal lines, each of which is divisible and proportional to a generating motion at an instant (conatus). In 1676, finally, Leibniz ceased to regard infinitesimals as actual, opting instead for an interpretation of them as fictitious entities which may be used as compendia loquendi to abbreviate mathematical reasonings. (shrink)
In Minkowski spacetime, because of the relativity of simultaneity to the inertial frame chosen, there is no unique world-at-an-instant. Thus the classical view that there is a unique set of events existing now in a three dimensional space cannot be sustained. The two solutions most often advanced are (i) that the four-dimensional structure of events and processes is alone real, and that becoming present is not an objective part of reality; and (ii) that present existence is not an absolute notion, (...) but is relative to inertial frame; the world-at-an-instant is a three dimensional, but relative, reality. According to a third view, advanced by Robb, Capek and Stein, (iii) what is present at a given spacetime point is, strictly speaking, constituted by that point alone. I argue here against the first of these views that the four-dimensional universe cannot be said to exist now, already, or indeed at any time at all; so that talk of its existence or reality as if that precludes the existence or reality of the present is a non sequitur. The second view assumes that in relativistic physics time lapse is measured by the time co-ordinate function; against this I maintain that it is in fact measured by the proper time, as I argue by reference to the Twin Paradox. The third view, although formally correct, is tarnished by its unrealistic assumption of point-events. This makes it susceptible to paradox, and also sets it at variance with our normal intuitions of the present. I argue that a defensible concept of the present is nonetheless obtainable when account is taken of the non-instantaneity of events, including that of conscious awareness, as (iv) that region of spacetime comprised between the forward lightcone of the beginning of a small interval of proper time t (e.g. that during which conscious experience is laid down) and the backward lightcone of the end of that interval. This gives a serviceable notion of what is present to a given event of short duration, as well as saving our intuition of the “reality” or robustness of present events.. (shrink)
In the transition to Einstein’s theory of Special Relativity (SR), certain concepts that had previously been thought to be univocal or absolute properties of systems turn out not to be. For instance, mass bifurcates into (i) the relativistically invariant proper mass m0, and (ii) the mass relative to an inertial frame in which it is moving at a speed v = βc, its relative mass m, whose quantity is a factor γ = (1 – β2) -1/2 times the proper mass, (...) m = γm0. (shrink)
In this paper I attempt to trace the development of Gottfried Leibniz’s early thought on the status of the actually infinitely small in relation to the continuum. I argue that before he arrived at his mature interpretation of infinitesimals as fictions, he had advocated their existence as actually existing entities in the continuum. From among his early attempts on the continuum problem I distinguish four distinct phases in his interpretation of infinitesimals: (i) (1669) the continuum consists of assignable points separated (...) by unassignable gaps; (ii) (1670-71) the continuum is composed of an infinity of indivisible points, or parts smaller than any assignable, with no gaps between them; (iii) (1672-75) a continuous line is composed not of points but of infinitely many infinitesimal lines, each of which is divisible and proportional to a generating motion at an instant (conatus); (iv) (1676 onward) infinitesimals are fictitious entities, which may be used as compendia loquendi to abbreviate mathematical reasonings; they are justifiable in terms of finite quantities taken as arbitrarily small, in such a way that the resulting error is smaller than any pre-assigned margin. Thus according to this analysis Leibniz arrived at his interpretation of infinitesimals as fictions already in 1676, and not in the 1700's in response to the controversy between Nieuwentijt and Varignon, as is often believed. (shrink)
In a recent note in this review (Leibniz e gli Zenonisti, n. 3, 2001, pp. 15-22) Paolo Rossi stresses the importance of a philosophical sect that he claims has been unjustly ignored in accounts of the history of modern philosophy, the Jesuit philosophers of Louvain and Spain of the late sixteenth and early seventeenth century known as the Zenonists. The occasion for his complaint is Massimo Mugnai’s admirable new introduction to Leibniz’s thought (Introduzione alla filosofia di Leibniz, Torino, Einaudi, 2001), (...) which in all other respects than its failure to mention the Zenonists, Rossi compliments and commends: justly, for in my opinion it is the best introduction to Leibniz yet written. (shrink)
Newton and Leibniz had profound disagreements concerning metaphysics and the relationship of mathematics to natural philosophy, as well as deeply opposed attitudes towards analysis. Nevertheless, or so I shall argue, despite these deeply held and distracting differences in their background assumptions and metaphysical views, there was a considerable consilience in their positions on the status of infinitesimals. In this paper I compare the foundation Newton provides in his Method Of First and Ultimate Ratios (sketched at some time between 1671 and (...) 1684, and published in the Principia of 1687) with that provided independently by Leibniz in his unpublished manuscript De quadratura arithmetica (1675-6) as well as in later writings. I argue that both appeal to a version of the Archimedean Axiom to underwrite their use of infinitesimal techniques, which must be interpreted as a shorthand for rigorously finitist methods. (shrink)
In this paper we argue for the robustness of Leibniz's commitment to the reality (but not substantiality) of body. We claim that a number of his most important metaphysical doctrines — among them, psychophysical parallelism, the harmony between efficient and final causes, the connection of all things, and the argument for the plurality of substances stemming from his solution to the continuum problem— make no sense if he is interpreted as giving an eliminative reduction of bodies to perceptions.
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)
This paper consists in an exposition of a proof Newton gave in 1666 of the parallelogram law for compounding velocities, and an examination of its implications for understanding his treatment of motion resulting from a continuously acting force in the Principia. I argue that the “moments” invoked in the fluxional proof of the vector resolution and composition of velocities are “virtual times”, a device allowing Newton to represent motions by the linear displacements produced in such a time; the ratio of (...) velocities at an instant can then be represented by assuming the velocities continue for such a virtual time. By the Method of First and Ultimate Ratios, the first ratio of the velocities is then given by the ratio of such lines, under the presupposition that in the limit they will shrink to zero magnitude. I then argue that the same device is implicit in Newton’s appeal to “moments” or “particles of time” in his proof of Kepler’s Area Law in the “Locke Paper” and in Proposition 1 of Book 1 of the Principia, and that the limiting process involved there is therefore the same as that implicit in the Method of First and Ultimate Ratios. (shrink)
During the last hundred years the notion of time flow has been held in low esteem by philosophers of science. Since the metaphor depends heavily on the analogy with motion, criticisms of time flow have either attacked the analogy as poorly founded, or else argued by analogy from a “static” conception of motion. Thus (1) Bertrand Russell argued that just as motion can be conceived as existence at successive places at successive times without commitment to a state of motion at (...) an instant, so duration can be conceived as existence at each of the times at which a thing exists without any commitment to a becoming or flow from one instant to another. I call this the “at-at” objection to time flow. A second objection (2) is that the sufficiency of the “B-theoretic” conception of time for physics makes the concept of time flow otiose. On this rendering the existence of a thing through time is just the “tenseless existence” of the thing at each instant of the duration (or at each spacetime point), without any flow from one instant or point to another. A third objection (3) is that in relativity theory, owing to the relativity of simultaneity, there is no unique invariant ‘now’, or hyperplane of simultaneously occurring events. If time flow is conceived in terms of the flow of such a ‘now’, then the non-existence of a worldwide instant of occurrence appears to be refuted. Lastly, (4) a capstone to these criticisms is the objection famously raised by Jack Smart: if rate of flow of any quantity can only be reckoned with respect to time, then with respect to what does time flow? If it does not even make sense to ask how fast time flows, then surely the metaphor should be abandoned as confused. (shrink)
As is well known, one of Leibniz’s seminal insights in his work on series concerned sums of differences. If from a given series A one forms a difference series B whose terms are the differences of the successive terms of A, the sum of the terms in the B series is simply the difference between the last and first terms of the original series: “the sum of the differences is the difference between the first term and the last” (A vii.3, (...) p. 95). This insight, so far as I now, has never been named; I shall call it the Difference Principle. Suitably generalized, it becomes the basis for the fundamental theorem of the calculus: the sum (integral) of the differentials equals the difference of the sums (the definite integral evaluated between last and first terms), ∫ Bdx = [A]fi. As is well known, the Difference Principle has its origin in the problem set him by Huygens in September 1672 to find the sum of the reciprocal triangular numbers. This date is, incidentally, confirmed by Leibniz himself in Summa fractionum a figuratis, per aequationes (A vii.3, p. 365 ), as well as by the first piece in A vii.3, De summa numerorum triangulorum recipricorum (p. 3), although in his Origo inventionis trianguli harmonici of the Winter of 1675-76 he misremembers it as “Anno 1673” (p. 712). Leibniz explains the algorithm in a letter to Meissner 21 years later: “If one wants to add, for example, the first five.. (shrink)
In this paper I try to sort out a tangle of issues regarding time, inertia, proper time and the so-called “clock hypothesis” raised by Harvey Brown's discussion of them in his recent book, Physical Relativity. I attempt to clarify the connection between time and inertia, as well as the deficiencies in Newton's “derivation” of Corollary 5, by giving a group theoretic treatment original with J.-P. Provost. This shows how both the Galilei and Lorentz transformations may be derived from the relativity (...) principle on the basis of certain elementary assumptions regarding time. I then reflect on the implications of this derivation for understanding proper time and the clock hypothesis. (shrink)
In this paper I offer a fresh interpretation of Leibniz’s theory of space, in which I explain the connection of his relational theory to both his mathematical theory of analysis situs and his theory of substance. I argue that the elements of his mature theory are not bare bodies (as on a standard relationalist view) nor bare points (as on an absolutist view), but situations . Regarded as an accident of an individual body, a situation is the complex of its (...) angles and distances to other co-existing bodies, founded in the representation or state of the substance or substances contained in the body. The complex of all such mutually compatible situations of co-existing bodies constitutes an order of situations , or instantaneous space. Because these relations of situation change from one instant to another, space is an accidental whole that is continuously changing and becoming something different, and therefore a phenomenon. As Leibniz explains to Clarke, it can be represented mathematically by supposing some set of existents hypothetically (and counterfactually) to remain in a fixed mutual relation of situation, and gauging all subsequent situations in terms of transformations with respect to this initial set. Space conceived in terms of such allowable transformations is the subject of Analysis Situs. Finally, insofar as space is conceived in abstraction from any bodies that might individuate the situations, it encompasses all possible relations of situation. This abstract space , the order of all possible situations , is an abstract entity, and therefore ideal. (shrink)
: In this reassessment of Descartes' debt to his mentor Isaac Beeckman, I argue that they share the same basic conception of motion: the force of a body's motion—understood as the force of persisting in that motion, shorn of any connotations of internal cause—is conserved through God's direct action, is proportional to the speed and magnitude of the body, and is gained or lost only through collisions. I contend that this constitutes a fully coherent ontology of motion, original with Beeckman (...) and consistent with his atomism, which, notwithstanding Descartes' own profoundly original contributions to the theory of motion, is basic to all Descartes' further work in natural philosophy. (shrink)
Gottfried Leibniz is well known for his claim to have “rehabilitated” the substantial forms of scholastic philosophy, forging a reconciliation of the New Philosophy of Descartes, Mersenne and Gassendi with Aristotelian metaphysics (in his so-called Discourse on Metaphysics, 1686). Much less celebrated is the fact that fifty years earlier (in his Hypomnemata Physica, 1636) the Bratislavan physician and natural philosopher Daniel Sennert had already argued for the indispensability to atomism of (suitably re-interpreted) Aristotelian forms, in explicit opposition to the rejection (...) of substantial forms by his fellow atomist Sébastien Basson.1.. (shrink)
Against Norton's claim that all thought experiments can be reduced to explicit arguments, I defend Brown's position that certain thought experiments yield a priori knowledge. They do this, I argue, not by allowing us to perceive “Platonic universals” (Brown), even though they may contain non-propositional components that are epistemically indispensable, but by helping to identify certain tacit presuppositions or “natural interpretations” (Feyerabend's term) that lead to a contradiction when the phenomenon is described in terms of them, and by suggesting a (...) new natural interpretation in terms of which the phenomenon can be redescribed free of contradiction. (shrink)
In this paper I challenge the usual interpretations of Newton's and Leibniz's views on the nature of space and the relativity of motion. Newton's ‘relative space’ is not a reference frame; and Leibniz did not regard space as defined with respect to actual enduring bodies. Newton did not subscribe to the relativity of intertial motions; whereas Leibniz believed no body to be at rest, and Newton's absolute motion to be a useful fiction. A more accurate rendering of the opposition between (...) them, I argue, leads to a wholly different understanding of Leibniz's theory of space, one which is not susceptible to the objections Newton had raised against Descartes regarding the representation of motion. This in turn suggests a new approach for contemporary theory of space, one which neither hypostatizes space nor tries to reduce it to relations among actual things. * This work was generously supported by the National Endowment for the Humanities, with a Fellowship for College Teachers and Independent Scholars (FB-26897-89), and also by a sabbatical leave from my institution, Middlebury College. Iam very grateful to various members of faculty of York University for their appreciative reception of an earlier one-week-old version of this paper. ‘Relative Space in Newton and Leibniz’, read to the Department of Philosophy there in January 1990, and to Robert Rynasiewicz for criticisms of an extract read at the 1991 History of Science meeting. (shrink)
In this paper I attempt to throw new light on Leibniz's apparently conflicting remarks concerning the continuity of matter. He says that matter is "discrete" yet "actually divided to infinity" and (thus dense), and moreover that it fills (continuous) space. I defend Leibniz from the charge of inconsistency by examining the historical development of his views on continuity in their physical and mathematical context, and also by pointing up the striking similarities of his construal of continuity to the approach taken (...) by 20th century Combinatorial Topology. (shrink)
