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

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

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

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

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

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

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

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

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

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