Mathematical pluralism: The case of smooth infinitesimal analysis
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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesGeoffrey Hellman (2003). Does Category Theory Provide a Framework for Mathematical Structuralism? Philosophia Mathematica 11 (2):129-157.
Erik Palmgren (1998). Developments in Constructive Nonstandard Analysis. Bulletin of Symbolic Logic 4 (3):233-272.
Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.
Yaroslav Sergeyev (2007). Blinking Fractals and Their Quantitative Analysis Using Infinite and Infinitesimal Numbers. Chaos, Solitons and Fractals 33 (1):50-75.
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 (2009). Numerical Computations and Mathematical Modelling with Infinite and Infinitesimal Numbers. Journal of Applied Mathematics and Computing 29:177-195.
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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads24 ( #51,719 of 549,754 )Recent downloads (6 months)1 ( #63,425 of 549,754 )How can I increase my downloads? |
My notes
Discussion
