Aristotelian deductive logic is a thinking assembly line of “language division of labor → propositional cooperation → reasoning production”: first classify language (Categories), then crystallize language into propositions (On Interpretation), and finally mesh propositions together as interlocking gears of inference (the syllogism). It is structurally isomorphic to Adam Smith’s economics of “division of labor → cooperation → productivity” — only transposed into the domain of thought. The classification and definition of language raises the efficiency of thinking, just as division of labor raises productive efficiency. This entry collects only The Framework As It Stands; organizational notes and extensions are placed at the end.

The Framework As It Stands

This section is compiled from research drafts: it preserves the structure, terminology, and key formulations of the original framework, including editorial bridging and supplementary factual notes; diagrams are drawn by the compiler following the structure of the source text.

I. Categories = Ten Classifications. Substance / Quantity / Relation / Quality / Action / Passion / Time / Place / Posture / State — no simple word falls outside these ten classes. Without classification there is no definition; without definition there is no proposition; without propositions there is no reasoning; omit this step and the entire logical edifice collapses.

II. Three Levels of Substance + Default Properties. Species (animal) / Genus (human) / Primary substance (a specific individual); the rule of definition: the subject term has the narrower intension, the predicate term the broader intension (“a human is a rational animal”). The key to unlocking the “white horse is not a horse” puzzle lies here: the definition of the species (horse) includes “color” as a default property; “white horse” merely replaces the default with “white,” so a white horse is necessarily a horse. This can be mapped onto object-oriented programming: species = interface, genus = class, primary substance = object, with undefined attributes in a subclass automatically inheriting the parent class’s defaults.

III. On Interpretation = Propositions and the Square of Opposition. A proposition is an assertion that is in itself either true or false (questions, commands, exclamations, and anything incapable of being judged true or false are not propositions). Four types of categorical proposition: A (universal affirmative), E (universal negative), I (particular affirmative), O (particular negative), forming the square of opposition: A↔E contrary, I↔O subcontrary, A↔I and E↔O subalternate, A↔O and E↔I contradictory.

IV. The Syllogism = The Reasoning Gear. Major premise + minor premise → conclusion; three terms (major term P / minor term S / middle term M), each appearing exactly twice. Of 256 possible forms, only 15 are valid (the “multiplication table” of logic, which this framework requires mastering to the point of reflex). The detective sequence: first identify the conclusion → identify major and minor terms → identify major and minor premises → the remaining term is the middle term → determine the “mood” (the AEIO combination) and “figure” (position of the middle term) → check against the table of 15 valid forms to judge validity.

V. Boundaries (Honesty). The syllogism judges formal validity, not truth — a formally valid form with false premises can yield an absurd conclusion. “Chinese characters vs. alphabetic writing affects deductive thinking” is one hypothesis, not a linguistic consensus. A large portion of reasoning in modern society consists of probabilistic inference, inductive reasoning, and analogical reasoning, which do not reduce directly to the syllogism — this framework acknowledges that Chinese inductive logic is a strong suit and only fills in the deductive gap.

Compiler’s Perspective

This section is the Compiler’s Perspective: the entry’s coordinates within the overall system and its connections, distinguished from the framework body above.

Coordinates: Fa × Why It Is So.

This assembly line connects to Language and Concepts Are Both Leaky: The Finger Pointing at the Moon: the ten categories and the 15 valid forms seal the leaks in language to the limit of the formal layer, and the framework itself acknowledges the remaining leaks at its boundaries — the syllogism judges only formal validity, not truth; roughly 94% of the 256 forms are invalid; and even the 15 valid forms can produce absurdity when loaded with false premises. No matter how steady the finger pointing at the moon, it cannot substitute for the moon itself. There are two characteristic error moves made by those using the old framework: first, when trying to negate “all S are P” (proposition A), they blurt out “no S are P” (proposition E) — but in the square of opposition A and E are merely contrary, capable of being simultaneously false; the correct move is to find one counterexample falling under proposition O; second, having memorized the 15 valid forms, they cash in “formally valid” as “conclusion true” — the more watertight the reasoning, the more confidently wrong.

Within this cluster, Hegel’s Doctrine of Essence: Logical Layering deliberately inverts this: Aristotle fixes “the subject term has the narrower intension, the predicate term the broader intension,” and Hegel counters by placing the “Absolute” — the term with the greatest extension — permanently in the subject position. Without first mastering the definition rules in this entry, one cannot see that inversion for what it is: a grammatical coup d’état, not obscure prose. I Ching Dialectics: The Dual Axes of Timing and Position adds the other half acknowledged at this entry’s boundary: induction and timing.

See Also

Sources

  • Compiled draft z-0088 · collected 2026-07
  • Aristotle, Organon: Categories, On Interpretation, Prior Analytics (syllogistic)
  • Medieval scholastic mnemonic for valid syllogistic forms: Barbara, Celarent, etc. (15 strictly valid forms after removing 6 weak forms dependent on existential import)
  • Gongsun Long, Discourse on the White Horse (“a white horse is not a horse,” source text)