Skip to main content
×
Home
    • Aa
    • Aa

CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FOR ABSTRACT MATHEMATICS

  • JEAN-PIERRE MARQUIS (a1)
Abstract
Abstract

Feferman’s argument presented in 1977 seemed to block any possibility for category theory to become a serious contender in the foundational game. According to Feferman, two obstacles stand in the way: one logical and the other psychological. We address both obstacles in this paper, arguing that although Feferman’s argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.

Copyright
Corresponding author
*DÉPARTEMENT DE PHILOSOPHIE and CIRST, UNIVERSITÉ DE MONTRÉAL, H3C 3J7 MONTRÉAL, QC, CANADA E-mail: jean-pierre.marquis@umontreal.ca
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

S. Awodey (2012). Type theory and homotopy. In P. Dybjer , ., editors. Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. New York, NY: Springer. To appear.

J. C. Baez , & J. Dolan (1998). Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Advances in Mathematics, 135, 145206.

S. Dehaene , & E. M Brannon . editors. (2011). Space, Time and Number in the Brain: Searching for the Foundations of Mathematical Thought (first edition). London: Elsevier.

L. Feigenson (2011). Objects, sets, and ensembles. In S. Dehaene , and E. M. Brannon , editors. Space, Time and Number in the Brain: Searching for the Foundations of Mathematical Thought, chapter 2. London: Elsevier, pp. 1322.

M. P Fourman . (1977). The logic of topoi. In J. Barwise , editor. Handbook of Mathematical Logic, Vol. 90 of Studies in Logic and the Foundations of Mathematics. Amsterdam: Elsevier, pp. 10531090.

M. Fréchet (1951). Abstract sets, abstract spaces and general analysis. Mathematics Magazine, 24, 147155.

V. Goel (2007). Anatomy of deductive reasoning. Trends in Cognitive Sciences, 11, 435441.

C. Hermida , M. Makkai , & J. Power (2000). On weak higher dimensional categories. I. 1. Journal of Pure and Applied Algebra, 154, 221246.

C. Hermida , M. Makkai , & J. Power (2001). On weak higher-dimensional categories. I.2. Journal of Pure and Applied Algebra, 157, 247277.

C. Hermida , M. Makkai , & J. Power (2002). On weak higher-dimensional categories. I. 3. Journal of Pure and Applied Algebra, 166, 83104.

O. Houdé , & N. Tzourio-Mazoyer (2003). Neural foundations of logical and mathematical cognition. Nature Reviews Neuroscience, 4, 507514.

F. W Lawvere . (1964). An elementary theory of the category of sets. Proceedings of the National Academy of Sciences of the United States of America, 52, 15061511.

F. W Lawvere . (1976). Variable quantities and variable structures in topoi. In Algebra, Topology, and Category Theory (A Collection of Papers in Honor of Samuel Eilenberg). New York: Academic Press, pp. 101131.

M. Makkai (1998). Towards a categorical foundation of mathematics. In Logic Colloquium ’95 (Haifa), Vol. 11 of Lecture Notes Logic. Berlin, Germany: Springer, pp. 153190.

M. Makkai , & G. E Reyes . (1977). First Order Categorical Logic. Lecture Notes in Mathematics, Vol. 611. Berlin, Germany: Springer-Verlag. Model-theoretical methods in the theory of topoi and related categories.

J.-P. Marquis (1995). Category theory and the foundations of mathematics: Philosophical excavations. Synthese, 103, 421447.

J.-P. Marquis , & G. E Reyes . (2012). The history of categorical logic: 1963-1977. In D. M. Gabbay , A. Kanamori , and J. Woods , editors. Sets and Extensions in the Twentieth Century, Vol. 6 of Handbook of the History of Logic, chapter 10. Amsterdam: Elsevier, p. 689800.

G. H Moore . (2007). The evolution of the concept of homeomorphism. Historia Mathematica, 34, 333343.

E. Spaepen , M. Coppola , E. S. Spelke , S. E. Carey , & S. Goldin-Meadow (2011). Number without a language model. Proceedings of the National Academy of Sciences of the United States of America, 108, 31633168.

B. van den Berg , & I. Moerdijk (2009). A unified approach to algebraic set theory. In Logic Colloquium 2006, Vol. 32 of Lect. Notes Log.. Chicago, IL: Assoc. Symbol. Logic, pp. 1837.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×