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

«Он думает, что…». Материал этого раздела основан на результатах, содержащихся в книгах [110, 111]. Примеры использования таких рассуждений при решении некоторых задач поведения рассмотрены в [112, 113]. Отметим, что пока нельзя говорить о создании завершенной теории рефлексивных рассуждений, хотя важность такой теории не вызывает сомнений. Она станет особенно актуальной при возникновении коллективов интеллектуальных систем и необходимости организации совместного функционирования членов этого коллектива.

Еще один пример использования рефлексивных рассуждений дает рассказ Э. По «Пропавшее письмо» [59]. Герой этого рассказа сыщик Дюпен обнаруживает пропажу, пользуясь методом рассуждения по рефлексии, отождествляя свой интеллект с интеллектом противника. Этот метод Дюпен заимствовал у одного мальчугана, который, как правило, выигрывал в «чет-нечет» у своих противников, вычисляя их ранг рефлексии.

Текст и рассуждение. Исследования текста романа «Мастер и Маргарита», на которые имеются ссылки в данном разделе, содержатся в работах [114, 115]. В [115], кроме того, имеется столь же глубокий анализ ряда положений, скрытых за текстом книг Дж.Д. Сэлинджера. Выдержка из романа Ж. Перро взята из [116, с. 90, 92]. Исследования по теории пресуппозиции довольно многочисленны. Укажем на [117], в которой имеется библиография по этому вопросу.

Насколько работа над текстом может быть глубокой, показывает исследование [118]. Его авторы построили формальную систему, описывающую поведение тщеславного человека. Для этого они воспользовались максимами Ф. де Ларошфуко, считая их истинными утверждениями этой формальной системы. Анализируя данные высказывания, Ю.С. Мартемьянов и Г.В. Дорофеев ввели систему аксиом и правил вывода, с помощью которых порождаются все утверждения Ларошфуко. Среди введенных аксиом были как общечеловеческие (например, «Человеку неприятно отсутствие приятного»), так и те, которые характерны для тщеславного человека (например, «Считать себя хуже других человеку неприятнее всех прочих страданий»). Кроме аксиом были введены шесть принципов поведения человека (например, принцип выбора: «Человек из двух зол всегда выбирает меньшее или необязательное, а из двух благ – большее или обязательное»). Среди введенных правил вывода известное правило модус поненс и два специальных правила, одно из которых по форме напоминает последнее, но отличается от него тем, что заключение становится истинным не всегда, а лишь при отсутствии препятствий для его возникновения. Далее авторы доказали выводимость тех максим, которые имеются у Ларошфуко. В процессе этой работы было произведено логическое уточнение содержания понятий, используемых в тексте (таких, как «благо», «страдание», «скрывает» и т.п.), ибо в рамках формальной системы они должны получить однозначный смысл. Наконец, в построенной системе оказалось возможным выводить новые максимы, отсутствующие в тексте Ларошфуко, которые не противоречат законам мира тщеславного человека.

Не менее интересным является исследование [119], основанное на работе с текстами дневников Бисмарка. Анализируя дневниковые записи за определенный период, авторы построили систему ценностей, лежащую в основе тех действий, которые Бисмарк считал во внешней политике тогдашней Германии разумными. Затем на основе этой системы ценностей было произведено формальное построение его возможных действий в ситуации, не использовавшейся для предварительного анализа. Этот логико-формальный вывод оказался успешным.

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

«Верую, ибо абсурдно!». Материал этого раздела, касающийся практики дзен-буддизма, заимствован в основном из [121]. Высказывание Клоделя о различии логик научного и поэтического познания мира содержится в [122]. Примеры абсурдных высказываний, имеющиеся в тексте этого раздела, а также многие другие примеры подобных высказываний можно найти в работах [123–127].

Краткое заключение. Об асимметрии познавательных процессов при дедуктивном и индуктивном выводах хорошо написано в книге [128]. На материале истории математики эта проблема обсуждается в [129], а на материале истории архитектурных стилей – в [130]. Результаты, аналогичные тем, что изложены в [130], касающиеся стилевых особенностей музыкальных произведений, опубликованы в [131].

1. Глезерман Т.Б. Психофизиологические основы нарушения мышления при афазии. – М.: Наука, 1986. – 225 с.

2. Иванов В.В. Чёт и нечет (асимметрия мозга и знаковых систем). – М.: Сов. радио, 1978. – 184 с.

3. Ротенберг В.С, Аршавский В.В. Поисковая активность и адаптация. – М.: Наука, 1984. – 192 с.

4. Вежинов П. Измерения. – М.: Прогресс, 1982. – 293 с.

5. Леви-Брюль Л. Первобытное мышление. – М.: Атеист, 1930. – 337 с.

6. Кликс Ф. Пробуждающееся мышление. – М.: Прогресс, 1983. – 301 с.

7. Поршнев Б.Ф. Социальная психология и история. – М.: Наука, 1979. – 231 с.

8. Иорданский В.Б. Хаос и гармония. – М.: Наука, 1982. – 342 с.

9. Клочков И.С. Духовная культура Вавилонии: человек, судьба, время. – М.: Наука, 1983. – 203 с.

10. Голдинг У. «Шпиль» и другие повести. – М.: Прогресс, 1981. – 446 с.

11. Цивьян Т.В. Мифологическое программирование повседневной жизни / Этнические стереотипы поведения. – Л.: ЛО Наука, 1985. – С. 154–178.

12. Berne E. Games People Play. – N.Y.: Grove Press, Inc., 1967. – 192 p.

13. Harris T.A. I’m OK – You’re ОК. – London and Sydney: Pan Books, 1976. – 269 p.

14. Саган К. Драконы Эдема. – М.: Знание, 1986. – 255 с.

15. Выготский Л.С. Мышление и речь / Собр. соч. Т. 2. Проблемы общей психологии. – М.: Педагогика, 1982. – С. 10–361.

16. Пиаже Ж. Психология интеллекта. – М.: Просвещение, 1969. – 659 с.

17. Негневицкая Е.И., Шахнарович А.М. Язык и дети. – М.: Наука, 1981. – 110 с.

18. Лурия А.Р. Язык и сознание. – М.: МГУ, 1979. – 319 с.

19. Чуковский К.И. От 2 до 5. – М.: Детская литература, 1970. – 414 с.

20. Поспелов Д.А. О «человеческих» рассуждениях в интеллектуальных системах // Логика рассуждений и ее моделирование. Научный совет по комплексной проблеме «Кибернетика» при Президиуме АН СССР. – М., 1983. – С. 5–37.

21. Котарбиньский Т. Избранные произведения. – М.: ИЛ, 1963. – 911 с.

22. Стяжкин Н.И. Становление идей математической логики. – М.: Наука, 1964. – 304 с.

23. Асмус В.Ф. Логика. – М.: Госполитиздат, 1947. – 386 с.

24. Остер Г. Как хорошо дарить подарки. – М.: Детская литература, 1975. – 34 с.

25. Окуджава Б. Свидание с Бонапартом. – М.: Советский писатель, 1985. – 285 с.

26. Хофман И. Активная память. – М.: Прогресс, 1986. – 309 с.

27. Черниговская Т.В., Деглин В.Л. Метафорическое и силлогистическое мышление как проявление функциональной ассимметрии мозга // Труды по знаковым системам. – Тарту: ТГУ, 1986. – Вып. 19. – С. 68–84.

28. Кэррол Л. История с узелками. – М.: Мир, 1973. – 407 с.

29. Войшвилло Е.К. Понятие. – М.: МГУ, 1967. – 285 с.

30. Джиджян Р. З. Расширенная силлогистика. – Ереван: Ерев. ГУ 1977. – 206 с.

31. Бочаров В.А. Аристотель и традиционная логика. – М.: МГУ, 1984. – 132 с.

32. Корельская Т.Д. О формальном описании синтаксической синонимии. – М.: Наука, 1975. – 252 с.

33. Поваров Г.Н., Петров А.Е. Русские логические машины. Кибернетика и логика. – М.: Наука, 1978. – С. 137–152.

34. Рабинович В.Л. Образ мира в зеркале алхимии. – М.: Энергоиздат, 1981. – 151 с.

35. Урнов Д. Прекрасная экзегеза // Знание–Сила. – 1986. – № 9. – С. 46–48.

36. Бласс Ф. Герменевтика и критика. – Одесса, 1891. – 194 с.

37. Горнфельд А. О толковании художественного произведения // Русское богатство. – 1912. – № 2. – С. 145–172.

38. Беляева-Экземплярская С.Н. Музыкальная герменевтика. Искусство. – 1927. – Ки. 4. – С. 127–138.

39. Савваитов П. Библейская герменевтика. – СПб.: Типография Якова Трея, 1859. – 144 с.

40. Strack H. L. Einleitung in den Talmud. – Leipzig, 1908. – 254s.

41. Раевский Д.С. Модель мира скифской культуры. – М.: Наука, 1985. – 255 с.

42. Шербатской Ф.И. Теория познания и логика по учению позднейших буддистов. – Ч. 1. СПб., 1903. – 357 с.

43. Ииголлс Д-Г-Х. Введение в индийскую логику Навья-ньяя. – М.: Наука, 1975. – 237 с.

44. Янгутов Л.Е. Философское учение школы хуаянь. – Новосибирск: Наука, 1982. – 141 с.