Graduate studies at Western
Journal of Philosophical Logic 35 (6):621 - 651 (2006)
|Abstract||A remarkable development in twentieth-century mathematics is smooth infinitesimal analysis ('SIA'), introducing nilsquare and nilpotent infinitesimals, recovering the bulk of scientifically applicable classical analysis ('CA') without resort to the method of limits. Formally, however, unlike Robinsonian 'nonstandard analysis', SIA conflicts with CA, deriving, e.g., 'not every quantity is either = 0 or not = 0.' Internally, consistency is maintained by using intuitionistic logic (without the law of excluded middle). This paper examines problems of interpretation resulting from this 'change of logic', arguing that standard arguments based on 'smoothness' requirements are question-begging. Instead, it is suggested that recent philosophical work on the logic of vagueness is relevant, especially in the context of a Hilbertian structuralist view of mathematical axioms (as implicitly defining structures of interest). The relevance of both topos models for SIA and modal-structuralism as appled to this theory is clarified, sustaining this remarkable instance of mathematical pluralism|
|Keywords||infinitesimal analysis synthetic differential geometry intuitionistic logic Kock-Lawrence Axiom nilsquare infinitesimal pluralism structuralism modal-structuralism toposes vagueness|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Geoffrey Hellman (2003). Does Category Theory Provide a Framework for Mathematical Structuralism? Philosophia Mathematica 11 (2):129-157.
Yaroslav Sergeyev (2009). Numerical Point of View on Calculus for Functions Assuming Finite, Infinite, and Infinitesimal Values Over Finite, Infinite, and Infinitesimal Domains. Nonlinear Analysis Series A 71 (12):e1688-e1707.
Yaroslav Sergeyev (2009). Numerical Computations and Mathematical Modelling with Infinite and Infinitesimal Numbers. Journal of Applied Mathematics and Computing 29:177-195.
Bernhard Arens (1985). Die Non-Standard Analysis: Eine Rehabilitierung Des Unendlichkleinen in den Grundlagen der Mathematik. Journal for General Philosophy of Science 16 (1):147-150.
Yaroslav Sergeyev (2007). Blinking Fractals and Their Quantitative Analysis Using Infinite and Infinitesimal Numbers. Chaos, Solitons and Fractals 33 (1):50-75.
Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.
Erik Palmgren (1998). Developments in Constructive Nonstandard Analysis. Bulletin of Symbolic Logic 4 (3):233-272.
Added to index2009-01-28
Total downloads26 ( #53,672 of 739,395 )
Recent downloads (6 months)1 ( #61,680 of 739,395 )
How can I increase my downloads?