Сотрудники МЛ ЛогЛинФФ выступили на КМУЧ-2024. Пространства и взаимодействия
15-16 октября сотруднки МЛ ЛогЛинФФ приняли участие в работе XXII Международной конференции молодых ученых в области гуманитарных и социальных наук.
15-16 октября состоялась XII Международная конференция молодых ученых в области гуманитарных и социальных наук (КМУЧ-2024. Пространства и взаимодействия), организуемая ИФПР СО РАН, соорганизаторами конференции выступили ИФП НГУ и ИФ НАН Беларуси.
Научный сотрудник лаборатории Анна Юрьевна Моисеева выступила в качестве одного из организаторов конференции, курируя на КМУЧ-2024 секцию Формальной семантики естественного языка, а также секцию Формальной эпистемологии, эпистемической логики и моделей мультиагентного взаимодействия. Кроме того, по ее инициативе в рамках конференции был организован круглый стол "Пространство вымысла: онтология и семантика фикций".
В своем докладе на круглом столе "Интенциональное и кросс-фикциональное тождество: подход ситуационной семантики" Анна Юрьевна рассказала о том, как мог бы, с ее точки зрения, выглядеть содержательный критерий тождества для интенциональных объектов и какие средства ситуационной семантики могли бы помочь его формализовать. Как она утверждала, ключевым преимуществом избранного ею подхода является возможность создавать формальное описание понятий репортера об объектах, которые агент (обладатель того интенционального ментального состояния, о котором репортер хочет сделать отчет) выделяет в мире с помощью какой-то неизвестной репортеру функции. Это позволяет репортеру говорить об убеждениях и иных установках (attitudes) агента по отношению к этим объектам даже при условии, что он сам (репортер) знает о том, что таких объектов в действительности нет. Что же касается кросс-фикционального тождества, оно вообще не является тождеством в обычном смысле, это отношение между типами, каждый из которых задан посредством «канонизации» описания определенного персонажа в фикции. Поэтому в тех случаях, когда два персонажа разных фикций впоследствии (например, в третьей фикции) объявляются одним и тем же лицом, это можно представить как создание третьего типа, являющегося подтипами первых двух типов.
Также на круглом столе выступил стажер-исследователь МЛ ЛогЛинФФ Рамазан Искандарович Аюпов с докладом "Семантика межфикциональных рассуждений". В нем Рамазан Искандарович опирался на С. Крипке, который показал, что имена фикциональных сущностей не являются «свернутыми» дескрипциями, как постулировала расселовская традиция, а обладают референцией de jure, то есть через притворство (pretension). Говоря о фикции, мы всегда понимаем, что все в фикциональном мире вымышлено автором текста фикции. Однако мы используем пустые имена, которые являются именами фикциональных сущностей, притворяясь, как будто они имеют референты. Это называется принципом притворства. Крипке также показал, что возможны фикции внутри фикций – так он анализирует тексты, которые содержат одно повествование внутри другого. Чтобы описать такие случаи на языке логики, Рамазан Искандарович привлек аппарат гибридной логики, в которой встречается особый тип атомарных формул: номиналы, связывающие мир с уникальным состоянием. Кроме того, он рассказал о таких инструментах как связующие операторы (binders), позволяющих значительно расширить выразительную силу семантики для высказываний о фикциях.
Никитина Ирина Александровна выступила с докладом "В защиту принципа возможной передачи поводьев". В нем было предложено два аргумента в пользу данного принципа помимо его способности решать проблему сверхдетерминации, в частности обходить случаи Франкфурта. Первый аргумент носил методологический характер и был связан с использованием остиновского подхода к вопросам Свободы и Ответственности как более фундаментального основания принципа возможной передачи поводьев. Второй аргумент заключался в возможности использования указанного принципа для решения проблемы пробелов в ответственности.
Онлайн в конференции приняли участие стажеры-исследователи Международной лаборатории логики, лингвистики и формальной философии: Иван Александрович Соболев выступил с докладом "Формальные подходы к неуспешным высказываниям", а Иван Олегович Пыльцын представил доклад "Игровая семантика Межирова для интуиционистских и суперинтуиционистских логик".