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