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

В.: Почему?

Б.: «Беломор» означает белый мор, гибель.

В.: Означает ли это еще что-нибудь?

Б.: Вообще, это название канала. Но в данном случае – намек, потому что меня хотят убить.

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

2. Для выводов на уровне знаний ребенка и родителя (уровни С и Р в трансакционном анализе) характерна не полная форма вывода, а усеченная. При выводе на уровне Р посылки могут полностью или частично отсутствовать, подразумеваться или даже не осознаваться. В этом случае ? начинает выполняться всегда, когда некоторая ситуация пригодна для этого процесса. Ситуация не есть истинная посылка ?, вызывающая ?, а лишь маркер той ситуации, в которой «Если ?, то ?» когда-то имело место. При выводе на уровне С посылки ? порождаются не реальностью или убежденностью, что они имеют место, а желанием достижения ?. Такие усеченные формы вывода чрезвычайно распространены в человеческой практике.

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

Приведем в качестве примера три шкалы, показанные на рис. 7. Первая является шкалой тяжести уголовных преступлений. Чем правее лежит точка на этой шкале, тем более тяжелым считается преступление. На второй шкале отмечены сроки наказания, назначаемые за совершенные преступления, а на третьей шкале в некоторых условных единицах отмечены оценки способности заключенного к полному исправлению после наказания. Эти три шкалы на рисунке соответственно обозначены буквами П, Н и И. Пусть уголовный кодекс некоторой страны предписывает за преступление х

применять наказание у

. И пусть ситуация (x

,y

) дает оценку шанса на исправление z

. Тогда если преступление х

более серьезно, чем преступление х

(например, x

соответствует драке, a x

– краже), то естественно ожидать, что наказание за кражу должно быть большим y

, а z

должно быть меньшим, чем z

, или в крайнем случае совпадать с ним.

Рис. 7.

4. Убежденность в правоте посылок может иметь не только мифологическое обоснование, которое характерно при использовании родительских знаний, но и некоторую чисто личностную природу, связанную с отрицательными эмоциями, порожденными этими посылками. Если, например, некоторый факт вызывает у человека отрицательные эмоции, то он «вытесняет» его из зоны активности, и человек «не замечает» его существования. Поэтому и выводы, которые следуют из этого факта, субъектом не реализуются, а многие из тех выводов, которые невозможны при наличии неприятного факта, могут порождаться. Вывод может основываться на неверных посылках, которые имеются у субъекта. Например, Наполеон был твердо убежден в том, что пароходы плавать по воде не могут. Он выводил этот факт из неверной посылки, что железо тяжелее воды и никакой железный предмет на поверхности воды держаться не может. Отказ от подобных заблуждений иногда приводит к переворотам в науке, как это случилось при отказе от идеи теплорода или при отказе от истинности пятого постулата в геометрии Эвклида. Наконец, справедливость тех или иных умозаключений может определяться совокупностью морально-этических норм, принятых в данном обществе. Сентенции типа «Справедливость – благо людей» или «Какова бы не была цель, не всякие средства допустимы» характеризуют подобные рассуждения. Очень часто за этими рассуждениями стоят типовые сценарии поведения, принятые в данном социуме. Примеры: «Я на тебя обиделась. Ты даже не поцеловал меня при встрече» или «Он увидел, что рядом с ним стоит пожилая женщина с тяжелой сумкой в руках. Ему стало стыдно, он тут же встал и предложил женщине сесть».

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

Но противоречивость рассуждений выступает не только в этой форме. Человек, например, в состоянии хранить в своей памяти и при случае опираться на них как на посылки совершенно противоположные по смыслу утверждения. Фольклор любого народа буквально заполнен такими противоречивыми сентенциями: «Работа – не волк, в лес не убежит» и «Всякий труд от бога» или «Делу время – потехе час» и «Солдат спит – служба идет» или «Ученье – свет, а не ученье – тьма». Можно привести и еще более шокирующие логиков-пуритан примеры, когда в одной фразе утверждается, что одновременно имеет место некоторый факт и его отсутствие. Вот фраза из стихотворения Юнны Мориц «Море»: «Оно слепое и зоркое», а вот фраза из весьма популярной песни: «Речка движется и не движется, вся из лунного серебра». И такими откровенно противоречивыми высказываниями человек оперирует с завидной легкостью, усматривая смысл там, где логики отказываются его видеть.

6. Всякое рассуждение основывается на двух началах: собственно схеме рассуждения и принципах выбора именно этой схемы. Вторая компонента рассуждения в искусственном интеллекте называется схемой управления рассуждением. О ней мы будем говорить в гл. 5. Сейчас заметим только, что когда мы говорили об эмоциональном или религиозном рассуждениях, то в этих терминах отражалось наше представление об источнике, которым данное рассуждение управляется.

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

Глава вторая. СИЛЛОГИСТИКА И ГЕРМЕНЕВТИКА РАССУЖДЕНИЙ

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

    Г. Ибсен. Пер Гюнт

Что сделал Аристотель?

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

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

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

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

Прежде, чем пояснить вновь появившиеся понятия, попробуем ответить на вопрос: какую задачу хотел решить Аристотель, создавая свою теорию? Он жил в те времена, когда научные споры были основным видом научной деятельности. «В споре рождается истина» – выражение, пришедшее к нам из эпохи этой седой древности. Только в дискуссиях и спорах можно было отстоять свою точку зрения и усвоить, что хочет сказать твой коллега. Со времен Сократа получили широкое распространение специальные виды спора – сократические беседы. В ходе такого спора доказательство выдвинутого положения защищалось с помощью ответов двух типов («согласен» или «не согласен») на любые высказывания оппонентов выдвинутого положения.

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

Аристотель и его современники уже знали, что существует по крайней мере три типа рассуждений: от общего к частному, от частного к общему и от частного к частному. Идея первого типа рассуждений основывалась на том явном для людей положении, что если общее утверждение верно, то должно быть верными и частные утверждения, определяемые этим общим рассуждением. Именно такого типа рассуждения и называют дедуктивными.

Два других типа рассуждений с точки зрения истинности вывода куда менее ясны. Рассуждения от частного к общему отражают наш путь постижения окружающего мира и нас самих в нем. Общие утверждения возникают на пути обобщения частных, отражающих совокупность наших единичных опытных фактов. Такие рассуждения называются индуктивными. Истинность общего результата таких рассуждений для людей становится очевидной, если частных утверждений, подтверждающих этот результат, довольно много, а опровергающих утверждений нет. Еще более сложная ситуация складывается при переходе от одних частных утверждений к другим частным, как-то связанным с исходными. Здесь человеческая интуиция в оценке истинности результата почти бессильна. Такие рассуждения, которые мы будем в этой книге называть правдоподобными, лежат где-то на границе между допустимыми и недопустимыми формами человеческих рассуждений

Исходя из этих соображений (не по форме, конечно, а по существу) Аристотель выбрал для формализации именно дедуктивные рассуждения. Хотя и в область индуктивных рассуждений Аристотель внес определенный вклад, но он, конечно, не может сравниться с тем, что удалось сделать этому философу в области дедуктивных рассуждений.

Еще раз зафиксируем два положения, связанные с работой Аристотеля в интересующей нас области: 1) исходные посылки рассуждения являются истинными; 2) правильно применяемые приемы перехода от посылок к другим вытекающим из них утверждениям и из посылок и ранее полученных утверждений к новым вытекающим из них утверждениям должны сохранять истинность всех получаемых утверждений, т.е. истинные посылки порождают только истинные следствия.

Именно это свойство силлогистики Аристотеля, как со временем стала называться созданная им система, позволила средневековому философу и богослову Фоме Аквинату использовать теорию Аристотеля для обоснования всей христианской теологии. Сделал это он с помощью следующего приема. Поскольку по учению христианской церкви определенная часть сочинений, составляющая книги Ветхого и Нового Заветов, является боговдохновенной, то все утверждения, содержащиеся в них, являются абсолютно истинными. Их истинность не меняется. А значит, они образуют посылочный базис логической системы, в которой невозможны противоречия. Из них можно с помощью силлогистики Аристотеля порождать новые утверждения, которые также будут истинны. И если многие из этих утверждений человеческий рассудок отказывается принимать, сомневается в их допустимости, то, следовательно, рассудок земного человека слаб и не дорос еще до истинных откровений. Ведь еще на заре распространения христианского учения один из его апологетов Тер…[3 - В скане книги, использованном для создания fb2, в данном месте пропущены страницы (34–48). – Прим. авторов fb2-документа.]

…их больше двух. Для получения заключения в сорите нужен многошаговый процесс, а для проверки истинности заключения не два шага (как на рис. 11–13), а столько шагов, сколько посылок имеется в сорите.

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

Рассмотрим два примера получения заключения в соритах. Первый сорит содержит три посылки:

Малые дети неразумны.

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

Неразумные люди не заслуживают уважения.

Чтобы начать процесс вывода, необходимо сначала привести все посылки к нормальной форме, принятой в схемах базовых высказываний в силлогистике. После этого преобразования посылки сорита примут вид: