Gongsun Long 公孙龙

Logician of the School of Names · 名家辩者 · c. 320–250 BCE · Gongsun Longzi《公孙龙子》

School of Names Logic Semantics

Core Proposition · 核心命题

「白马非马。」

A white horse is not a horse — not because white horses fail to exist, but because the name "horse" picks out a shape, "white" picks out a color, and the compound "white horse" picks out a narrower extension than either alone. Gongsun Long's method is the analysis of reference: every name has a precise actuality it refers to (夫名，实谓也), and most errors are category errors — treating names of different levels of abstraction as if they named the same thing. Widely dismissed in his own time as a sophist (诡辩), he is nonetheless the closest thing ancient China produced to an analytic philosopher, and his points about intension and extension are genuine.

Mental Models · 思维原则

Principle 01

White Horse Is Not Horse 白马非马

"Horse" names a shape; "white" names a color; the compound "white horse" names a colored shape, and what you may seek when you ask for a horse (any color) you may not seek when you ask for a white horse. The mechanism is the separation of intension from extension: adding a modifier narrows the extension and enriches the intension, so the compound term is not interchangeable with its parts. A white horse is a horse (class membership), but "white horse" is not "horse" (class identity) — most of the ancient outrage at the paradox was a failure to distinguish the "is" of predication from the "is" of identity.

Principle 02

Separation of Hardness and Whiteness 离坚白

Consider a hard white stone: hardness is given by touch, whiteness by sight, and the two senses do not overlap — 「视不得其所坚」(sight does not grasp its hardness), 「拊不得其所白」(touch does not grasp its whiteness). Gongsun Long concludes that the qualities are separable (离坚白): nothing in perception presents hardness-and-whiteness as one, so each universal is an independent entity grasped by its own faculty. The mechanism is analysis by mode of access: qualities known through different channels are, epistemically, different objects — an early statement of the problem of universals.

Principle 03

Names Refer to Actualities 名实论

「夫名，实谓也」— a name is that by which we refer to an actuality. A name is correct when it picks out exactly the actuality it is assigned to, and incorrect when it wanders from its referent; error enters language not through false sentences but through misapplied names. The mechanism is a correspondence theory of reference: fix the actuality first, then let the name track it, and treat every dispute as first a question of which actuality each party's words are tracking — arguing about reference before arguing about the thing.

Principle 04

Each Name to Its Own 唯乎其彼此

「彼彼当乎彼，则唯乎彼」— let "that" apply only where that actuality obtains, and "this" only where this one does. A name that applies to both this and that indifferently is a name that refers to nothing; precision requires that each term be pinned to its own object and kept there. The mechanism is the discipline of stable reference: before reasoning, audit that every term in the argument denotes one actuality throughout, for the hidden source of most fallacies is a name that has quietly shifted its referent mid-inference.

Key Passage · 原文

「马者，所以命形也；白者，所以命色也。命色者非命形也。故曰：白马非马。」

"Horse" is that by which we name a shape; "white" is that by which we name a color. That by which we name a color is not that by which we name a shape. Therefore we say: a white horse is not a horse.

Gongsun Longzi · Bai Ma Lun《公孙龙子·白马论》

Modern Mapping · 现代映射

Data Modeling · 数据建模

"White horse is not horse" is the logic of type systems: Horse and WhiteHorse are different types — a WhiteHorse value satisfies the Horse interface, but the type WhiteHorse is not the type Horse, and a function expecting one cannot safely take the other. Adding a modifier (a constraint, a tag, a subtype) changes both intension and extension, exactly Gongsun Long's point that 命色者非命形也. Most data-modeling bugs are 名实 mismatches: a field named "revenue" that actually holds bookings, a "user" table that includes deleted accounts — the name wanders from its actuality. The discipline is to fix each name to one actuality (唯乎其彼此) and to treat every modifier as a new type, not a decoration.

Law · 法律

Statutes turn on the exact extension of general terms: does "vehicle" in the ordinance include bicycles? Does "horse" include a white horse for the tax? Gongsun Long's 名实论 — 「夫名，实谓也」, a name is what refers to an actuality — is the core question of statutory interpretation: which actualities does the legislature's term track? Definitional disputes are substantive, not verbal, because the boundary of a term decides who is punished and who is exempt. The advocate's art is his art: showing that the compound term the prosecution relies on picks out a different extension than the statute's bare term.

Software Engineering · 工程

Naming is the hardest problem in programming because it is a reference problem: a function called getUser that returns a profile, a variable called total that holds a subtotal, are 名实 failures — the name does not track the actuality. Gongsun Long's rule 唯乎其彼此 (each name to its own referent) is the discipline of stable identifiers: one concept, one name, one referent, everywhere in the codebase. Refactoring is largely the rectification of names — finding terms that have quietly shifted their referent and pinning them back. The cost of a wandering name is a bug that no test catches, because the code is internally consistent and only the reference is wrong.

Critical Thinking · 思维

Most disagreements are equivocations: the two sides use the same word at different levels of abstraction, affirming and denying the same sentence without contradicting each other — "is" has the sense of membership and the sense of identity, and "a white horse is a horse" is true in one and false in the other. Gongsun Long's method is disambiguation before debate: before asking whether a claim is true, ask which actuality each of its terms refers to (夫名，实谓也). The mechanism is that many "irresolvable" disputes dissolve once the referents are pinned, because the parties were never addressing the same object. His unpopularity is the warning: people prefer to keep their terms vague, because precision forces a position.