Формальная философия-73: доклад Данияра Шамканова «Циклические и нефундированные выводы в модальной логике»
18 ноября в 18:30 состоится 73-е заседание научно-теоретического семинара "Формальная философия" Международной лаборатории логики, лингвистики и формальной философии.
Данияр Шамканов
Математический институт им. В.А. Стеклова РАН
выступит с докладом:
"Циклические и нефундированные выводы в модальной логике"
Аннотация:
Со школьной скамьи мы узнаём, что рассуждение, содержащее "логический круг", является некорректным. Однако современные исследования по структурной теории доказательств естественно приводят к рассмотрению формальных выводов, содержащих те или иные "круги", или циклы. Такие формальные выводы возникают при рассмотрении логик доказуемости, а также при рассмотрении систем, схватывающих различные аспекты рассуждений по индукции. В докладе я собираюсь рассказать о циклических выводах, которые можно встретить в логике доказуемости Гёделя-Лёба GL. Если позволит время, также будут рассмотрены другие системы модальной логики, в которых естественно возникают циклические доказательства, в частности, логика транзитивного замыкания K+ и логика общего знания S4CI.
Мероприятие пройдет в гибридном формате.
При возникновении вопросов пишите по адресу llfp@hse.ru