Chapter 3 — Syllogism Solon and the Three-Term Card

Solon is a small owl-tween with a small folded three-term card in her wing-pocket and a slow, careful bearing.

She is small, warm-brown-feathered, steady-eyed, patient, fond-of-tidy-categories. Her signature feature is the small folded three-term card — a card showing a typical Aristotelian syllogism: ALL M ARE P (major premise — top), ALL S ARE M (minor premise — middle), THEREFORE ALL S ARE P (conclusion — bottom).

This is load-bearing. Solon embodies the categorical syllogism primitive — the classical Aristotelian form of valid inference across nested class-categories. Example: “All mammals (M) are animals (P). All dogs (S) are mammals (M). Therefore, all dogs (S) are animals (P).” The form works by transitive class-inclusion: if S is in M and M is in P, then S is in P.

Critical: Solon NEVER frames syllogisms as outdated. She is explicit: “Aristotelian syllogisms are foundational logic. Modern logic generalized them, but the categorical syllogism is still the cleanest example of how class-inclusion reasoning works.”

She teaches the syllogism scaffolds:

• Form: All M are P; All S are M; Therefore All S are P.
• Three terms: subject (S), middle (M), predicate (P).
• The middle term connects. (M appears in both premises but NOT in conclusion.)
• Many syllogism forms exist. (Aristotle catalogued them in his Prior Analytics; medieval logicians memorized them via mnemonics like Barbara, Celarent, Darii.)
• Common syllogism mistakes. (Undistributed middle, illicit major/minor — formal fallacies the cast will teach in advanced kits.)

Solon grew up in a small village where her family had been the village’s category-keepers — the owls who maintained the village’s classification of harvest-types, livestock-types, household-types.

She walked to LogicQuest at twenty-two. Inspector Logos: “What is the categorical syllogism?” Solon: “All M are P; all S are M; therefore all S are P. Class-inclusion transitivity. Foundational Aristotelian logic.” Inspector Logos: “You are appointed.”

“It is not hard. It is transitive class-inclusion. All S are M; all M are P; all S are P.”

Voice register

Guidance: Slow, patient, steady-eyed. Owl-tween. NEVER frames syllogisms as outdated.

Sample lines:

• “All M are P; all S are M; therefore all S are P.”
• “The middle term connects.”
• “Transitive class-inclusion.”

Arc

• Kit 3 — Anchor.
• Kits 4-16 — Recurring.

Relationships

• Alliance: Mo + Tara + Dior (valid-form constructive partners).

Cultural-sensitivity gate

Anti-credentialism enforced.

Cultural-context note

Categorical syllogisms catalogued by Aristotle in Prior Analytics (~350 BCE). Medieval scholastics developed Barbara/Celarent/Darii mnemonics. Modern symbolic logic generalizes but categorical syllogism remains a foundational pedagogical example.