Symbolic Logic

Metadata

Gutenberg ID

28696

Title

Symbolic Logic

Language

en

Book source

Project Gutenberg

Description max 80 words

Lewis Carroll's *Symbolic Logic* transforms abstract reasoning into a fascinating mental recreation. Using unique diagrams and counters, the book demystifies formal logic, offering a clear method to detect fallacies and solve puzzles. Ideal for students and enthusiasts, it replaces cumbrous traditional processes with an accessible, orderly system for analyzing arguments and ideas.

Summary up to 500 words

In *Symbolic Logic*, Lewis Carroll presents a revolutionary system designed to demystify complex reasoning for both children and adults. The text establishes a foundational framework where the entire universe is treated as a single class, comprising 'Things,' 'Attributes,' and 'Classes.' Carroll critiques traditional 'Formal Logic' for its obscurities, proposing instead his 'Method of Diagrams.' Unlike the curvilinear circles of Venn or the open-ended diagrams of Euler, Carroll employs rectilinear figures with a defined 'Universe of Discourse.' In this system, specific cells represent classes, marked as occupied ('I') or empty ('O') to visualize propositions of existence and relation. The book systematically explores syllogisms, addressing the contentious issue of 'Existential Import.' Carroll argues against the 'non-existential' interpretation favored by older logicians, demonstrating that it invalidates valid arguments and the process of conversion. He introduces a 'normal form' where the class whose existence is affirmed or denied is treated as the predicate, resolving subtle metaphysical difficulties. Furthermore, Carroll advocates for the use of 'is-not' to treat negative attributes on the same footing as positive ones, thereby simplifying dichotomies and avoiding the 'morbid dread' of negative propositions held by traditionalists. Carroll extends this visual method to triliteral and quadriliteral diagrams, enabling the analysis of complex relationships involving multiple terms. He introduces specific terminology, such as 'Eliminands' and 'Retinends,' to streamline the solution of Sorites (chains of syllogisms). Throughout the work, Carroll emphasizes that mastering this machinery provides a permanent mental occupation, granting the reader the power to detect fallacies in newspapers, speeches, and sermons. The book serves as both a practical guide for solving logical puzzles and a philosophical exploration of inference, aiming to replace shadowy metaphysical puzzles with concrete, testable data. By translating abstract concepts into a visual language, Carroll transforms logic into a delightful mental recreation, offering a clear path through the 'flimsy illogical arguments' that often delude the untrained mind.

LLM editorial rating

4.2/5

Download URL

https://www.gutenberg.org/ebooks/28696.epub.noimages

Local file path

data/epubs/pg28696.epub

Download EPUB

Downloaded at

2026-07-07 23:53 UTC

Categories

• Philosophy
• Science