We analyze recent criticisms of the use of hyperreal probabilities as expressed by Pruss, Easwaran, Parker, and Williamson. We show that the alleged arbitrariness of hyperreal fields can be avoided by working in the Kanovei–Shelah model or in saturated models. We argue that some of the objections to hyperreal probabilities arise from hidden biases that favor Archimedean models. We discuss the advantage of the hyperreals over transferless fields with infinitesimals. In Paper II we analyze two underdetermination theorems by Pruss and (...) show that they hinge upon parasitic external hyperreal-valued measures, whereas internal hyperfinite measures are not underdetermined. (shrink)

We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Gödel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones. These functional interpretations show in particular that our nonstandard systems are conservative extensions of E-HAω and E-PAω, strengthening earlier results by Moerdijk and Palmgren, and Avigad and Helzner. We will also indicate how our rewriting algorithm can be used for term extraction purposes. To conclude the (...) paper, we will point out some open problems and directions for future research, including some initial results on saturation principles. (shrink)

Alternative set theory was created by the Czech mathematician Petr Vopěnka in 1979 as an alternative to Cantor’s set theory. Vopěnka criticised Cantor’s approach for its loss of correspondence with the real world. Alternative set theory can be partially axiomatised and regarded as a nonstandard theory of natural numbers. However, its intention is much wider. It attempts to retain a correspondence between mathematical notions and phenomena of the natural world. Through infinity, Vopěnka grasps the phenomena of vagueness. Infinite sets are (...) defined as sets containing proper semisets, i.e. vague parts of sets limited by the horizon. The new interpretation extends the field of applicability of mathematics and simultaneously indicates its limits. Compared to strict finitism and other attempts at a reduction of the infinite to the finite Vopěnka’s theory reverses the process: he models the finite in the infinite. (shrink)

Reverse mathematics is a program in the foundations of mathematics. It provides an elegant classification in which the majority of theorems of ordinary mathematics fall into only five categories, based on the “big five” logical systems. Recently, a lot of effort has been directed toward finding exceptional theorems, that is, those which fall outside the big five. The so-called reverse mathematics zoo is a collection of such exceptional theorems. It was previously shown that a number of uniform versions of the (...) zoo theorems, that is, where a functional computes the objects stated to exist, fall in the third big five category, arithmetical comprehension, inside Kohlenbach’s higher-order reverse mathematics. In this paper, we extend and refine these previous results. In particular, we establish analogous results for recent additions to the reverse mathematics zoo, thus establishing that the latter disappear at the uniform level. Furthermore, we show that the aforementioned equivalences can be proved using only intuitionistic logic. Perhaps most surprisingly, these explicit equivalences are extracted from nonstandard equivalences in Nelson’s internal set theory, and we show that the nonstandard equivalence can be recovered from the explicit ones. Finally, the following zoo theorems are studied in this paper: Π10G, FIP, 1-GEN, OPT, AMT, SADS, AST, NCS, and KPT. (shrink)

In his remarkable paper Formalism 64, Robinson defends his eponymous position concerning the foundations of mathematics, as follows:Any mention of infinite totalities is literally meaningless.We should act as if infinite totalities really existed. Being the originator of Nonstandard Analysis, it stands to reason that Robinson would have often been faced with the opposing position that ‘some infinite totalities are more meaningful than others’, the textbook example being that of infinitesimals. For instance, Bishop and Connes have made such claims regarding infinitesimals, (...) and Nonstandard Analysis in general, going as far as calling the latter respectively a debasement of meaning and virtual, while accepting as meaningful other infinite totalities and the associated mathematical framework. We shall study the critique of Nonstandard Analysis by Bishop and Connes, and observe that these authors equate ‘meaning’ and ‘computational content’, though their interpretations of said content vary. As we will see, Bishop and Connes claim that the presence of ideal objects in Nonstandard Analysis yields the absence of meaning. We will debunk the Bishop–Connes critique by establishing the contrary, namely that the presence of ideal objects in Nonstandard Analysis yields the ubiquitous presence of computational content. In particular, infinitesimals provide an elegant shorthand for expressing computational content. To this end, we introduce a direct translation between a large class of theorems of Nonstandard Analysis and theorems rich in computational content, similar to the ‘reversals’ from the foundational program Reverse Mathematics. The latter also plays an important role in gauging the scope of this translation. (shrink)

In nonstandard mathematics, the predicate ‘x is standard’ is fundamental. Recently, ‘relative’ or ‘stratified’ nonstandard theories have been developed in which this predicate is replaced with ‘x is y -standard’. Thus, objects are not standard in an absolute sense, but standard relative to other objects and there is a whole stratified universe of ‘levels’ or ‘degrees’ of standardness. Here, we study stratified nonstandard arithmetic and the related transfer principle. Using the latter, we obtain the ‘reduction theorem’ which states that arithmetical (...) formulas can be reduced to equivalent bounded formulas. Surprisingly, the reduction theorem is also equivalent to the transfer principle. As applications, we obtain a truth definition for arithmetical sentences and we formalize Nelson's notion of impredicativity. (shrink)

Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis with a PRA consistency proof, proposed in around 1995 by Patrick Suppes and Richard Sommer. It is based on an earlier system developed by Rolando Chuaqui and Patrick Suppes. Here, we discuss the inherent problems and limitations of the classical nonstandard framework and propose a much-needed refinement of ERNA, called , in the spirit of Karel Hrbacek’s stratified set theory. We study the metamathematics of and its (...) extensions. In particular, we consider several transfer principles, both classical and ‘stratified’, which turn out to be related. Finally, we show that the resulting theory allows for a truly general, elegant and elementary treatment of basic analysis. (shrink)

I offer a novel solution to Zeno’s paradox of The Arrow by introducing nilpotent infinitesimal lengths of time. Nilpotents are nonzero numbers that yield zero when multiplied by themselves a certain number of times. Zeno’s Arrow goes like this: during the present, a flying arrow is moving in virtue of its being in flight. However, if the present is a single point in time, then the arrow is frozen in place during that time. Therefore, the arrow is both moving and (...) at rest. In “Zeno’s Arrow, Divisible Infinitesimals, and Chrysippus,” White suggests using an infinitesimal value as the length of the present. Contra Zeno, this allows the arrow to be moving in the present, rather than frozen in place. In this paper, I follow the basic outline of White’s solution but argue that his solution suffers from arbitrariness and a related theoretical artificiality in relation to the system of infinitesimals he invokes, viz. in relation to the hyperreal infinitesimals of nonstandard analysis. After arguing that any solution to the paradox must satisfy certain theoretical requirements, I examine White’s solution alongside two nilpotent solutions. One of these solutions is inspired by F.W. Lawvere’s Smooth Infinitesimal Analysis and the other is inspired by Paolo Giordano’s ring of Fermat Reals. I argue that Giordano’s nilpotents supply the best answer to Zeno’s paradox. (shrink)

This is a survey of the concept of continuity. Efforts to explicate continuity have produced a plurality of philosophical conceptions of continuity that have provably distinct expressions within contemporary mathematics. I claim that there is a divide between the conceptions that treat the whole continuum as prior to its parts, and those conceptions that treat the parts of the continuum as prior to the whole. Along this divide, a tension emerges between those conceptions that favor philosophical idealizations of continuity and (...) those that are more readily available for mathematico-scientific use. (shrink)

In the present paper we introduce a constructive theory of nonstandard arithmetic in higher types. The theory is intended as a framework for developing elementary nonstandard analysis constructively. More specifically, the theory introduced is a conservative extension of HAω + AC. A predicate for distinguishing standard objects is added as in Nelson's internal set theory. Weak transfer and idealisation principles are proved from the axioms. Finally, the use of the theory is illustrated by extending Bishop's constructive analysis with infinitesimals.

Let X be an infinite internal set in an ω1-saturated nonstandard universe. Then for any coloring of [X] k , such that the equivalence E of having the same color is countably determined and there is no infinite internal subset of [X] k with all its elements of different colors (i.e., E is condensating on X), there exists an infinite internal set Z⊆X such that all the sets in [Z] k have the same color. This Ramsey-type result is obtained as (...) a consequence of a more general one, asserting the existence of infinite internal Q-homogeneous sets for certain Q ⊆ [[X] k ] m , with arbitrary standard k≥ 1, m≥ 2. In the course of the proof certain minimal condensating countably determined sets will be described. (shrink)

After briefly considering the ancient Greek and nineteenth-century history of incommensurables (magnitudes that do not have a common aliquot part) and incomparables (magnitudes such that the larger can never be surpassed by any finite number of additions of the smaller to itself), this paper undertakes two tasks. The first task is to consider whether the numerical accommodation of incommensurables by means of the extension of the ordered field of rational numbers to the field of reals is `similar' or analogous to (...) the numerical accommodation of incomparables by means of the extension of the ordered field of reals to the field of hyperreals. The second task is to evaluate several contemporary attempts to use concepts and techniques of the nonstandard mathematics of hyperreals to address classical, Zenonian puzzles concerning continuous magnitudes. The result of both these undertakings is, in a certain sense, `deflationary'. (shrink)

James Thomson envisaged a lamp which would be turned on for 1 minute, off for 1/2 minute, on for 1/4 minute, etc. ad infinitum. He asked whether the lamp would be on or off at the end of 2 minutes. Use of “internal set theory” (a version of nonstandard analysis), developed by Edward Nelson, shows Thomson's lamp is chimerical; its copy within set theory yields a contradiction. The demonstration extends to placing restrictions on other “infinite tasks” such as Zeno's paradoxes (...) of motion and Kant's First Antinomy. Resolution of such logical-philosophical problems leads to some very general constraints which must be placed upon the syntax of physical theories. In particular, at some scale space and time would appear granular. The suitability of internal set theory for analyzing phenomena is examined, using a paper by Alper and Bridger (1997) to frame the discussion. (shrink)

Three of Zeno's objections to motion are answered by utilizing a version of nonstandard analysis, internal set theory, interpreted within an empirical context. Two of the objections are without force because they rely upon infinite sets, which always contain nonstandard real numbers. These numbers are devoid of numerical meaning, and thus one cannot render the judgment that an object is, in fact, located at a point in spacetime for which they would serve as coordinates. The third objection, an arrow never (...) appears to be moving, is answered by showing that it only applies to a finite number of instants of time. A theory of motion is also advanced; it consists of a finite series of contiguous infinitesimal steps. The theory is immune to Zeno's first two objections because the number of steps is finite and each lies outside the domain of observation. Present motion is hypothesized to be an unobservable process taking place within each step. The fact of motion is apparent through a summing (Riemann integration) of the steps. (shrink)

We discuss various ways, which have been plainly justified in the secondhalf of the twentieth century, to introduce infinitesimals, and we considerthe new style of reasoning in mathematical analysis that they allow.

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)

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.

The Dirac δ function has solid roots in nineteenth century work in Fourier analysis and singular integrals by Cauchy and others, anticipating Dirac’s discovery by over a century, and illuminating the nature of Cauchy’s infinitesimals and his infinitesimal definition of δ.

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)

We demonstrate that the special model axiom SMA of Ross admits a natural formalization in Kawai's nonstandard set theory KST but is independent of KST. As an application of our methods to classical model theory, we present a short proof of the consistency of the existence of a k+ like k-saturated model of PA for a given cardinal k.

We study models of HST . This theory admits an adequate formulation of the isomorphism propertyIP, which postulates that any two elementarily equivalent internally presented structures of a well-orderable language are isomorphic. We prove that IP is independent of HST and consistent with HST.

In this article we show how the universe of BST, bounded set theory can be enlarged by definable subclasses of sets so that Separation and Replacement are true in the enlargement for all formulas, including those in which the standardness predicate may occur. Thus BST is strong enough to incorporate external sets in the internal universe in a way sufficient to develop topics in nonstandard analysis inaccessible in the framework of a purely internal approach, such as Loeb measures.

We study those models of ZFCwhich are embeddable, as the class of all standard sets, in a model of internal set theory >ISTor models of some other nonstandard set theories.

In continuation of our study of HST, Hrbaek set theory (a nonstandard set theory which includes, in particular, the ZFC Replacement and Separation schemata in the st--language, and Saturation for well-orderable families of internal sets), we consider the problem of existence of elementary extensions of inner "external" subclasses of the HST universe.We show that, given a standard cardinal , any set R * generates an "internal" class S(R) of all sets standard relatively to elements of R, and an "external" class (...) L[S(R)] of all sets constructible (in a sense close to the Gödel constructibility) from sets in S(R). We prove that under some mild saturation-like requirements for R the class L[S(R)] models a certain -version of HST including the principle of +-saturation; moreover, in this case L[S(R)] is an elementary extension of L[S(R)] in the st--language whenever sets R R satisfy the requirements. (shrink)

. We demonstrate that a comprehensive nonstandard set theory can be developed in the standard $\displaystyle{\in}$ -language. As an illustration, a nonstandard ${\sf Law of Large Numbers}$ is obtained.

Moerdijk has introduced a topos of sheaves on a category of filters. Following his suggestion, we prove that its double negation subtopos is the topos of sheaves on the subcategory of ultrafilters - the ultrasheaves. We then use this result to establish a double negation translation of results between the topos of ultrasheaves and the topos on filters.

– We offer a new motivation for imprecise probabilities. We argue that there are propositions to which precise probability cannot be assigned, but to which imprecise probability can be assigned. In such cases the alternative to imprecise probability is not precise probability, but no probability at all. And an imprecise probability is substantially better than no probability at all. Our argument is based on the mathematical phenomenon of non-measurable sets. Non-measurable propositions cannot receive precise probabilities, but there is a natural (...) way for them to receive imprecise probabilities. The mathematics of non-measurable sets is arcane, but its epistemological import is far-reaching; even apparently mundane propositions are liable to be affected by non-measurability. The phenomenon of non-measurability dramatically reshapes the dialectic between critics and proponents of imprecise credence. Non-measurability offers natural rejoinders to prominent critics of imprecise credence. Non-measurability even reverses some of the critics’ arguments—by the very lights that have been used to argue against imprecise credences, imprecise credences are better than precise credences. (shrink)

One method to determine the asymptotics of particular solutions of a difference equation is by solving an associated asymptotic functional equation. Here we study the behaviour of the solutions in an asymptotic neighbourhood of such individual solutions. We identify several types of attraction and repulsion, which range from almost orthogonality to almost parallelness. Necessary and sufficient conditions for these types of behaviour are given.

Mathematicians justify axioms of set theory “intrinsically”, by reference to the universe of sets of their intuition, and “extrinsically”, for example, by considerations of simplicity or usefullness for mathematical practice. Here we apply the same kind of justifications to Nonstandard Analysis and argue for acceptance of BNST+ . BNST+ has nontrivial consequences for standard set theory; for example, it implies existence of inner models with measurable cardinals. We also consider how to practice Nonstandard Analysis in BNST+, and compare it with (...) other existing nonstandard set theories. (shrink)

In a well-known paper, Timothy Williamson claimed to prove with a coin-flipping example that infinitesimal-valued probabilities cannot save the principle of Regularity, because on pain of inconsistency the event ‘all tosses land heads’ must be assigned probability 0, whether the probability function is hyperreal-valued or not. A premise of Williamson’s argument is that two infinitary events in that example must be assigned the same probability because they are isomorphic. It was argued by Howson that the claim of isomorphism fails, but (...) a more radical objection to Williamson’s argument is that it had been, in effect, refuted long before it was published. (shrink)

This note employs the recently established consistency theorem for infinite regresses of probabilistic justification (Herzberg in Stud Log 94(3):331–345, 2010) to address some of the better-known objections to epistemological infinitism. In addition, another proof for that consistency theorem is given; the new derivation no longer employs nonstandard analysis, but utilises the Daniell–Kolmogorov theorem.

Recently, the second author, Briseid, and Safarik introduced nonstandard Dialectica, a functional interpretation capable of eliminating instances of familiar principles of nonstandard arithmetic—including overspill, underspill, and generalizations to higher types—from proofs. We show that the properties of this interpretation are mirrored by first-order logic in a constructive sheaf model of nonstandard arithmetic due to Moerdijk, later developed by Palmgren, and draw some new connections between nonstandard principles and principles that are rejected by strict constructivism. Furthermore, we introduce a variant of (...) the Diller–Nahm interpretation with two different kinds of quantifiers, similar to Hernest’s light Dialectica interpretation, and show that one can obtain nonstandard Dialectica by weakening the computational content of the existential quantifiers—a process called herbrandization. We also define a constructive sheaf model mirroring this new functional interpretation, and show that the process of herbrandization has a clear meaning in terms of these sheaf models. (shrink)

The Mathematical Intelligencer recently published a note by Y. Sergeyev that challenges both mathematics and intelligence. We examine Sergeyev’s claims concerning his purported Infinity computer. We compare his grossone system with the classical Levi-Civita fields and with the hyperreal framework of A. Robinson, and analyze the related algorithmic issues inevitably arising in any genuine computer implementation. We show that Sergeyev’s grossone system is unnecessary and vague, and that whatever consistent subsystem could be salvaged is subsumed entirely within a stronger and (...) clearer system. Lou Kauffman, who published an article on a grossone, places it squarely outside the historical panorama of ideas dealing with infinity and infinitesimals. (shrink)

Hilbert's programme is shown to have been inspired in part by what we can call Kronecker's programme in the foundations of an arithmetic theory of algebraic quantities.While finitism stays within the bounds of intuitive finite arithmetic, metamathematics goes beyond in the hope of recovering classical logic. The leap into the transfinite proved to be hazardous, not only from the perspective of Gödel's results, but also from a Kroneckerian point of view.

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)

To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on pro- cedural questions. This would enable an account of Leibnizian procedures in a framework limited to FOL with a small number of additional ingredients such as the relation of infinite proximity. If, as we argue here, first order logic is indeed suitable for developing modern proxies for the inferential moves found in Leibnizian infinitesimal (...) calculus, then modern infinitesimal frameworks are more appropriate to interpreting Leibnizian infinitesimal calculus than modern Weierstrassian ones. (shrink)

I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (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)

Cauchy's sum theorem is a prototype of what is today a basic result on the convergence of a series of functions in undergraduate analysis. We seek to interpret Cauchy’s proof, and discuss the related epistemological questions involved in comparing distinct interpretive paradigms. Cauchy’s proof is often interpreted in the modern framework of a Weierstrassian paradigm. We analyze Cauchy’s proof closely and show that it finds closer proxies in a different modern framework.

We apply Benacerraf’s distinction between mathematical ontology and mathematical practice to examine contrasting interpretations of infinitesimal mathematics of the seventeenth and eighteenth century, in the work of Bos, Ferraro, Laugwitz, and others. We detect Weierstrass’s ghost behind some of the received historiography on Euler’s infinitesimal mathematics, as when Ferraro proposes to understand Euler in terms of a Weierstrassian notion of limit and Fraser declares classical analysis to be a “primary point of reference for understanding the eighteenth-century theories.” Meanwhile, scholars like (...) Bos and Laugwitz seek to explore Eulerian methodology, practice, and procedures in a way more faithful to Euler’s own. Euler’s use of infinite integers and the associated infinite products are analyzed in the context of his infinite product decomposition for the sine function. Euler’s principle of cancellation is compared to the Leibnizian transcendental law of homogeneity. The Leibnizian law of continuity similarly finds echoes in Euler. We argue that Ferraro’s assumption that Euler worked with a classical notion of quantity is symptomatic of a post-Weierstrassian placement of Euler in the Archimedean track for the development of analysis, as well as a blurring of the distinction between the dual tracks noted by Bos. Interpreting Euler in an Archimedean conceptual framework obscures important aspects of Euler’s work. Such a framework is profitably replaced by a syntactically more versatile modern infinitesimal framework that provides better proxies for his inferential moves. (shrink)