Two types of abstraction for structuralism

Oystein Linnebo*, Richard Pettigrew

*Corresponding author for this work

Research output: Contribution to journalArticle

11 Citations (Scopus)

Abstract

If numbers were identified with any of their standard set-theoretic realizations, then they would have various non-arithmetical properties that mathematicians are reluctant to ascribe to them. Dedekind and later structuralists conclude that we should refrain from ascribing to numbers such 'foreign' properties. We first rehearse why it is hard to provide an acceptable formulation of this conclusion. Then we investigate some forms of abstraction meant to purge mathematical objects of all 'foreign' properties. One form is inspired by Frege; the other by Dedekind. We argue that both face problems.

Original languageEnglish
Pages (from-to)267-283
Number of pages17
JournalThe Philosophical Quarterly
Volume64
Issue number255
Early online date7 Feb 2014
DOIs
Publication statusPublished - Apr 2014

Keywords

  • structuralism
  • abstraction
  • Dedekind
  • Frege
  • mathematics

Cite this

Two types of abstraction for structuralism. / Linnebo, Oystein; Pettigrew, Richard.

In: The Philosophical Quarterly, Vol. 64, No. 255, 04.2014, p. 267-283.

Research output: Contribution to journalArticle

Linnebo, O & Pettigrew, R 2014, 'Two types of abstraction for structuralism', The Philosophical Quarterly, vol. 64, no. 255, pp. 267-283. https://doi.org/10.1093/pq/pqt044
Linnebo, Oystein ; Pettigrew, Richard. / Two types of abstraction for structuralism. In: The Philosophical Quarterly. 2014 ; Vol. 64, No. 255. pp. 267-283.
@article{d9c4ae6c16744b3db6321a976f9b2dab,
title = "Two types of abstraction for structuralism",
abstract = "If numbers were identified with any of their standard set-theoretic realizations, then they would have various non-arithmetical properties that mathematicians are reluctant to ascribe to them. Dedekind and later structuralists conclude that we should refrain from ascribing to numbers such 'foreign' properties. We first rehearse why it is hard to provide an acceptable formulation of this conclusion. Then we investigate some forms of abstraction meant to purge mathematical objects of all 'foreign' properties. One form is inspired by Frege; the other by Dedekind. We argue that both face problems.",
keywords = "structuralism, abstraction, Dedekind, Frege, mathematics",
author = "Oystein Linnebo and Richard Pettigrew",
year = "2014",
month = "4",
doi = "10.1093/pq/pqt044",
language = "English",
volume = "64",
pages = "267--283",
journal = "The Philosophical Quarterly",
issn = "0031-8094",
publisher = "Wiley-Blackwell",
number = "255",

}

TY - JOUR

T1 - Two types of abstraction for structuralism

AU - Linnebo, Oystein

AU - Pettigrew, Richard

PY - 2014/4

Y1 - 2014/4

N2 - If numbers were identified with any of their standard set-theoretic realizations, then they would have various non-arithmetical properties that mathematicians are reluctant to ascribe to them. Dedekind and later structuralists conclude that we should refrain from ascribing to numbers such 'foreign' properties. We first rehearse why it is hard to provide an acceptable formulation of this conclusion. Then we investigate some forms of abstraction meant to purge mathematical objects of all 'foreign' properties. One form is inspired by Frege; the other by Dedekind. We argue that both face problems.

AB - If numbers were identified with any of their standard set-theoretic realizations, then they would have various non-arithmetical properties that mathematicians are reluctant to ascribe to them. Dedekind and later structuralists conclude that we should refrain from ascribing to numbers such 'foreign' properties. We first rehearse why it is hard to provide an acceptable formulation of this conclusion. Then we investigate some forms of abstraction meant to purge mathematical objects of all 'foreign' properties. One form is inspired by Frege; the other by Dedekind. We argue that both face problems.

KW - structuralism

KW - abstraction

KW - Dedekind

KW - Frege

KW - mathematics

U2 - 10.1093/pq/pqt044

DO - 10.1093/pq/pqt044

M3 - Article

VL - 64

SP - 267

EP - 283

JO - The Philosophical Quarterly

JF - The Philosophical Quarterly

SN - 0031-8094

IS - 255

ER -