Combining Texts

Ideas for 'Nature and Observability of Causal Relations', 'What is the Source of Knowledge of Modal Truths?' and 'What are Sets and What are they For?'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


5 ideas

4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley]
The empty set is something, not nothing! [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]