「‍」 Lingenic

CALCULEMUS-MINGFA

(⤓.txt ◇.txt); γ ≜ [2026-02-24T132753.124, 2026-02-24T132753.124] ∧ |γ| = 1

CALCULEMUS, 明法

Two traditions. Two millennia apart. The same impulse.


LEIBNIZ

Germany, 1666. Leibniz proposes the characteristica universalis. A notation for all knowledge. Symbols for every concept. Composition rules for combining them.

The goal: disputes settled by calculation, not argument. When philosophers disagree, they should not debate. They should compute.

Calculemus, he wrote. Let us calculate.

The problem: pure symbols lose meaning. You can write R(a,b) → Q(b). But what are a, b, R, Q? Symbols. Nothing more. The meaning is gone.

Leibniz wanted precision. He got emptiness.


HAN FEIZI

China, 233 BCE. Han Feizi writes the foundational texts of Legalism. He attacks the Confucians for their vague moralism. 仁, 義, 禮 — benevolence, righteousness, ritual. Words that mean whatever the speaker wants them to mean. Words that powerful men interpret to their advantage.

The goal: laws clear enough that interpretation becomes impossible. Terms defined so precisely that judges cannot twist them. Consequences specified so explicitly that no one can claim ignorance.

明法, he wrote. Make the law clear.

The problem: prose still requires interpretation. You can write 凡犯法者皆罰 — all who violate the law are punished. But "all" is implicit. "Violate" requires judgment. "Punished" admits degrees. Two magistrates read the same statute differently.

Han Feizi wanted precision. He got litigation.


THE SHARED LIMIT

Both traditions hit the same wall.

Leibniz removed natural language. He got structure without meaning. His symbols were precise but empty.

Han Feizi kept natural language. He got meaning without structure. His laws were substantive but ambiguous.

Neither could have both. The notation did not exist.


THE COMPOSITION

Lingenic holds both.

    ∀x(violates(x, 法) → punished(x))

法 is 法. The Chinese concept. Not "law" — which carries Western jurisprudential baggage. Not "fa" — which is transliteration without meaning. The term Han Feizi used, preserved.

The structure is explicit. Universal quantifier. Implication. The logical form is visible on the page. A reader does not reconstruct it from prose. A reader sees it.

    ¬virtuous(ruler) → withdraws(天, 命, from(ruler)) → ¬legitimate(ruler) → permitted(革命)

天命 is 天命. The Mandate of Heaven. 革命 is 革命 — revolution, but literally "change of mandate." Concepts that exist only in Chinese political philosophy. Untranslated. Untranslatable.

The implication chain is explicit. Four steps. Checkable. If you accept the first arrow, does the conclusion follow? The form answers. No interpretation required.


WHAT THEY WANTED

Leibniz wanted calculemus. Disputes resolved by calculation.

Han Feizi wanted 明法. Laws too clear to dispute.

Both wanted the argument to end. Both wanted form to replace interpretation. Both failed because the notation forced a choice: structure or meaning.

Lingenic does not force the choice. The Legalists keep their concepts. Leibniz gets his structure. The composition holds what neither could hold alone.


THE CONVERGENCE

Two thousand years. Two continents. Two languages. The same problem.

The philosopher in Hanover wanted symbols precise enough to compute.

The philosopher in Qin wanted terms clear enough to enforce.

Both were reaching for the same thing: expression without ambiguity. They failed for the same reason: the tools available forced a tradeoff.

The tradeoff is over. The composition exists.

Calculemus, 明法.

Let us calculate. Make it clear.


---
Lingenic
2026