Конфликтующие структуры

Нам, поскольку мы сами —»рефлексирующие системы», очевидно, что выбирать следует угол 4, так как он «странный».[*] Но спрашивается, в силу каких причин возникает это стремление к «странному»? Задачи такого рода, связанные со встречей без предварительной договоренности или информационных контактов, рассматривались Т. Шеллингом [29]. Он первым научно осознал тот факт, что встреча, происходит в наиболее странном месте. Такие места Т. Шеллинг назвал «фокальными точками». Он привел целый ряд интересных примеров фокальных точек, однако подлинный логико-психологический механизм возникновения этого феномена остался невыясненным. Казалось бы, наличие рефлексивной цепочки «я думаю, что он думает, что я думаю...» позволит объяснить возникновение фокальной точки. Но этим способом можно объяснить лишь те случаи, когда задано некоторое отношение предпочтения между исходами. Например, если двое пытаются встретиться во время дождя в парке, в котором есть беседка, то действительно, подобная цепочка рассуждений приведет к цели, ибо ее возможно завершить: «я думаю, что он думает, что я думаю, что беседка лучшее убежище от дождя». Однако такое объяснение невозможно в случае с узником, который находится в камере. «Особый угол» не имеет никакого объективного преимущества (или субъективного, например, типа обычая). В этом случае у персонажа не существует отношения предпочтения, независимого от наличия другого персонажа. Поэтому цепочка типа «я думаю, что он думает...» не может быть завершена рациональным обоснованием выбора. Нам представляется, что рефлексивный анализ позволяет в какой-то мере объяснить причины возникновения фокальных точек, поскольку при этом можно регистрировать структуры гораздо более сложные, чем «я думаю, что он думает...»

Структуре «я думаю, что он думает...» соответствуют рефлексивные многочлены типа

[T+{T+(T+Ty)]x}y

Внутри персонажа Y находится персонаж X, внутри которого находится персонаж Y. Глубина «вложений» может быть произвольной. Для таких простых структур целесообразно специальное изображение. Например, привиденный многочлен можно заменить выражением Y=>X=>Y, которое читается «Y думает, что Х думает, что Y думает», или «Y знает, что Х знает, что Y знает» и т.д. Стрелка указывает на порядок чтения.

Интересно, что такие структуры распадаются на два класса. К первому классу относятся структуры, оканчивающиеся именем персонажа, который проводит рассуждение, например YXYXY. Число индексов в такой строке нечетно. В качестве исходного, наиболее «глубинного», персонаж Y использует свое собственное рассуждение, которое затем имитируется персонажем Х, далее эта имитация имитируется персонажем Y и т.д. Ко второму классу относятся структуры, оканчивающиеся именем другого персонажа, например YXYX.. Число индексов в такой строке четно. В качестве исходного рассуждения персонаж Y использует рассуждение другого персонажа.