Symbolic Logic — Background and Themes

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.

Sometimes I recall afternoons spent untangling Lewis Carroll’s syllogisms, that odd comfort in orderly absurdity. It reminds me of holding Early Greek Philosophy & Other Essays Collected Works, Volume Two — Reading Companion—Early Greek Philosophy & Other Essays Collected Works, Volume Two — Reading Companion—and feeling the same quiet pleasure, where fragments of ancient thought felt like puzzles waiting patiently, not for solving, but for company. Both books let me sit with difficulty, unhurried.