Abstraction and four kinds of invariance (Or: What's so logical about counting)

Research output: Contribution to journalArticlepeer-review

4 Scopus citations


Fine and Antonelli introduce two generalizations of permutation invariance - internal invariance and simple/double invariance respectively. After sketching reasons why a solution to the Bad Company problem might require that abstraction principles be invariant in one or both senses, I identify the most finegrained abstraction principle that is invariant in each sense. Hume's Principle is the most fine-grained abstraction principle invariant in both senses. I conclude by suggesting that this partially explains the success of Hume's Principle, and the comparative lack of success in reconstructing areas of mathematics other than arithmetic based on non-invariant abstraction principles.

Original languageEnglish (US)
Pages (from-to)3-25
Number of pages23
JournalPhilosophia Mathematica
Issue number1
StatePublished - 2017

Bibliographical note

Publisher Copyright:
© The Author [2016].


Dive into the research topics of 'Abstraction and four kinds of invariance (Or: What's so logical about counting)'. Together they form a unique fingerprint.

Cite this