The Ancient List That Classifies Everything (Even Nothing)
The Great Sorting Game
Imagine your room is a mess. You decide to put everything into boxes: one for toys, one for clothes, one for books. But then you hold up an empty jar. Where does nothing go?
More than two thousand years ago, philosophers in India started a similar sorting project, only their goal was to classify absolutely everything that exists — and even some things that don’t. This school became known as Vaiśeṣika (from viśeṣa, meaning “particularity” or “difference”). By the 17th century, thinkers in the Navya-Nyāya (“new logic”) tradition, like the author of The Manual of Reason, had refined the system into a precise, almost mathematical map of reality.
Their list of categories — called padārthas — had seven entries: substance, quality, motion, universal, particularity, inherence, and, most startlingly, absence. That last one makes you stop. They really believed that an empty jar contains a real, perceivable absence of objects, not just a lack of stuff. Understanding why opens a window onto one of the most rigorous attempts ever made to answer the question: What is there?
A Diagnostic, Not a Dictionary
Vaiśeṣika philosophers didn’t just guess at categories. They designed a three-step method like a detective’s checklist: enumeration, definition, and examination.
First, you name the class of thing you want to understand — say “cow.” Then you propose a defining characteristic, something that marks it off from everything else. For a cow, they suggested “having a dewlap,” the loose fold of skin under the chin. Finally, you examine the definition ruthlessly. Does the characteristic over-cover (apply to things that aren’t cows)? Does it under-cover (miss some cows)? A good definition must be co-extensive with the class: covering all and only cows. In modern terms, the defining property must be both necessary and sufficient.
This approach treats definitions as diagnostic tools, not as revelations of hidden essences. You don’t need to know the deep nature of something to identify it — just a reliable mark. The same method gets applied to the deepest categories of existence.
The Stuff the World Is Made Of
According to Vaiśeṣika, substances are the bedrock of reality. There are nine kinds, but five of them make up the physical world: earth, water, fire, air, and ākāśa (a space-like substance that carries sound). Each physical substance has a signature sensible quality: earth alone has odor; water adds cold touch; fire has hot touch; air can be felt but not seen; and ākāśa alone holds sound. The definitions are carefully layered, not just “earth is solid” — they’re cross-sensory clues.
But what are these substances made of, when you zoom in? The Vaiśeṣikas were atomists. Visible objects are composites built from indivisible, indestructible atoms. The tiniest perceptible thing — a fleck of dust in a sunbeam — is a triad (three parts), each part a dyad, and each dyad made of two atoms. So every visible object is a towering Lego tower of invisible bits.
Why can’t you split atoms further? The Manual of Reason offers a fascinating argument: if matter were infinitely divisible, a mustard seed and Mount Meru would have the same number of parts — an infinite number — and would therefore have the same size, which is absurd. The size of a whole depends on the size, number, and arrangement of its parts. So atoms must be the stopping point. This argument ties atomic structure to the very possibility of different sizes.
When Nothing Is Something
Now the dramatic twist. Alongside substances, qualities, and motions, the later Vaiśeṣika school added absence (abhāva) as a seventh category. To them, negative facts are as real as positive ones. When you walk into a room and instantly know “the cat is not here,” your awareness isn’t just about what you see — it’s a direct perception of an absence.
This matters because of their correspondence theory of truth: a true sentence corresponds to a fact. The sentence “The pot is not on the ground” can’t correspond to a fact made only of existing objects and relations; it needs something negative. So they created a whole ontology of absences, sorted into four types:
- Prior absence: before a thing comes into existence (e.g., before a pot is made).
- Posterior absence: after a thing is destroyed (the pot shattered).
- Constant absence: something never located somewhere (heat never in ice).
- Difference: one thing not being another (a pot is not a cloth).
Even double negations behave logically: the absence of the prior absence of a pot just is the pot itself. Their work on absence anticipates ideas in modern logic, like treating negation as a real operation rather than just a mental trick.
How Do You Know That? The Cause of True Belief
The Vaiśeṣika project wasn’t just about what exists; it was equally about how we know anything. They developed a causal theory of knowledge: a true cognition is one produced by a reliable source, or pramāṇa. They counted four such sources — perception, inference, comparison, and testimony — and each is a special causal factor that, when working properly, brings about true beliefs.
Take perception: you see a cow because your eye is in sensory contact with the animal. But for the perception to count as knowledge, an extra condition is needed — the object must actually have the property you attribute to it. If you mistake a coil of rope for a snake, the fault lies in the wrong qualifier being recalled from memory and superimposed onto the rope.
Inference is even more carefully studied. To infer that a mountain has fire because you see smoke, you must know a pervasion (vyāpti) — a universal rule like “wherever there is smoke, there is fire,” with no counter-examples. The great logician Gaṅgeśa (14th century) examined over twenty definitions of pervasion and found them all flawed, until he crafted one that could handle tricky cases like properties that are only partially present (imagine a monkey touching a branch: the tree is both in-contact-with-a-monkey and not-in-contact-with-a-monkey at the same time) and properties that apply to everything (like “nameable”). Gaṅgeśa’s final definition uses a clever trick to avoid the need to refer to non-existent things, keeping the logic clean. This work is a milestone in the history of logic.
Memory, by contrast, is not a source of new knowledge. It only reproduces a past knowing experience, so its truth is dependent on that original episode — like a photocopy that’s only as reliable as the original.
The Self and the Cosmic Architect
So far, the system explains the physical world and our knowledge of it. But what about the knower? The Vaiśeṣikas argued that a human self (ātman) must be a distinct substance, because a merely physical body or a stream of momentary sense experiences can’t explain something basic: re-identification. You can look at a pot, close your eyes, then touch it and think, “I who saw that pot am now touching it.” That “I” persists across different senses and times. They reasoned that no bundle of visual, tactile, or auditory events can do the job — you need a single enduring substratum of mental qualities.
The universe itself, they thought, also requires a maker. Their causal argument for God runs like a potter analogy: a dyad (the smallest composite entity, made of two atoms) is an effect; every effect has a maker — an intelligent agent who knows the material, desires the product, and acts accordingly. Since dyads are natural, not human-made, they point to a cosmic maker who arranges the atoms. Critics pointed out that this is like saying an anthill has an intelligent designer; the Vaiśeṣikas replied that the pattern still holds if you look at the most basic building blocks, not complex animals. The debate is very much alive in philosophy of religion today.
Why an Empty Box Still Matters
You might never have thought of “nothing” as a real ingredient of the world. But every time you check your backpack and say “my lunch isn’t there,” you’re navigating an absence. The Vaiśeṣikas take this ordinary experience seriously and build a whole logical system around it. Their method of testing definitions — checking for over-coverage and under-coverage — is exactly what scientists and mathematicians do when they refine concepts like “planet” or “prime number.” Their conviction that knowledge requires a reliable, causally-traceable connection still echoes in discussions about whether we can trust our senses or AI-generated reports. And their atomic theory, while distinct from modern physics, raises the same deep question: is there a smallest unit of matter, or does division go on forever? The ancient list isn’t just a museum piece; it’s a challenge to look at the world — full and empty — with fresh, detective-like eyes.
Think about it
- If you walk into your kitchen and immediately know “there are no cookies,” are you seeing a real absence, or are you just noticing that the jar doesn’t match a picture in your mind?
- Could you prove that every particle in the universe is made of a few simple building blocks, or might some things be infinitely breakable? What kind of evidence would settle the question?
- Think of a category like “game” or “sandwich.” Try to give a definition that perfectly covers all games and no non-games. Where does your definition break? Does that mean the category isn’t real, or just that our language is messy?
