Доклад Сергея Артёмова «The consistency of Peano Arithmetic PA is provable in PA, after all»
Сергей Артёмов, заслуженный профессор Городского университета Нью-Йорка, выступил с докладом на заседании семинара «Математическая логика и теория категорий», который состоялся 13 сентября.
Доклад Арнольда Григоряна «Justifying Homotopical Logic Two Ways» на Международной конференции «Logic, Algebra and Truth Degrees» в Сиене (Италия)
Стажер-исследователь МЛ ЛогЛинФФ Арнольд Григорян выступил с докладом «Justifying Homotopical Logic Two Ways» на Международной конференции «Logic, Algebra and Truth Degrees» (LATD 2025), которая прошла с 21 по 25 июля 2025 года в Сиене (Италия), объединив исследователей в области математической логики, алгебры и их приложений.
Международная конференция «Метафизика между онтологией, логикой и субъективностью»
С 9 по 10 июля прошла международная конференция «Метафизика между онтологией, логикой и субъективностью».
Летняя школа «Логика, лингвистика и формальная философия 2025»
С 30 июня по 4 июля 2025 остаялась Международная летняя школа «Логика, лингвистика и формальная философия 2025» в рамках проекта "Международное академическое сотрудничество".
Исследователи из университета Кампинаса выступили на конференции «Формальная философия 2025»
Участники проекта «Плюралистические взгляды на логику и формальную философию», исследователи из университета Кампинаса «Unicamp», сделали доклады на конференции «Формальная философия 2025».
Фоторепортаж со второго дня летней школы
Как прошел второй день летней школы «Логика, лингвистика и формальная философия 2025».
Началась летняя школа «Логика, лингвистика и формальная философия 2025»
Как прошел первый день летней школы.
Международная конференция «Формальная философия 2025»
Репортаж о Международной конференции «Формальная философия 2025».