Семантика возможных миров¶

Семантика возможных миров — это раздел логической семантики и философской логики, в котором истинность высказываний определяется не только относительно реального мира, но и относительно множества альтернативных, гипотетических положений дел — «возможных миров». Данный подход позволяет формализовать рассуждения о необходимости, возможности, контрафактических (сослагательных) утверждениях, а также о пропозициональных установках (знание, вера, желание). Основополагающая идея восходит к работам Готфрида Лейбница, однако современный математический аппарат был разработан в середине XX века, прежде всего в трудах Соломона Крипке, Яакко Хинтикки и Саула Крипке.

¶История возникновения

¶Философские предпосылки

Идея множественности миров в западной философии впервые была чётко сформулирована Лейбницем в «Теодицее» (1710). Лейбниц постулировал, что Бог, обладая бесконечным разумом, созерцает все возможные миры и выбирает для актуализации наилучший из них. В этом контексте «возможный мир» понимался как полное и непротиворечивое описание того, как могло бы обстоять дело. В XIX веке концепция разрабатывалась Чарльзом Сандерсом Пирсом (в связи с модальной логикой) и в начале XX века — Бертраном Расселом (в рамках теории дескрипций), но без формального аппарата.

¶Формализация в XX веке

Решающий прорыв произошёл в 1950–1960-е годы. В 1957 году Рудольф Карнап в книге «Значение и необходимость» предложил использовать «описания состояний» (state-descriptions) как аналог возможных миров. Однако подлинная математическая модель была создана Соломоном Крипке в 1959–1963 годах. Крипке ввёл понятие «реляционной структуры» (модели Крипке), где истинность модальных формул определяется через отношение достижимости между мирами. Независимо от Крипке, Яакко Хинтикка в 1962 году разработал семантику для эпистемической логики (логики знания), используя «множества возможных миров» как альтернативы, совместимые с тем, что знает агент.

¶Основные понятия

¶Возможный мир

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

¶Отношение достижимости

Центральный элемент моделей Крипке — отношение достижимости (accessibility relation) R, заданное на множестве миров. Если мир w1 достижим из мира w2 (обозначается w1 R w2), то это означает, что с точки зрения w2 мир w1 является возможным. Разные типы модальностей (логическая, физическая, деонтическая, эпистемическая) соответствуют разным свойствам отношения достижимости:

• Рефлексивность (каждый мир достижим из самого себя) — для алетической модальности (необходимость/возможность) и эпистемической (знание).
• Транзитивность (если w1 R w2 и w2 R w3, то w1 R w3) — для логической необходимости.
• Симметричность (если w1 R w2, то w2 R w1) — для достоверного знания (в некоторых системах).

¶Истинность в мире

Истинность модальных формул определяется рекурсивно:

• □p (необходимо p) истинно в мире w, если p истинно во всех мирах, достижимых из w.
• ◇p (возможно p) истинно в мире w, если p истинно хотя бы в одном мире, достижимом из w.

Для немодальных формул (например, p ∧ q) истинность задаётся обычным образом относительно каждого мира.

¶Применение в логике

¶Модальная логика

Семантика возможных миров является стандартной семантикой для модальных логик (алетических, деонтических, эпистемических, доксастических). Она позволяет:

• Доказывать непротиворечивость аксиом (например, □p → p истинно при рефлексивном отношении).
• Строить контрпримеры (модели, опровергающие формулы).
• Устанавливать соответствие между аксиомами и свойствами отношения достижимости (теорема Крипке о полноте).

¶Эпистемическая логика

В логике знания (эпистемической логике) возможные миры интерпретируются как альтернативы, которые агент считает возможными, исходя из своей информации. Формула K_a p (агент a знает, что p) истинна в мире w, если p истинно во всех мирах, совместимых с тем, что знает a в w. Это позволяет моделировать парадоксы знания (например, парадокс Мура) и рассуждать о распределённом знании.

¶Деонтическая логика

В деонтической логике (логике норм) отношение достижимости связывает миры с «нормативными» мирами — теми, где все нормы выполнены. Формула O p (обязательно p) истинна, если p истинно во всех мирах, где нормы соблюдены. Это позволяет формализовать противоречия между обязанностями (дилеммы) и различать «обязательно» и «запрещено».

¶Философские интерпретации

¶Реализм (Льюис)

Дэвид Льюис в книге «О множественности миров» (1986) отстаивал модальный реализм: возможные мира существуют так же реально, как и актуальный, но не взаимодействуют с ним. Согласно Льюису, актуальный мир — это просто мир, в котором мы находимся; другие миры — конкретные, пространственно-временные тотальности. Эта позиция подвергалась критике за онтологическую расточительность и необъяснимость доступа к другим мирам.

¶Антиреализм (Крипке, Столнейкер)

Соломон Крипке в «Именовании и необходимости» (1972) придерживался актуализма: существуют только актуальные объекты, а возможные миры — это абстрактные описания (состояния дел), а не конкретные реальности. Роберт Столнейкер развил теорию контрафактических условных предложений, где возможные миры упорядочиваются по степени сходства с актуальным миром. Эта позиция доминирует в современной аналитической философии.

¶Эрзац-реализм

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

¶Критика и ограничения

¶Проблема тождества

Один из главных вопросов: как идентифицировать один и тот же объект в разных возможных мирах? Если в реальном мире Сократ — человек, а в некотором возможном мире — рыба, то речь идёт об одном и том же Сократе или о разных? Крипке предложил концепцию жёстких десигнаторов: имена собственные обозначают один и тот же объект во всех мирах (где он существует), а свойства могут меняться. Однако это не решает проблему для объектов, которые могут не существовать в некоторых мирах.

¶Проблема логической вседозволенности

Если возможные миры не ограничены, то в них может быть истинно всё, что не противоречит законам логики. Это приводит к парадоксам, например: «возможно, что 2+2=5» — логически невозможно, но если допустить миры с альтернативной арифметикой, то семантика теряет связь с реальностью. Для ограничения вводят логически возможные миры (подчиняющиеся законам классической логики) и физически возможные миры (подчиняющиеся законам природы).

¶Проблема эпистемического доступа

Как мы можем знать, что происходит в других возможных мирах? Если они не имеют причинной связи с нашим миром, то знание о них невозможно. Реалисты (Льюис) отвечают, что знание о других мирах — это знание о том, что могло бы быть, а не эмпирическое знание. Антиреалисты (Крипке) утверждают, что возможные миры — это просто удобный способ говорить о модальностях, а не объекты познания.

¶Влияние на другие области

¶Лингвистика

В семантике естественного языка (Р. Монтегю, А. Кронрод) возможные миры используются для анализа контекстов пропозициональных установок («верит, что», «знает, что»), контрафактических условных предложений («если бы... то...») и модальных глаголов («может», «должен»). Теория интенсиональных контекстов (Г. Фреге, Р. Карнап) получила формальное выражение через возможные миры.

¶Теория игр

В эпистемической теории игр (Р. Ауманн, Дж. Харшаньи) возможные миры моделируют знания игроков о стратегиях и выигрышах. Это позволяет анализировать равновесия в играх с неполной информацией.

¶Информатика

В компьютерной науке семантика возможных миров применяется в:

• Модальной логике для верификации программ (моделирование временных свойств, например, в темпоральной логике).
• Семантике баз данных (моделирование неполной информации через возможные миры, например, в базах данных с неопределённостью).
• Искусственном интеллекте (рассуждения о знаниях и убеждениях агентов, планирование в условиях неопределённости).

¶См. также

• Модальная логика
• Логика знания
• Контрафактические условные предложения
• Интенсиональная логика
• Жёсткий десигнатор

¶Источники

• Крипке С. «Именование и необходимость» (1972).
• Льюис Д. «О множественности миров» (1986).
• Хинтикка Я. «Логика знания и веры» (1962).
• Карнап Р. «Значение и необходимость» (1956).
• Столнейкер Р. «Теория контрафактических условных предложений» (1968).
• Монтегю Р. «Формальная философия» (1974).