Abstraction and Four Kinds of Invariance (Or: What’s So Logical About Counting)

Citation data:

Philosophia Mathematica, ISSN: 0031-8019, Vol: 25, Issue: 1, Page: 3-25

Publication Year:
2017

No metrics available.

DOI:
10.1093/philmat/nkw014
Author(s):
Roy T. Cook
Publisher(s):
Oxford University Press (OUP)
Tags:
Mathematics, Arts and Humanities
article description
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.

This article has 0 Wikipedia mention.