Abstract
With developments in the 19th and early 20th centuries, structuralist ideas concerning the subject matter of mathematics have become commonplace. Yet fundamental questions concerning structures and relations themselves as well as the scope of structuralist analyses remain to be answered. The distinction between axioms as defining conditions (Hilbertian conception) and axioms as assertions (traditional Fregean conception) is highlighted as is the problem of the indefinite extendability of any putatively all-embracing realm of structures. This chapter systematically compares four main versions: set-theoretic structuralism, a version taking structures as sui generis universals, structuralism based on category theory, and a quasi-nominalist modalstructuralism. While none of the approaches is problem-free, it appears that some synthesis of the category-theoretic approach with modal-structuralism can meet the challenges set out, given the notion of "logical possibility."
Original language | English (US) |
---|---|
Title of host publication | The Oxford Handbook of Philosophy of Mathematics and Logic |
Publisher | Oxford University Press |
ISBN (Print) | 9780195148770 |
DOIs | |
State | Published - Jul 1 2005 |
Keywords
- Axiom
- Category theory
- Frege
- Hilbert
- Indefinite extendability
- Mathematics
- Modality
- Set theory
- Structuralism
- Structure
- Universals