David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Bulletin of Symbolic Logic 9 (2):213-224 (2003)
Foundations and Applications depend ultimately for their existence on each other. The main links between them are education and the axiomatic method. Those links can be strengthened with the help of a categorical method which was concentrated forty years ago by Cartier, Grothendieck, Isbell, Kan, and Yoneda. I extended that method to extract some essential features of the category of categories in 1965, and I apply it here in section 3 to sketch a similar foundation within the smooth categories which provide the setting for the mathematics of change. The possibility that other methods may be needed to clarify a contradiction introduced by Cantor, now embedded in mathematical practice, is discussed in section 5
|Keywords||No keywords specified (fix it)|
|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
M. Kary (2009). (Math, Science, ?). Axiomathes 19 (3):61-86.
Similar books and articles
Wilfrid Hodges (ed.) (1996). Logic: From Foundation to Applications: European Logic Colloquium. Oxford University Press.
C. McLarty (2012). Categorical Foundations and Mathematical Practice. Philosophia Mathematica 20 (1):111-113.
S. V. Prabhath (ed.) (2010). Perspectives on Nai Talim. Serials Publications.
Alan Baker (2003). The Indispensability Argument and Multiple Foundations for Mathematics. Philosophical Quarterly 53 (210):49–67.
Colin McLarty (1991). Axiomatizing a Category of Categories. Journal of Symbolic Logic 56 (4):1243-1260.
Michael Stoeltzner, How Metaphysical is "Deepening the Foundations"? - Hahn and Frank on Hilbert's Axiomatic Method.
J. Confrey (2011). The Transformational Epistemology of Radical Constructivism: A Tribute to Ernst von Glasersfeld. Constructivist Foundations 6 (2):177-182.
A. T. Balaban (2005). Reflections About Mathematical Chemistry. Foundations of Chemistry 7 (3):289-306.
David Geoffrey Holdsworth (1978). A Role for Categories in the Foundations of Quantum Theory. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:257 - 267.
Added to index2009-01-28
Total downloads17 ( #101,697 of 1,099,910 )
Recent downloads (6 months)3 ( #127,115 of 1,099,910 )
How can I increase my downloads?