Доклад Данияра Шамканова на семинаре «Формальная философия-73»

18 ноября состоялось 73-е заседание теоретического семинара «Формальная философия», на котором Данияр Шамканов выступил с докладом «Циклические и нефундированные выводы в модальной логике».

Аннотация:

Со школьной скамьи мы узнаём, что рассуждение, содержащее "логический круг", является некорректным. Однако современные исследования по структурной теории доказательств естественно приводят к рассмотрению формальных выводов, содержащих те или иные "круги", или циклы. Такие формальные выводы возникают при рассмотрении логик доказуемости, а также при рассмотрении систем, схватывающих различные аспекты рассуждений по индукции. В докладе я собираюсь рассказать о циклических выводах, которые можно встретить в логике доказуемости Гёделя-Лёба GL. Если позволит время, также будут рассмотрены другие системы модальной логики, в которых естественно возникают циклические доказательства, в частности, логика транзитивного замыкания K+ и логика общего знания S4CI.