more on this theme     |     more from this thinker


Single Idea 13546

[filed under theme 4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size ]

Full Idea

We group under the heading 'limitation of size' those principles which classify properties as collectivizing or not according to how many objects there are with the property.

Gist of Idea

The 'limitation of size' principles say whether properties collectivise depends on the number of objects

Source

Michael Potter (Set Theory and Its Philosophy [2004], 13.5)

Book Ref

Potter,Michael: 'Set Theory and Its Philosophy' [OUP 2004], p.227


A Reaction

The idea was floated by Cantor, toyed with by Russell (1906), and advocated by von Neumann. The thought is simply that paradoxes start to appear when sets become enormous.


The 14 ideas from 'Set Theory and Its Philosophy'

Set theory's three roles: taming the infinite, subject-matter of mathematics, and modes of reasoning [Potter]
Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter]
We can formalize second-order formation rules, but not inference rules [Potter]
Collections have fixed members, but fusions can be carved in innumerable ways [Potter]
Mereology elides the distinction between the cards in a pack and the suits [Potter]
Nowadays we derive our conception of collections from the dependence between them [Potter]
If dependence is well-founded, with no infinite backward chains, this implies substances [Potter]
Priority is a modality, arising from collections and members [Potter]
If set theory didn't found mathematics, it is still needed to count infinite sets [Potter]
Usually the only reason given for accepting the empty set is convenience [Potter]
A relation is a set consisting entirely of ordered pairs [Potter]
Infinity: There is at least one limit level [Potter]
It is remarkable that all natural number arithmetic derives from just the Peano Axioms [Potter]
The 'limitation of size' principles say whether properties collectivise depends on the number of objects [Potter]