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

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

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

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

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

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

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

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

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