Synthese 75 (3):285 - 315 (1988)

The infinitesimal methods commonly used in the 17th and 18th centuries to solve analytical problems had a great deal of elegance and intuitive appeal. But the notion of infinitesimal itself was flawed by contradictions. These arose as a result of attempting to representchange in terms ofstatic conceptions. Now, one may regard infinitesimals as the residual traces of change after the process of change has been terminated. The difficulty was that these residual traces could not logically coexist with the static quantities traditionally employed by mathematics. The solution to this difficulty, as it turns out, is to regard these quantities asalso being subject to (a form of) change, for then they will have the same nature as the infinitesimals representing the residual traces of change, and will become,ipso facto, compatible with these latter.In fact, the category-theoretic models which realize the Principle of Infinitesimal Linearity may themselves be regarded as representations of a general concept of variation (cf. Bell (1986)). While the static set-theoretical models represent change or motion by making a detour through the actual (but static) infinite, the varying category-theoretic models enable such change to be representeddirectly, thus permitting the introduction of geometric infinitesimals and, as we have attempted to demonstrate in this paper, the virtually complete incorporation of the methods of the early calculus.It is surely a remarkable — even an ironic — fact that the contradiction between the flux of the objective world and the stasis of mathematical entities has found its resolution in category theory, a branch of mathematics commonly, and, as one now sees, mistakenly, regarded as the summit of gratuitous abstraction
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00869403
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,223
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

From Absolute to Local Mathematics.J. L. Bell - 1986 - Synthese 69 (3):409 - 426.
The Philosophy of Leibniz.Martha Kneale - 1967 - Philosophical Quarterly 17 (69):359.
Synthetic Differential Geometry.Anders Kock - 2007 - Bulletin of Symbolic Logic 13 (2):244-245.

Add more references

Citations of this work BETA

The Three Arrows of Zeno.Craig Harrison - 1996 - Synthese 107 (2):271 - 292.
Book Reviews. [REVIEW]A. P. Hazen - 1993 - Philosophia Mathematica 1 (2):173-179.

Add more citations

Similar books and articles


Added to PP index

Total views
76 ( #115,023 of 2,285,714 )

Recent downloads (6 months)
14 ( #59,928 of 2,285,714 )

How can I increase my downloads?


My notes

Sign in to use this feature