David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 35 (6):621 - 651 (2006)
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)|
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
No references found.
Citations of this work BETA
Kevin Scharp (forthcoming). Truth, Revenge, and Internalizability. Erkenntnis:1-49.
Similar books and articles
Geoffrey 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.
Added to index2009-01-28
Total downloads33 ( #53,717 of 1,102,935 )
Recent downloads (6 months)7 ( #36,687 of 1,102,935 )
How can I increase my downloads?