Второй день конференции «Формальная философия 2026»
Фоторепортаж со второго дня конференции.
Опубликована статья Михаила Смирнова «О формах и следствиях противоречий и парадоксов»
В журнале «Вестник Томского государственного университета. Философия. Социология. Политология» опубликована статья Михаила Смирнова.
Началась конференция «Формальная философия 2026»
27 октября началась конференция «Формальная философия 2026».
Доклад Виталия Долгорукова «Четыре способа украсть рыбу: DEL и семантика эвиденциалов»
21 октября прошло заседание теоретического семинара «Формальная философия».
Доклад Игоря Зайцева «Теория корреспондентности интуиционистских кондициональных логик»
7 и 14 октября прошли заседания научно-исследовательского семинара «С логической точки зрения».
Доклад Михаила Рыбакова на семинаре в МФТИ
6 и 13 октября Михаил Рыбаков сделал доклад на семинаре Добрушинской лаборатории ВШМ МФТИ на тему «Логики, описывающие вычисления: их синтаксис, семантика и сложность».
Доклад Максима Горбачева на Пятом международном конгрессе РОИФН
3 октября прошел второй день работы секции Философия сознания, где научный сотрудник Максим Горбачев выступил с докладом «Номологическая зависимость и проблемы аргументов представимости».
Доклад Михаила Рыбакова «Логики для описания вычислений: синтаксис, семантика, сложность»
24 сентября М.Н.Рыбаков сделал доклад «Логики для описания вычислений: синтаксис, семантика, сложность» на семинаре «Нестандартные логики» имени Л.Л.Максимовой, проходящем в ИМ СО РАН.
Доклад Юрия Казакова «Эпистемические модели вопросов и ответов»
23 сентября прошло заседание научно-исследовательского семинара, на котором стажер-исследователь Юрий Казаков выступил с докладом «Эпистемические модели вопросов и ответов».