Моделирование рассуждений. Опыт анализа мыслительных актов - Поспелов Дмитрий Александрович. Страница 25

Чтобы все сказанное стало понятнее, рассмотрим конкретный пример. На рис. 26 показана серия изображений, соответствующая пропорции Лейбница, в которой, как всегда, надо восстановить недостающее звено, т.е. осуществить (если это возможно) вывод по аналогии. Для описания изображений введем языки

Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
1 и
Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
2. В языке
Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
1 в качестве элементов возьмем изображение солнца s, и человечка m. В качестве отношений будем рассматривать отношения R1 – «быть слева вверху» и R2 – «быть справа вверху». Тогда ситуация А может быть описана как sR1m. В качестве операций в
Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
1 будем использовать перестановку объектов относительно друг друга O1 и вращение на 180° по часовой стрелке O2. Тогда преобразование F можно описать как O1(s,m); O2(m). В результате этого возникает ситуация B, описание которой в языке
Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
1 выглядит как sR2(O2(m)).

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

Рис. 26.

Введем теперь элементы языка

Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
2. Это луна l и фантастическое животное q. В качестве отношений, используемых в
Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
2, возьмем снова отношения R1 и R2, а в качестве операций
Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
2 сохраним операции O1 и O2 языка
Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
1. Описание А’ выглядит следующим образом: lR1q. Для получения описания В’ установим между А и А’ отношение взаимно однозначного соответствия H, например, так, что имеют место взаимно однозначные соответствия s
Моделирование рассуждений. Опыт анализа мыслительных актов - harr.png
l и m
Моделирование рассуждений. Опыт анализа мыслительных актов - harr.png
q. Тогда sR1m
Моделирование рассуждений. Опыт анализа мыслительных актов - harr.png
lR1q и А
Моделирование рассуждений. Опыт анализа мыслительных актов - harr.png
А’. Преобразование F’ в наших предположениях совпадает с F. Значит, В и В’ должны находиться также во взаимно однозначном соответствии. Но В есть sR2(O2(m)). Учитывая соответствие между элементами
Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
1 и
Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
2, выводим описание для В’:lR2(O2(q)).

Рассмотренная процедура носит общий характер. Можно строго доказать, что если в пропорции Лейбница А, А’ и В описаны с помощью алгебраического языка, использующего лишь двуместные отношения, задан характер преобразований F и установлено взаимно однозначное соответствие между

Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
1 и
Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
2, то описание В’ также возможно на языке
Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
2 и существуют взаимно однозначные соответствия F
Моделирование рассуждений. Опыт анализа мыслительных актов - harr.png
F’ и В
Моделирование рассуждений. Опыт анализа мыслительных актов - harr.png
В’, так что, применяя к А преобразование F и к А’ преобразование F’, получаем В и В’, такие, что В
Моделирование рассуждений. Опыт анализа мыслительных актов - harr.png
В’.

Заметим, что из этого утверждения вытекает, что необходимым условием для возможности рассуждений по аналогии с использованием пропорции Лейбница служит требование коммутативности ее диаграммы. Требование коммутативности диаграммы означает, что описание В’, полученное из A с помощью F и взаимно однозначного соответствия H’, ничем не отличается от описания В’, полученного из A с помощью взаимно однозначного соответствия H и последующего применения к этому результату преобразования F’. С требованием коммутативности диаграмм мы еще столкнемся в последующих разделах этой главы.

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

Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
1 и
Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
2 и как установить взаимно однозначное соответствие между ними. Возможные в этом случае трудности иллюстрирует рис. 27. На этом рисунке показаны ситуации А и А’. Ситуация А может быть описана следующим текстом: «Ромео любит Джульетту. Джульетта любит Ромео (на рис. 27 это отношение R1). Ромео мужчина (R2). Он итальянец (R3). Джульетта женщина (R4). Она красива (R5). Она не замужем (R6)». Ситуация А’ может быть описана следующим текстом: «Тристан любит Изольду. Изольда любит Тристана (R1). Тристан мужчина (R2). Он бретонец (R*2). Изольда женщина (R4). Она красива (R5). Она замужем (R*6). Ее муж – король Марк (R7)».

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

Рис. 27.

Готовы ли мы признать описанные две ситуации аналогичными? И должен ли Тристан действовать так же, как Ромео? Из соответствующих литературных произведений мы знаем, что развитие ситуации А было таково, что оно привело к совместной смерти Ромео и Джульетты. А Тристан и Изольда имели другую судьбу. Почему это произошло? И можно было бы это формально установить в процессе сравнения ситуаций А и А’? Ведь во второй ситуации имелся король Марк, а различное число отношений заведомо не позволяло установить взаимно однозначное отношение между их описаниями. Но может быть вместо изоморфизма (т.е. взаимно однозначного отношения) для

Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
1 и
Моделирование рассуждений. Опыт анализа мыслительных актов - alg_lang.png
2 достаточно какого-нибудь гомоморфизма?

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