PhilSci Archive

On Categorical Theory-Building: Beyond the Formal

Rodin, Andrei (2007) On Categorical Theory-Building: Beyond the Formal. [Preprint]

[img]
Preview
PDF
diarodin.pdf

Download (171kB)

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.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Rodin, Andrei
Keywords: category theory, axiomatic method
Subjects: Specific Sciences > Mathematics
Depositing User: Andrei Rodin
Date Deposited: 14 Sep 2007
Last Modified: 07 Oct 2010 15:15
Item ID: 3520
URI: http://philsci-archive.pitt.edu/id/eprint/3520

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item