(1) влечет предпочтительность (~2), но неверно, что предпочтительность (~2) влечет предпочтительность (1). Аналогично предпочтительность (2) влечет предпочтительность (~1), но неверно, что предпочтительность (~1) влечет предпочтительность (2). Во всех мирах, где имеет место (1), имеет место и (~2), но в тех мирах, где имеет место (~2), возможно как (1), так и возможно (~1). Соответственно, для стороны, для которой предпочтительным является состояние (1), в тех мирах, где не имеет место состояние (1), предпочтительнее окажется ((~1) & (~2)), нежели (~1). Аналогично для стороны, для которой предпочтительнее состояние (2), во всех тех мирах, где оно не имеет места, предпочтительными окажутся миры (~1) & (~2).
Парадоксальным образом нулевой мир (1) & (2) оказывается для сторон конфликта одновременно и лучшим миром, и худшим, в то время как для стороннего, но благожелательного наблюдателя он является наилучшим: это та утопия, где наилучшим образом соблюдены интересы всех сторон13. Отсюда, согласно Вригту, следует два решения – считать все возможные миры плохими либо же, напротив, хорошими. В одном случае эти миры мы оцениваем как лучшие, чем невозможный нулевой мир, что «соответствовало бы крайне жизнерадостной и оптимистичной позиции, видящей все возможные миры как хорошие» [Вригт, 1986, c. 443]. В другом случае, хоть и вынужденные довольствоваться тем что есть, мы тем не менее оцениваем эти миры как худшие, чем нулевой мир: «Последнее соответствовало бы позиции крайнего пессимизма: каждый возможный мир – плохой».
Тем самым, отказавшись от содержательной интерпретации отрицания в пользу формальной, можно найти искомое решение: от миров возможных, но взаимоисключающих друг друга в один и тот же момент времени (соответствующих нулевому миру фон Вригта или существующих в воображении международных посредников), перейти к парадигме миров, которые в будущем могут быть реализованы в один и тот же момент времени. Возможность может быть проинтерпретирована как возможность в будущем – это комбинированная модальность, объединяющая оператор актуализации в будущем времени F и оператор возможности ◇. Если некоторое состояние дел возможно, то в будущем оно либо актуализуется, либо не актуализуется:
Как было выявлено выше, в будущем возможны три состояния дел:
Из этого следует, что в будущем могут быть реализованы все три состояния. Это, несмотря на его кажущуюся тривиальность, есть крайне важное заключение. Очевидно, что состояния дел (1) и (2) возможны и могут быть реализованы в истории. Однако при этом одновременная реализация (1) и (2) невозможна: (~◇ (1 & 2)). Вместе с тем не является обязательным (необходимым), чтобы было реализовано хотя бы одно из этих состояний, это может случиться, но может и не случиться: ~(~◇~(2 \/ 1)). Напомним, что необходимо в данном случае удобно представить отрицание невозможности обратного состояния дел. В терминах временной логики это получит следующее представление: «невозможно» будет заменено комбинированной модальностью – «никогда не было, нет и не будет», а «необходимо» – «всегда было, есть и будет». Обобщая обе формулы, мы получаем:
невозможно,
Единственный недостаток этого мира – то, что он никогда не может быть актуализован. Это странным образом не замечется в реальной практике разрешения конфликтов, когда утверждается, что предлагаемое решение наилучшим образом учитывает интересы всех сторон конфликта. Как видим, и в этом случае «реальность» оказывается куда более «идеальной» или даже эфемерной, нежели претендующая на формализацию теория.
[Прайор, 1981, Прайор, 2000]. Рассматриваемый случай наиболее близок к той версии временной логики, которая дана в [Смирнов, 1984, с. 16], где возможность не связывается с обязательной реализацией в истории – «если нечто возможно, то не исключается ситуация, когда его не было, нет и не будет», почему и возможность определяется им как то, что «когда-то было, что когда-то будет».
