Part 4 of my blog chain Universal Structure. Start here.
As we built up our taxonomy of
dogs we talked about things we can point at — things that exist in the real world, like cats and dogs.
Let's call these things in the real world entities. The words we use rarely describe a single entity. We use
cat for all kinds of cats. And that's what makes a category. The symbol
cat signifies a category that can stand for any cat in the real world. When you say
cat you mean that the thing in the real world you refer to is a kind of cat — it's part of the category of all things in the world that are
That's a powerful way to compress a fairly complex concept into a single symbol
cat. That makes it much easier to reason about
cats. And if we agree on what belongs into that category, we have an efficient way to communicate with each other. I say
cat and you know what I mean.
Entities have properties. A cat could be black. That's a property. Cats usually have four legs, whiskers, a tail, and make a “meow” sound — more properties.
dogs share some properties, but some are different between them. A certain combination of these properties makes a cat a
cat and therefore distinguishes it from a
Common properties define a category. All things of a certain kind share these same properties. Properties that are different between things distinguish their categories.1
There's another thing missing to help us fully describe our world. Entities not only have properties, they can also stand in relations among each other. If there's a glass of water sitting on your desk, the entities
desk are part of a relation
on. If you're sitting in front of your desk, the entities
you (yes, you get to be an entity too!) and
desk are part of a relation
in front of.
With relationships we can express specific ways in which entities are connected to each other, independent of their properties.
With these three simple concepts, we can structure our world so we can think and talk about it: Entities in the real world have properties (which also define which categories they belong to) and can have relations between them.
Which specific properties make a cat a
cat then? How do we know which kinds of things are part of the category
There are different theories about that. You don't have to be a scientist to have theories.2 In fact, we all live our lives mostly based on scientifically incorrect or at least imprecise theories, so called folk theories.
For instance, you might assume for all practical purposes that things always fall down thanks to gravity. In your everyday life this theory has probably served you well. Except if you happen to be an astronaut or for some reason are really into physics. Then you probably understand that the “always down” theory is a little too simplistic and in some cases incorrect. Thankfully, you don't usually witness these cases in everyday life and so a much simpler albeit not entirely correct theory works for you just fine.
As small children we start to build our own theories of the world. Thanks to certain children's toys and books and exposure to real pets, we learn early on that cats make “meow” and dogs make “wuff”, that cats have whiskers and dogs don't, and perhaps that cats scratch and dogs bite.
We observe our environment and when things happen more often, at the same time, or in the same place, we tend to detect patterns and are biased to conclude these things are connected somehow. As we understand which properties these things have in common, we put them in a category. We might give that category a name, or we just think of them as being similar somehow. Things that differ end up in different categories and so we can distinguish categories like
dog from each other.
Categories tell us which properties all entities of a certain kind must have, and which ones they can't have. We're wired to look for similarities and differences between things, so we can put them into the correct categories.
Categories are universal
We constantly categorize, putting animals, things, and people into categories all the time. We do this automatically and unconsciously. We're so good at it, that we don't even realize doing it. Only in rare cases, when something doesn't match up, we may become aware of this process.
We perceive kinds of things. We reason about kinds of things. We perform kinds of motor activities. We understand or produce kinds of speech sounds when we listen or speak, and we understand or produce kinds of words when we read or write.
We understand our world in terms of kinds of things — in terms of categories. We have categories for everything we can talk, write, and think about. Without the ability to categorize we could not function in the physical world and in our social and intellectual lives.
Categories structure our perception, our thought, our actions, and our language — they structure our world. What could be more universal than that?
To be continued…
We can make a distinction between essential and accidental properties.
- Essential properties are those that define a category and all members of that category share them. If one property of a thing doesn't match, then it's not that kind of thing.
- Accidental properties are other properties a thing has, but that don't affect if it belongs to a certain category or not.
Scientists practically do the same thing, but they use much more elaborate equipment to see things we can't see with our bare eyes, and measure things in scales that are out of what we can perceive as humans. They also follow a much more rigorous process to validate their findings — the scientific method. As such they get to define the essential properties categories require for things to be part of that category. Think of biologists categorizing all life into a complex taxonomy, or astrophysicists deciding if Pluto gets to be a