Frege wrote amid the late-19th-century crisis in the foundations of mathematics; to give arithmetic a purely logical footing he invented modern quantificational logic—the technical starting point of analytic philosophy. The line above is his famous puzzle: "the morning star is the morning star" is empty and uninformative, whereas "the morning star is the evening star" is an astronomical discovery—yet both name Venus. Why does the latter carry cognitive value? Frege split meaning into two layers: reference (Bedeutung) is the object designated (Venus), sense (Sinn) is "the mode of presentation" (die Art des Gegebenseins). Morning star and evening star share a reference but differ in sense—and the information lives in that gap.
This distinction is bedrock for modern knowledge representation and AI. «Entity resolution» in a knowledge graph—judging whether "Lu Xun" and "Zhou Shuren", or "morning star" and "evening star", are the same reference—is Frege's problem engineered into code. A large model's hallucinations often stem from this mismatch: it holds abundant «modes of presentation» (phrasing, register) yet is not always anchored to a stable object. Rephrasing shifts its behavior precisely because it is sensitive to sense while its grip on reference is loose.
Gongsun Long lived when «names and realities were at odds»: with ritual order collapsing, titles had drifted from what they named, and the School of Names practiced pure conceptual analysis close to the Greek sophists. Long mocked as sophistry, "a white horse is not a horse" is in fact a precise semantic operation: «horse» names a shape (a class), «white horse» is shape-plus-color (a subset of that class); the two differ in both intension and extension, so the concept «white horse» is not identical to the concept «horse»—he asserts a difference of concepts, not that "white horses aren't horses." Xunzi charged the School with "using names to confuse names," yet the question Long forced open is real and deep: is the universal (horse-ness) an independent thing at all?
"A white horse is not a horse" is strikingly isomorphic with Frege's concept–object distinction. Frege's famous line "the concept horse is not a concept" (der Begriff Pferd ist kein Begriff)—the moment you make "horse" a subject to talk about, it slides from predicate to object. Two thinkers, two millennia apart, hit the same fault line between predication and reference. That fault line surfaces daily in type theory and data modeling: using «white horse» as «horse» is treating a subtype as its supertype, an instance as its class—confuse the category, and the system throws a bug.
user that actually bundles account, person, and session; field names and semantics quietly diverge, breeding cross-team outages. Gongsun Long's discipline—before naming, clarify whether you are naming shape, color, or their compound—is the first principle of schema design and domain modeling.The post-WWI Vienna Circle, heir to Frege, Russell, and Wittgenstein, laid down the verification principle: the meaning of a statement just is its method of empirical verification; a sentence that is neither logically necessary nor in principle testable is not false but a cognitively meaningless pseudo-proposition. Carnap took his scalpel to Heidegger's "the nothing noths" (Das Nichts nichtet)—grammatically flawless, yet with no testable content. His witty line means: metaphysics expresses a tone of life that art should voice, but which mistakenly dons the garb of «stating truths».
The verification principle is bloodline-close to scientific method (Popper's «falsifiability» in Day 45 is the other side of the same coin). But it is also an honest failure: Quine noted that «verifiability» itself is neither a logical truth nor empirically verifiable—by its own standard, meaningless; and holism (Quine–Duhem) shows that no single proposition can be verified in isolation, since theory meets experience as one whole web. The rise and fall of logical positivism is itself a lesson in «don't push reduction to the extreme».
Called the "father of medieval Indian logic," Dignāga in the sixth century answered the realism of the Nyāya school, which held that the universal "cow-ness" truly exists and that language means by pointing to universals. Dignāga countered with Buddhist nominalism: universals are not real entities, and language works by exclusion, not by pointing. "Cow" grasps no real "cow-ness"; it merely fences off "everything non-cow," and what remains is the referent. Meaning is thus negative and differential: a concept's boundary is set by what it is not.
apoha maps almost word-for-word onto modern contrastive learning in AI: a model learns the representation of "cat" not from a positive definition but by pulling positives closer and pushing negatives away—"cat = not-dog, not-car, not-…"—precisely an engineered "not non-cow." A word vector's meaning likewise resides in its differences from other words, echoing Saussure's «in language there are only differences». Fifteen centuries ago, Buddhist logic already sketched the arterial road of today's machine learning: «define meaning by exclusion».
All four perform the same operation—surgery on language—each asking what makes a sentence meaningful:
· Frege (splitting): one reference admits countless senses; information lives in the gap between «how it is presented» and «what it designates».
· Gongsun Long (rectifying names): «white horse» and «horse» overlap in reference yet differ as concepts—before naming, clarify whether you name shape, color, or their compound.
· Carnap (excision): an assertion with no testable consequence is not false but cognitively meaningless—emotion disguised as truth.
· Dignāga (exclusion): a concept stands not by positive pointing but by excluding others—what it «is not» delimits what it «is».
The West moves toward the precision of logical symbolism; the East reaches kindred insights through the debate over names and the doctrine of exclusion: many perplexities are not riddles of the world but fogs of language. Used together, the four form an «operating system for language»: use Frege for mismatch diagnosis—when communication breaks down, first ask whether references differ or only modes of presentation; Gongsun Long for naming discipline—regularly audit whether your terms, metrics, and interface names have drifted from what they name; Carnap for nonsense filtering—downgrade any fine talk that cannot say what observable difference its truth would make; and Dignāga for boundary shaping—when defining a concept, a product, or yourself, state first what you firmly exclude. In an age when AI mass-produces grammatically perfect sentences by the second, this scalpel set is a daily utensil: large models are sensitive to sense yet loose on reference (Frege); name–reality drift is the root of system failure (Gongsun Long); fluent bluff must be strained out by testability (Carnap); and the way a model learns «cat» is precisely an engineered «not non-cow» (Dignāga). Telling «meaningful» from «meaning-like» is the scarcest clarity of our time.