Модальность и возможные миры
Модальная метафизика занимается необходимостью и возможностью: что должно быть, что могло бы быть иначе, и как анализировать такие утверждения. Возможные миры являются стандартным инструментом для представления модальных фактов.
Definition
Модальность — это изучение способов истинности, главным образом необходимости и возможности, а также онтологии и семантики, используемых для их представления, таких как возможные миры.
Scope
Охватывает интерпретацию необходимости и возможности, семантику возможных миров для модальной логики, модальность de re и сущность, а также метафизический статус возможных миров в модальном реализме и актуализме.
Sub-topics
Core questions
- Что значит для чего-либо быть необходимым или возможным?
- Являются ли возможные миры реальными сущностями или полезными фикциями?
- Обладают ли вещи существенными свойствами, которых они не могли бы не иметь?
- Как следует понимать модальные утверждения de re относительно индивидов?
Key concepts
- Необходимость
- Возможность
- Возможный мир
- Жесткая десигнация
- De re и de dicto
- Сущность
- Контрпарт
Key theories
- Модальный реализм
- Льюис утверждает, что возможные миры являются конкретными реальностями, столь же реальными, как и актуальный мир; актуальный мир — это просто тот, в котором мы обитаем, а модальные утверждения представляют собой квантификацию по этим мирам и их обитателям.
- Жесткая десигнация и апостериорная необходимость
- Крипке утверждает, что имена являются жесткими десигнаторами, указывающими на один и тот же индивид в каждом мире, что приводит к необходимым истинам, познаваемым только апостериори, таким как тождества видов и происхождений.
- Сущность как предшествующая модальности
- Файн утверждает, что сущность не может быть сведена к необходимости: сущность объекта касается того, что значит быть этим объектом, и обосновывает, а не совпадает с необходимыми истинами о нем.
History
Лейбниц ввел понятие возможных миров. Развитие модальной логики в середине XX века Карнапом, Баркан Маркус и Крипке обеспечило формальную семантику в терминах возможных миров. Работа Крипке «Именование и необходимость» изменила модальную метафизику, Льюис защищал полнокровный модальный реализм, а Файн и другие возродили понятие сущности как отличное от необходимости.
Debates
- Реальность возможных миров
- Модальные реалисты рассматривают возможные миры как конкретные существующие сущности; актуалисты считают, что только актуальный мир является конкретным, и реконструируют миры как абстрактные объекты, такие как максимальные положения дел.
Key figures
- Gottfried Wilhelm Leibniz
- Saul Kripke
- David Lewis
- Alvin Plantinga
- Kit Fine
- Ruth Barcan Marcus
Related topics
Seminal works
- lewis1986
- kripke1980
- plantinga1974
Frequently asked questions
- Что такое возможный мир?
- Возможный мир — это полный способ того, как могли бы обстоять дела. Философы используют возможные миры для анализа модальных утверждений: утверждение необходимо, если оно истинно во всех мирах, и возможно, если оно истинно в некоторых. Они расходятся во мнениях относительно того, являются ли такие миры конкретными или абстрактными.