Доклад Рамазана Аюпова на международной конференции «Логический коллоквиум 2026»
3 июля Рамазан Аюпов выступил с докладом «Аналитичность и современные формальные теории: типология Хинтикки и теория типов» на конференции «Логический коллоквиум», которая прошла в Университете Свонси (Уэльс, Великобритания).
Опубликована статья Анастасии Оноприенко
В журнале «Математические заметки» вышла статья Анастасии Оноприенко «Интуиционистская эпистемическая логика с точки зрения классической логики».
А.Н. Поддьяков опубликовал научно-популярную заметку «Искусственный интеллект как роза научной деятельности: исследование Тимоти Гауэрса»
В ней представлен обзор содержания поста филдсовского медалиста Тимоти Гауэрса о возможностях ИИ в математике и содержания комментариев под постом. В заключение обсуждается возможность не только решения задач искусственным интеллектом, но и их постановки.
Доклад Рамазана Аюпова «Анализ аналитичности в философии математики Хинтикки и теории типов Мартина-Лёфа»
17 июня прошло 123-е заседание теоретического семинара «Формальная философия».
Доклад Александра Поддьякова «Расплывчатость и смутность в пространстве научного поиска: объективные предпосылки и субъективный опыт переживания»
10 июня в 18:10 прошло 122-е заседание теоретического семинара «Формальная философия».
Доклад Андрея Кудинова «Логика SSL и ее сложность»
3 июня прошло заседание научно-исследовательского семинара «С логической точки зрения» («From the Logical Point of View»).
Анна Моисеева выступила на международной конференции в Екатеринбурге
22 мая Анна Моисеева выступила с докладом «Выражения с кванторами "обычно" / "почти всегда" / "в норме" и генерический объект как ультрафильтр».
Доклад А.Б. Летучего «Сфера действия модальности и отрицания в семантике (и в синтаксисе) русских сложных предложений»
20 мая состоялось заседание теоретического семинара «Формальная философия».
Статья Ангелины Бобровой, Александра Поддьякова и Владислава Аксиотиса
В журнале «Вопросы Психологии» опуликована статья «Согласие/несогласие с условными утверждениями "если…, то" при их соответствии и несоответствии наблюдаемой закономерности: методика "Неудобные карандаши"».
Виктория Денисова выступила на CBT FORUM 2026 и представила монографию «Философия и КПТ» в соавторстве с Дмитрием Ковпаком
16 мая Виктория Денисова приняла участие в международном CBT FORUM 2026 с совместным докладом с к.м.н., доцентом кафедры психотерапии, медицинской психологии и сексологии Северо-Западного государственного медицинского университета имени И. И. Мечникова (Санкт-Петербург) Дмитрием Викторовичем Ковпаком «Философия и когнитивно-поведенческая терапия».