MoL-2015-25: Vecht, Joost (2015) Categorical Structuralism and the Foundations of Mathematics. [Report]
Preview |
Text (Full Text)
MoL-2015-25.text.pdf Download (444kB) | Preview |
Text (Abstract)
MoL-2015-25.abstract.txt Download (1kB) |
Abstract
Structuralism is the view that mathematics is the science of structure. It has been noted that category theory expresses mathematical objects exactly along their structural properties. This has led to a programme of categorical structuralism, integrating structuralist philosophy with insights from category theory for new views on the foundations of mathematics.
In this thesis, we begin by by investigating structuralism to note important properties of mathematical structures. An overview of categorical structuralism is given, as well as the associated views on the foundations of mathematics. We analyse the different purposes of mathematical foundations, separating different kinds of foundations, be they ontological, epistemological, or pragmatic in nature. This allows us to respond to both the categorical structuralists and their critics from a neutral perspective. We find that common criticisms with regards to categorical foundations are based on an unnecessary interpretation of mathematical statements. With all this in hand, we can describe “schematic mathematics”, or mathematics from a structuralist perspective informed by the categorical structuralists, employing only certain kinds of foundations.
Item Type: | Report |
---|---|
Report Nr: | MoL-2015-25 |
Series Name: | Master of Logic Thesis (MoL) Series |
Year: | 2015 |
Uncontrolled Keywords: | logic, philosophy |
Subjects: | Logic |
Date Deposited: | 12 Oct 2016 14:38 |
Last Modified: | 12 Oct 2016 14:38 |
URI: | https://eprints.illc.uva.nl/id/eprint/966 |
Actions (login required)
View Item |