© The Author [2017]. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: [email protected] author makes clear that he does not see this book as a contribution to the philosophy of mathematics as traditionally understood. He takes it instead to be an essay about the philosophy of mathematics, one whose purpose is to explain its existence and to make clear the limited extent to which its current and past forms are properly regarded as philosophies of mathematics per (...) se.A little more exactly, the aim is to explain the seemingly ‘perennial’ interest1 western philosophers have had in mathematics 2 and how this became significant enough to give rise to and sustain an identified sub-discipline of philosophy....Hacking identifies two principal reasons for this, both of which he sees as having originated in what might broadly be termed our experience of mathematics. The first of... (shrink)

This is the first elementary book to employ the concept of infinitesimals.

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

The widespread idea that infinitesimals were “eliminated” by the “great triumvirate” of Cantor, Dedekind, and Weierstrass is refuted by an uninterrupted chain of work on infinitesimal-enriched number systems. The elimination claim is an oversimplification created by triumvirate followers, who tend to view the history of analysis as a pre-ordained march toward the radiant future of Weierstrassian epsilontics. In the present text, we document distortions of the history of analysis stemming from the triumvirate ideology of ontological minimalism, which identified the continuum (...) with a single number system. Such anachronistic distortions characterize the received interpretation of Stevin, Leibniz, d’Alembert, Cauchy, and others. (shrink)

A scientific community cannot practice its trade without some set of received beliefs. These beliefs form the foundation of the "educational initiation that prepares and licenses the student for professional practice". The nature of the "rigorous and rigid" preparation helps ensure that the received beliefs are firmly fixed in the student's mind. Scientists take great pains to defend the assumption that scientists know what the world is like...To this end, "normal science" will often suppress novelties which undermine its foundations. Research (...) is therefore not about discovering the unknown, but rather "a strenuous and devoted attempt to force nature into the conceptual boxes supplied by professional education". (shrink)

The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of the period. Starting with (...) the Renaissance debates on the certainty of mathematics, Mancosu leads the reader through the foundational issues raised by the emergence of these new mathematical techniques, including the influence of the Aristotelian conception of science in Cavalieri and Guldin, the foundational relevance of Descartes' Geometrie, the relation between geometrical and epistemological theories of the infinite, and the Leibnizian calculus and the opposition to infinitesimalist procedures. In the process Mancosu draws a sophisticated picture of the subtle dependencies between technical development and philosophical reflection in seventeenth century mathematics. (shrink)

Thomas S. Kuhn's classic book is now available with a new index.

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

This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes mathematics mathematics?', 'where did proof come from and how did it evolve?', and 'how did the distinction between pure and applied mathematics come into being?' In a wide-ranging discussion that is both immersed in the past and unusually attuned to the competing philosophical ideas of contemporary mathematicians, it shows that (...) proof and other forms of mathematical exploration continue to be living, evolving practices - responsive to new technologies, yet embedded in permanent facts about human beings. It distinguishes several distinct types of application of mathematics, and shows how each leads to a different philosophical conundrum. Here is a remarkable body of new philosophical thinking about proofs, applications, and other mathematical activities. (shrink)

Foundations of Science recently published a rebuttal to a portion of our essay it published 2 years ago. The author, G. Schubring, argues that our 2013 text treated unfairly his 2005 book, Conflicts between generalization, rigor, and intuition. He further argues that our attempt to show that Cauchy is part of a long infinitesimalist tradition confuses text with context and thereby misunderstands the significance of Cauchy’s use of infinitesimals. Here we defend our original analysis of various misconceptions and misinterpretations concerning (...) the history of infinitesimals and, in particular, the role of infinitesimals in Cauchy’s mathematics. We show that Schubring misinterprets Proclus, Leibniz, and Klein on non-Archimedean issues, ignores the Jesuit context of Moigno’s flawed critique of infinitesimals, and misrepresents, to the point of caricature, the pioneering Cauchy scholarship of D. Laugwitz. (shrink)

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

Kurt Godel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Less well-known is his discovery of unusual cosmological models for Einstein's (...) equations, permitting "time-travel" into the past. This second volume of a comprehensive edition of Godel's works collects together all his publications from 1938 to 1974. Together with Volume I (Publications 1929-1936), it makes available for the first time in a single source all of his previously published work. Continuing the format established in the earlier volume, the present text includes introductory notes that provide extensive explanatory and historical commentary on each of the papers, a facing English translation of the one German original, and a complete bibliography. Succeeding volumes are to contain unpublished manuscripts, lectures, correspondence, and extracts from the notebooks. Collected Works is designed to be accessible and useful to as wide an audience as possible without sacrificing scientific or historical accuracy. The only complete edition available in English, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science. These volumes will also interest scientists and all others who wish to be acquainted with one of the great minds of the twentieth century. (shrink)

This is the second edition of an important introduction to Leibniz's philosophy of logic and language first published in 1972. It takes issue with several traditional interpretations of Leibniz while revealing how Leibniz's thought is related to issues of great interest in current logical theory. For this new edition, the author has added new chapters on infinitesimals and conditionals as well as taking account of reviews of the first edition.

In this article, I address two different kinds of equivocations in reading Leibniz’s fictional infinite and infinitesimal. These equivocations form the background of a reductive reading of infinite and infinitesimal fictions either as ultimately finite or as something whose status can be taken together with any other mathematical object as such. The first equivocation is the association of a foundation of infinitesimals with their ontological status. I analyze this equivocation by criticizing the logicist influence on 20th century Anglophone reception of (...) the syncategorematical infinite and infinitesimal. The second equivocation is the association of the rigor of mathematical demonstration with the problem of the admissibility of infinite or infinitesimal terms. I analyze this by looking at Leibniz’s constructive method and apagogic argument style in his quadrature method. In treating these equivocations, I critique some assumptions that underlie the reductive reading of Leibniz’s fictionalism concerning infinite and infinitesimals. In turn, I suggest that these infinitesimal “fictions” pointed to a problematic within Leibniz’s work that was conceived and reconsidered in Leibniz’s work from a range of different contexts and methods. (shrink)

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

One of the most influential scientific treatises in Cauchy's era was J.-L. Lagrange's Mécanique Analytique, the second edition of which came out in 1811, when Cauchy was barely out of his teens. Lagrange opens his treatise with an unequivocal endorsement of infinitesimals. Referring to the system of infinitesimal calculus, Lagrange writes:Lorsqu'on a bien conçu l'esprit de ce système, et qu'on s'est convaincu de l'exactitude de ses résultats par la méthode géométrique des premières et dernières raisons, ou par la méthode analytique (...) des fonctions dérivées, on peut employer les infiniment petits comme un instrument sûr et commode pour abréger et simplifier les demonstrations.Lagrange's renewed enthusiasm for .. (shrink)

Mathematics plays an inordinate role in the work of many of famous Western philosophers, from the time of Plato, through Husserl and Wittgenstein, and even to the present. Why? This paper points to the experience of learning or making mathematics, with an emphasis on proof. It distinguishes two sources of the perennial impact of mathematics on philosophy. They are classified as Ancient and Enlightenment. Plato is emblematic of the former, and Kant of the latter. The Ancient fascination arises from the (...) sense that mathematics explores something ‘out there’. This is illustrated by recent discussions by distinguished contemporary mathematicians. The Enlightenment strand often uses Kant's argot: ‘absolute necessity’, ‘apodictic certainty’ and ‘a priori’ judgement or knowledge. The experience of being compelled by proof, the sense that something must be true, that a result is certain, generates the philosophy. It also creates the illusion that mathematics is certain. Kant's leading question, ‘How is pure mathematics possible?’, is easily misunderstood because the modern distinction between pure and applied is an artefact of the 19th century. As Russell put it, the issue is to explain ‘the apparent power of anticipating facts about things of which we have no experience’. More generally the question is, how is it that pure mathematics is so rich in applications? Some six types of application are distinguished, each of which engenders its own philosophical problems which are descendants of the Enlightenment, and which differ from those descended from the Ancient strand. (shrink)

It hath been an old remark, that Geometry is an excellent Logic.

Bernard Nieuwentijt ist in der Mathematikgeschichte bekannt als Kritiker der Leibnizschen Differentialrechnung. Im Gegensatz zu dem, was häufig angenommen wird, war die Kritik an Leibniz' Methode kein Hauptanliegen Nieuwentijts. Das Ziel seines bedeutendsten mathematischen Werks, Analysis infinitorum , war die Systematisierung und logische Deduzierung der ihm bekannten Infinitesimalmethoden, besonders derer von den Engländern wie Barrow, Wallis u. a. Das Werk Leibnizens war ihm anfangs völlig unbekannt. In dem System, das Nieuwentijt selbständig entwarf, rechnete er nicht mit Infinitesimalen höheren Grades: ihre (...) Existenz hielt er für unmöglich. Dies brachte ihn zur Kritik der Leibnizschen Methode, als er später auf dessen Werk stieß. Später aber erkannte er die Unhaltbarkeit seiner Kritik, wie klar wird aus seinem posthumen Werk Gronden van zekerheid . Der Aufsatz gibt überdies zur Fundierung dieser Thesen einen sehr kurzen Überblick über Nieuwentijts mathematische Arbeiten und eine Besprechung neuerer Interpretationen. (shrink)

This comment is analysing the last section of a paper by Piotr Blaszczyk, Mikhail G. Katz, and David Sherry on alleged misconceptions committed by historians of mathematics regarding the history of analysis, published in this journal in the first issue of 2013. Since this section abounds of wrong attributions and denouncing statements regarding my research and a key publication, the comment serves to rectify them and to recall some minimal methodological requirements for historical research.

Considered by many to be Abraham Robinson's magnum opus, this book offers an explanation of the development and applications of non-standard analysis by the mathematician who founded the subject. Non-standard analysis grew out of Robinson's attempt to resolve the contradictions posed by infinitesimals within calculus. He introduced this new subject in a seminar at Princeton in 1960, and it remains as controversial today as it was then. This paperback reprint of the 1974 revised edition is indispensable reading for anyone interested (...) in non-standard analysis. It treats in rich detail many areas of application, including topology, functions of a real variable, functions of a complex variable, and normed linear spaces, together with problems of boundary layer flow of viscous fluids and rederivations of Saint-Venant's hypothesis concerning the distribution of stresses in an elastic body. (shrink)

The paper lists several editions of Euclid’s Elements in the Early Modern Age, giving for each of them the axioms and postulates employed to ground elementary mathematics.

Rational Mechanics in the Eighteenth Century. On Structural Developments of a Mathematical Science. The role of mathematics in eighteenth‐century science and of eighteenth‐century philosophy of science can hardly be overestimated. However, philosophy of science frequently described and analysed this role in an anachronistic manner by projecting modern points of view about (formal) mathematics and (empirical) science to the past: From today's point of view one might be tempted to say that philosophers and scientists in the seventeenth and even more in (...) the eighteenth century became aware of the importance of mathematics as a means of ‘representing’ physical phenomena or as an ‘instrument’ of deductive explanation and prediction. But such modernisms are missing the central point, i.e. the ‘mathematical nature of nature’ according to mechanical philosophy. Moreover, the understanding of this mathematical nature changed dramatically in the course of the eighteenth century for various (i.e. mathematical, philosophical and other) reasons – a fact hardly appreciated by former philosophical analysis. Philosophy of science today should offer a more accurate analysis to history of science without giving up its task – not always appreciated by historians – to uncover the basic concepts and methods which seem relevant for the understanding of science in question. This paper gives a ‘structural account’ on the development of rational mechanics from Newton to Lagrange that tries to give justice to the fact that rational mechanics in the eighteenth century was primarily understood as a mathematical science and that – starting from this understanding – also tries to give good reasons for the fundamental change of the concept of science that took place during this period. (shrink)

A survey of Euclid's Elements, this text provides an understanding of the classical Greek conception of mathematics and its similarities to modern views as well as its differences. It focuses on philosophical, foundational, and logical questions — rather than strictly historical and mathematical issues — and features several helpful appendixes.

The paper lists several editions of Euclid’s Elements in the Early Modern Age, giving for each of them the axioms and postulates employed to ground elementary mathematics.

Did Leibniz exploit infinitesimals and infinities à la rigueur or only as shorthand for quantified propositions that refer to ordinary Archimedean magnitudes? Hidé Ishiguro defends the latter position, which she reformulates in terms of Russellian logical fictions. Ishiguro does not explain how to reconcile this interpretation with Leibniz’s repeated assertions that infinitesimals violate the Archimedean property (i.e., Euclid’s Elements, V.4). We present textual evidence from Leibniz, as well as historical evidence from the early decades of the calculus, to undermine Ishiguro’s (...) interpretation. Leibniz frequently writes that his infinitesimals are useful fictions, and we agree, but we show that it is best not to understand them as logical fictions; instead, they are better understood as pure fictions. (shrink)

Many historians of the calculus deny significant continuity between infinitesimal calculus of the seventeenth century and twentieth century developments such as Robinson’s theory. Robinson’s hyperreals, while providing a consistent theory of infinitesimals, require the resources of modern logic; thus many commentators are comfortable denying a historical continuity. A notable exception is Robinson himself, whose identification with the Leibnizian tradition inspired Lakatos, Laugwitz, and others to consider the history of the infinitesimal in a more favorable light. Inspite of his Leibnizian sympathies, (...) Robinson regards Berkeley’s criticisms of the infinitesimal calculus as aptly demonstrating the inconsistency of reasoning with historical infinitesimal magnitudes. We argue that Robinson, among others, overestimates the force of Berkeley’s criticisms, by underestimating the mathematical and philosophical resources available to Leibniz. Leibniz’s infinitesimals are fictions, not logical fictions, as Ishiguro proposed, but rather pure fictions, like imaginaries, which are not eliminable by some syncategorematic paraphrase. We argue that Leibniz’s defense of infinitesimals is more firmly grounded than Berkeley’s criticism thereof. We show, moreover, that Leibniz’s system for differential calculus was free of logical fallacies. Our argument strengthens the conception of modern infinitesimals as a development of Leibniz’s strategy of relating inassignable to assignable quantities by means of his transcendental law of homogeneity. (shrink)