Тема «Международная лаборатория логики, лингвистики и формальной философии»

Объединяя математику и философию: Российско-бразильский проект по логическому плюрализму

Объединяя математику и философию: Российско-бразильский проект по логическому плюрализму
На главном портале НИУ ВШЭ опубликована новость о совместном проекте МЛ ЛогЛинФФ и Центра CLE. 

Интервью Луи Вервурта

Опубликовано интервью Луи Вервурта, посвященное обсуждению его доклада на семинаре "Формальная философия"

Доклады на конференции «Мальцевские чтения»

Два доклада, подготовленные в рамках проекта «Международное академическое сотрудничество», были представлены на конференции «Мальцевские чтения», Новосибирск, 11–15 ноября 2024: "Неразрешимые фрагменты расширений предикатной логики Гёделя–Дамметта» (Михаил Рыбаков и Дарья Серова), "Сложность логики HC с одной переменной" (Михаил Рыбаков и Анастасия Оноприенко).