Combining Texts

All the ideas for 'fragments/reports', 'What are Sets and What are they For?' and 'Realism in Mathematics'

expand these ideas     |    start again     |     specify just one area for these texts


16 ideas

4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
The empty set is something, not nothing! [Oliver/Smiley]
The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley]
We don't need the empty set to express non-existence, as there are other ways to do that [Oliver/Smiley]
Maybe we can treat the empty set symbol as just meaning an empty term [Oliver/Smiley]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
The unit set may be needed to express intersections that leave a single member [Oliver/Smiley]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
Maddy replaces pure sets with just objects and perceived sets of objects [Maddy, by Shapiro]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
If you only refer to objects one at a time, you need sets in order to refer to a plurality [Oliver/Smiley]
We can use plural language to refer to the set theory domain, to avoid calling it a 'set' [Oliver/Smiley]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
Logical truths are true no matter what exists - but predicate calculus insists that something exists [Oliver/Smiley]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
If mathematics purely concerned mathematical objects, there would be no applied mathematics [Oliver/Smiley]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley]
A natural number is a property of sets [Maddy, by Oliver]
6. Mathematics / C. Sources of Mathematics / 2. Intuition of Mathematics
Intuition doesn't support much mathematics, and we should question its reliability [Maddy, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
We know mind-independent mathematical truths through sets, which rest on experience [Maddy, by Jenkins]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]