Метод. Московский ежегодник трудов из обществоведческих дисциплин. Выпуск 3: Возможное и действительное в социальной практике и научных исследованиях - страница 45

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

где возможны следующие конфигурации-конъюнкции:

а) (1) & (2) – пустое множество миров, невозможный мир, который можно считать нулевым в смысле Вригта, или утопией – «если бы было возможным», и относительно которого можно было бы оценивать предпочтительность тех или иных миров с точки зрения нейтрального наблюдателя;

в) (1) & (~2) – «проармянский» сегмент;

с) (2) & (~ 1) – «проазербайджанский» сегмент;

d) множество миров, соответствующих конъюнкции ((~1) & (~2)) – область пересечения между «проармянским» и «проазербайджанским» сегментами.

Формальная интерпретация может показаться не имеющей какого-либо реального смысла – ведь говоря о каком-либо состоянии дел, например о статусе Карабаха, нам важно, кому он принадлежит, а не то, какая из описывающих его пропозиций оказывается ложной. Казалось бы, говоря о реальном мире, мы интересуемся только содержательным аспектом – например, нам важно знать, где работает наш сосед, а не то, где он не работает. Но даже и тут возможны ситуации, когда формальная интерпретация оказывается удовлетворительной (например, нам достаточно знать, что наш сосед не работает в тайной полиции). К аналогичным результатам мы придем, если вместо замены исходных пропозиций на их двойное отрицание рассмотрим выводимые из них следствия. При этом получаемые посредством операции отрицания формулы должны получать формальную, а не содержательную интерпретацию. Это оказывается особенно важно при рассмотрении предпочтений, где принято, что если некоторое состояние дел «Р» оценивается позитивно, то оно предпочитается его отрицанию Р > ~Р, и наоборот.