Некоторые ученые суть родители.
Джонсон-Лэрд предполагает, что испытуемый при помощи знания языка создает умственные модели посылок. Вначале испытуемый представляет некоторое количество ученых, затем они мысленно связываются так, чтобы показать их соответствие родителям:
ученый = родитель
ученый = родитель
(ученый) (родитель)
Согласно обозначениям, которые здесь используются по примеру Джонсон-Лэрда, скобки указывают на то, что есть ученые, не являющиеся родителями, и наоборот.
Теперь, когда модель первой посылки создана, к ней может быть добавлена информация из второй посылки (все родители являются водителями):
ученый = родитель = водитель
ученый = родитель = водитель
(ученый) (родитель=водитель) (водитель)
На этом этап построения модели закончен, и наступает этап оперирования внутри модели. В данном случае оперирование несложно— происходит лишь извлечение вывода. Джонсон-Лэрд установил интересную закономерность относительно того, как делается вывод: порядок терминов в нем соответствует последовательности, в которой термины вошли в рабочую память. Так, в рассматриваемом силлогизме большинство испытуемых делают вывод «некоторые ученые суть водители», и лишь очень немногие дают совершенно аналогичное заключение «некоторые водители суть ученые».
Может показаться, что используемая Джонсон-Лэрдом форма представления посылок аналогична так называемым кругам Эйлера или диаграммам Венна. С их помощью приведенный выше силлогизм можно изобразить следующим образом (рис. 8.5).
|
|
Рис. 8.5. Способы графического представления силлогизмов.
Джонсон-Лэрд считает, однако, что обе эти формы не вполне адекватны, поскольку ставят в соответствие конечным наборам элементов бесконечное множество точек. Тем самым не выполняется требование изоморфизма объекта и его репрезентации, в результате чего эта репрезентация не удовлетворяет требованиям, предъявляемым к умственным моделям.
Рассмотренный выше силлогизм имеет самую удобную форму— со сближенным средним термином, что может быть представлено следующим образом: А—В, В—С. Можно ли распространить примененную к нему схему на более сложный вариант типа В—А, С—В, например:
Все пчеловоды суть химики.
Некоторые художники суть пчеловоды?
Джонсон-Лэрд предполагает следующий путь решения. Вначале субъект конструирует модель первой посылки, но затем не может добавить в нее непосредственно информацию из второй. Тогда он создает отдельную модель второй посылки, повторно интерпретирует первую, и дополняет содержащейся в ней информацией модель.
Силлогизм, имеющий вид А—В, С—В, еще сложней. Здесь возможны два пути решения. Первый путь — сначала создается модель на основе посылки А—В, а затем посылка С—В подвергается «переворачиванию», и информация из нее добавляется к модели. Переворачивание означает замену модели типа
Второй путь — сначала создается модель на основе посылки С— В, затем посылка А—В повторно интерпретируется, переворачивается и добавляется к модели.
Все рассуждения выглядят достаточно логично, но можно ли их доказать экспериментально? Джонсон-Лэрд делает это, регистрируя время решения задачи испытуемыми и процент допускаемых ими ошибок. Логично предположить, что повторные интерпретации посылок и особенно переворачивания приведут к дополнительным затратам времени на решение
и увеличению числа ошибок. Теоретически реконструировав операции, необходимые для решения разных типов силлогизмов, можно предсказать, что решение некоторых из них будет занимать больше времени и приводить к большому проценту ошибок. Кроме того, теория позволяет предсказать наиболее вероятную форму заключения. Эксперименты, проведенные Джонсон-Лэрдом, подтверждают различия, предсказываемые теорией [Johnson-Laird, 1983].
Интересным выводом из исследования Ф. Джонсон-Лэрда является то, что представление «некоторые А суть В» в психологическом смысле не тождественно представлению «некоторые В суть А». Разница заключается в том, что является субъектом (о чем говорится), а что — предикатом (что говорится).
Джонсон-Лэрд наиболее подробно исследовал функционирование умственных моделей в решении силлогизмов. Однако он считает, что на основе тех же принципов может быть объяснено и мышление в иных областях, и выделяет другие типы умственных моделей: реляционные, пространственные, временные, кинематические, динамические, монадические, образы, и т.д.