Resources like the Lewis Carroll puzzles

Well, there is a fairly inexpensive book (rather a pair of books bound as one) by the man himself, which were published by Dover. Fortunately since the gentleman himself was British and dead over a century his works have since passed into the public domain, hence they may be found at project gutenberg.

In particular you may be interested in Symbolic Logic. They are a Victorian Logic that seems to have been influenced by people like J.S. Mill and his System of Logic (a clearly written and much more comprehensive but far less whimsical and far more imposing tome). Carroll logic is old fashioned logic almost Aristotelian in their treatment which seems largely unaware of some roughly contemporary developments and work by people like Frege and Peano (possibly DeMorgan, Boole and Whitehead too) and in some respects more interesting concerning the history of logic. For example, it begins with definitions, names and categorization, a technique discussed by Plato in 'the Statesman' and Aristotle in 'Categories', which hadn't changed appreciably since ancient times. IIRC in the Academy, classification it was one of the first simple rhetorical exercises given to students for them to master, producing things that look like Porphyrian trees, a sort of thing that might have influenced Linaeus. The Oxford curriculum was in the medieval tradition of the trivium and quadrivium inherited from the ancient world, where rhetoric had an important central place in the preparatory trivium, beside logic and grammar. Subjects that might now be considered properly separate, where not so clearly demarcated. After Categorization came propositions (again not far from Aristotles square of opposition), leading to bilateral diagrams (a sort of almost venn and boolean algebra like diagram), which seem a quaint but somewhat blind alley, maybe not unlike quaternions. Incidentally he uses 'universe of discourse' there, which may have evolved into todays notion of domain of discourse. After that he moves on to Syllogisms (classic Aristotle) and then culminates with dealing with Sorites, rather traditional but interesting logical puzzles. It has the virtue of having many example and some answers and solutions.

Also perhaps more pertinently he wrote a Game of Logic, which seems to be a sort of gentle introduction to the ideas (namely the bilateral diagrams) of the former book, in terms of a playing said Game. Kind of an early version of an educational game for children. His Alice and Bruno novels feature much of the same sort of discipline creativity and imagination as his logical examples, and might be easier alternatives to mine for fun arguments and amusing fallacies (of which there are plenty, much of their childish charm).

/r/logic Thread