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