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)

Many important concepts of the calculus are difficult to grasp, and they may appear epistemologically unjustified. For example, how does a real function appear in “small” neighborhoods of its points? How does it appear at infinity? Diagrams allow us to overcome the difficulty in constructing representations of mathematical critical situations and objects. For example, they actually reveal the behavior of a real function not “close to” a point but “in” the point. We are interested in our research in the diagrams (...) which play an optical role –microscopes and “microscopes within microscopes”, telescopes, windows, a mirror role, and an unveiling role. In this paper we describe some examples of optical diagrams as a particular kind of epistemic mediator able to perform the explanatory abductive task of providing a better understanding of the calculus, through a non-standard model of analysis. We also maintain they can be used in many other different epistemological and cognitive situations. (shrink)

We analyze the developments in mathematical rigor from the viewpoint of a Burgessian critique of nominalistic reconstructions. We apply such a critique to the reconstruction of infinitesimal analysis accomplished through the efforts of Cantor, Dedekind, and Weierstrass; to the reconstruction of Cauchy’s foundational work associated with the work of Boyer and Grabiner; and to Bishop’s constructivist reconstruction of classical analysis. We examine the effects of a nominalist disposition on historiography, teaching, and research.

Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it difficult to account for the possibility of the knowledge of such objects, leading many philosophers to embrace nominalism, the doctrine that there are no such objects, and to embark on ambitious projects for interpreting mathematics so as to preserve the subject while eliminating its objects. This book cuts through a host of technicalities that have obscured previous (...) discussions of these projects, and presents clear, concise accounts of a dozen strategies for nominalistic interpretation of mathematics, thus equipping the reader to evaluate each and to compare different ones. The authors also offer critical discussion, rare in the literature, of the aims and claims of nominalistic interpretation, suggesting that it is significant in a very different way from that usually assumed. (shrink)

This is one of the seminal articles of the pragmatist tradition where C.S. Peirce sets out his doctrine of doubt and belief --and their relationship to inquiry and clarity of our concepts. Originally published in the Popular Science Monthly; and widely available in reprints and collections of Peirce's writings.

It is widely taken for granted that physical lines are real lines, i.e., that the arithmetical structure of the real numbers uniquely matches the geometrical structure of lines in space; and that other number systems, like Robinson's hyperreals, accordingly fail to fit the structure of space. Intuitive justifications for the consensus view are considered and rejected. Insofar as it is justified at all, the conviction that physical lines are real lines is a scientific hypothesis which we may one day reject. (...) /// En general se asume que las líneas físicas son líneas reales, esto es, que la estructura aritmética de los números reales corresponde de manera única a la estructura geométrica de líneas en el espacio, y que otros sistemas de números, como los hiperreales de Robinson, no logran corresponder a la estructura del espacio. En este artículo se examinan y rechazan las justificaciones intuitivas de la posición de consenso. En la medida en que pueda estar justificada, la convicción de que las líneas físicas son líneas reales es una hipótesis científica que algún día podríamos rechazar. (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)

The usual meaning of the word continuous is “unbroken” or “uninterrupted”: thus a continuous entity —a continuum—has no “gaps.” We commonly suppose that space and time are continuous, and certain philosophers have maintained that all natural processes occur continuously: witness, for example, Leibniz's famous apothegm natura non facit saltus—“nature makes no jump.” In mathematics the word is used in the same general sense, but has had to be furnished with increasingly precise definitions. So, for instance, in the later 18th century (...) continuity of a function was taken to mean that infinitesimal changes in the value of the argument induced infinitesimal changes in the value of the function. With the abandonment of infinitesimals in the 19th century this definition came to be replaced by one employing the more precise concept of limit. (shrink)

This article aims to demonstrate that a careful examination of Peirce's original manuscripts shows that there are five main periods in Peirce's evolution in his mathematical and philosophical conceptualizations of continuity. The aim of this article is also to establish the relevance of Peirce's reflections on continuity for philosophers and mathematicians.

This is the first systematic survey of modern nominalistic reconstructions of mathematics, and for this reason alone it should be read by everyone interested in the philosophy of mathematics and, more generally, in questions concerning abstract entities. In the bulk of the book, the authors sketch a common formal framework for nominalistic reconstructions, outline three major strategies such reconstructions can follow, and locate proposals in the literature with respect to these strategies. The discussion is presented with admirable precision and clarity, (...) and should be accessible even to readers with only minimal background in logic and mathematics. There will be many who will turn directly to these pages and use them as a brief manual on the state of the art of nominalism in mathematics. But the most intriguing parts of this elegant book—at least in my view—are the introduction and the conclusion, where the authors examine the significance of reconstructive nominalism. (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)

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

This paper explores Simon Stevin’s l’Arithmétique of 1585, where we find a novel understanding of the concept of number. I will discuss the dynamics between his practice and philosophy of mathematics, and put it in the context of his general epistemological attitude. Subsequently, I will take a close look at his justificational concerns, and at how these are reflected in his inductive, a postiori and structuralist approach to investigating the numerical field. I will argue that Stevin’s renewed conceptualisation of the (...) notion of number is a sort of “existential closure” of the numerical domain, founded upon the practice of his predecessors and contemporaries. Accordingly, I want to make clear that l’Aritmetique have to be read not as an ontological analysis or exploration of the numerical field, but as an explication of a mathematical ethos. In this sense, this article also intends to make a specific contribution to the broader issue of the “ethics of geometry.”. (shrink)

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

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)

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)

We give a new account of Björling’s contribution to uniform convergence in connection with Cauchy’s theorem on the continuity of an infinite series. Moreover, we give a complete translation from Swedish into English of Björling’s 1846 proof of the theorem. Our intention is also to discuss Björling’s convergence conditions in view of Grattan-Guinness’ distinction between history and heritage. In connection to Björling’s convergence theory we discuss the interpretation of Cauchy’s infinitesimals.

The Archimedean Axiom is often held to be an intuitively obvious truth about the geometry of physical space. After a general discussion of the varieties of geometrical intuition that have been proposed, I single out one variety which we can plausibly be held to have and then argue that it does not underwrite the intuitive obviousness of the Archimedean Axiom. Generalizing that result, I conclude that the Axiom is not intuitively obvious.

In the final chapter of their book A Subject With No Object, John Burgess and Gideon Rosen raise the question of the value of the nominalistic reconstructions of mathematics that have been put forward in recent years, asking specifically what this body of work is good for. The authors conclude that these reconstructions are all inferior to current versions of mathematics (or science) and make no advances in science. This paper investigates the reasoning that led to such a negative appraisal, (...) and it produces a rebuttal to this reasoning. I am grateful to the following mathematicians who were kind enough to provide me with their thoughts about nonstandard analysis: Martin Davis, Laura Chihara, Ted Chihara, Steve Galovich, Bonnie Gold, and especially Roger Simons, whose comments about an earlier version of this paper were very helpful. Thanks also go to two referees for their useful suggestions and criticisms of an earlier version of this paper. (shrink)

Many important concepts of the calculus are difficult to grasp, and they may appear epistemologically unjustified. For example, how does a real function appear in “small” neighborhoods of its points? How does it appear at infinity? Diagrams allow us to overcome the difficulty in constructing representations of mathematical critical situations and objects. For example, they actually reveal the behavior of a real function not “close to” a point (as in the standard limit theory) but “in” the point. We are interested (...) in our research in the diagrams which play an optical role –microscopes and “microscopes within microscopes”, telescopes, windows, a mirror role (to externalize rough mental models), and an unveiling role (to help create new and interesting mathematical concepts, theories, and structures). In this paper we describe some examples of optical diagrams as a particular kind of epistemic mediator able to perform the explanatory abductive task of providing a better understanding of the calculus, through a non-standard model of analysis. We also maintain they can be used in many other different epistemological and cognitive situations. (shrink)