Как было выявлено выше, в будущем возможны три состояния дел:

Из этого следует, что в будущем могут быть реализованы все три состояния. Это, несмотря на его кажущуюся тривиальность, есть крайне важное заключение. Очевидно, что состояния дел (1) и (2) возможны и могут быть реализованы в истории. Однако при этом одновременная реализация (1) и (2) невозможна: (~ (1 & 2)). Вместе с тем не является обязательным (необходимым), чтобы было реализовано хотя бы одно из этих состояний, это может случиться, но может и не случиться: ~(~~(2 \/ 1)). Напомним, что необходимо в данном случае удобно представить отрицание невозможности обратного состояния дел. В терминах временной логики это получит следующее представление: «невозможно» будет заменено комбинированной модальностью – «никогда не было, нет и не будет», а «необходимо» – «всегда было, есть и будет». Обобщая обе формулы, мы получаем:

невозможно, чтобы Карабах принадлежал и Армении, и Азербайджану, и вместе с тем возможно, но необязательно, чтобы Карабах принадлежал либо Армении, либо Азербайджану (или: неверно, что необходимо, чтобы Карабах принадлежал либо Армении, либо Азербайджану).

Из вышеприведенной формулы можно получить различные следствия. Так, если имеет место (1), то неверно, что имеет место или возможно (2), и наоборот. Противоречивой оказывается и конъюнкция (1 \/ 2) & ((~1) & (~ 2)), и, стало быть, такое состояние дел невозможно и никогда не будет реализовано в истории. Тем самым, за исключением нулевого мира ((1) & (2)), возможны все состояния, описываемые формулой

но только одно из состояний является совместимым будущим – ((~2) & (~1)), или тем будущим, которое не обязательно, что приводит к конфликту (см. ниже). Привлечение модального компонента (возможной истинности в (будущем)) позволяет уйти от тавтологических кругов и безальтернативности. Возможно некоторое состояние дел, которое, с одной стороны, для всех участников предпочтительнее не всех, но некоторых остальных состояний дел. Оно не является лучшим ни для кого из обоих участников конфликта, но вместе с тем и не является худшим. С другой стороны, это состояние дел является единственно возможной альтернативой несовместимому нулевому миру ((1) & (2)). Областью пересечений миров-следствий из базовых пропозиций (1) и (2) явится совпадающее возможное будущее: конъюнкция двух отрицательных пропозиций – ((~2) & (~1)).

На каком основании мы считаем, что совместимое будущее, которое к тому же для обеих сторон является предпочтительнее худших миров, есть единственно приемлемая альтернатива? Безусловно, можно встретить и противоположный подход: это позиция радикалов, требующих «все или ничего», и для которых неприемлемы все те возможные состояния дел, которые не совпадают с наилучшим миром. Но куда более совпадает с общепринятыми представлениями то понимание, которое мы исходно сформулировали как задачу по поиску того образа будущего, которое совместимо для всех сторон конфликта, что можно интерпретировать как модель для его разрешения. В свое время при семантическом моделировании конфликта мы предложили рассматривать как модель разрешения конфликта удаление из описания мира (конъюнкции пропозиций) несовместимых конституент, т.е. тех, которые сами или же их следствия приводят к противоречию и тем самым к несовместимости возможных (в будущем) миров [Золян, 1996].

Здесь следует вернуться к рассмотрению того, насколько согласуется выбранное решение с состояниями войны (3) и мира (4). В отличие от ранее рассмотренных ситуаций (1) и (2), в данном случае предпочтения участников относительно состояний (3) и (4) те же: ((4) > (3)). Однако приняв за основу допущение о том, что наихудший вариант для одной из сторон приводит к состоянию конфликта, мы тем самым обязаны принять как предпосылку, что состояние (4) обладает наивысшей ценностью, но – по крайней мере с точки зрения самих сторон конфликта – только не в наихудших из миров. Исключать их и их приоритеты из рассмотрения на той основе, что они придерживаются «неправильных» взглядов и с ними надо лишь провести «разъяснительную» работу, было бы неоправданным упрощением 15 . Поэтому следует рассмотреть, как соотносятся миры, где имеет место (1) или (2), с мирами, в которых имеет место (3) или (4) и, что представляет наибольший интерес, уточнить, какое из состояний дел влечет – или же совместимо – с (4). В формально-логическом отношении – это независимые состояния дел (возможен конфликт между Арменией и Азербайджаном и из-за какой-либо иной проблемы). Но поскольку мы ограничиваемся именно Карабахским конфликтом, то в поле рассмотрения попадают только те миры, которые связаны с Карабахом и с его статусом. Поэтому все остальные состояния дел можно рассматривать как производные от двух первых пропозиций и их следствий, что можно отразить как импликацию:

или через эквивалентную формулу:

принадлежность Карабаха Армении или Азербайджану влечет состояние конфликта.

Как было показано выше, позицию внешнего наблюдателя («мирового сообщества») можно представить как: 4 > (1 \/ 2) – «мир важнее, чем кому принадлежит Карабах», или же в эквивалентной форме относительно возможного в будущем состояния дел:

Но поскольку мы приняли, что ((1 \/ 2) => 3), то подобное состояние оказывается противоречивым и нереализуемым – разве что в нулевом невозможном мире, в котором могут иметь место (3 & 4), равно как и (1 & 2). Тем самым имеет место:

что эквивалентно формуле: ((4) \/ (1) \/ (2)) – не может быть мир, если Карабах принадлежит Армении или Азербайджану, или, иными словами, или мир, или война – поскольку, как было отмечено выше, (1 \/ 2) влечет 3, то формула ((4) \/ (1) \/ (2)) сокращается до тривиального ((4) \/ (3)) – мир или война.

Это, в свою очередь, уменьшает множество совместимых возможных в будущем миров. Если мы принимаем, что в будущем может быть только состояние дел (1) \/ (2), и не может быть реализовано никакое другое, то во всех возможных мирах будет актуализовано также и состояние конфликта: ((1) \/ (2) & (3)), (позиция радикалов с обеих сторон, поддерживаемая «третьей силой»). Но, как было показано выше, спектр возможностей не исчерпывается состояниями (1) \/ (2), а включает также и (~1) & (~2), и возможность актуализации (4) может быть соотнесена только с этой третьей альтернативой.