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