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