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

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

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

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

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

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

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

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

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

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