КЭРРОЛЛ Льюис

(настоящее имя Чарлз Латуидж Доджсон (Dodgson)) (27 октября 1832, Дарсберн — 14 января 1898, Гилфорд)— профессор математики Оксфордского университета (1855—81). Приобрел всемирную известность своими сказками «Алиса в Стране Чудес» (1865) и «Алиса в Зазеркалье» (1871), которые Б. Рассел предлагал издавать с грифом «Только для взрослых». Книга «Логическая игра» (The Game of Logic) (1887) была опубликована под псевдонимом, чтобы привлечь широкую читательскую аудиторию. В ней Кэрроллу удалось оживить схоластическую (школьную) логику методом диаграмм, который позволил свести умозаключения к передвижению фишек на игровой доске. Г. К. Честертон называл метод диаграмм Кэрролла «геометрией мысли будущего». Кэрролл предвосхитил то, что теперь называется интерактивными методами. Сегодня любой пользователь без всякой подготовки может играть в логическую игру Кэрролла на компьютере. В другой его книге — «Символической логике» (Symbolic Logic) (1889) правила вывода были сформулированы в виде словесных правил-формул, которые позволяют сразу, без диаграмм выводить заключение. Взаимное уничтожение одноименных координат для разных знаков реализует первая формула, для одинаковых знаков — вторая формула. Координатный метод Кэрролла в логике аналогичен синтезу, осуществленному при создании аналитической геометрии, возникшей из координатного метода Декарта. Вторая часть «Символической логики», которая была опубликована посмертно, включает в себя метод деревьев, применимый к полисиллогизмам.