
Началась конференция «Формальная философия 2024»
Фоторепортаж с первого дня конференции.

Фоторепортаж с первого дня Российско-Бразильской конференции по логическому плюрализму памяти Ньютона да Косты
Завершился первый день конференция по логическому плюрализму памяти Ньютона да Косты.

Репортаж об осенней школе «Логика и формальная философия 2024»
С 28 октября по 1 ноября в Международной лаборатории логики, лингвистики и формальной философии проходила осенняя школа «Логика и формальная философия 2024».

Завершилась осенняя школа «Логика и формальная философия»
Фоторепортаж с последнего дня школы.

Четвертый день осенней школы «Логика и формальная философия»
История паранепротиворечивой логики, приложения к неклассическим логикам и модальная логика предикатов: фоторепортаж с четвертого дня школы МЛ ЛогЛинФФ.

Третий день осенней школы «Логика и формальная философия»
Фоторепортаж с третьего дня школы МЛ ЛогЛинФФ.

Второй день осенней школы «Логика и формальная философия»
Кросс-мировая предикация, теория игр и ситуационная семантика.

Началась осенняя школа «Логика и формальная философия»
Школа будет проходить в рамках проекта международного академического сотрудничества МЛ ЛогЛинФФ и Центра логики, эпистемологии и истории науки Университета Кампинас.

Доклад Арнольда Григоряна «Унивалентные основания и конструктивная теория типов»
4 октября Арнольд Григорян (НИУ ВШЭ) выступил с докладом «Унивалентные основания и конструктивная теория типов» на научном семинаре лаборатории «From the Logical Point of View».

Доклад стажера-исследователя Юрия Казакова
27 сентября Юрий Казаков выступил с докладом «Динамические эпистемические подходы к решению парадокса неожиданного экзамена» на научном семинаре лаборатории «From the Logical Point of View».