The Proceedings of the Twentieth World Congress of Philosophy 2000:183-196 (2000)
|Abstract||Since virtually every mathematical theory can be interpreted in Zermelo-Fraenkel set theory, it is a foundation for mathematics. There are other foundations, such as alternate set theories, higher-order logic, ramified type theory, and category theory. Whether set theory is the right foundation for mathematics depends on what a foundation is for. One purpose is to provide the ultimate metaphysical basis for mathematics. A second is to assure the basic epistemological coherence of all mathematical knowledge. A third is to serve mathematics, by lending insight into the various fields and suggesting fruitful techniques of research. A fourth purpose of a foundation is to provide an arena for exploring relations and interactions between mathematical fields. While set theory does better with regard to some of these and worse with regard to others, it has become the de facto arena for deciding questions of existence, something one might expect of a foundation. Given the different goals, there is little point to determining a single foundation for all of mathematics|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Configure|
Similar books and articles
Stewart Shapiro (2004). Foundations of Mathematics: Metaphysics, Epistemology, Structure. Philosophical Quarterly 54 (214):16 - 37.
Enrique V. Kortright (1994). Philosophy, Mathematics, Science and Computation. Topoi 13 (1):51-60.
Alan Baker (2003). The Indispensability Argument and Multiple Foundations for Mathematics. Philosophical Quarterly 53 (210):49–67.
John Mayberry (1994). What is Required of a Foundation for Mathematics? Philosophia Mathematica 2 (1):16-35.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
Krzysztof Wójtowicz (2008). Redukcje ontologiczne w matematyce. Część I. Filozofia Nauki 3.
Michael Rathjen (1992). A Proof-Theoretic Characterization of the Primitive Recursive Set Functions. Journal of Symbolic Logic 57 (3):954-969.
Paul Strauss (1991). Arithmetical Set Theory. Studia Logica 50 (2):343 - 350.
Jouko Vaananen (2001). Second-Order Logic and Foundations of Mathematics. Bulletin of Symbolic Logic 7 (4):504-520.
Makmiller Pedroso (2009). On Three Arguments Against Categorical Structuralism. Synthese 170 (1):21 - 31.
Carlo Cellucci (2003). Review of M. Giaquinto, The Search for Certainty. [REVIEW] European Journal of Philosophy 11:420-423.
O. Linnebo & R. Pettigrew (2011). Category Theory as an Autonomous Foundation. Philosophia Mathematica 19 (3):227-254.
Øystein Linnebo & Richard Pettigrew (2011). Category Theory as an Autonomous Foundation. Philosophia Mathematica 19 (3):227-254.
Added to index2011-01-09
Total downloads9 ( #122,328 of 722,771 )
Recent downloads (6 months)3 ( #25,873 of 722,771 )
How can I increase my downloads?