Lewis Carroll’s Symbolic Logic opens with a syllogism worked out in full: a story about meeting a sea-serpent is declared “totally devoid of interest” because it sets the listener yawning, and yawning only occurs when listening to something devoid of interest. This miniature example, placed before the title page, immediately signals Carroll’s method—abstract logical forms are dressed in whimsical concrete terms. The book proceeds to build a system of notation and diagrammatic reasoning (the Biliteral and Triliteral Diagrams) for solving syllogisms and sorites. Carroll’s preface acknowledges the “mental torture” of foundational questions like “What is a Thing?” and compares them to the difficulties of Euclid’s geometry, setting a tone of earnest playfulness that persists throughout.

From Abstract Notation to Concrete Puzzles

Carroll’s textbook moves between two registers: the austere language of letters and classes (a, b, c, d) and the vivid world of babies, crocodiles, saucepans, and hedgehogs. The early chapters establish a formal apparatus—definitions of ‘Classification,’ ‘Proposition,’ and ‘Syllogism’—using a new normal form that treats the class whose existence is affirmed as the predicate. But the exercises that follow (Sections 8 and 9) present sets of concrete propositions: “Babies are illogical,” “Nobody is despised who can manage a crocodile,” “Illogical persons are despised.” The reader is asked to find the conclusion, translating everyday statements into the abstract notation. This oscillation between the abstract and the concrete is the book’s central pedagogical device.

The Diagrams as Thinking Tools

Carroll designed two blank diagrams—Biliteral and Triliteral—to be used with red and grey counters. The Biliteral diagram handles two-term propositions; the Triliteral extends to three. These are not merely visual aids but integral to the method: the reader is instructed to place counters in cells to represent the truth or falsity of class relationships. The diagrams impose a spatial logic that mirrors the algebraic one. In the preface, Carroll notes that an envelope containing the diagrams and counters could be purchased for 3d., suggesting that the physical manipulation of counters was part of the intended learning experience. The diagrams thus function as a bridge between the abstract notation and the concrete puzzles.

The Sorites: Chains of Inference

The later sections introduce sorites—chains of syllogisms with multiple premises. Carroll provides 129 different examples in Section 8 and 273 in Section 9, each a set of propositions that must be combined to yield a single conclusion. The premises are often absurd: “No ducks waltz,” “No officers ever decline to waltz,” “All my poultry are ducks.” The reader must work through the logical chain, beginning with any premise, to derive the inevitable conclusion. Carroll notes that each example can be solved in multiple ways, yielding the same result. This combinatorial variety turns the sorites into a kind of puzzle game, where the same logical structure can be dressed in countless whimsical scenarios.

The Authorial Voice: Earnestness and Wit

Carroll’s voice is unmistakable: he addresses the reader directly, admits to “subtle difficulties” that “lie at the root of every Tree of Knowledge,” and compares the difficulty of defining a straight line to the “mental torture” of logical foundations. He also inserts wry asides: the sea-serpent syllogism, the “5 Liars” problem described as “trifles, light as air” compared to “What is a Thing?” This blend of rigorous instruction and playful absurdity is consistent throughout. The preface even includes a request for readers to point out mistakes, and a promise of future parts (II and III) that would cover “Curiosa Logica.” The book is thus both a serious textbook and a work of literary wit.

Readers approaching Symbolic Logic should be prepared to move back and forth between the abstract notation and the concrete puzzles. The diagrams and counters are not optional—they are the method. Carroll’s examples reward careful translation from English to symbols and back. The book is best read with pencil and paper in hand, working through each syllogism and sorites step by step. The playful surface conceals a rigorous logical system; the reader who engages with both will find the book as entertaining as it is instructive.