display all the ideas for this combination of texts
5 ideas
| 9634 | Set theory says that natural numbers are an actual infinity (to accommodate their powerset) [Brown,JR] |
| Full Idea: The set-theory account of infinity doesn't just say that we can keep on counting, but that the natural numbers are an actual infinite set. This is necessary to make sense of the powerset of ω, as the set of all its subsets, and thus even bigger. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
| A reaction: I don't personally find this to be sufficient reason to commit myself to the existence of actual infinities. In fact I have growing doubts about the whole role of set theory in philosophy of mathematics. Shows how much I know. |
| 9613 | Naïve set theory assumed that there is a set for every condition [Brown,JR] |
| Full Idea: In the early versions of set theory ('naïve' set theory), the axiom of comprehension assumed that for any condition there is a set of objects satisfying that condition (so P(x)↔x∈{x:P(x)}), but this led directly to Russell's Paradox. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: How rarely any philosophers state this problem clearly (as Brown does here). This is incredibly important for our understanding of how we classify the world. I'm tempted to just ignore Russell, and treat sets in a natural and sensible way. |
| 9615 | Nowadays conditions are only defined on existing sets [Brown,JR] |
| Full Idea: In current set theory Russell's Paradox is avoided by saying that a condition can only be defined on already existing sets. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: A response to Idea 9613. This leaves us with no account of how sets are created, so we have the modern notion that absolutely any grouping of daft things is a perfectly good set. The logicians seem to have hijacked common sense. |
| 9617 | The 'iterative' view says sets start with the empty set and build up [Brown,JR] |
| Full Idea: The modern 'iterative' concept of a set starts with the empty set φ (or unsetted individuals), then uses set-forming operations (characterized by the axioms) to build up ever more complex sets. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: The only sets in our system will be those we can construct, rather than anything accepted intuitively. It is more about building an elaborate machine that works than about giving a good model of reality. |
| 9642 | A flock of birds is not a set, because a set cannot go anywhere [Brown,JR] |
| Full Idea: Neither a flock of birds nor a pack of wolves is strictly a set, since a flock can fly south, and a pack can be on the prowl, whereas sets go nowhere and menace no one. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 7) | |
| A reaction: To say that the pack menaced you would presumably be to commit the fallacy of composition. Doesn't the number 64 have properties which its set-theoretic elements (whatever we decide they are) will lack? |