Возможные миры в философии¶

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

¶История понятия

Истоки идеи восходят к философии Готфрида Вильгельма Лейбница, который в «Теодицее» (1710) обосновывал тезис о том, что существующий мир является «лучшим из возможных миров». Лейбниц полагал, что Бог, обладая бесконечным разумом, рассмотрел все возможные комбинации сущностей и выбрал для сотворения наиболее совершенную из них. В его метафизике возможные миры существуют в божественном интеллекте как идеи, а актуальный мир — результат божественной воли.

В XVIII–XIX веках понятие утратило теологическую окраску и стало использоваться в логике и математике. Немецкий логик Бернхард Больцано в «Учении о науке» (1837) рассматривал представления о возможных положениях дел как объективные сущности, не зависящие от сознания.

¶Логическая семантика возможных миро

Современное развитие концепция получила в середине XX века в работах американского логика Соломона Крипке и шведского философа Яакко Хинтикки. Крипке предложил формальную семантику для модальной логики, в которой высказывание «необходимо P» истинно, если P истинно во всех возможных мирах, достижимых из данного. Высказывание «возможно P» истинно, если P истинно хотя бы в одном достижимом мире.

Ключевым элементом этой семантики является отношение достижимости между мирами. В зависимости от свойств этого отношения (рефлексивности, транзитивности, симметричности) различаются аксиоматические системы модальной логики — от слабых (K) до сильных (S5). В системе S5 отношение достижимости является отношением эквивалентности, и все миры считаются взаимно достижимыми.

¶Метафизические интерпретации

В современной аналитической философии существуют различные подходы к онтологическому статусу возможных миров:

• Модальный реализм (Дэвид Льюис) — возможные миры существуют реально, наравне с актуальным миром. Актуальность — лишь индексный показатель, указывающий на мир, в котором находится говорящий. Льюис рассматривал миры как изолированные в пространстве и времени совокупности объектов.
• Эризм / комбинаторика (Яакко Хинтикка, Роберт Стойкер) — возможные миры рассматриваются как абстрактные сущности, описывающие состояния дел, а не как конкретные вселенные.
• Модальный эризм (Алвин Плантинга) — возможные миры — это абстрактные объекты, максимальные возможные положения дел, существующие в качестве сущностей в божественном разуме или в платоническом царстве.

¶Проблема идентичности

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

¶Применение в философии

Концепция возможных миров используется в нескольких областях:

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

¶Критика

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

¶Источники

• Лейбниц Г. В. Теодицея // Сочинения в 4 т. — М.: Мысль, 1989. — Т. 4.
• Крипке С. Семантическое рассмотрение модальной логики // Возможные миры и реальность. — М.: Логос, 2002.
• Льюис Д. О множественности миров. — М.: Логос, 2010.
• Плантинга А. Бог, свобода и зло. — Новосибирск: Наука, 1993.
• Хинтикка Я. Логико-эпистемологические исследования. — М.: Прогресс, 1980.