суслик2

логика Льюиса Кэрролла, подвластная не всем.

Льюису Кэрроллу были очень интересны логические задачки.
Он с огромным удовольствием развлекал своих маленьких друзей различными головоломками.

Он с увлечением играл словами, выстраивал силлогизмы, придумывал сориты.
Для Кэрролла язык не был просто набором символов и слов. В языке он видел пластический материал для проверки своих открытий.

Его смелые эксперименты опередили появление семантики и семиотики. Он разработал оригинальный вариант математической логики.

Попробуйте разгадать его знаменитую задачу о часах:

Какие часы чаще показывают правильное время — те, которые не работают, или те, которые отстают на одну минуту?
Льюис Кэрролл считал наиболее точными те, которые стоят.
Часы, которые опаздывают на одну минуту в сутки, показывают точное время один раз в два года, а стоящие часы — два раза в сутки.

Другая его знаменитая загадка про обезьяну и груз (1893 год):

Через блок, который прикреплен к потолку, переброшен канат. На одном конце прикреплен груз, на другом повисла обезьяна. Вес груза и обезьяны одинаков. Что произойдет с грузом, когда обезьяна начнет взбираться вверх по канату?
Эта задачка стала предметом многочисленных споров и дискуссий. Авторитетное жюри даже включило ее в перечень 400 наилучших логических задач в мире в специальном выпуске математического журнала The American Mathematical Monthly (1957 год). Очень редко физические задачи, составленные любителями, пользуются таким успехом.

«Какой же правильный ответ?» — спросите вы. Загвоздка в том, что решения задачи в таком виде не существует: оно зависит от дополнительных условий и предположений, которые вводятся при решении.

Особого мастерства Кэрролл достиг в решении соритов — логических задач, которые представляют цепочку силлогизмов, в которых изъятый вывод одного силлогизма служит посылкой другого.

Справка: силлогизм — рассуждение, состоящее из двух посылок и одного заключения. Решение силлогизма — это поиск заключения. Классический пример силлогизма:
Посылка 1: все люди смертны.
Посылка 2: Сократ — человек.
Заключение: Сократ смертен.

Льюис Кэрролл экспериментировал и применял новые методы синтеза и анализа силлогизмов и соритов.

В своей книге «Логическая игра» он обучает читателя графическим способом из двух суждений выводить третье.

Кэрролл предпочитал «инверсную силлогистику», которая «Все у — это m» выворачивает наизнанку «Ни один m не есть y». Льюис так любил закручивать текст посылки, что понять смысл порой сложно.

Например, его задачка про устрицу:

«Ни одно ископаемое животное не может быть несчастно в любви.
Устрица может быть несчастна в любви».
Какое заключение из этого можно сделать?
«Устрица — не ископаемое животное».
Книга «Логическая игра» была опубликована в 1887 году. Кэрролл не был знаменит как логик, поэтому, чтобы привлечь внимание к книге, он подписал ее своим уже известным сказочным псевдонимом.

Автор пытался оживить школьную логику с помощью метода диаграмм. Его метод позволяет сводить умозаключения к передвижению фишек на специальной игровой доске. Гилберт Честертон, мыслитель и писатель конца XIX — начала XX веков, назвал этот метод «геометрией мысли будущего».

Льюис Кэрролл предвосхитил то, что наши современники называют интерактивными методами. В книге «Символическая логика» 1889 года правила вывода сформулированы через словесные правила-формулы, с помощью которых заключения не требуют диаграмм и выводятся сразу, а в «Истории с узелками» приводит большое количество остроумных задач на логику.



Даже в сказках об Алисе чувствуется его любовь к логическим рассуждениям.

В задачах Льюиса Кэрролла раскрывается талант писателя и ученого. Серьезные по сути задачи он излагал легко и с юмором. Кэрролл соблюдал дисциплину мышления: в каждой задаче он оговаривал универсум и четко формулировал содержание терминов.

Историки науки признали логические работы Кэрролла опережающими время, а практически каждый логик сегодня знаком с его наследием. Но даже знать работы Льюиса еще не означает понимать их до конца.

источник


Posts from This Journal by “алиса” Tag

Решение парадоксов (окончательная версия).
Когда не учитывается степень ПОЗИЦИОННОЙ ЗАВИСИМОСТИ (ПЗ-и) ВЕДОМОГО /понятия в пределах рассматриваемого вопроса/ к ВЕДУЩЕМУ /понятию в пределах этого же вопроса/ возникает парадокс.

ВЕДОМОЕ:
«Яйцо», полагаясь от ВЕДУЩЕГО «курица» в МАКСИМАЛЬНО ВОЗМОЖНОЙ
(МксВ-ой) ПЗ-и в обоих своих СОСТОЯНИЯХ (Сст-ях) /НАЧАЛЬНОМ (Нч)
как снесённое ею; КОНЕЧНОМ (Кн) как насиженное ею/, в ракурсе
вопроса «кто был раньше» выявляющим ВЕДУЩЕГО в МИНИМАЛЬНО
ВОЗМОЖНОМ (МнмВ-ом) числе понятий комбинационно годных для
выбора искомого /в данном случае, имеем вариант с годным полагающимся
в МксВ-ой ПЗ-и от этой роли и с не годным полагающимся вне ПЗ-и от
этой роли/, невольно становится рассматриваемым на эту роль; «Ахиллес» перемещающееся лишь на метку оставляемую ВЕДУЩИМ
«передвигающейся черепахой» естественно, что не догонит её полагаясь в
обоих Сст-ях в МксВ-ой ПЗ-и от неё;
«Я» Кн Сст-я, полагающееся от ВЕДУЩЕГО «ложь» в МнмВ-ой ПЗ-и,
рассматриваемое в МксВ-ой ПЗ-и Нч Сст-я становится поочерёдно
отрицаемым /в обоих Сст-ях/;
«Критянин» Кн Сст-я, полагающееся в МнмВ-ой ПЗ-и от ВЕДУЩЕГО «множества
критян не представленного этим критянином, как не лжецом»,
рассматриваемое в Нч Сст-и полагающимся в МксВ-ой ПЗ-и от иного
ВЕДУЩЕГО «множества критян представленного этим критянином не как
не лжецом» становится поочерёдно отрицаемым /в обоих Сст-ях/;
«Брадобрей» полагающегося в МксВ-ой ПЗ-и от ВЕДУЩЕГО
«бреющих себя» и, соответственно, в МнмВ-ой ПЗ-и от иного ВЕДУЩЕГО
«не бреющих себя», рассматривают в ситуации смены степеней ПЗ-и от
ВЕДУЩИХ.
«Стрела» полагающееся в МксВ-ой ПЗ-и от ВЕДУЩЕГО «Сст-я движения» и в
МнмВ-ой ПЗ-и от ВЕДУЩЕГО «Сст-я покоя рассматривают в ситуации
смены степеней ПЗ-и от ВЕДУЩИХ.

«Знание Сократа» полагается в МксВ-ой ПЗ-и от ВЕДУЩЕГО «познаваемого».