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