Philosophy

How to Enjoy ‘Form Is Emptiness’ 256× More — Différance, Wasan, and V&V, Fully Decoded

読了 約 23 分
13

日本語で読む

// WARNINGOnce you finish this piece, you will notice that “the reason Verification never ends,” the Heart Sutra, and Seki Takakazu’s wasan are all saying the same thing.I take no responsibility for the rest of your life.

If you do systems engineering, you always hit this question.

“When, exactly, does V&V end?”

It doesn’t. It is structurally interminable. This is not a matter of insufficient effort or a missing test case. It cannot end in principle.

Chasing down the reason, I arrived at a sutra. I arrived at Derrida. I arrived at Seki Takakazu. And — startlingly — they were all saying the same thing.

§1　What is “form is emptiness” actually saying?

How are “form is emptiness” and “emptiness is form” generally interpreted?
Let me lay out the standard reading in Buddhist studies and philosophy in three layers.

It is the central proposition of the Heart Sutra. “Form” (rūpa) means material phenomena, everything that has shape; “emptiness” (śūnyatā) means the absence of any fixed substance (emptiness-of-inherent-existence). There are three standard layers.

① The ontological reading (the most basic). Form and emptiness are not opposites but two faces of one and the same state of affairs. No phenomenon has fixed substance (form is emptiness), yet that very lack of substance appears as phenomenon (emptiness is form). In Nāgārjuna’s Madhyamaka, emptiness is not “nothingness” but dependent origination — the structure in which all things exist only through mutual dependence.

② The epistemological reading. A practice-oriented reading: “what you see has no substance.” By seeing through the lack of substance in the object of attachment (form), one is released from suffering.

③ The non-dualist reading (Zen). To distinguish form from emptiness is itself delusion; awakening is the “as-it-is” state prior to splitting the two. It is isomorphic to Zen’s “mountains are mountains, rivers are rivers.”

// IMPORTANTIn the standard reading, “form is emptiness” and “emptiness is form” are two directional expressions of one and the same proposition, and the difference in direction carries no essential meaning. This article deliberately departs from that here. The departure is the whole point.

§2　Lining up four bodies of thought

Compare Whitehead’s process philosophy, Nishida’s pure experience, the standard reading of form-is-emptiness / emptiness-is-form, and Derrida’s différance in a table.
The four resonate on the single point of “dissolving substance,” but they diverge sharply in what they do next.
Axis Heart Sutra Différance (Derrida) Process philosophy (Whitehead) Pure experience (Nishida)
Treatment of substance Inherent existence is illusion; things exist only provisionally, by dependent origination Dissolves substance, origin, presence. The center is absent Substance → process. To be = to become Dissolves the substantial self, proposes “place” (basho)
Place of movement Secondary. Emptiness (static identity) is the ground Primary. Différance itself generates meaning Primary. Creative advance is the essence of the real The process of self-aware development
Does it close? It has a convergence point — emptiness, attained as awakening In principle it does not close. Movement without a terminus Each moment completes, but the whole is an open process Absolutely contradictory self-identity. Closed yet open
Treatment of language Truth is an experience beyond language (Zen silence) There is no outside-the-text. Language is fundamental Pre-linguistic feeling (prehension) carries relation Emphasis on predicate logic
// KEY INSIGHTThe Heart Sutra says “there is a convergence point (awakening)”; différance says “it converges in principle never.” They look opposed — and in the next section, that opposition vanishes.

§3　Add the constraint “cognition of difference + symbolization” and they all become the same

If we impose our constraint — the cognition of difference and its symbolization — what happens to the divergences?
Under the constraint, the four divergences converge.

Here is the crux of the whole thing. Cognition of difference — to recognize anything as something requires a difference from others. This is the precondition of all cognition. Symbolization — converting that difference into a sign so it can be fixed and transmitted. It is the act of preserving a difference across time and space.

These two constraints — whether for the emptiness of the Heart Sutra, or différance, or pure experience — are already operating the moment a human tries to recognize and speak of it.

/* What each body of thought yields under the constraint */
Emptiness of the Heart Sutra:
  The instant emptiness is spoken, it is symbolized and appears as form.
  "Emptiness is form" fires unavoidably.
Différance:
  The instant différance is symbolized, it becomes the "form" called "différance."
  Différance self-referentially exemplifies itself.
Process philosophy:
  To describe process you need discrete signs.
  Approximating the continuous with the discontinuous — this is itself cognition of difference.
Pure experience:
  The instant pure experience is spoken, subject and object split.
  Nishida himself recognized this paradox.
Where they converge: a common structure
The pre-division field (emptiness · pure experience · becoming · movement) appears, the moment it is cognized and symbolized, as the post-division field (form · sign · actual entity · the trace of différance). Yet that post-division field cannot exist without the pre-division field.

The branching into “closes vs. doesn’t close” appeared only because we juxtaposed the two as signs and cognized a difference. That very act of cognition was itself différantial. So the substantive divergence among the four disappears, and only the difference in descriptive style remains.

§4　Meaning can arise only from context

On top of this, I also hold that meaning can arise only from context — change along some series (a domain).
This is the proposition that completes the preceding argument.

“Meaning can arise only from context (change along some series, i.e. a domain).” Unpacked:

  • Meaning does not reside in an isolated point (a sign on its own)
  • Context is defined as a series of changes over a domain
  • No change, no context; no context, no meaning
// Wait — this is identical to signal processingNo information can be extracted from a stationary signal (no change) — Shannon’s information theory.
A signal is identified not from a single sample but from the pattern of a sample series.
Recognizing a pattern means matching the series of observed changes against a known pattern dictionary (a domain).That meaning can arise only from change along a series is — information-theoretically, semiotically, and ontologically — one and the same proposition.

§5　Différance is a Leibnizian operator; form-is-emptiness is the difference operator of wasan

Once more — discuss taking différance as an operator (in Leibniz’s sense), and form-is-emptiness (emptiness-is-form) as the finite difference of wasan.
The qualifier “Leibnizian” goes straight to the core.

Différance = Leibniz’s d

When Leibniz formalized the calculus, his interest lay in a system of symbolic operations. The notation dy/dx is not mere shorthand: it carries the operational sense that an operator d acts on y to generate the difference dy.

Where Newton “grasped the change of a quantity intuitively, as the flow of time,” Leibniz symbolized the operation of differencing itself. d is an operator — it acts on an object to extract a difference.

Axis Leibniz’s d Derrida’s différance
Nature An operator acting on a function to generate a difference An operator acting on signs to generate difference and deferral of meaning
Mode of being Has no meaning alone; operates as d(f) Is never present alone; operates only within the chain of signs
What it generates A local difference df — an infinitesimal difference Difference and deferral of meaning — a difference never finalized
Does it close? Paired with integration by the fundamental theorem — closes in principle Does not close in principle — movement without a terminus

Leibniz further argued, in his monadology, that each monad reflects all other monads intensively. This is isomorphic to “meaning can arise only from context (a series of changes over a domain)” — each sign holds, intensively, its relation to all other signs.

Form-is-emptiness = the difference operator Δ of wasan

The wasan of Seki Takakazu and others developed the notion of differences independently of Western calculus. But it differs decisively. Where Leibnizian differentiation handles infinitesimal continuous difference, the difference of wasan handles finite discrete difference.

Δf(x) = f(x+1) − f(x)

This is the difference of adjacent discrete values. It is not the derivative of a continuous function. The wasan difference operator Δ is an operator of the discrete world. Mapping form-is-emptiness / emptiness-is-form onto it:

Form is emptiness (phenomenon → essence):
Δ(formn) = formn+1 − formn = emptinessn
Take the difference of a series of concrete phenomena, and the structure of their change (emptiness) appears.
Emptiness is form (essence → phenomenon):
Σ(emptinessk) = formn + C
Accumulate the difference-structure (emptiness) and the concrete phenomenon (form) is restored — the summation of wasan.
But an arbitrary constant C appears. The restoration from emptiness to form is not unique.
// Here is the whole punchlineThis arbitrary constant C is the mathematical expression of the judging subject’s decision.
“Which C to choose” when restoring form from emptiness — that is not settled by logic. It can only be taken on as responsibility.

To make it concrete: when you restore an actual dish (form) from a recipe (the difference-structure, emptiness), the pinch of salt (C) is not uniquely fixed. With the same recipe, the cook decides “this is enough.” That decision is C. The same holds when you build an implementation from a spec, or stand up an operation from a contract — a final “pinch” always remains, taken on and decided by someone.

And the wasan difference operator Δ is written directly, by the side-writing (bōsho) method — there is no Western separation of operator and operand. The relation is written directly. This is the notational realization of the proposition “splitting is not permitted.”

// Wrap-up of the first half: what to take home (Philosophy)

  • Form-is-emptiness, différance, process philosophy, and pure experience resonate on “dissolving substance,” and under the constraint of cognition-of-difference + symbolization they converge to one and the same structure
  • Différance is an operator isomorphic to Leibniz’s d; form-is-emptiness can be located as the wasan difference operator Δ (form is emptiness) and summation Σ (emptiness is form)
  • The arbitrary constant C of the summation is the mathematical expression of the judging subject’s decision — the restoration from emptiness to form is not unique
  • Meaning can arise only from context (a series of changes over a domain). This is one and the same proposition across signal processing, semiotics, and ontology

→ Continue to Part II · Application: Why V&V Never Ends — a structural reason drawn from form-is-emptiness, where this logic is connected to V&V in systems engineering.

The three pieces in this series are based on a 16 April 2026 dialogue between Massy and Claude (Anthropic) (CC BY 4.0). For a more rigorous formalization, see the preprint series.