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
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 25,727
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 & Nicholas Rescher - 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.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

52 ( #96,209 of 2,146,284 )

Recent downloads (6 months)

17 ( #27,747 of 2,146,284 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums