Глава 8. Мышление

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

Умственная логика

Пожалуй, наиболее известная на сегодняшний день реализация идеи ум- ственной логики содержится в формализованной модели Лэнса Рипса [Rips, 1991]. В соответствии с моделью Рипса все события, связанные с решением логических задач, разворачиваются во временном хранилище информации, или рабочей памяти. Информация попадает туда либо из структур, отвеча- ющих за восприятие, либо из долговременной памяти и имеет вид пропо- зиций. Рабочая память включает два типа пропозиций — утверждения (assertions) и цели (goals). Утверждения представляют собой пропозиции, которые мы в данный момент принимаем, пусть даже это будет временно, чтобы проверить, к каким выводам они ведут. Цели же являются пропози- циями, истинность которых мы желаем проверить на основе принимаемых нами утверждений. Например, в рабочей памяти могут находиться следую- щие утверждения: «Если я получу двойку на экзамене, то я брошу занятия психологией»; «На экзамене я получил четверку». Цель может заключаться в ответе на вопрос: «Брошу ли я заниматься психологией?»

Как только пропозиции попали в рабочую память, они начинают под- чиняться оперативным принципам, которые имеют право устранять из ра- бочей памяти старые пропозиции и добавлять новые. Рипс вводит в свою систему три таких принципа.

Первый принцип заключается в прямом поиске и состоит в применении правила: «Когда рабочая память содержит утверждение вида: если р, то q, и утверждение р, то утверждение ^ добавляется в рабочую память». Так, при наличии в рабочей памяти утверждений «Если Джон получит двойку на эк- замене, то бросит занятия психологией» и «Джон получил двойку» система выводит новое утверждение «Джон бросит занятия психологией».

Второй принцип состоит в применении правила: «Когда рабочая память содержит цель q? и утверждение типа: если р, то q, то подцель р?должна быть добавлена в рабочую память». Например, при наличии утверждения «Если Джон получит двойку на экзамене, то бросит занятия психологией» и цели «Бросит ли Джон занятия психологией?» система добавляет подцель «Получил ли Джон двойку на экзамене?»

Наконец, третий принцип заключается в применении правила «Когда ра- бочая память содержит цель/) и q?, подцели p?w ^?добаачяются в рабочую па- мять». Например, при наличии цели «Является ли Вундт основателем первой в мире лаборатории по экспериментальной психологии и автором интроспектив- ного метода?» система добавляет в рабочую память две подцели: «Является ли

178

Умственная логика

Вундт основателем первой в мире лаборатории по экспериментальной психо- логии?»; «Является ли Вундт автором интроспективного метода?».

Сравнив вводимые Рипсом принципы с тем, как задается логическая система (см. Приложение к этой главе), легко видеть, что модель Рипса фактически постулирует тождество операций, производимых когнитивной системой, и логических действий. Так, основная функция в рассуждении отводится modus ponens.

Приведенные выше принципы позволяют системе выполнять действия булевой алгебры, однако они недостаточны для реализации исчисления предикатов. Другими словами, они позволяют действовать на уровне це- лых пропозиций, но не на уровне их частей. Описанная выше система дает возможность правильно ответить на вопрос «Является ли Вундт автором романа "Война и мир"?», однако не действует в случае вопроса «Кто на- писал роман "Война и мир"?».

Для расширения возможностей системы Рипс уточняет понятие пропо- зиции: она состоит из предиката и аргументов. Например, пропозицию «Толстой является автором романа "Война и мир"» можно представить сле- дующим образом: Автор (Толстой, «Война и мир»). Тогда система сможет задать вопрос «Кто написал роман "Война и мир"?» следующим образом: {какойх) Автор (х, «Война и мир»)?

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

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

Умственные модели

У теории умственной логики есть ожесточенные противники, наиболее известным из которых, пожалуй, является британский ученый Филипп Джонсон-Л эрд. Джонсон-Лэрд приводит следующие аргументы против ум- ственной логики.

Во-первых, эта теория плохо объясняет, почему люди ошибаются в сво- их логических умозаключениях. Сторонники умственной логики (напри- мер, ученица М. Вертхаймера Мери Хенли) объясняют ошибки теории за- ключения тем, что испытуемые неправильно интерпретируют посылки. Другими словами, если репрезентация создана, то субъекты автоматичес- ки правильно манипулируют с ней. Трудность же, по мнению Хенли, зак- лючается в создании репрезентации. Однако Джонсон-Лэрд показывает та- кие случаи ошибок испытуемых, которые связаны с манипуляциями с ре- презентациями.

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

179