David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Andrei Rodin (2011). Categories Without Structures. Philosophia Mathematica 19 (1):20-46.
Elaine Landry (1999). Category Theory: The Language of Mathematics. Philosophy of Science 66 (3):27.
Øystein Linnebo & Richard Pettigrew (2011). Category Theory as an Autonomous Foundation. Philosophia Mathematica 19 (3):227-254.
S. Awodey (1996). Structure in Mathematics and Logic: A Categorical Perspective. Philosophia Mathematica 4 (3):209-237.
Michael John Healy & Thomas Preston Caudell (2006). Ontologies and Worlds in Category Theory: Implications for Neural Systems. [REVIEW] Axiomathes 16 (1-2):165-214.
Makmiller Pedroso (2009). On Three Arguments Against Categorical Structuralism. Synthese 170 (1):21 - 31.
Alberto Peruzzi (2006). The Meaning of Category Theory for 21st Century Philosophy. Axiomathes 16 (4):424-459.
Ryan Christensen (2011). Theories and Theories of Truth. Metaphysica 12 (1):31-43.
Added to index2009-01-28
Total downloads27 ( #53,452 of 1,012,852 )
Recent downloads (6 months)1 ( #64,884 of 1,012,852 )
How can I increase my downloads?