Symbolic Logic

«منطق نمادین» (۱۸۹۶) کتاب درسی منطقی است که چارلز لاتویج داجسون، استاد ریاضیات کرایست‌چرچ آکسفورد و نویسندهٔ «آلیس در سرزمین عجایب»، با نام مستعار لوئیس کارول نوشت. این مجلد «بخش نخست: مقدماتی» است؛ کارول قصد داشت بخش‌های پیشرفته را هم منتشر کند، اما در ۱۸۹۸ درگذشت.

کارول در این کتاب روشی نموداری برای حل قیاس‌ها ابداع می‌کند: مربع‌هایی تقسیم‌شده که با مهره‌های قرمز و خاکستری (که خوانندگان می‌توانستند از ناشر بخرند) پر می‌شوند. کتاب گام‌به‌گام از اشیا و صفات، تقسیم و گزاره‌ها به قیاس و «سوریت»‌ها — زنجیره‌هایی از مقدمات که باید نتیجه‌شان را یافت — می‌رسد و صدها تمرین دارد.

آنچه کتاب را یگانه می‌کند، مثال‌های بامزه و بی‌معنای عمدی آن است. نمونهٔ آغاز کتاب: «آن ماجرایت دربارهٔ دیدن مار دریایی همیشه خمیازه‌ام را درمی‌آورد؛ من فقط وقتی خمیازه می‌کشم که چیزی کاملاً بی‌مزه بشنوم»؛ نتیجه: «آن ماجرایت کاملاً بی‌مزه است.» کارول با همین شوخی‌ها نشان می‌دهد که درستی استدلال به صورت آن بستگی دارد، نه به محتوا. کتابی برای نوجوانان و بزرگسالانی که می‌خواهند منطق را با بازی بیاموزند، و برای دوستداران آلیس که می‌خواهند ذهن پشت آن را بشناسند.