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)|
References found in this work BETA
The Philosophy of Leibniz.Martha Kneale & Nicholas Rescher - 1967 - Philosophical Quarterly 17 (69):359.
Citations of this work BETA
Conceivability, Inconceivability and Cartesian Modal Epistemology.Pierre Saint-Germier - forthcoming - Synthese:1-32.
Similar books and articles
Lagrange Lecture: Methodology of Numerical Computations with Infinities and Infinitesimals.Yaroslav Sergeyev - 2010 - Rendiconti Del Seminario Matematico dell'Università E Del Politecnico di Torino 68 (2):95–113.
Infinitesimals and Other Idealizing Completions in Neo-Kantian Philosophy of Mathematics.Mikhail G. Katz & Thomas Mormann - manuscript
From Actuals to Fictions: Four Phases in Leibniz's Early Thought on Infinitesimals.Richard Arthur - manuscript
Modern Infinitesimals as a Tool to Match Intuitive and Formal Reasoning in Analysis.Robert Lutz & Luis Gonzaga Luis Gonzaga - 2003 - Synthese 134 (1-2):325 - 351.
Leibniz's Syncategorematic Infinitesimals, Smooth Infinitesimal Analysis, and Newton's Proposition.Richard Arthur - manuscript
Infinitesimals as Origins of Evolution: Comments Prompted by Timothy Herron and Hilary Putnam on Peirce's Synechism and Infinitesimals.Carl Hausman - 1998 - Transactions of the Charles S. Peirce Society 34 (3):627 - 640.
Added to index2009-01-28
Total downloads52 ( #96,209 of 2,146,284 )
Recent downloads (6 months)17 ( #27,747 of 2,146,284 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.