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

Модальная логика — семейство формальных систем, изучающих рассуждения с выражениями необходимости, возможности и близкими к ним операторами. Обычная логика высказываний помогает проверить, что следует из посылок, составленных со связками «и», «или», «если…, то…». Модальная логика добавляет вопросы: что следует из утверждения «это необходимо»? Можно ли из «это возможно» вывести «это действительно происходит»? Ответ зависит от того, какой тип модальности и какая система правил рассматриваются.

Два масштаба употребления термина

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

В широком смысле по сходному образцу строят логики знания и убеждения, времени, обязанности и разрешения. Например, из слов «должен выполнить обещание» нельзя без уточнения смысла слова «должен» получить утверждение о физической необходимости. Системы эпистемической, временной и деонтической логики могут пользоваться похожими формальными приёмами, но их операторы не взаимозаменяемы. Такую широту употребления прямо отмечают справочные статьи Stanford и Internet Encyclopedia of Philosophy.

Разница проявляется даже в, казалось бы, безобидном правиле: если что-то необходимо, то оно действительно. Для обычной алетической необходимости это правило естественно; для обязанности оно неверно — люди иногда не исполняют того, что должны. Поэтому неверно говорить о единой «модальной логике», правила которой одинаковы для всех видов модальности.

Что показывают возможные миры

Один из широко используемых способов объяснить модальную логику — семантика возможных миров. Под «миром» здесь можно понимать абстрактную модель полного положения дел, а не обязательно физическую параллельную вселенную. Для выбранной точки оценки задают множество других миров, которые считаются доступными из неё. Высказывание □P истинно в исходном мире, если P истинно во всех доступных мирах; ◇P — если хотя бы в одном из них. Это формальная схема, позволяющая точно сравнивать разные логические правила.

Представим учебную модель с тремя сценариями работы библиотеки: в первом читальный зал открыт утром, во втором — вечером, в третьем — целый день. Если все три сценария допускаются в нашей модели, утверждение «зал открыт вечером» возможно, потому что верно во втором и третьем сценариях. Но оно не необходимо, поскольку в первом зале доступно только утро. Если затем исключить первый сценарий как недопустимый, то то же высказывание станет необходимым относительно оставшегося набора вариантов. Это не означает, что расписание реально изменилось: изменилось отношение доступности и, следовательно, условие формальной оценки.

Ограничение этого примера принципиально: реальное расписание выясняют эмпирически, а модальная модель здесь служит для анализа слов «возможно» и «необходимо». Она не доказывает существования множества физических миров. Более того, философы расходятся в том, как понимать онтологический статус возможных миров — как абстрактные конструкции, способы описания или нечто иное.

Почему системы различаются

Логики типа K, T, S4 и S5 отличаются, в частности, принципами, разрешающими выводы о повторной необходимости и возможности. В системе T принимается условие □P → P: если P необходимо, то P имеет место. В S4 добавляется принцип, позволяющий из необходимости P выводить необходимость необходимости P. В S5 принимаются ещё более сильные соотношения модальных операторов. Формально этим изменениям соответствуют свойства отношения доступности между мирами, например рефлексивность, транзитивность и симметрия в подходящих моделях.

Почему же не выбрать сразу самую сильную систему? Потому что корректность аксиом зависит от предмета и предполагаемой интерпретации. Например, для модальностей знания и убеждения не всегда оправдано считать, что субъект безошибочно знает все логические последствия своих убеждений или обладает неограниченной интроспекцией. Модель может намеренно идеализировать познающего субъекта, и тогда нужно прямо назвать эту идеализацию, а не выдавать её за психологический факт.

В этом состоит философски важное различие между синтаксисом и семантикой. Синтаксис задаёт формулы и правила вывода; семантика описывает, при каких условиях они истинны. Отдельный вопрос метафизики — что, если вообще что-либо, соответствует используемым возможным мирам в действительности. Логическое удобство мира как элемента модели не решает метафизический спор.

Где граница с онтологией и физикой

Слова «логически возможно», «физически возможно» и «метафизически возможно» не синонимичны. Нечто может быть непротиворечивым в языке логики, но несовместимым с действующими законами природы. Физическая возможность обсуждается с учётом научных теорий; метафизическая — с учётом более общих вопросов о том, каким мог быть мир. Модальная логика предоставляет инструменты построения аргумента; она сама по себе не сообщает, какая теория физики верна и какая онтология окончательна.

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

Вывод: модальная логика изучает дисциплинированные переходы между утверждениями о возможном, необходимом и родственных модальностях. Её формальные модели не являются фотографией мира и не заменяют специальных исследований — они помогают увидеть, какие предположения нужны для строгого вывода.

Проверенные источники: Stanford Encyclopedia of Philosophy — Modal Logic; Internet Encyclopedia of Philosophy — Modal Logic: A Contemporary View; Internet Encyclopedia of Philosophy — Modal Metaphysics.