Доклад Юрия Казакова «Структурная теория доказательств на службе у формальной эпистемологии»
3 декабря в 18:10 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
Юрий Казаков
стажер-исследователь МЛ ЛогЛинФФ
выступит с докладом
«Структурная теория доказательств на службе у формальной эпистемологии»
Аннотация
Наиболее популярным подходом к формальной эпистемологии и эпистемической логике остается теоретико-модельный. Редко когда свежие логики удостаиваются соответствующей структурной теории доказательств, несмотря на удобство последней. В своей недавней статье С. Негри и Э. Павлович предлагают достаточно естественное место для теории доказательств в контексте хинтиковской теории интеррогативного знания. Также особый интерес вызывают теории, обладающие свойством контрмодели и обратимостью правил. Они позволяют не только делать утверждения о выводимости формул, но и наоборот, об их невыводимости, что может быть полезно для рассмотрения эпистемических парадоксов. В рамках доклада также планируется осветить другие неожиданные связи теорий доказательств генценовского типа и эпистемической логики в контексте субструктурных логик и теоретико-доказательственной семантики.