Review of Symbolic Logic 6 (1):24-51 (2013)

Authors
Elaine Landry
University of California, Davis
Abstract
Feferman argues that category theory cannot stand on its own as a structuralist foundation for mathematics: he claims that, because the notions of operation and collection are both epistemically and logically prior, we require a background theory of operations and collections. Recently [2011], I have argued that in rationally reconstructing Hilbert’s organizational use of the axiomatic method, we can construct an algebraic version of category-theoretic structuralism. That is, in reply to Shapiro, we can be structuralists all the way down ; we do not have to appeal to some background theory to guarantee the truth of our axioms. In this paper, I again turn to Hilbert; I borrow his distinction between the genetic method and the axiomatic method to argue that even if the genetic method requires the notions of operation and collection, the axiomatic method does not. Even if the genetic method is in some sense epistemically or logically prior, the axiomatic method stands alone. Thus, if the claim that category theory can act as a structuralist foundation for mathematics arises from the organizational use of the axiomatic method, then it does not depend on the prior notions of operation or collection, and so we can be structuralists all the way up.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2013
DOI 10.1017/S1755020312000135
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,163
Through your library

References found in this work BETA

Structure in Mathematics and Logic: A Categorical Perspective.S. Awodey - 1996 - Philosophia Mathematica 4 (3):209-237.
From Absolute to Local Mathematics.J. L. Bell - 1986 - Synthese 69 (3):409 - 426.

View all 12 references / Add more references

Citations of this work BETA

Categorical Generalization and Physical Structuralism: Figure 1.Raymond Lal & Nicholas Teh - 2017 - British Journal for the Philosophy of Science 68 (1).
What is a Higher Level Set?Dimitris Tsementzis - 2016 - Philosophia Mathematica:nkw032.

Add more citations

Similar books and articles

Mathematical Discourse Vs. Mathematical Intuition.Carlo Cellucci - 2005 - In Carlo Cellucci & Donald Gillies (eds.), Mathematical Reasoning and Heuristics. College Publications. pp. 137-165..
Is Mathematics Problem Solving or Theorem Proving?Carlo Cellucci - 2017 - Foundations of Science 22 (1):183-199.
Formalism.Michael Detlefsen - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. pp. 236--317.
Regressive Analysis.Volker Peckhaus - 2002 - History of Philosophy & Logical Analysis 5.
Axiomatic Method in Contemporary Science and Technology.С.П Ковалев & А.В Родин - 2016 - Epistemology and Philosophy of Science 47 (1):153-169.
What is the Axiomatic Method?Jaakko Hintikka - 2011 - Synthese 183 (1):69-85.
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
What is Required of a Foundation for Mathematics?John Mayberry - 1994 - Philosophia Mathematica 2 (1):16-35.

Analytics

Added to PP index
2013-12-01

Total views
60 ( #190,181 of 2,506,511 )

Recent downloads (6 months)
3 ( #209,726 of 2,506,511 )

How can I increase my downloads?

Downloads

My notes