display all the ideas for this combination of texts
6 ideas
| 10807 | Mathematics reduces to set theory, which reduces, with some mereology, to the singleton function [Lewis] |
| Full Idea: It is generally accepted that mathematics reduces to set theory, and I argue that set theory in turn reduces, with some aid of mereology, to the theory of the singleton function. | |
| From: David Lewis (Mathematics is Megethology [1993], p.03) |
| 10809 | We can accept the null set, but not a null class, a class lacking members [Lewis] |
| Full Idea: In my usage of 'class', there is no such things as the null class. I don't mind calling some memberless thing - some individual - the null set. But that doesn't make it a memberless class. Rather, that makes it a 'set' that is not a class. | |
| From: David Lewis (Mathematics is Megethology [1993], p.05) | |
| A reaction: Lewis calls this usage 'idiosyncratic', but it strikes me as excellent. Set theorists can have their vital null class, and sensible people can be left to say, with Lewis, that classes of things must have members. |
| 10811 | The null set plays the role of last resort, for class abstracts and for existence [Lewis] |
| Full Idea: The null set serves two useful purposes. It is a denotation of last resort for class abstracts that denote no nonempty class. And it is an individual of last resort: we can count on its existence, and fearlessly build the hierarchy of sets from it. | |
| From: David Lewis (Mathematics is Megethology [1993], p.09) | |
| A reaction: This passage assuages my major reservation about the existence of the null set, but at the expense of confirming that it must be taken as an entirely fictional entity. |
| 10812 | The null set is not a little speck of sheer nothingness, a black hole in Reality [Lewis] |
| Full Idea: Should we accept the null set as a most extraordinary individual, a little speck of sheer nothingness, a sort of black hole in the fabric of Reality itself? Not that either, I think. | |
| From: David Lewis (Mathematics is Megethology [1993], p.09) | |
| A reaction: Correct! |
| 10813 | What on earth is the relationship between a singleton and an element? [Lewis] |
| Full Idea: A new student of set theory has just one thing, the element, and he has another single thing, the singleton, and not the slightest guidance about what one thing has to do with the other. | |
| From: David Lewis (Mathematics is Megethology [1993], p.12) |
| 10814 | Are all singletons exact intrinsic duplicates? [Lewis] |
| Full Idea: Are all singletons exact intrinsic duplicates? | |
| From: David Lewis (Mathematics is Megethology [1993], p.13) |