Моделирование рассуждений. Опыт анализа мыслительных актов

Всякие малые дети есть неразумные люди.

Всякий, укрощающий крокодилов, есть заслуживающий уважения.

Всякие неразумные люди не есть заслуживающие уважения.

Возьмем первую и третью посылки. Если обозначить через Р класс сущностей с именем «малые дети», через М – с именем «неразумные люди», а через S – с именем «заслуживающие уважения», то получим схему взаимного расположения Р, М и S, которая соответствует схеме четвертой фигуры на рис. 10.

Рис. 15.

На рис. 15 в верхнем ярусе показаны два возможных варианта областей истинности для первой посылки. Вторая посылка такова, что ее добавление к каждой из областей первой посылки дает только одну альтернативу. Обе области, показанные в нижнем ярусе, есть области типа g (рис. 8). Это означает, что в качестве заключительного высказывания силлогизма может выступать лишь высказывание типа Е. Само заключение при этом имеет вид «Всякие, заслуживающие уважения, не есть малые дети». После этого промежуточного вывода мы имеем две посылки:

Всякие, заслуживающие уважения, не есть малые дети.

Всякий, укрощающий крокодилов, есть заслуживающий уважения.

Если теперь М – класс с именем «заслуживающие уважения» (надо помнить, что М – единственный класс, имя которого встречается в обеих посылках), то Р соответствует классу «малые дети», a S – классу «укрощающий крокодилов». Такое введение классов сущностей приводит нас к первой фигуре силлогистики Аристотеля (рис. 10). Для получения вывода можно воспользоваться тем, что показано на рис. 16. В верхнем ярусе возможна только одна область истинности, а добавление к первой посылке второй приводит к появлению двух вариантов. Эти два варианта дают область истинности, соответствующую схеме базового высказывания Е. Таким образом, окончательное заключение разбираемого нами сорита выглядит следующим образом: «Всякий, укрощающий крокодилов, не есть малые дети».

Рис. 16.

При получении заключений мы из соображений наглядности каждый раз обращались к графической интерпретации областей истинности. На самом деле для правильных модусов силлогистики Аристотеля (поскольку схемы посылок однозначно определяют схему заключения в каждой из четырех фигур) эти заключительные схемы могут при необходимости выдаваться автоматически. Например, для первой фигуры если посылки имеют тип АА, то заключение имеет тип А, а если посылки имеют тип EI, то заключение имеет тип О. Значит, при определении высказывания, стоящего в заключении, нет никакой необходимости строить области истинности высказываний-посылок. Переход к заключению может происходить чисто механически. Надо только определить по виду выбранных посылок номер фигуры, а затем обратиться к таблице правильных силлогизмов, в которой находится ответ по номеру фигуры и типам посылок. Вот эта таблица:

Первая фигура: AAA, EAE, ЕIO, AII, AAI, EAO.

Вторая фигура: ЕАЕ, АЕЕ, ЕIO, АОО, ЕАО, АЕО.

Третья фигура: AAI, IАI, АII, ЕАО, ОАО, ЕIO.

Четвертая фигура: AAI, AEE, IAI, ЕАО, ЕIO, АЕО.

Проиллюстрируем процесс такого механического перехода на примере следующего сорита:

1. Те, кто нарушает свои обещания, не заслуживают доверия.

2. Любители выпить очень общительны.

3. Человек, выполняющий свои обещания, честен.

4. Ни один трезвенник не ростовщик.

5. Тому, кто очень общителен, всегда можно верить.

Если читатели попробуют «с ходу» сказать, какое заключение следует из этих посылок, то они тут же поймут, что сделать это практически невозможно. Поэтому будем двигаться постепенно, выполняя все необходимые в силлогистике шаги. Постепенность весьма важна, ибо она позволит впоследствии сделать из анализа этого процесса важные выводы для автоматизации вывода рассуждений. Прежде всего преобразуем все посылки сорита в нормальную форму.

1. Всякий, кто нарушает свои обещания, есть не заслуживающий доверия.

2. Всякий любитель выпить есть человек очень общительный.

3. Всякий, кто выполняет свои обещания, есть человек честный.

4. Всякий трезвенник не есть ростовщик.

5. Всякий общительный человек есть человек, заслуживающий доверия.

Обратим внимание на то, что переход к нормальной форме для посылок требует прежде всего уточнения того, что за универсум объединяет все имеющиеся посылки. Каков он для нашего сорита? О каких сущностях идет в посылках речь? По-видимому, общей сущностью для всех, о ком говорится в посылках сорита, является сущность с именем «люди», как это было и в предшествующем сорите. Заметим, что если мы не хотим оперировать с «отрицательными классами» сущностей, то надо провести дальнейшую нормализацию посылок, ибо в силлогистике Аристотеля должно неукоснительно выполняться правило, согласно которому при n посылках должен быть выделен в точности n+1 класс сущностей (в силлогизме соответственно три класса S, М и Р). Посчитаем, сколько классов получилось в примере после перехода к нормальной форме представления: W

– «нарушающие свои обещания», W

– «не заслуживающие доверия», W

– «любители выпить», W

– «очень общительные люди», W

– «те, кто выполняют свои обещания», W

– «честные люди», W

– «трезвенники», W

– «ростовщики», W

– «заслуживающие доверия».

Итак, девять классов сущностей вместо полагающихся шести. Какие из классов можно исключить из рассмотрения? Анализируя семантику имен классов, можно прийти к тому, что имеют место соотношения: W

=

, W

=

и W

=

. Из этих утверждений некоторое сомнение вызывает лишь соотношение W

=

, так как класс тех, кто любит выпить, не есть чистое отрицание для класса тех, кто вообще не пьет. Более точно было бы вместо «трезвенники» говорить о людях, которые образуют класс с именем «не любители выпить». Но согласимся с тем, что есть. Из анализа полученной системы посылок видно, что надо либо оперировать с силлогистикой, в которой имеются «положительные» и «отрицательные» классы сущностей, либо провести необходимые преобразования, о которых мы говорили раньше, чтобы перейти к случаю традиционной силлогистики Аристотеля. Выберем второй путь.

Сохраним все высказывания, в которые не входят классы W

, W

и W

, а высказывания, в которые они входят, подвергнем преобразованию. Тогда получим следующую систему высказываний, в которой классы сущностей обозначены соответствующими W