Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.

  • A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

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

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


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

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

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