Аналитика: методология, технология и организация

Надо сказать, что один из методов решения полисиллогизмов был предложен математиком и логиком Ч. Доджсоном (литературный псевдоним — JI. Кэрролл), обильно «насорившим» соритами в своих книгах «Алиса в стране чудес», «История с узелками» и других.

Так, например, рассмотрим следующий полисиллогизм Кэррола:

1) «Все малые дети неразумны».

2) «Все, кто укрощает крокодилов, заслуживают уважения».

3) «Все неразумные люди не заслуживают уважения».

Необходимо определить, что следует из этих посылок.

Пытаясь решить подобную задачу в рамках аристотелевой силлогистики, нам пришлось бы последовательно подбирать подходящие пары суждений, получать из них следствия до тех пор, пока не будут исчерпаны все возможности. Это при росте числа утверждений оказалось бы чрезвычайно сложной задачей, результат решения которой не всегда приводит к однозначному выводу.

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

- определение основных терминов, из которых состоит система посылок;

- введение для терминов системы обозначения;

- выбор подходящего универсума (множества, охватывающего все упоминаемые объекты).

В приведенном примере основными терминами данной задачи являются: «малые дети» (С), «разумные люди» (S), «те, кто укрощает крокодилов» (Т) и «те, кто заслуживает уважения» (R). Очевидно, что эти основные термины представляют какие-то множества в универсуме «люди». Их отрицаниями соответственно будут следующие термины: «не малые дети» (~С),

«неразумные люди» (~S), «те, кто не укрощает крокодилов» (~T) и «те, кто не заслуживает уважения» (~R). Универсумом же для данной системы будет являться множество всех людей (U).

По существу, мы сформировали систему элементов формального описания предметной области, отраженной в полисиллогизме. Завершим пример, используя подход Б.А. Кулика (для прочтения символической записи достаточно припомнить школьные годы)...

Итак, С ' С 7 CI R\ S CI R (знак С символизирует отношение включения множеств). — Именно так будет выглядеть запись базовых суждений сорита. По школьным годам помнится, что операция инверсии знаков у обеих частей неравенства приводит к интересным результатам (превращению знака «больше» в знак «меньше» и т. д.). В нашем случае такая аналогия вполне уместна: операция отрицания поставленная перед каждым из терминов приведет к инверсии отношения включения, то есть получим:

S с= С; R^T; R<^S. То есть, «Все разумные люди не являются малыми детьми» и т. п. Далее получим: