Прежде чем ознакомить вас с современными исследованиями, не лишним будет подробнее остановиться на законах формальной силлогистической логики. На схеме, приведенной на рис. 14.1 (Erickson, 1974), представлены различные формы силлогизма; предикат вывода обозначен через Р, а субъект вывода — через 5. Большая посылка связывает предикат вывода (честный в первом из нижеприведенных примеров) со средним термином[91], M (посещающие церковь); малая посылка связывает субъект вывода (политики) со средним термином, и вывод связывает субъект с предикатом.

Рис. 14.1. Формы силлогизма

Каждый тип силлогизма можно описать на основе составляющих его типов высказываний; например, в силлогизме о Сократе и смертности все высказывания являются общими утверждениями (тип А), так что весь силлогизм будет типа AAA.

Показанные на схеме «фигуры силлогизмов» — это записи «моделей опосредования», обычно используемые в исследованиях вербального научения. «Фигура 1» («упреждающая связь») в примере с Сократом имела бы такую последовательность: «Человек — смертен, Сократ — человек, Сократ — смертен». Общее количество возможных силлогизмов — комбинаций типов и фигур — составляет 256 с учетом сочетаний каждого фактора со всеми остальными факторами, из них только 24 являются логичными (по 6 на каждую фигуру).

Привлекательность использования силлогистической логики в когнитивных исследованиях заключается в том, что она позволяет оценивать «корректность», или достоверность, процессов мышления на основе их формы, а не содержания. Обозначив символами (S и Р) субъект и предикат, мы можем свести логическое мышление к разновидности алгебры. Вместо того чтобы сказать: восемь яблок плюс три яблока минус два яблока будет девять яблок, мы можем математически изобразить уравнение: а + b — с = b2 или а — с = b2 — b, не задумываясь о том, что обозначено этими символами. Сходным образом в силлогистической логике можно свести утверждения о факте к символам и манипулировать ими, как в математических уравнениях, безотносительно к физической реальности, которую они представляют.

Если Билл выше, чем Джефф, а Джефф ниже, чем Райан, то выше ли Билл, чем Райан? Прервитесь на минуту и подумайте об этом. Некоторые люди решают эту задачу (которая, конечно, не имеет определенного решения), делая небольшие рисунки, на которых изображен относительный рост Билла, Джеффа и Райана.

Вы приходите к умозаключению в результате процесса рассуждения, называющегося дедуктивным рассуждением. Это логический прием, при котором конкретные заключения выводятся из более общих принципов. Джонсон-Лэрд (Johnson-Laird, 1995) выявил четыре главные проблемы в когнитивном исследовании дедуктивной логики.

1. Относительные выводы основаны на логических свойствах таких отношений, как больше чем, справа от, и после. (В случае Билла и других вы должны были использовать логику «больше чем».)

2. Пропозициональные выводы основаны на отрицании и на соединительных словах как будто, или и и. (Например, вы могли бы сформулировать вышеупомянутую задачу так: «Если Билл выше, чем...»)

3. Силлогизмы основаны на парах посылок, каждая из которых содержит единственный определитель, например все или некоторые. (В следующем разделе мы изучим силлогизмы, имеющие такие определители, например: «Все психологи замечательные; некоторые психологи носят очки...»)

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

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

В качестве примера относительных умозаключений и логики рассмотрим следующую задачу.

Ответ приходит в голову мгновенно. Но как вы пришли к нему и каковы когнитивные правила, описывающие вашу логику? Модель Джонсона-Лэрда (Johnson-Laird, 1995), которую можно обобщить для других подобных задач, выглядит так:

На основе этих постулатов может быть получено следующее заключение.

где p и q обозначают любые пропозиции. Модель может быть значительно расширена путем добавления еще нескольких пропозиций. Рассмотрим другую задачу: