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)

It is commonly held that there is no place for the 'now’ in physics, and also that the passing of time is something subjective, having to do with the way reality is experienced but not with the way reality is. Indeed, the majority of modern theoretical physicists and philosophers of physics contend that the passing of time is incompatible with modern physical theory, and excluded in a fundamental description of physical reality. This book provides a forceful rebuttal of such claims. (...) In successive chapters the author explains the historical precedents of the modern opposition to time flow, giving careful expositions of matters relevant to becoming in classical physics, the special and general theories of relativity, and quantum theory, without presupposing prior expertise in these subjects. Analysing the arguments of thinkers ranging from Aristotle, Russell, and Bergson to the proponents of quantum gravity, he contends that the passage of time, understood as a local becoming of events out of those in their past at varying rates, is not only compatible with the theories of modern physics, but implicit in them. (shrink)

This volume has 41 chapters written to honor the 100th birthday of Mario Bunge. It celebrates the work of this influential Argentine/Canadian physicist and philosopher. Contributions show the value of Bunge’s science-informed philosophy and his systematic approach to philosophical problems. The chapters explore the exceptionally wide spectrum of Bunge’s contributions to: metaphysics, methodology and philosophy of science, philosophy of mathematics, philosophy of physics, philosophy of psychology, philosophy of social science, philosophy of biology, philosophy of technology, moral philosophy, social and political (...) philosophy, medical philosophy, and education. The contributors include scholars from 16 countries. Bunge combines ontological realism with epistemological fallibilism. He believes that science provides the best and most warranted knowledge of the natural and social world, and that such knowledge is the only sound basis for moral decision making and social and political reform. Bunge argues for the unity of knowledge. In his eyes, science and philosophy constitute a fruitful and necessary partnership. Readers will discover the wisdom of this approach and will gain insight into the utility of cross-disciplinary scholarship. This anthology will appeal to researchers, students, and teachers in philosophy of science, social science, and liberal education programmes. 1. Introduction Section I. An Academic Vocation Section II. Philosophy Section III. Physics and Philosophy of Physics Section IV. Cognitive Science and Philosophy of Mind Section V. Sociology and Social Theory Section VI. Ethics and Political Philosophy Section VII. Biology and Philosophy of Biology Section VIII. Mathematics Section IX. Education Section X. Varia Section XI. Bibliography. (shrink)

This is the first volume compiling English translations of Leibniz's journal articles on natural philosophy, presenting a selection of 26 articles, only three of which have appeared before in English translation. It also includes in full Leibniz's public controversies with De Catelan, Papin, and Hartsoeker. The articles include work in optics, on the fracture strength of materials, and on motion in a resisting medium, and Leibniz's pioneering applications of his calculus to these issues by construing them as mini-max and inverse (...) tangent problems. Other topics covered by the articles include: criticisms of the Cartesian estimate of motive force and Leibniz's proposal of a different way of estimating force to replace it; a proposed theory of celestial motions and gravitation, and derivation of the inverse square law; challenge problems concerning the isochronous curve and the catenary; a sample of work on gaming theory; and Leibniz's critique of atomism. (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 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)

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 (one in French, the rest in Latin) 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, 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)

It is well known that Leibniz advocated the actual infinite, but that he did not admit infinite collections or infinite numbers. But his assimilation of this account to the scholastic notion of the syncategorematic infinite has given rise to controversy. A common interpretation is that in mathematics Leibniz’s syncategorematic infinite is identical with the Aristotelian potential infinite, so that it applies only to ideal entities, and is therefore distinct from the actual infinite that applies to the actual world. Against this, (...) I argue in this paper that Leibniz’s actual infinite, understood syncategorematically, applies to any entities that are actually infinite in multitude, whether numbers, actual parts of matter, or monads. It signifies that there are more of them than can be assigned a number, but that there is no infinite number or collection of them, which notion involves a contradiction. Similarly, to say that a magnitude is actually infinitely small in the syncategorematic sense is to say that no matter how small a magnitude one takes, there is a smaller, but there are no actual infinitesimals. In geometry one may calculate with expressions apparently denoting such entities, on the understanding that they are fictions, standing for variable magnitudes that can be made arbitrarily small, so as to produce demonstrations that there is no error in the resulting expressions. (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 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)

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 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)

This volume contains essays that examine infinity in early modern philosophy. The essays not only consider the ways that key figures viewed the concept. They also detail how these different beliefs about infinity influenced major philosophical systems throughout the era. These domains include mathematics, metaphysics, epistemology, ethics, science, and theology. Coverage begins with an introduction that outlines the overall importance of infinity to early modern philosophy. It then moves from a general background of infinity up through Kant. Readers will learn (...) about the place of infinity in the writings of key early modern thinkers. The contributors profile the work of Descartes, Spinoza, Leibniz, and Kant. Debates over infinity significantly influenced philosophical discussion regarding the human condition and the extent and limits of human knowledge. Questions about the infinity of space, for instance, helped lead to the introduction of a heliocentric solar system as well as the discovery of calculus. This volume offers readers an insightful look into all this and more. It provides a broad perspective that will help advance the present state of knowledge on this important but often overlooked topic. (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 presents fresh interpretations of Gottfried Leibniz's theories of time, space, and the relativity of motion, based on a thorough examination of Leibniz's manuscripts as well as his published papers. These are analysed in historical context, but also with an eye to their contemporary relevance.

In this new work, Richard T. W. Arthur offers a fresh interpretation of Leibniz's theory of substance. He goes against a long trend of idealistic interpretations of Leibniz's thought by instead taking seriously Leibniz's claim of introducing monads to solve the problem of the composition of matter and motion.

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)

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)

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)

Russell’s most important source for his book on Leibniz was C. I. Gerhardt’s seven-volume Die philosophischen Schriften von Gottfried Wilhelm Leibniz. Russell heavily annotated his copy of this important edition of Leibniz’s works. The present paper records all Russell’s marginalia, with the exception of passages marked merely by vertical lines in the margin, and provides explanatory commentary.

In preparation for his lectures on Leibniz delivered in Cambridge in Lent Term 1899, Russell started in the summer of 1898 to keep notes on writings by and about Leibniz in a large notebook of the type he commonly used for notetaking at this time. This article prints, with annotation, all the material on Leibniz in that notebook.

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.

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)

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)

Following the lead of Hans Reichenbach in the early twentieth century, many authors have attributed a causal theory of time to Leibniz. My exposition of Leibniz’s theory of time in a paper of 1985 has been interpreted as a version of such a causal theory, even though I was critical of the idea that Leibniz would have tried to reduce relations among monadic states to causal relations holding only among phenomena. Since that time previously unpublished texts by Leibniz have become (...) available in which he himself explains temporal precedence in terms of causal precedence, and these texts have been given careful scrutiny by other scholars, such as Jan Cover, Stefano Di Bella and Michael Futch. In this paper I respond to their analyses, and try to make precise the way in which Leibniz’s views on time and on causality fit together in his metaphysics. (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 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 these remarks on Ohad Nachtomy’s account of Leibniz’s philosophy of the infinite in his recent book, Living Mirrors, I focus on his suggestion that living creatures be interpreted as exemplifying the second of the three degrees of infinity that Leibniz articulates in 1676, as things which are infinite in their own kind. For the infinity characterizing created substances cannot be the highest degree, which is reserved by Leibniz for the divine substance, while Nachtomy sees the lowest degree as applicable (...) only to “entia rationis such as numbers and relations”. Against this, I argue that the lowest or syncategorematic infinite applies to any multiplicity or magnitude that is greater than any assignable, so that something further can always be added; whereas the second degree applies to the divine attributes or perfections, which are maximal in that nothing further of that kind can be added. (shrink)

The aim of this paper is to explain the significance of Alfred A. Robb’s philosophy of time stemming from his interpretation of relativity theory; and at the same time, to investigate the reasons for the failure of his philosophical contemporaries to appreciate its significance, with special attention to its reception on Russell’s part. The study of Russell’s reaction to Robb exposes shortcomings in Russell’s own philosophy of time, which has been extremely influential through the years. It also highlights the philosophical (...) differences between Minkowski and Robb, the shared idealistic premises of Russell and McTaggart, and the confluences between the views of Russell, Eddington and McTaggart. The paper closes with an account of how Robb’s interpretation has been vindicated by its adoption in modern physics. (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)

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)