📖 Заседание научно-исследовательского семинара «From the Logical Point of View»

👤 Доклад по теме «Структурная теория доказательств на службе у формальной эпистемологии» представит Юрий Казаков, стажёр-исследователь Международной лаборатории логики, лингвистики и формальной философии.

📌 В докладе будет представлен доказательственный подход к формальной эпистемологии как альтернатива доминирующему теоретико-модельному. Рассматривая работу С. Негри и Э. Павлович в контексте хинтиковской теории интеррогативного знания, докладчик покажет, как свойства контрмодели и обратимости правил позволяют уточнять границы выводимости и невыводимости формул и выявлять новые связи между генценовскими системами, субструктурными логиками и эпистемической семантикой.

📎 Мероприятие пройдёт 3 декабря в 18:10 в смешанном формате на ул. Старая Басманная, 21/4 (ауд. А-117) и в Zoom. Для участия необходима регистрация по ссылке.

#МЛогЛингФФ@philosnote