Интенция | Все о философии

08.09.2009 - КЭРРОЛЛ (Carroll) Льюис (27 октября 1832, Дарсберн — 14 января 1898, Гилфорд)

Профессор математики Оксфордского университета (1855—81).

Приобрел всемирную известность своими сказками «Алиса в Стране Чудес» (1865) и «Алиса в Зазеркалье» (1871), которые JF. Б. Рассел предлагал издавать с грифом «Только для взрослых». Книга «Логическая игра» (The Game of Logic) (1887) была опубликована под псевдонимом, чтобы привлечь широкую читательскую аудиторию. В ней Кэрроллу удалось оживить схоластическую (школьную) логику методом диаграмм, который позволил свести умозаключения к передвижению фишек на игровой доске. Г К. Честертон называл метод диаграмм Кэрролла «геометрией мысли будущего». Кэрролл предвосхитил то, что теперь называется интерактивными методами. Сегодня любой пользователь без всякой подготовки может играть в логическую игру Кэрролла на компьютере. В другой его книге — «Символической логике» (Symbolic Logic) (1889) правила вывода были сформулированы в виде словесных правил-формул, которые позволяют сразу без диаграмм выводить заключение. Взаимное уничтожение одноименных координат для разных знаков реализует первая формула, для одинаковых знаков — вторая формула. Координатный метод Кэрролла в логике аналогичен синтезу, осуществленному при создании аналитической геометрии, возникшей из координатного метода Декарта. Вторая часть «Символической логики», которая была опубликована посмертно, включает в себя метод деревьев, применимый к полисиллогизмам.
Соч.: Логическая игра. М., 1991,Символическая логика. — В кн.: Кэрролл Л. История с узелками. М., 1973.
Лит.:Barley W. W. Editor's Introduction. — Symbolic Logic. N. Y., 1977; Bakhtuarov С. An Age Ago & Less Then Zero. — Международная конференция «Мир Льюиса Кэрролла». М., 1998; Бахтияров К. И. Логика и время: Трехмерная логика: силлогизмы.— «Математика», 1998. №19, Бахтияров К. И. Интерактивная игра «КЭРРОЛЛ» и калькулятор «АРИСТОТЕЛЬ». — В кн.: Логические исследования. М., 1999. вып. 6.
К. И. Бахтияров

Опубликовано на сайте: http://intencia.ru
Прямая ссылка: http://intencia.ru/index.php?name=Filosof&op=view&id=167