Квантифицированная модальная логика и эссенциализм

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

Definition

Квантифицированная модальная логика сочетает квантификацию первого порядка с модальными операторами; эссенциализм — это тезис о том, что объекты обладают некоторыми своими свойствами по необходимости (de re), независимо от того, как они описываются.

Scope

Эта тема охватывает расширение модальной логики кванторами и тождеством, а также метафизические обязательства, которые это порождает. Она рассматривает формулы Баркан и обратную формулу Баркан, выбор между семантикой с постоянной и переменной областью определения, проблему тождества и существования в различных мирах, возражения Куайна против модальности de re и защиту Крипке эссенциализма и ригидной десигнации.

Core questions

• Как должны взаимодействовать кванторы и модальные операторы, и является ли формула Баркан валидной?
• Должна ли область индивидов быть фиксированной во всех мирах или варьироваться?
• Является ли модальность de re понятной, или она рушится под возражениями Куайна?
• Какими свойствами, если таковые имеются, объекты обладают по существу?

Key concepts

• Формула Баркан и её обратная
• постоянные против переменных областей
• трансмировое тождество
• ригидная десигнация
• модальность de re против de dicto
• существенные против случайных свойств

Key theories

Эссенциализм и ригидная десигнация

Крипке утверждает, что собственные имена являются ригидными десигнаторами, указывающими на один и тот же объект в каждом мире, что делает модальные утверждения de re когерентными и поддерживает необходимые истины о происхождении и конституции.

Критика Куайна модальности de re

Куайн утверждает, что квантификация в модальных контекстах непостижима, поскольку подстановка сореферентных терминов может изменить истинностное значение, поэтому эссенциализм потребовал бы нежелательного различия между необходимыми и случайными чертами объекта.

History

Рут Баркан Маркус положила начало квантифицированной модальной логике в 1946–1947 годах, доказав результаты о тождестве и введя формулу Баркан. Куайн атаковал всё это предприятие как приверженное непостижимому эссенциализму, но работа Крипке «Именование и необходимость» (1980) реабилитировала модальность de re через ригидную десигнацию и необходимость тождества, вновь сделав эссенциализм респектабельным.

Debates

Является ли модальность de re когерентной?

Вопрос о том, является ли приписывание необходимых свойств объектам независимо от описания понятным, как подразумевает ригидная десигнация Крипке, или же Куайн прав в том, что такие рассуждения предполагают необоснованный эссенциализм.

Key figures

• Ruth Barcan Marcus
• Saul Kripke
• W. V. O. Quine
• Alvin Plantinga
• David Kaplan

Seminal works

• barcan1947
• quine1953reference
• kripke1980

Frequently asked questions

Что такое формула Баркан?

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