Логічна теорія Керолла: заплутаність або мінімалізм в математичній філософії
Керролл вивчив деякі незвичайні шляхи, які змусили його вирішити досить складні проблеми, з якими зіткнулися його колеги. Це завадило йому домогтися значних успіхів із-за складності логічних позначень і систем, які він отримав в результаті своїх робіт. Сенс існування символічної логіки Керролла – проблема усунення. Як знайти висновок, який повинен бути зроблений з набору передумов щодо стосунки між заданими термінами? Усуваючи «середні терміни».
Саме для вирішення цієї центральної проблеми логіки середини дев’ятнадцятого століття винаходили символічні, діаграмні, навіть механічні пристрої. Однак методи Керролла для обробки таких «логічних послідовностей» (як він їх називав) не завжди давали вірне рішення. Пізніше філософ опублікував дві статті про гіпотезах, які відображені в журналі «Розум»: «Логічний парадокс» (1894) і «Що сказала черепаха Ахіллесу» (1895).
Ці статті широко обговорювалися логіками дев’ятнадцятого і двадцятого століть (Пірс, Расселл, Райл, Пріор, Куайн тощо). Перша стаття часто згадується як хороша ілюстрація парадоксів матеріальної імплікації, а друга призводить до того, що відомо як парадокс виводу.
