Дмитрий Поспелов - Моделирование рассуждений. Опыт анализа мыслительных актов
«Он думает, что…». Материал этого раздела основан на результатах, содержащихся в книгах [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 с.
