«Чумазые дети» и другие классические задачи динамической эпистемической логики: доклад Виталия Долгорукова

1 февраля на очередной встрече Логико-философского клуба Виталий Долгоруков рассказал о методах динамической эпистемической логики и их применении к широкому кругу логических задач и философских парадоксов

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

На примере  классических задач динамической эпистемической логики (задачи о «чумазых детях», «рассуждающих мудрецах», «дне рождения Шерил» и др.) были продемонстрированы возможности применения аппарата динамической эпистемической логики.

В последней части доклада Виталий Долгоруков уделил внимание перспективам использования динамической эпистемической логики для решения логико-семантических парадоксов (парадокс Мура, парадокс Фитча, парадокс неожиданной казни и др.).