или содержательное отрицание (2), так, отрицательная форма (~1) – (Карабах не принадлежит Армении) – или же в более точной формулировке (неверно, что Карабах принадлежит Армении) – включает в себя и (2), но не ограничивается этим: множество миров, в которых Карабах не принадлежит Армении, разбивается на подмножество миров, в которых Карабах принадлежит Азербайджану, и подмножество миров, в которых Карабах не принадлежит ни Армении, ни Азербайджану12. В случае интерпретации отрицательной формы пропозиции (2) ситуация аналогична – миры, в которых Карабах принадлежит Армении, есть подмножество миров, в которых Карабах не принадлежит Азербайджану. Соответственно универсум разбивается не на два непересекающихся множества миров, а на четыре сегмента: (1), (2), (~1), (~2),
где возможны следующие конфигурации-конъюнкции:
а) (1) & (2) – пустое множество миров, невозможный мир, который можно считать нулевым в смысле Вригта, или утопией – «если бы было возможным», и относительно которого можно было бы оценивать предпочтительность тех или иных миров с точки зрения нейтрального наблюдателя;
в) (1) & (~2) – «проармянский» сегмент;
с) (2) & (~ 1) – «проазербайджанский» сегмент;
d) множество миров, соответствующих конъюнкции ((~1) & (~2)) – область пересечения между «проармянским» и «проазербайджанским» сегментами.
Формальная интерпретация может показаться не имеющей какого-либо реального смысла – ведь говоря о каком-либо состоянии дел, например о статусе Карабаха, нам важно, кому он принадлежит, а не то, какая из описывающих его пропозиций оказывается ложной. Казалось бы, говоря о реальном мире, мы интересуемся только содержательным аспектом – например, нам важно знать, где работает наш сосед, а не то, где он не работает. Но даже и тут возможны ситуации, когда формальная интерпретация оказывается удовлетворительной (например, нам достаточно знать, что наш сосед не работает в тайной полиции). К аналогичным результатам мы придем, если вместо замены исходных пропозиций на их двойное отрицание рассмотрим выводимые из них следствия. При этом получаемые посредством операции отрицания формулы должны получать формальную, а не содержательную интерпретацию. Это оказывается особенно важно при рассмотрении предпочтений, где принято, что если некоторое состояние дел «Р» оценивается позитивно, то оно предпочитается его отрицанию Р > ~Р, и наоборот.
Теперь вспомним о предпочтениях, которые были указаны ранее, и попытаемся в соответствиии с ними распределить эти конъюнкции. Для армянской стороны предпочтительными будут все те миры, где имеет место
Отсюда вытекает ряд следствий. Поскольку, как предусмотрено фон Вригтом, «плохому» миру предпочитается его отрицание, из чего следует, что миры (~2) будут предпочтительнее миров (2).
Поскольку в силу их эквивалентности пропозицию (~2) можно заменить на
то мы получаем:
Во избежание недоразумений заметим, что конкретизация участников может быть и иной. Поэтому формула (~1) & (~2)) не значит, что Карабах принадлежит, скажем, Пакистану – в таком случае место Армении или Азербайджана в приводимой формуле займет Пакистан, и конфликт будет протекать между Арменией или Азербайджаном, с одной стороны, и Пакистаном – с другой.
