Отношения модальных суждений: шестиугольник и треугольник

Отношения между модальными суждениями, подобные отношениям, которые связывают простые категорические сужения в логическом квадрате, могут быть представлены в виде шестиугольника. Единственным дополнительным условием является здесь следующее: отношение R между мирами надо считать рефлексивным. Это означает, что каждый мир должен находиться в отношении R сам к себе – хRх для любого х.

Рассмотрим модальный шестиугольник:

□А □А

А А

◊А ◊А

Исходя из описанной семантики модальностей и при рефлексивном R, можно определить, в каких отношениях находятся суждения, объединённые в шестиугольник. Стрелки обозначают отношение подчинения. Двойной штриховой пунктир – это отношение противоречия (контрадикторности), а сплошная линия – отношение противоположности (контрарности). Пунктирные линии указывают на отношение совместимости.

Напомним, что суждения, связанные отношением противоположности, могут быть одновременно ложными, но не могут быть одновременно истинными. От этого нас предохраняет рефлексивность R, ведь в мире, из которого недостижим никакой другой мир и который сам недостижим для себя, все необходимости истинны, т. е. истинно и □А и □А. При рефлексивном R суждения □А и □А не могут быть одновременно истинными в данном (действительном) мире, но могут быть одновременно ложными, например когда из данного мира достижимы как миры, в которых истинно А, так и миры, в которых истинно А.

Противоречие – это исключающее отношение, т. е. из истинности одного суждения, связанного отношением противоречия, следует ложность другого, а из ложности – истинность. Очевидно, что истинность □А влечёт ложность ◊А и А. Ложность □А, как говорит нам определение истинности, есть не что иное, как истинность А в каком-либо из миров, достижимых из данного, что равносильно истинности ◊А или А. Точно так же обстоит дело и с суждением □А. Суждения А и А противоречат друг другу в силу общего логического закона исключённого третьего, поскольку говорят о действительном мире.

Отношение совместимости связывает суждения, которые могут быть одновременно истинными, но не могут быть одновременно ложными. Например, истинность ◊А и ◊А означает всего лишь, что существуют два мира, достижимых из данного, в одном из которых истинно А, а в другом – А. Одновременная ложность суждений ◊А и ◊А невозможна. Поскольку рефлексивность R обеспечивает нам достижимость действительного мира и всех других миров для самих себя, невозможно, что все формулы вида ◊В ложны хотя бы в одном мире, иначе в этом мире не было бы истинным ни В, ни В, что невозможно, поскольку определение истинности присваивает значение всем формулам языка. Поэтому для любой формулы А в любом мире будет иметь место либо А, либо А, но не то и другое вместе. Отсюда следует, что, независимо от количества миров, достижимых из произвольного мира х, или ◊А, или ◊А, или обе эти формулы оказываются истинными в мире х.

Пары формул ◊А и А, а также ◊А и А могут быть одновременно истинными, но не могут быть одновременно ложными. В самом деле, ложность ◊А потребует истинности А во всех мирах, достижимых из данного, в том числе в силу рефлексивности R, в самом этом мире, но там А уже ложно. Аналогичное рассуждение проводится и для второй пары.

Существует ещё одна схема отношений модальных суждений, восходящая к Аристотелю и называемая «модальным треугольником». В основе этого соотношения лежит представление о так называемой билатеральной возможности, предполагающей, что «возможно А» означает «возможно А и возможно А», что трактуется как «А случайно»:

□А □А

◊А  ◊А

(◊А  ◊А) читается как «А случайно». Все суждения в «треугольнике» связаны отношением противоположность. Отношение между □А и □А обосновывается так же, как и выше. Особенность «треугольника» состоит в том, что при отрицании случайности – (◊А  ◊А) мы не можем прийти к истинности ни □А, ни □А. С каждой из этих формул случайность может быть одновременно ложна, поэтому имеет место отношение противоположности, а не противоречия. От отрицания (◊А  ◊А) можно перейти только к дизъюнкции (□А  □А).