Philosophia Mathematica 28 (3):291-295 (2020)

Authors
Georg Schiemer
University of Vienna
John Wigglesworth
University of York
Abstract
Structuralism, the view that mathematics is the science of structures, can be characterized as a philosophical response to a general structural turn in modern mathematics. Structuralists aim to understand the ontological, epistemological, and semantical implications of this structural approach in mathematics. Theories of structuralism began to develop following the publication of Paul Benacerraf’s paper ‘What numbers could not be’ in 1965. These theories include non-eliminative approaches, formulated in a background ontology of sui generis structures, such as Stewart Shapiro’s ante rem structuralism and Michael Resnik’s pattern structuralism. In contrast, there are also eliminativist accounts of structuralism, such as Geoffrey Hellman’s modal structuralism, which avoids sui generis structures. These research projects have guided a more systematic focus on philosophical topics related to mathematical structuralism, including the identity criteria for objects in structures, dependence relations between objects and structures, and also, more recently, structural abstraction principles. Parallel to these developments are approaches that describe mathematical structure in category-theoretic terms. Category-theoretic approaches have been further developed using tools from homotopy type theory. Here we find a strong relationship between mathematical structuralism and the univalent foundations project, an approach to the foundations of mathematics based on higher category theory.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/philmat/nkaa027
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,231
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Mathematical Structuralism Today.Julian C. Cole - 2010 - Philosophy Compass 5 (8):689-699.
Introduction to the Special Issue on Philosophical Foundations of Artificial Intelligence.Varol Akman - 2000 - Journal of Experimental and Theoretical Artificial Intelligence 12 (3):247-250.
What We Talk About When We Talk About Numbers.Richard Pettigrew - 2018 - Annals of Pure and Applied Logic 169 (12):1437-1456.
Forms of Structuralism: Bourbaki and the Philosophers.Jean-Pierre Marquis - 2020 - Structures Meres, Semantics, Mathematics, and Cognitive Science.
Introduction to the Special Issue.Hannes Leitgeb - 2008 - Studia Logica 88 (1):1-2.

Analytics

Added to PP index
2020-09-01

Total views
19 ( #584,826 of 2,518,244 )

Recent downloads (6 months)
3 ( #206,034 of 2,518,244 )

How can I increase my downloads?

Downloads

My notes