Теория возможных миров: основная идея, подходы и ограничения
Что такое теория возможных миров? Это семейство подходов в логике и философии, позволяющих объяснять высказывания о том, что могло бы быть и что должно быть. «Возможным миром» называют целостный способ, каким могла бы обстоять действительность. В формальной семантике такие миры служат моделями для оценки суждений о возможности и необходимости. Но из удобства модели ещё не следует, что все возможные миры существуют так же, как наш: вопрос об их природе остаётся спорным. Поэтому точнее говорить не об одном общепринятом метафизическом учении, а о подходах к возможным мирам, объединённых общей объяснительной задачей.
Содержание статьи11 разделов
Как понимать понятие: редакторская памятка
Суть
Если высказывание могло бы оказаться истинным, в соответствующей модели найдётся хотя бы один возможный мир, где оно истинно. Если оно необходимо истинно, оно истинно во всех мирах, которые учитываются в данной модели. В модальной логике уточняют, какие миры доступны из рассматриваемого мира: это влияет на смысл необходимости.
Отличие
Возможный мир — не обязательно параллельная вселенная из художественного произведения и не прогноз будущего. Это целостная альтернативная ситуация, оцениваемая относительно выбранных логических условий. Нельзя одновременно считать возможным любое утверждение и его логически несовместимые следствия без оговорки о нестандартной логике.
Пример
В реальности библиотека закрылась в шесть вечера. Фраза «Библиотека могла закрыться в семь» не описывает случившееся; она утверждает, что при подходящих альтернативных обстоятельствах закрытие в семь совместимо с заданными условиями. Мы мысленно сравниваем действительную ситуацию с иной целостной ситуацией. Но если по неизменяемым условиям нашего примера библиотека обязана закрываться ровно в шесть, то мир с закрытием в семь не будет доступным в рамках этих условий.
Оговорка
Спор идёт о том, что именно представляют собой такие миры. Некоторые философы понимают их как абстрактные структуры или описания, а Дэвид Льюис защищал необычный взгляд, согласно которому другие возможные миры не менее реальны, чем наш. Само применение семантики возможных миров не обязывает принимать позицию Льюиса.
Два контекста, где понятие действительно работает
В логике: проверить слово «необходимо»
В обычной речи «необходимо» иногда означает «очень вероятно». В модальной логике это иной тип утверждения: истинность должна сохраняться во всех подходящих мирах. «Два плюс два равно четырём» в стандартной арифметике выступает как необходимое математическое положение, тогда как «в этом классе сегодня двадцать учеников» — случайное обстоятельство: оно истинно здесь и сейчас, но могло быть иным. Выбор типа необходимости важен: логическая, математическая и физическая необходимость не обязаны совпадать.
В метафизике: что делает альтернативу возможной?
Когда философ спрашивает, мог ли определённый человек прожить другую жизнь, мало нарисовать воображаемый сюжет. Надо определить условия тождества человека в разных мирах и понять, какие свойства можно изменить, не потеряв предмет обсуждения. Поэтому теория возможных миров связана с проблемами сущности, тождества и существования. Здесь ответы расходятся: семантический инструмент общий, а онтологические обязательства у авторов разные.
Три частые ошибки и точные исправления
- «Все возможные миры обязательно существуют физически». Нет: это один вариант метафизической интерпретации, а не вывод из языка модальной логики.
- «Возможный мир — любое фантастическое описание». Нет: возможности ограничиваются логическими либо иными специально оговорёнными условиями; противоречивое описание не считается обычным возможным миром.
- «Если нечто возможно, оно непременно произойдёт». Нет: возможность указывает на допустимую альтернативу, а не на обещание будущего события.
Что стоит запомнить
Теория возможных миров — не гадание и не единая доктрина о множестве космосов. Это развитая философско-логическая рамка для различения действительного, возможного и необходимого. Она помогает формулировать строгие вопросы, но не решает автоматически споры о природе самой возможности.
Проверенные источники
- Stanford Encyclopedia of Philosophy — Possible Worlds: семантика и метафизические модели.
- Stanford Encyclopedia of Philosophy — The Possibilism-Actualism Debate: отличие формальной семантики от онтологии возможного.
Сохраните материал или отправьте тому, кому он пригодится.