Few philosophers have left a legacy like that of Gottfried Wilhelm Leibniz. He has been credited not only with inventing the differential calculus, but also with anticipating the basic ideas of modern logic, information science, and fractal geometry. He made important contributions to such diverse fields as jurisprudence, geology and etymology, while sketching designs for calculating machines, wind pumps, and submarines. But the common presentation of his philosophy as a kind of unworldly idealism is at odds with all this bustling (...) practical activity. In this book Richard. T. W. Arthur offers a fresh reading of Leibniz’s philosophy, clearly situating it in its scientific, political and theological contexts. He argues that Leibniz aimed to provide an improved foundation for the mechanical philosophy based on a new kind of universal language. His contributions to natural philosophy are an integral part of this programme, which his metaphysics, dynamics and organic philosophy were designed to support. Rather than denying that substances really exist in space and time, as the idealist reading proposes, Leibniz sought to provide a deeper understanding of substance and body, and a correct understanding of space as an order of situations and time as an order of successive things. This lively and approachable book will appeal to students of philosophy, as well as anyone seeking a stimulating introduction to Leibniz's thought and its continuing relevance. (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)

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 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 that the four-dimensional structure of events and processes is alone real, and that becoming present is not an objective part of reality; and 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, 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 that region of spacetime comprised between the forward lightcone of the beginning of a small interval of proper time t 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 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)

This paper consists in a study of Leibniz’s argument for the infinite plurality of substances, versions of which recur throughout his mature corpus. It goes roughly as follows: since every body is actually divided into further bodies, it is therefore not a unity but an infinite aggregate; the reality of an aggregate, however, reduces to the reality of the unities it presupposes; the reality of body, therefore, entails an actual infinity of constituent unities everywhere in it. I argue that this (...) depends on a generalized notion of aggregation, according to which a thing may be an aggregate of its constituents if every one of its actual parts presupposes such constituents, but is not composed from them. One of the premises of this argument is the reality of bodies. If this premise is denied, Leibniz’s argument for the infinitude of substances, and even of their plurality, cannot go through. (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 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)

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)

Reductio arguments are notoriously inconclusive, a fact which no doubt contributes to their great fecundity. For once a contradiction has been proved, it is open to interpretation which premise should be given up. Indeed, it is often a matter of great creativity to identify what can be consistently given up. A case in point is a traditional paradox of the infinite provided by Galileo Galilei in his Two New Sciences, which has since come to be known as Galileo’s Paradox. It (...) concerns the set of all numbers, N: since to every number there is a corresponding square, there are as many squares as numbers. But since there are non-squares between the squares, “all numbers, comprising the squares and the non-squares, are greater than the squares alone”, i.e. there must be fewer numbers in the set of all squares S than in N. Thus N is both equal to and greater than S. This is a contradiction, so one of the premises must be given up: the question is, which one? (shrink)

In last year’s Review Gregory Brown took issue with Laurence Carlin’s interpretation of Leibniz’s argument as to why there could be no world soul. Carlin’s contention, in Brown’s words, is that Leibniz denies a soul to the world but not to bodies on the grounds that “while both the world and [an] aggregate of limited spatial extent are infinite in multitude, the former, but not the latter, is infinite in respect of magnitude and hence cannot be considered a whole”. Brown (...) casts doubt on this interpretation—or rather, he begins by questioning its adequacy as an interpretation of a central passage, only to concede its essential correctness as an interpretation of Leibniz’s position, and to turn his attack on the latter itself. In this note I shall argue that Brown underestimates the subtlety of Leibniz’s views on the infinite, and that Carlin is basically correct in his suggestion that the infinite magnitude of the world is what precludes it from having even the phenomenal unity that a body does. (shrink)

This book gathers together for the first time an important body of texts written between 1672 and 1686 by the great German philosopher and polymath Gottfried Leibniz. These writings, most of them previously untranslated, represent Leibniz’s sustained attempt on a problem whose solution was crucial to the development of his thought, that of the composition of the continuum. The volume begins with excerpts from Leibniz’s Paris writings, in which he tackles such problems as whether the infinite division of matter entails (...) “perfect points,” whether matter and space can be regarded as true wholes, whether motion is truly continuous, and the nature of body and substance. Comprising the second section is _Pacidius Philalethi_,_ _Leibniz’s brilliant dialogue of late 1676 on the problem of the continuity of motion. In the selections of the final section, from his Hanover writings of 1677–1686, Leibniz abandons his earlier transcreationism and atomism in favor of the theory of corporeal substance, where the reality of body and motion is founded in substantial form or force. Leibniz’s texts are presented with facing-page English translations, together with an introduction, notes, appendixes containing related excerpts from earlier works by Leibniz and his predecessors, and a valuable glossary detailing important terms and their translations. (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 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)

Reductio arguments are notoriously inconclusive, a fact which no doubt contributes to their great fecundity. For once a contradiction has been proved, it is open to interpretation which premise should be given up. Indeed, it is often a matter of great creativity to identify what can be consistently given up. A case in point is a traditional paradox of the infinite provided by Galileo Galilei in his Two New Sciences, which has since come to be known as Galileo’s Paradox. It (...) concerns the set of all numbers, N: since to every number there is a corresponding square, there are as many squares as numbers. But since there are non-squares between the squares, “all numbers, comprising the squares and the non-squares, are greater than the squares alone”, i.e. there must be fewer numbers in the set of all squares S than in N. Thus N is both equal to and greater than S. This is a contradiction, so one of the premises must be given up: the question is, which one? (shrink)

Richard Arthur’s _Natural Deduction_ provides a wide-ranging introduction to logic. In lively and readable prose, Arthur presents a new approach to the study of logic, one that seeks to integrate methods of argument analysis developed in modern “informal logic” with natural deduction techniques. The dry bones of logic are given flesh by unusual attention to the history of the subject, from Pythagoras, the Stoics, and Indian Buddhist logic, through Lewis Carroll, Venn, and Boole, to Russell, Frege, and Monty Python.

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)

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)

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)

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)

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 lively and readable prose, Arthur presents a new approach to the study of logic, one that seeks to integrate methods of argument analysis developed in modern “informal logic” with natural deduction techniques. The dry bones of logic are given flesh by unusual attention to the history of the subject, from Pythagoras, the Stoics, and Indian Buddhist logic, through Lewis Carroll, Venn, and Boole, to Russell, Frege, and Monty Python. A previous edition of this book appeared under the title _Natural (...) Deduction_. This new edition adds clarifications of the notions of explanation, validity and formal validity, a more detailed discussion of derivation strategies, and another rule of inference, Reiteration. (shrink)

Descartes' allusions, in the Meditations and the Principles, to the individual moments of duration, has for some years stirred controversy over whether this commits him to a kind of time atomism. The origins of Descartes' way of treating moments as least intervals of duration can be traced back to his early collaboration with Isaac Beeckman. Where Beeckman (in 1618) conceived of moments as (mathematically divisible) physical indivisibles, corresponding to the durations of uniform motions between successive impacts on a body by (...) microscopic particles, Descartes was able to give a mathematical treatment of the problem of fall in which moments were rendered mathematical minima of motion that were necessarily devoid of extension. This achievement, coupled with his innovation of conceiving force as instantaneous tendency to motion, subsequently led him to disdain Beeckman's discretist physics with its extended indivisible moments. Nevertheless, he was not able to eradicate a fundamental tension in his philosophy between force as a quantity of motion, and force as an instantaneous tendency to motion. For by his principles, action, motion, quantity of motion, and indeed existence, all require some minimal interval of duration. This explains his need to refer to moments as least conceivable parts of duration, and this is what has given rise to the impression that he supposed duration to be composed of such parts, contrary to his commitment to continuous creation. (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)

HellmanGeoffrey* * and ShapiroStewart.** ** Varieties of Continua—From Regions to Points and Back. Oxford University Press, 2018. ISBN: 978-0-19-871274-9. Pp. x + 208.

Despite his fame as a philosopher, Leibniz was a diplomat by profession, and seldom managed to engage in sustained philosophical activity for any length of time. One exception to this, though, is the period towards the end of his stay in Paris and a little afterwards, when he launched a concerted attack on most of the profoundest problems in metaphysics, tackling them with a penetration and persistence that is remarkable by any standards. The resulting series of “meditations”, to use his (...) own descriptive term, penned between December of 1675 and his arrival at the court in Hanover in December of 1676, has been available for the greater part of this century only to a handful of Leibniz scholars. An edition was published in Kazan in 1913 by Ivan Jagodinsky, and it is from this source that Loemker drew to give a tantalizingly brief selection of the ‘Paris Notes’ in his well known volume of English translations. But Jagodinsky’s edition is as unreliable as it is rare, and it was not until recently that Leibniz scholars were presented with an authoritative and wholly reliable Latin edition by the German Academy of Science at Berlin, volume 3 of Series VI of Gottfried Wilhelm Leibniz: Sämtliche Schriften und Briefe. In this volume most of the notes on metaphysics are collected together in Section F under the title De Summa Rerum, where they consitute articles 57 through 87. This fine edition, however, is of limited use for those having no Latin or German, and even for those who do, it is scarcely either convenient or affordable. (shrink)

One of the most puzzling features of Leibniz’s deep metaphysics is the apparent contradiction between his claims that the law of continuity holds everywhere, so that in particular, change is continuous in every monad, and that “changes are not really continuous,” since successive states contradict one another. In this paper I try to show in what sense these claims can be understood as compatible. My analysis depends crucially on Leibniz’s idea that enduring states are “vague,” and abstract away from further (...) changes occurring within them at a higher resolution—consistently with his famous doctrine of "petites perceptions." As Leibniz explains further in a recently transcribed unpublished manuscript, these changes are dense within any actual duration, which is conceived as actually divided by them into states that are syncategorematically infinite in number and unassignably small. The correspondence between these unassignably small intervals between changes and the differentials of his calculus allows processes to be conceived as continuous, despite the discontinuity of the changes that occur in actuality. (shrink)