Доклад Александра Гаврикова и Устины Морозовой «Плюральная квантификация и теорема Кантора: семантические предпосылки аргумента Расмуссена против граундингового физикализма»
8 апреля прошло 118-е заседание научно-теоретического семинара «Формальная философия».
Два доклада Михаила Рыбакова: наукометрия и искусственный интеллект в образовании
2 апреля на конференции «Перспективы развития математического образования в эпоху цифровой трансформации» в Тверском государственном университете Михаил Рыбаков представил два доклада. Первый был посвящён наукометрическим показателям, второй — использованию нейросетей в науке и учёбе.
Доклад Юлии Копчевой «Логический нигилизм и универсальная логика»
1 апреля прошло 117-е заседание научно-теоретического семинара «Формальная философия».
Весенняя школа «Логика, лингвистика и формальная философия»
С 23 по 28 марта проходила весенняя школа «Логика, лингвистика и формальная философия».
В журнале «Философия. Журнал Высшей школы экономики» опубликованы работы сотрудников МЛ ЛогЛинФФ
Статьи про генеалогию Фуко и денотативную и импликативную релевантность, а также рецензия на новое введение в математическую логику.
Доклад Егора Баринова и Михаила Рыбакова в Новосибирске
Егор Баринов и Михаил Рыбаков выступили с докладом «Сложность аппроксимации логик и их алгоритмическая сложность: отсутствие связи» на конференции «Аналитическая философия: траектории истории и векторы развития», которая прошла 28 и 29 марта в Новосибирске.
Завершилась весенняя школа «Логика, лингвистика и формальная философия»
Фоторепортаж с финального дня весенней школы.
Статья Ангелины Бобровой и Ирины Никитиной в «Философском Журнале»
В «Философском Журнале» опубликована статья «Что моделируют логики фрейминга?» Ангелины Бобровой и Ирины Никитиной.