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