Модальность в философии: необходимость, возможность и примеры

Модальность в философии и логике — способ уточнить, как истинно или возможно некоторое высказывание: необходимо ли оно, может ли быть истинным, является ли случайным (контингентным) или невозможным. В узком смысле модальная логика изучает прежде всего слова «необходимо» и «возможно». В более широком — также выражения о знании, обязанности, времени и допустимости. Поэтому вопрос «что произошло?» и вопрос «могло ли произойти иначе?» относятся к разным уровням анализа.

Термин за минуту: необходимость и возможность

• Необходимость — □P

  Суждение P истинно при всех рассматриваемых допустимых вариантах положения дел. Знак □ читают «необходимо, что P». Какие варианты считать допустимыми, зависит от выбранного вида модальности.

• Возможность — ◇P

  Суждение P истинно хотя бы в одном рассматриваемом допустимом варианте. Знак ◇ читают «возможно, что P». Это не утверждение о вероятности и не обещание, что P обязательно случится.

Почему «истинно» не значит «необходимо»?

Допустим, чашка стоит на столе. Это может быть истинным фактом прямо сейчас, но из него не следует, что чашка не могла оказаться на полке. Предложение о чашке в обычной метафизической трактовке контингентно: оно истинно в действительности, но могло бы быть ложным. Напротив, арифметическое равенство 2 + 2 = 4 в стандартной арифметике не зависит от того, куда поставлена чашка. Оно служит понятным примером необходимости в соответствующей логико-математической системе.

Бытовая аналогия имеет предел. Когда говорят «у меня есть возможность пойти в библиотеку», часто подразумевают расписание, здоровье или разрешение. Философ, говорящий о метафизической возможности, исследует другой вопрос: каким вообще могло быть устройство мира. Нельзя без пояснения подменять один смысл другим.

Виды модальности: важны границы вопроса

• Логическая. Логически возможно то, что не противоречит законам выбранной логики. Логически необходимо то, что следует из этих законов.
• Физическая. Физически возможно то, что совместимо с законами природы в рассматриваемой физической картине. Не всякая логически непротиворечивая история физически осуществима.
• Метафизическая. Относится к тому, каким мир мог бы быть в наиболее общем смысле; границы этого понятия сами остаются предметом философского спора.
• Эпистемическая и деонтическая. В первом случае «возможно» может означать «не исключено тем, что известно», а во втором «необходимо» относится к обязанности или должному, а не к неизбежному факту.

Философский пример: возможные миры

В распространённой семантике модальной логики рассматриваются возможные миры — полные или формально заданные варианты того, как могли бы обстоять дела. Это инструмент анализа, а не утверждение, что где-то обязательно физически расположены параллельные вселенные. Высказывание ◇P оценивают как истинное, если P выполняется хотя бы в одном релевантном мире; □P — если P выполняется во всех релевантных мирах. В некоторых логических системах учитываются только миры, доступные из выбранного состояния, поэтому правила выводов требуют указания системы.

В обычной классической модальной семантике возможность P равносильна отсутствию необходимости не-P: ◇P ↔ ¬□¬P. Однако формула «если P истинно, то оно необходимо» вообще неверна: она перепутала фактичность и необходимость. Именно это различие позволяет модальной логике анализировать рассуждения о том, что есть, что могло бы быть и что должно быть.

Микропроверка

Верно ли: «Экзамен состоится завтра, значит он должен состояться во всех возможных обстоятельствах»? Нет. Даже достоверное сообщение о расписании не делает событие метафизически необходимым. Уточните, идёт ли речь о планах, вероятности, обязанности или логической необходимости.

Итог: модальность — характеристика статуса высказывания относительно определённого круга возможностей, а не синоним обычной неопределённости. Для точного употребления нужно назвать тип модальности и смысл выражений «может» и «должен».

Проверенные источники

• Stanford Encyclopedia of Philosophy — Modal Logic (операторы и семантика доступных миров).
• Stanford Encyclopedia of Philosophy — The Epistemology of Modality (логическая, физическая и метафизическая модальность).
• Internet Encyclopedia of Philosophy — Modal Logic: A Contemporary View (широкий спектр модальных понятий).