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