Colm Bhandal commented on my article on sets in abstractmath.org.
Let me first of all say that I am impressed with your website. It gave
me a few very good insights into set notation. Now, I’ll get straight
to the point. While reading your page, I came across a section
claiming that:“Sets do not have to be homogeneous in any sense”
This confused me for a while, as I was of the opinion that all objects in a set were of the same type. After thinking about it for a while, I came to a conclusion:
A set defines a level of abstraction at which all objects are homogeneous, though they may not be so at other levels of abstraction.
Taking the example on your page, the set {PI^2, M, f, 42, -1/e^2} contains two irrational numbers, a matrix, a function, and a whole number. Thus, the elements are not homogeneous from one perspective (level of abstraction as I call it) in that they are spread across four known sets. However, in another sense they are homogeneous, in that they are all mathematical objects. Sure, this is a very high level of abstraction: A mathematical object could be a lot of things,
but it still allows every object in the set to be treated homogeneously i.e. as mathematical objects.
You are right. I think I had better say “The elements of a set do not have to be ‘all of the same kind’ in the sense of that phrase in everyday speech.” Of course, a mathematician would say the elements of a set S are “all of the same kind”, the “kind” being elements of S.
Apparently, according to the way our brains work, there are natural kinds and artificial kinds. There is something going on in my students’ minds that cause them to be bothered by sets like that given about or even sets such as {1,3,5,6,7,9,11} (see the Handbook, page 279). Philosophers talk about “natural kinds” but they seem to be referring to whether they exist in the world. What I am talking about is a construct in our brain that makes “cat” a natural kind and “blue-eyed OR calico cat” an artificial kind. Any teacher of abstract math knows that this construct exists and has to be overcome by talking about how sets can be arbitrary, functions can be arbitrary, and so on, and that’s OK.
This distinction seems to be built into our brains. A large part of abstractmath.org is devoted to pointing out the clashes between mathematical thinking and everyday thinking.
Disclaimer: When I say the distinction is “built into our brains” I am not claiming that it is or is not inborn; it may be a result of cultural conditioning. What seems most likely to me is that our brains are wired to think in terms of natural kinds, but culture may affect which kinds they learn. Congnitive theorists have studied this; they call them “natural categories” and the study is part of prototype theory. I seem to remember reading that they have some evidence that babies are born with the tendency to learn natural categories, but I don’t have a reference.
Send to Kindle
I feel very confident that this kind of categorizing is built in. As far as I know, all societies classify the natural world in much the same way. For example, all classified whales and other sea mammals as fish and biological classification is unnatural (I am not claiming it is wrong). And the Japanese were probably out of step in classifying squirrels with birds, but that is at the margins. (For many centuries, consumption of mammals was taboo, but squirrels and whales were exceptions.)
Needless to say in the cumulative hierarchy that is the usual model for sets, all elements are of the same kind, namely other sets.
Reply to Michael Barr:
I seem to remember reading that “mammal” was not an instance of natural kind. Apparently dogs and cats are natural kinds but groups higher up in the classification tree are not. However, the whole literature is confusing, in part because people aren’t clear about whether they are arguing that natural kinds exist in the world or are a function of the brain.
Anyway, I have repeatedly seen students bothered by examples of sets with variegated elements; there is definitely something going on in the brain there. (I am not claiming it is inborn.)
How’s this for an argument that members of sets should not be regarded as homogeneous: if they were, then they might be regarded as belonging to various different kinds ({1,2} could be positive integers, mathematical objects, etc.) and appropriately regarded as constituting different sets depending on which, thereby subverting the axiom of extensionality for sets (which, to my very limited knowledge of category theory doesn’t get used much there, even when the categories are (locally) small).
‘Natural kinds’ in different languages tend to carve up the world in similar but not identical ways, for example in the Arandic languages of Central Australia, there is no distinction made between praying mantises and stick insects, which are quite distinct for English speakers who are interested in creepy-crawlies (the word is along the lines of ‘iltywilty’, although Arandic spelling is very confusing and somewhat variable between the languages). So one cannot rely on any kind of unique natural kind concept to fix this. Indeed, I think that ‘creepy-crawlies’ (reptiles, lizards, insects, spiders, centipedes, …) is a natural kind for speakers of Australian english, but not American.
Actually the above isn’t quite right; there’s a philosophical concept of natural kind (forex in Stanford Encyclopedia of Philosophy) whereby natural kinds are kinds that don’t depend on people, so that ‘mammal’ certainly be one, but also a more psychological one for concepts that people pick up in everyday life rather than by mastering technical definitions, of which ‘mammal’ isn’t (but everyday ‘fish’ and ‘creepycrawly’ would be). _Concepts, Kinds, and Cognitive Development_ Frank C. Keil (1992) might be a reasonable source on this. Not too relevant to math however.