23 сентября в 18:10 состоится заседание научно-исследовательского семинара «С логической точки зрения».

Тема доклада: Эпистемические модели вопросов и ответов

Докладчик: Юрий Казаков (стажер-исследователь МЛ ЛогЛинФФ)

Аннотация: Доклад посвящён исследованию формальных репрезентаций вопросительных конструкций. В работе обосновывается возможность переосмысления императивно-эпистемического подхода Я. Хинтикки и Л. Оквиста средствами современной эпистемической логики. Исходя из этой предпосылки, предлагается авторская логическая система SQDL, представляющая собой расширение стандартной эпистемической логики (EL) оператором вопроса. Данный оператор формализует публичную постановку вопроса одним агентом с целью получения ответа от другого. Разрабатываемая система опирается на аппарат логики DELq Й. ван Бентема и Ш. Миникэ, однако свободна от избыточной формальной сложности и задаёт удобный базис для переноса на более широкие классы контекстов и типов вопросов.

‎Кроме того, в докладе представлен альтернативный вектор исследований семантики вопросов — инквизитивная логика, базирующаяся на семантике команд (team semantics). Рассматривается возможность использования данного класса систем, обогащённого динамическими модальностями, в качестве инструмента для дальнейшего развития императивно-эпистемического подхода.

Ждём вас в кабинете А-117 или в Zoom!

Анонс и регистрация: https://llfp.hse.ru/announcements/1202359566.html