David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
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
F. W. Lawvere (1994). Cohesive Toposes and Cantor's 'Lauter Einsen'. Philosophia Mathematica 2 (1):5-15.
Citations of this work BETA
M. Kary (2009). (Math, Science, ?). Axiomathes 19 (3):61-86.
Similar books and articles
A. T. Balaban (2005). Reflections About Mathematical Chemistry. Foundations of Chemistry 7 (3):289-306.
J. Confrey (2011). The Transformational Epistemology of Radical Constructivism: A Tribute to Ernst von Glasersfeld. Constructivist Foundations 6 (2):177-182.
Michael Stöltzner (2002). How Metaphysical is “Deepening the Foundations”?: Hahn and Frank on Hilbert’s Axiomatic Method. Vienna Circle Institute Yearbook 9:245-262.
Colin McLarty (1991). Axiomatizing a Category of Categories. Journal of Symbolic Logic 56 (4):1243-1260.
Alan Baker (2003). The Indispensability Argument and Multiple Foundations for Mathematics. Philosophical Quarterly 53 (210):49–67.
S. V. Prabhath (ed.) (2010). Perspectives on Nai Talim. Serials Publications.
C. McLarty (2012). Categorical Foundations and Mathematical Practice. Philosophia Mathematica 20 (1):111-113.
Wilfrid Hodges (ed.) (1996). Logic: From Foundation to Applications: European Logic Colloquium. Oxford University Press.
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 downloads20 ( #185,579 of 1,902,069 )
Recent downloads (6 months)1 ( #466,345 of 1,902,069 )
How can I increase my downloads?