Mathematical pluralism: The case of smooth infinitesimal analysis

DOI10.1007/s10992-006-9028-9zbMath1115.03005OpenAlexW2066867197MaRDI QIDQ853816

Geoffrey Hellman

Publication date: 17 November 2006

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-006-9028-9

zbMATH Keywords

intuitionistic logicsynthetic differential geometrypluralismstructuralismtoposesinfinitesimal analysisKock-Lawrence Axiomlogic of vaguenessmodal-structuralismnilsquare infinitesimal

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Topoi (18B25) Nonstandard models in mathematics (03H05) Synthetic differential geometry (51K10)

Related Items

Smooth infinitesimals in the metaphysical foundation of spacetime theories ⋮ Leibniz's syncategorematic infinitesimals ⋮ Why logical pluralism? ⋮ Structures and logics: a case for (a) relativism ⋮ THE CLASSICAL CONTINUUM WITHOUT POINTS ⋮ Translating logical terms ⋮ A new interpretation of Carnap's logical pluralism

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structuralism Without Structures
• Structure in Mathematics and Logic: A Categorical Perspective
• Differential Calculus and Nilpotent Real Numbers
• Does Category Theory Provide a Framework for Mathematical Structuralism?†