Главная – Журналы – Философия науки 2026 номер 3

В рамках семантики возможных миров объект может в разных мирах иметь разные свойства. Это позволяет рассматривать объект, каков он в мире w, каков он в мире w' и т.д., т.е. ассоциировать объекты с мирами. В свою очередь, это позволяет рассматривать отношения между объектами, каждый из которых ассоциирован с некоторым миром, - кросс-мировые отношения. Если мы хотим, чтобы модальная логика первого порядка, основанная на семантике возможных миров, отображала кросс-мировые отношения, в моделях для этой логики необходимо использовать кросс-мировую интерпретацию предикатов, т.е. интерпретацию, которая назначает экстенсионалы предиката не отдельным мирам, а кортежам миров. Некоторые авторы считают, что кросс-мировые отношения редуцируются к стандартным (внутримировым) отношениям, что делает избыточной кросс-мировую интерпретацию предикатов. В статье приведен аргумент в пользу гипотезы о несводимости кросс-мировых отношений к внутримировым. Аргумент состоит в указании на многообразие кросс-мировых отношений, о которых мы говорим в повседневной речи, и многообразие соответствующих контекстов. В частности, показано, что кросс-мировые отношения естественным образом используются при сопоставлении теорий.