| 14238 | A class is an aggregate of objects; if you destroy them, you destroy the class; there is no empty class [Frege] |
| Full Idea: A class consists of objects; it is an aggregate, a collective unity, of them; if so, it must vanish when these objects vanish. If we burn down all the trees of a wood, we thereby burn down the wood. Thus there can be no empty class. | |
| From: Gottlob Frege (Elucidation of some points in E.Schröder [1895], p.212), quoted by Oliver,A/Smiley,T - What are Sets and What are they For? | |
| A reaction: This rests on Cantor's view of a set as a collection, rather than on Dedekind, which allows null and singleton sets. |
| 9157 | The null set is only defensible if it is the extension of an empty concept [Frege, by Burge] |
| Full Idea: Frege regarded the null set as an indefensible entity from the point of view of iterative set theory. It collects nothing. He thought a null entity (a null extension) is derivable only as the extension of an empty concept. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Tyler Burge - Frege on Apriority II | |
| A reaction: Frege is right, if you like sets. Othewise all the other sets are going to be defined simply by their extension, and the empty set has to be defined in a different way, which looks like appalling theory. Empty concepts bother me though! |
| 9835 | It is because a concept can be empty that there is such a thing as the empty class [Frege, by Dummett] |
| Full Idea: Since he thought of classes as extensions of concepts, ...it is because a concept can be empty that there is such a thing as the empty class. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Michael Dummett - Frege philosophy of mathematics Ch.8 | |
| A reaction: Frege was already up against the awaiting Russell Paradox, but this view also seems to imply that there are many empty classes, since the absences of sandwiches would be different from the absence of heroism. |
| 16895 | The null set is indefensible, because it collects nothing [Frege, by Burge] |
| Full Idea: Frege regarded the null set as an indefensible entity from the point of view of iterative set theory. It collects nothing. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Apriority (with ps) 2 | |
| A reaction: The null set defines the possibility that something could be collected. At the very least, it introduces curly brackets into the language. |
| 21548 | The null class is the class with all the non-existents as its members [MacColl, by Lackey] |
| Full Idea: In 1905 the Scottish logician Hugh MacColl published a paper in which he argued that the null class in logic should be taken as the class with all the non-existents as its members. | |
| From: report of Hugh MacColl (Symbolic Reasoning [1905]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.95 | |
| A reaction: For the null object (zero) Frege just chose one sample concept with an empty extension. MacColl's set seems to have a lot of members, given that it is 'null'. How many, I wonder? Russell responded to this paper. |
| 14113 | The null class is a fiction [Russell] |
| Full Idea: The null class is a fiction. | |
| From: Bertrand Russell (The Principles of Mathematics [1903], §079) | |
| A reaction: This does not commit him to regarding all classes as fictions - though he seems to have eventually come to believe that. The null class seems to have a role something like 'Once upon a time...' in story-telling. You can then tell truth or fiction. |
| 18393 | For 'there is a class with no members' we don't need the null set as truthmaker [Armstrong] |
|
Full Idea:
The null class is useful in formal set theory, but I hope that does not require that there be a thing called the null class which is truthmaker for the strange proposition |
|
| From: David M. Armstrong (Truth and Truthmakers [2004], 09.1) | |
| A reaction: It is not quite clear why it doesn't, but then it is not quite clear to philosophers what the status of the null set is, in comparison with sets that have members. |
| 13200 | Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton] |
| Full Idea: Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ. A man with an empty container is better off than a man with nothing. | |
| From: Herbert B. Enderton (Elements of Set Theory [1977], 1.03) |
| 13199 | The empty set may look pointless, but many sets can be constructed from it [Enderton] |
| Full Idea: It might be thought at first that the empty set would be a rather useless or even frivolous set to mention, but from the empty set by various set-theoretic operations a surprising array of sets will be constructed. | |
| From: Herbert B. Enderton (Elements of Set Theory [1977], 1:02) | |
| A reaction: This nicely sums up the ontological commitments of mathematics - that we will accept absolutely anything, as long as we can have some fun with it. Sets are an abstraction from reality, and the empty set is the very idea of that abstraction. |
| 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. |
| 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! |
| 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. |
| 15498 | We can accept the null set, but there is no null class of anything [Lewis] |
| Full Idea: There is no such class 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. | |
| From: David Lewis (Parts of Classes [1991], 1.2) | |
| A reaction: The point is that set theory is a formal system which can do what it likes, but classes are classes 'of' things. Everyone assumes that sets are classes, reserving 'proper classes' for the tricky cases up at the far end. |
| 15502 | There are four main reasons for asserting that there is an empty set [Lewis] |
| Full Idea: The null set is a denotation of last resort for class-terms that fail to denote classes, an intersection of x and y where they have no members in common, the class of all self-members, and the real numbers such that x^2+1=0. This is all mere convenience. | |
| From: David Lewis (Parts of Classes [1991], 1.4) | |
| A reaction: A helpful catalogue of main motivations for the existence of the null set in set theory. Lewis aims to undermine these reasons, and dispense with the wretched thing. |
| 15503 | We needn't accept this speck of nothingness, this black hole in the fabric of Reality! [Lewis] |
| Full Idea: Must 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 really. | |
| From: David Lewis (Parts of Classes [1991], 1.4) | |
| A reaction: We can only dream of reaching the level of confidence that Lewis reached, to make such beautiful fun of a highly counterintuitive idea that is rooted in the modern techniques of philosophy. |
| 13442 | Without the empty set we could not form a∩b without checking that a and b meet [Hart,WD] |
| Full Idea: Without the empty set, disjoint sets would have no intersection, and we could not form a∩b without checking that a and b meet. This is an example of the utility of the empty set. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: A novice might plausibly ask why there should be an intersection for every pair of sets, if they have nothing in common except for containing this little puff of nothingness. But then what do novices know? |
| 9986 | The null set was doubted, because numbering seemed to require 'units' [Tait] |
| Full Idea: The conception that what can be numbered is some object (including flocks of sheep) relative to a partition - a choice of unit - survived even in the late nineteenth century in the form of the rejection of the null set (and difficulties with unit sets). | |
| From: William W. Tait (Frege versus Cantor and Dedekind [1996], IX) | |
| A reaction: This old view can't be entirely wrong! Frege makes the point that if asked to count a pack of cards, you must decide whether to count cards, or suits, or pips. You may not need a 'unit', but you need a concept. 'Units' name concept-extensions nicely! |
| 9550 | We only know relational facts about the empty set, but nothing intrinsic [Chihara] |
| Full Idea: Everything we know about the empty set is relational; we know that nothing is the membership relation to it. But what do we know about its 'intrinsic properties'? | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 01.5) | |
| A reaction: Set theory seems to depend on the concept of the empty set. Modern theorists seem over-influenced by the Quine-Putnam view, that if science needs it, we must commit ourselves to its existence. |
| 9562 | In simple type theory there is a hierarchy of null sets [Chihara] |
| Full Idea: In simple type theory, there is a null set of type 1, a null set of type 2, a null set of type 3..... (Quine has expressed his distaste for this). | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 07.4) | |
| A reaction: It is bad enough trying to individuate the unique null set, without whole gangs of them drifting indistinguishably through the logical fog. All rational beings should share Quine's distaste, even if Quine is wrong. |
| 9573 | The null set is a structural position which has no other position in membership relation [Chihara] |
| Full Idea: In the structuralist view of sets, in structures of a certain sort the null set is taken to be a position (or point) that will be such that no other position (or point) will be in the membership relation to it. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 11.6) | |
| A reaction: It would be hard to conceive of something having a place in a structure if nothing had a relation to it, so is the null set related to singeton sets but not there members. It will be hard to avoid Platonism here. Set theory needs the null set. |
| 9572 | Realists about sets say there exists a null set in the real world, with no members [Chihara] |
| Full Idea: In the Gödelian realistic view of set theory the statement that there is a null set as the assertion of the existence in the real world of a set that has no members. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 11.6) | |
| A reaction: It seems to me obvious that such a claim is nonsense on stilts. 'In the beginning there was the null set'? |
| 8322 | I don't believe in the empty set, because (lacking members) it lacks identity-conditions [Lowe] |
| Full Idea: It is not clear to me that the empty set has well-defined identity-conditions. A set has these only to the extent that its members do - but the empty set has none. | |
| From: E.J. Lowe (The Possibility of Metaphysics [1998], 12.3 n8) | |
| A reaction: The empty set is widely used by those who base their metaphysics of maths on sets. It defines zero, and hence is the starting poing for Peano's Postulates (Idea 5897). It might not have identity in itself, but you know where you have arrived after 2 - 2. |
| 10713 | Usually the only reason given for accepting the empty set is convenience [Potter] |
| Full Idea: It is rare to find any direct reason given for believing that the empty set exists, except for variants of Dedekind's argument from convenience. | |
| From: Michael Potter (Set Theory and Its Philosophy [2004], 04.3) |
| 14239 | The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley] |
| Full Idea: The empty set is usually derived via Zermelo's axiom of separation. But the axiom of separation is conditional: it requires the existence of a set in order to generate others as subsets of it. The original set has to come from the axiom of infinity. | |
| From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 1.2) | |
| A reaction: They charge that this leads to circularity, as Infinity depends on the empty set. |
| 14240 | The empty set is something, not nothing! [Oliver/Smiley] |
| Full Idea: Some authors need to be told loud and clear: if there is an empty set, it is something, not nothing. | |
| From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 1.2) | |
| A reaction: I'm inclined to think of a null set as a pair of brackets, so maybe that puts it into a metalanguage. |
| 14241 | We don't need the empty set to express non-existence, as there are other ways to do that [Oliver/Smiley] |
| Full Idea: The empty set is said to be useful to express non-existence, but saying 'there are no Us', or ¬∃xUx are no less concise, and certainly less roundabout. | |
| From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 1.2) |
| 14242 | Maybe we can treat the empty set symbol as just meaning an empty term [Oliver/Smiley] |
| Full Idea: Suppose we introduce Ω not as a term standing for a supposed empty set, but as a paradigm of an empty term, not standing for anything. | |
| From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 1.2) | |
| A reaction: This proposal, which they go on to explore, seems to mean that Ω (i.e. the traditional empty set symbol) is no longer part of set theory but is part of semantics. |
| 8677 | Set theory makes a minimum ontological claim, that the empty set exists [Friend] |
| Full Idea: As a realist choice of what is basic in mathematics, set theory is rather clever, because it only makes a very simple ontological claim: that, independent of us, there exists the empty set. The whole hierarchy of finite and infinite sets then follows. | |
| From: Michèle Friend (Introducing the Philosophy of Mathematics [2007], 2.3) | |
| A reaction: Even so, for non-logicians the existence of the empty set is rather counterintuitive. "There was nobody on the road, so I overtook him". See Ideas 7035 and 8322. You might work back to the empty set, but how do you start from it? |
| 17752 | The empty set is useful for defining sets by properties, when the members are not yet known [Walicki] |
| Full Idea: The empty set is mainly a mathematical convenience - defining a set by describing the properties of its members in an involved way, we may not know from the very beginning what its members are. | |
| From: Michal Walicki (Introduction to Mathematical Logic [2012], 1.1) |
| 17753 | The empty set avoids having to take special precautions in case members vanish [Walicki] |
| Full Idea: Without the assumption of the empty set, one would often have to take special precautions for the case where a set happened to contain no elements. | |
| From: Michal Walicki (Introduction to Mathematical Logic [2012], 1.1) | |
| A reaction: Compare the introduction of the concept 'zero', where special precautions are therefore required. ...But other special precautions are needed without zero. Either he pays us, or we pay him, or ...er. Intersecting sets need the empty set. |