A Beginner's Companion to the Main Text

Here's a question that sounds simple: if nobody is looking at a mountain, does the mountain still exist?

Most people think this question just wants a yes or a no. It doesn't. It's a trap, and seeing exactly how it's a trap — all the way down, past every clever escape route — turns out to be one of the most useful pieces of philosophy Buddhist thinkers ever worked out. This companion walks the whole path: a distinction between two ways of thinking about labels (a teaching device of this book's own, not a classical division), five rounds of a sceptic pushing back, each one closing off an escape hatch, and then a second half explaining why the conclusion isn't the depressing one people usually expect. It retraces in plain terms what Part 1 argues at length and Part 2 applies to the mountain, the flower and space; it can be read first, or as a review after them.

First, a Distinction That Changes Everything: Two Ways to Think About Labels

Before the mountain, one distinction has to be in place, because without it, every round below secretly cheats.

Picture two different stories about how a label gets attached to something.

Story one: the thing comes first, the label comes second. Something already exists, fully formed, sitting there — and afterwards, a mind notices it and slaps a name on it, the way you might put a sticker on a box that was already packed. Call this conceptual designation. It sounds harmless, almost too obvious to question. But look at what it quietly assumes: a sequence. Existence first. Naming second. The thing was already fully itself before anyone got around to labelling it — the label is just bookkeeping, added afterwards, changing nothing about what was already there.

Story two: there's no first and second at all. The thing and the label arise together, mutually, with neither one available without the other — not because they happen at exactly the same instant like a coincidence, but because neither side is a coherent, complete thing on its own. Call this dependent designation. Nothing here is arranged in a hierarchy, and nothing happens in sequence.

This second story sounds strange at first, so here's the fastest way into it: think about 'long' and 'short'. Is a ten-foot rope long? By itself, that question has no answer — it's long next to a five-foot rope, and short next to a fifteen-foot one. Now notice: the rope was never sitting there already possessing 'longness' as one of its built-in features, just waiting for a shorter rope to show up so the label could be correctly applied. 'Long' never existed as a property of the rope prior to the comparison. Long, short and the comparison are designated together. There was no rope-that-is-long first, and then a labelling-event second. The designation and what it's designated upon arise together, or not at all.

The same is true of 'parent' and 'child'. Nobody becomes a parent first, as a complete, self-contained state, and then — as a separate, subsequent step — enters into a relationship with a child. Being a parent already is being in that relation. The two arise together, neither one available or complete without the other.

This matters enormously for what follows, because it's tempting to describe everything below using conceptual designation's language without noticing — saying things like 'a boundary gets drawn onto raw material' or 'a label gets placed on top of something'. That phrasing keeps a whisper of sequence alive: raw material first, boundary second. It sounds humble and careful, but it secretly smuggles conceptual designation back in through the grammar, even while the argument is trying to rule it out. What follows tries to use dependent designation's structure throughout instead: nothing is 'underneath', waiting to be found or bounded. What's designated and the designating are one event, described from two angles, not two events in sequence.

Round One: The Trap Is Already in the Question

To ask 'does the mountain exist unperceived?' is to already accept that there's a single, well-defined thing called 'the mountain', and only afterwards to ask whether this already-agreed-upon thing has the extra property of existing while unwatched. That first step was never checked — and it's conceptual designation's sequence, hiding inside an innocent-sounding question.

Part 2 walks through this search in detail; in brief: try to point to the mountain itself, not the word. Is it the rock? Which rock — where does the mountain's rock stop and the neighbouring hill's rock begin? The soil? The trees on its slope? The water running down it, which apparently stops belonging to 'the mountain' the instant it crosses into the valley — but who decided that instant? The underground rock, seamlessly connected to rock miles away?

There's no line written into nature that says 'mountain here, not-mountain there'. But it would also be a mistake to say: 'so there's an undifferentiated field of rock and soil sitting there first, and a mind comes along afterwards and draws a boundary in it'. That story still has a first and second — raw field, then boundary — which is conceptual designation wearing a more sophisticated disguise. The more precise account is that 'mountain' and its boundary arise together with the act of designating: there was never a boundary-less field waiting around as a separate, prior stage, any more than the rope was 'long' before the comparison existed. Mountain-as-bounded and the designating of it as one thing are a single event, not two events in sequence. This is enormously useful — we can map it, climb it, build roads up it, and everyone will agree roughly where it is — but useful isn't the same as discovered. Nothing was discovered here, and nothing was arbitrarily invented out of nothing either. Something dependently designated is neither of those.

So the honest answer to 'does the world exist when no one's watching' isn't yes or no. Both answers accept a hidden assumption — a single, self-standing 'thing' whose existence-status just needs settling — and that assumption is what needs questioning instead.

A sharp reader will now object: 'Fine, the boundary doesn't precede the designation. But there's still real stuff involved — you're not denying the rock exists, just that we're vague about where "mountain" stops.' Fair. Round two.

Round Two: Is the Raw Process Underneath Independent of Everything?

Take a process instead of a solid object: the sun fusing hydrogen into helium, or a rock slowly eroding. Surely this keeps happening whether or not anyone watches — plain common sense, and in one sense, true. The sun doesn't need an audience.

But watch what happens when 'keeps happening unwatched' quietly upgrades into 'exists as a raw process, completely independent of any mind, in any way, even in principle'. Ask: independent of what, exactly?

If it just means 'doesn't need someone watching right now' — fine, nobody disputes that. But if it means 'this process would be exactly this discrete, bounded, identifiable thing even if no mind had ever existed to pick a "process" out as one thing at all' — there's a problem, and it's the same one from round one, not a new one. You called it 'a process', singular, bounded, one. But a bounded, singular process and the picking-out of it as one thing are not two events, one prior to the other — they arise together, the way 'long' and the comparison that makes it long arise together. There was never a raw, unbounded flux sitting there first, later getting carved into 'a process' — carving-into-one-process and being-a-process are the same act, described twice. 'Independent dependent arising' quietly contradicts itself: something can't be dependently designated as one thing and also exist totally free of the designating that makes it one thing.

This is the same trap as the mountain's edge, just moved one level down — from shape to existence itself.

Round Three: Why the Easy Version of This Argument Isn't Quite Enough

There's a tempting way to close round two that actually doesn't fully work, and it's worth seeing why, because the sharper version matters for what comes later.

The easy version says: 'independent' always implies a relatum — independent of something — and chasing that relatum backward never terminates, so 'independence' collapses under an infinite regress. That's true for comparative independence. But a determined sceptic isn't claiming comparative independence. They're making one flat, specific claim: independent of cognition, full stop — not an open regress, just a single fixed negation. 'Independent in relation to what?' doesn't automatically dissolve that; the sceptic just answers 'in relation to mind' and stops.

The move that actually closes this gap goes back to the distinction from the beginning. To say 'a causal process, as such, persists' is to treat this continuity as one bounded thing, entitled to the count-noun 'a process', as if that boundedness were a feature the process had prior to and independent of being designated as one. But boundedness and designation-as-one arise together, mutually, the way 'parent' and 'child' do — neither is available first. So 'independent of cognition' isn't self-undermining because independence always needs a relatum somewhere out there in an endless regress. It's self-undermining because the very thing being declared independent — a discrete, single, nameable continuity — only exists as a discrete single thing through the same mutual, non-sequential relationship it's being declared independent from. There's no version of 'this one process' available to be independent, prior to the designating that makes it one process in the first place.

Now the sceptic has one serious move left.

Round Four: The Real Fallback Position

There's a genuine, historically important version of this pushback, developed within Buddhist philosophy itself, associated with the philosopher Dharmakīrti. It's worth stating carefully, because the weak version of it is easy to knock down and the strong version is not.

The weak version says: 'raw particulars sit underneath, like a bare substance, waiting non-conceptually before any mind touches them'. That's not actually Dharmakīrti's position, and attacking it would be attacking a shadow. Dharmakīrti doesn't posit a substance separate from its properties, waiting to be uncovered — he explicitly rejects that substance/property split. His real claim is sharper and doesn't depend on any hidden substrate at all. In paraphrase (these are not his words):

'Fine — labels, categories, the word "mountain", the word "process" — all conventional, all involve minds, I concede all of it. What is real, prior to and independent of any of that conceptual overlay, is the momentary, causally efficacious particular (svalakṣaṇa) — not because it sits there as a bare thing, but because it does something. It produces effects. Causal efficacy is the mark of the real; concepts are what's left over once you subtract everything that doesn't.'

Notice exactly where this position lives now: it isn't conceptual designation relocated to a finer grain of stuff. It's a different kind of claim entirely — that intrinsic reality is established by causal efficacy, not by categorial boundedness. This survives rounds one through three completely intact, because those rounds targeted bounded processes and general categories, not the inference from does something to therefore exists independently. It needs a different move entirely.

Round Five: Subtract Everything and See What's Left

Take any object. A coffee cup will do. Start subtracting: remove the colour, the sound it makes when tapped, the texture under a hand, the taste, the smell — and then remove the mental act that bundles all of this into 'one cup' rather than a meaningless scatter of unconnected sensations. What's left?

Answer honestly, not rhetorically. The first instinct is 'the shape is left' — but shape is visual and tactile data, already subtracted. Then: 'the substance that has the shape and the colour is left' — but what is this substance, apart from having a shape and a colour? There's nothing left to point at except the shape and colour again, already removed. 'Substance holding the qualities together' is a placeholder word, not something actually found.

Notice the shape this search took: it assumed a substance was sitting underneath the qualities, waiting to be uncovered once the qualities were peeled away — first the substrate, discovered second by subtraction. But if substrate and quality are dependently designated, mutually, with neither available without the other, then there was never a substrate-prior-to-its-qualities to arrive at once the subtraction finished. The subtraction doesn't fail to reach the substance because the substance is elusive. It fails because 'the substance, apart from the qualities it depends on and that depend on it', was never a coherent target — the same way 'the rope's longness, apart from any comparison', was never a coherent target.

Buddhist philosophy worked this out through the sevenfold analysis of a chariot: search, as Candrakīrti did, for the chariot as identical with its parts — the wheels, the axle, the frame — or as different from them, or as the owner of the parts, or as contained in them, or as containing them, or as the mere collection, or as the collection's shape. Every option fails, and there is no eighth place left to look. The chariot isn't hiding somewhere unchecked. And critically: the parts aren't independently 'parts' first, sitting there as bare items, with 'the chariot' designated onto them afterwards as a second step. They're only parts of a chariot because the whole is designated; the whole is only available designated upon the parts. Whole and parts arise together, mutually, hierarchy-free — neither one is the 'real' one that grounds the other.

Dharmakīrti's move needs a different kind of pressure than the cup and the chariot got, because he isn't claiming a substance is hiding under qualities — he's claiming that doing something is itself sufficient to establish independent, intrinsic reality. So the question to ask isn't 'what's left after you subtract the qualities' — he'd shrug at that, he never needed a bare substrate. The question is: why should causal efficacy establish independence at all?

Grant him everything he wants — momentariness, no enduring substance, no essence separate from causal power. The particular he's pointing to is still only ever encountered as an effect of prior conditions and a cause of subsequent ones — its very status as 'this one causally efficacious thing', bounded and countable, is exactly the kind of individuation Round Two already showed can't be established independently of the relations that make something one process rather than an arbitrary slice of what is designated as a causal web. Efficacy doesn't rescue the particular from that problem; efficacy is itself a relational fact — a capacity to produce effects in relation to certain conditions and not others. 'Causally efficacious' and 'independently existing' aren't the same claim, and the second doesn't follow from the first. Something can function with total reliability, producing effect after effect exactly as Dharmakīrti says, while every boundary that makes it this one efficacious particular rather than an arbitrary cut—the 'causal continuum' itself being designated within a causal framework—is established only relationally. There's no remainder to find here — not because the particular is shyly hiding, but because 'the particular, individuated as one thing, independent of the relations that make it one' was never a coherent target, any more than 'the rope's longness, apart from any comparison', was.

Dharmakīrti at least never needed a bare substrate to make his case. But the substrate move he avoided is worth seeing fail on its own terms too, because it's the more intuitive way to smuggle a 'first' back in, and it collapsed independently in European philosophy along exactly the lines the cup already traced. John Locke proposed that beneath every object's observable qualities there must be an underlying 'substance' holding those qualities together — and when pressed to say what this substance was, apart from the qualities it supposedly supported, he could say only that it was 'a supposition of he knows not what support' of those qualities. Later philosophers pointed out the obvious problem: if nothing can be said about a thing except by listing the qualities it's supposedly distinct from, nothing has been found. An empty word has been mistaken for a discovery.

What This Doesn't Mean

Two conclusions are tempting here, and both are wrong.

Wrong conclusion one: nothing exists, nothing is real, none of it matters. This doesn't follow. The coffee cup still holds coffee. The mountain still holds up a road. The sun still burns and keeps everyone alive. Cause and effect keeps working exactly as reliably as ever. Nothing in this argument makes any of that stop functioning.

Wrong conclusion two: there's a hidden reality underneath, we just haven't found the right description yet. This feels like humility rather than denial, which is what makes it tempting. But the search above wasn't difficult, like a key lost somewhere in a large house. It was aimed at something that was never a coherent target — like looking for the sound of a colour. There's no key to eventually find, because 'a thing, apart from its qualities and apart from being picked out as one', doesn't name anything.

The Actual Point: Functioning Was Never Evidence of Essence

Here's the insight that everything above has actually been building towards, and it's not a footnote — it's the whole turn.

It's tempting to treat 'valid functioning is conventional, not ultimate' as a caveat stated once so the real philosophical work can proceed. It isn't a caveat. It's the insight itself. Most treatments of emptiness present two separate jobs: first show that things function, then, as a second and independent step, show that this functioning lacks essence. But if functioning is itself dependently designated — arising together with what depends on it, not sequenced before or after — then showing that something functions already is showing that it's empty. No second argument is needed. Seeing that functioning requires nothing more than mutual, non-analytical, workable designation is seeing emptiness directly, not a preamble to seeing it.

This is also why the error above was so easy to make at every single round. Reification rarely shows up as a loud claim like 'atoms are eternal substances'. It shows up as a nearly invisible slide back into conceptual designation's sequence: something works reliably, and that reliability starts to feel like it must be backed by something that was there first — as though dependable functioning were evidence of a status existing 'from its own side', prior to and independent of the functioning. Valid functioning and independent existence aren't just different; they aren't even correlated. Something can function with total reliability while being, at every level, dependently designated rather than independently existing. Every round above — the mountain's edge, the raw process, the individuated particular, the substance under the qualities — was the same mistake, examined from a different angle: quietly re-inserting a 'first' where nothing needed to be first, dependence itself being a designation.

It's worth flagging one more way this same mistake sneaks back in, because it hides inside the negating itself, not just inside what gets affirmed. Denying essence can be done in two very different ways — one that quietly swaps in a replacement for essence without admitting it, and one that denies essence and leaves no replacement standing at all. Getting this distinction right turns out to matter as much as everything above it, which is the subject of the next section.

The Two Ways to Get This Wrong Even After Understanding It

Knowing all of the above doesn't automatically make a mind rest, and there are two further faults worth naming, because they show up after someone has grasped the argument, not before.

The first: mistaking relentless negation for the real thing. To see this fault clearly, it helps to know that there are two very different ways a negation can work — a distinction Buddhist logic names precisely, calling them implicative and non-implicative negation.

One kind of negation clears something away and quietly puts something else in its place. Say 'he is not tall', and most listeners automatically fill in 'so he must be short or average' — the denial comes bundled with a replacement, even though the replacement was never stated. This is an implicative negation: it negates X, but leaves the mind holding an implicit Y.

The other kind negates and leaves nothing standing in its place at all — not even a vague alternative. Just the absence, with no replacement smuggled in anywhere. This is a non-implicative negation. Madhyamaka's claim that things are empty of essence has to be a non-implicative negation, not an implicative one. This matters enormously, because if 'empty of essence' gets treated as implicative, the mind automatically reaches for a substitute to fill the gap: 'so things are mere illusion', 'so things are just appearance', 'so things are just mind', 'so really, nothing exists'. Every one of those is a new stand-in for essence, dressed up as a negation but secretly reintroducing something fixed to replace the thing that was just removed.

Here's the part that's easy to get backward. It seems like a mind that just keeps negating, over and over, refusing to land anywhere — no essence here, no essence there, nothing, nothing, nothing — must be performing this non-implicative, replacement-free negation as thoroughly as possible. It isn't. That kind of relentless, exhausting negation is actually a sign that a non-implicative negation hasn't been completed yet. If it had, the mind wouldn't feel compelled to keep circling back to negate the same ground again — that repeated circling back is exactly what happens when something is still, quietly, being assumed underneath the negation: usually the unexamined assumption that essence was needed to make cause and effect intelligible in the first place, so that removing essence leaves functioning unexplained, and the mind keeps returning, unsatisfied, to negate it again.

A truly non-implicative negation isn't achieved by negating harder or longer. It's achieved by seeing, clearly and positively, how causal efficacy, relation, and vivid functioning all operate without a single drop of essence anywhere in the picture. Until that positive clarity arises — until it's actually intelligible, not just repeated as a slogan, that emptiness is what allows functioning rather than what cancels it — the negation hasn't actually finished. It's stuck mid-motion, still implicitly leaning on essence as the thing that was supposedly doing the explanatory work, which is the kind of hidden replacement a non-implicative negation is supposed to have none of. Relentless negation, in other words, isn't a non-implicative negation performed too well. It's a non-implicative negation performed incompletely — mistaking exhaustion for completion. This is what Nāgārjuna's dictum that everything is possible precisely because emptiness is possible is actually pointing at: emptiness and dependent origination were never two separate findings in tension, needing to be reconciled by enough negating. They're one finding under two descriptions, and a complete non-implicative negation is what discloses that identity — an incomplete one just obscures it behind more negating.

The second, subtler fault: substantialist non-duality. This shows up after a genuine shift has already happened — a taste of something beyond the ordinary subject-object seam, open and unconstructed. That taste being non-dual rather than dualistic doesn't automatically mean the fault has cleared. A substantialist non-dual experience isn't the same as a non-substantialist one. The substantialist version treats the openness or awareness disclosed in that experience as itself a subtle, findable ground — something that was there first, finally uncovered underneath everything else that turned out to be empty. From the inside, this can feel indistinguishable from the real thing, which is a non-duality in which even what was taken as the ground-nature, the luminosity, the awareness itself, is seen as dependently designated rather than independently findable, while appearing remains vividly present. Only the non-substantialist version is the actual resting point. The substantialist version is the same mistake as before, just relocated, and it's worth naming plainly: it's an implicative negation wearing non-dual clothing. Essence gets negated in the coarser appearances, but a subtle Y — the ground, the luminosity, taken as ultimately real — gets implicitly reinstated to take its place, unnoticed because it doesn't look like a 'thing' the way a rock or a self does. A 'first', a ground, gets quietly reinstated exactly where nothing needed to be first.

Why the Path Runs in Layers, Not One Pass

Neither fault gets fixed by getting the doctrine right once. A mind runs into its own reifications one layer at a time, and a finer layer only becomes visible after a coarser one has already been seen through — which is why negation and the positive question of how appearance still functions have to alternate rather than resolve in a single sweep. Negation clears whatever layer is currently held. The return of the question 'how does this still function so vividly?' surfaces the next, finer layer underneath. Mountain, process, particular, non-dual presence itself — different layers, same recurring habit each time: quietly promoting one side of a mutual, dependent relationship into something that came first. And at every layer, the negation of that layer is only truly non-implicative — only actually finished — once its positive functioning has become clear. Otherwise the same implicit residue just reforms one level down, in a subtler disguise, and the mind is back to relentless negation without noticing it changed shape.

The journey doesn't end with a final formula that shuts down further questioning. It ends, if it ends, by the questioning becoming unnecessary — not answered into silence, but no longer needed, because whatever was generating the compulsion to keep asking has been sufficiently cleared. What's left at that point isn't less than what you started with. The mountain still holds up the road. The cup still holds the coffee. Nothing was subtracted from the world. Only the assumption that something had to come first, holding everything else up, turns out to have been unnecessary all along.