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