- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Categorical foundations of mathematics or how to provide foundations for abstract mathematics
Review of Symbolic Logic 6 (1):51-75 (2013)
Abstract
Fefermans argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Foundations as truths which organize mathematics.Colin Mclarty - 2013 - Review of Symbolic Logic 6 (1):76-86.
Categorical Foundations and Foundations of Category Theory.Solomon Feferman - 1980 - In R. E. Butts & J. Hintikka (eds.), Logic, Foundations of Mathematics, and Computability Theory. Springer. pp. 149-169.
Canonical Maps.Jean-Pierre Marquis - 2017 - In Elaine M. Landry (ed.), Categories for the Working Philosopher. Oxford, England: Oxford University Press. pp. 90-112.
The indispensability argument and multiple foundations for mathematics.Alan Baker - 2003 - Philosophical Quarterly 53 (210):49–67.
Review: William S. Hatcher, The Logical Foundations of Mathematics; William S. Hatcher, Foundations of Mathematics; William Hatcher's, Logical Foundations of Mathematics. [REVIEW]Frederick W. Kroon - 1986 - Journal of Symbolic Logic 51 (2):467-470.
On three arguments against categorical structuralism.Makmiller Pedroso - 2009 - Synthese 170 (1):21 - 31.
Logical Foundations of Set Theory and Mathematics.Mary Tiles - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 365–376.
Book Review: J. P. Mayberry. Foundations of Mathematics in the Theory of Sets. [REVIEW]O. Bradley Bassler - 2005 - Notre Dame Journal of Formal Logic 46 (1):107-125.
Analytics
Added to PP
2013-11-22
Downloads
1,693 (#8,637)
6 months
175 (#21,089)
2013-11-22
Downloads
1,693 (#8,637)
6 months
175 (#21,089)
Historical graph of downloads
Author's Profile
Citations of this work
Univalent foundations as structuralist foundations.Dimitris Tsementzis - 2017 - Synthese 194 (9):3583-3617.
Goals shape means: a pluralist response to the problem of formal representation in ontic structural realism.Agnieszka M. Proszewska - 2022 - Synthese 200 (3):1-21.
Facets and Levels of Mathematical Abstraction.Hourya Benis Sinaceur - 2014 - Philosophia Scientiae 18 (1):81-112.
Canonical Maps.Jean-Pierre Marquis - 2017 - In Elaine M. Landry (ed.), Categories for the Working Philosopher. Oxford, England: Oxford University Press. pp. 90-112.
References found in this work
The Number Sense: How the Mind Creates Mathematics.Stanislas Dehaene - 1999 - British Journal of Educational Studies 47 (2):201-203.
Categorical Foundations and Foundations of Category Theory.Solomon Feferman - 1980 - In R. E. Butts & J. Hintikka (eds.), Logic, Foundations of Mathematics, and Computability Theory. Springer. pp. 149-169.
Homotopy theoretic models of identity types.Steve Awodey & Michael Warren - 2009 - Mathematical Proceedings of the Cambridge Philosophical Society 146:45–55.
Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-lv8mh dc2