ВОРКШОП КАФЕДРЫ ОНТОЛОГИИ И ТЕОРИИ ПОЗНАНИЯ

10 октября с 16:10 пройдёт воркшоп кафедры онтологии и теории познания с участием приглашённых специалистов. Доклады представят Е. В. Борисов (ИФПР СО РАН, Новосибирск, М. А. Патракеев (ИММ УрО РАН, Екатеринбург) и И. И. Борисова (НГУ, Новосибирск).

Программа воркшопа:

- Е. В. Борисов, «Натуральный вывод для кросс-мировой логики»

Аннотация: Кросс-мировая предикация — это приписывание отношений объектам, каждый из которых ассоциирован с некоторым возможным миром. Например, предложение «Джон мог быть выше, чем Мэри, как она есть» приписывает отношение «выше» Джону, каков он в некотором возможном мире w, и Мэри, какова она в действительном мире u; в этом смысле Джон ассоциирован с w, Мэри — с u. Для отображения феномена кросс-мировой предикации в модальной логике первого порядка необходима кросс-мировая интерпретация предикатов, т. е. интерпретация, при которой n-местному предикату назначаются экстенсионалы не для отдельных возможных миров, а для упорядоченных n-ок возможных миров. Одна из логик, основанных на кросс-мировой интерпретации предикатов, была предложена автором; будем называть ее CWPL (crossworld predication logic). Это модальная логика первого порядка с равенством и лямбда-оператором. В указанных ниже публикациях представлены семантика и табличное исчисление для CWPL; в докладе будет представлено натуральное исчисление для упрощенного варианта этой логики.

Borisov E.V. A Nonhybrid Logic for Crossworld Predication // Логические исследования / Logical Investigations. 2023. Vol. 29. No. 2. Pp. 125–147.

Borisov E. V. A tableau proof theory for CWPL // Логические исследования / Logical Investigations. 2025. Vol. 31. No. 1. Pp. 74-96.

- М. А. Патракеев, «Куайн, рефлектика, и восемь способов верить в то, что кто-то шпион»

Аннотация: Рефлектика — это референциальный язык, т.е. алфавит + выражения + операция, сопоставляющая выражению его референта. Мы используем рефлектику для того, чтобы построить семантическую теорию, проясняющую, в частности, различные смыслы высказывания Куайна “Ральф верит в то, что кто-то шпион”. В рамках данного подхода, при интерпретации высказывания Куайна, возникают три развилки: (1) узкая и широкая области действия квантора существования; (2) de re и de dicto варианты предиката “верить, что”; (3) de re и de dicto варианты квантора существования. Итого, получается восемь различных варинтов понимания высказывания Куайна. Мы приведём примеры, показывающие, что все эти варианты действительно принципиально различны.

Mikhail Patrakeev, A Self-Reflecting Formal Language // препринт, https://doi.org/10.48550/arXiv.2302.09077

- И. И. Борисова, «Натуральное исчисление для модальной логики первого порядка с поссибилистскими кванторами»

Аннотация: В докладе будет представлено натуральное исчисление в стиле Фитча для упрощенной версии модальной логики с поссибилистскими кванторами и равенством. Семантика этой логики представлена в следующей статье:

Мухаметшина, И. И. (2023). Выразительные возможности ?-оператора и поссибилистских кванторов в модальных логиках первого порядка. Analytica, 8, 90–103.

Место проведения: ул. Тургенева, д.4, ауд. 507

Источник: arxiv.org

Комментарии: