On categorical theory-building: Beyond the formal
| Abstract | Formal Axiomatic method as exemplified in Hilbert’s Grundlagen der Geometrie is based on a structuralist vision of mathematics and science according to which theories and objects of these theories are to be construed “up to isomorphism”. This structuralist approach is tightly linked with the idea of making Set theory into foundations of mathematics. Category theory suggests a generalisation of Formal Axiomatic method, which amounts to construing objects and theories “up to general morphism” rather than up to isomorphism. It is shown that this category-theoretic method of theorybuilding better fits mathematical and scientific practice. Moreover so since the requirement of being determined up to isomorphism (i.e. categoricity in the usual model-theoretic sense) turns to be unrealistic in many important cases. The category-theoretic approach advocated in this paper suggests an essential revision of the structuralist philosophy of mathematics and science. It is argued that a category should be viewed as a far-reaching generalisation of the notion of structure rather than a particular kind of structure. Finally, I compare formalisation and categorification as two alternative epistemic strategies. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesRyan Christensen (2011). Theories and Theories of Truth. Metaphysica 12 (1):31-43.
Alberto Peruzzi (2006). The Meaning of Category Theory for 21st Century Philosophy. Axiomathes 16 (4).
Makmiller Pedroso (2009). On Three Arguments Against Categorical Structuralism. Synthese 170 (1):21 - 31.
Michael John Healy & Thomas Preston Caudell (2006). Ontologies and Worlds in Category Theory: Implications for Neural Systems. Axiomathes 16 (1-2).
S. Awodey (1996). Structure in Mathematics and Logic: A Categorical Perspective. Philosophia Mathematica 4 (3):209-237.
Øystein Linnebo & Richard Pettigrew (2011). Category Theory as an Autonomous Foundation. Philosophia Mathematica 19 (3):227-254.
Elaine Landry (1999). Category Theory: The Language of Mathematics. Philosophy of Science 66 (3):27.
Andrei Rodin (2011). Categories Without Structures. Philosophia Mathematica 19 (1):20-46.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads25 ( #49,684 of 550,917 )Recent downloads (6 months)1 ( #63,425 of 550,917 )How can I increase my downloads? |
My notes
Discussion
