Продолжается цикл семинаров «Логическая семантика»: мини-курс Ивана Пыльцына по алгебраической логике
23 января прошла первая лекция мини-курса Ивана Пыльцына по алгебраической логике в рамках научно-учебного семинара «Логическая семантика».
В Вышке и бразильском Университете Кампинаса совместно отметили Всемирный день логики
15 января в Международной лаборатории логики, лингвистики и формальной философии НИУ ВШЭ состоялся Российско-бразильский коллоквиум по логическому плюрализму, приуроченный ко Всемирному дню логики. Эта встреча стала одним из научных мероприятий совместного проекта «Плюралистические взгляды на логику и формальную философию», реализуемого лабораторией и Центром логики, эпистемологии и истории науки Университета Кампинаса (Бразилия) в рамках конкурса «Международное академическое сотрудничество».
Начался научно-учебный семинар «Математическая Логика и Теория Категорий»
23 ноября прошел первый научно-учебный семинар «Математическая Логика и Теория Категорий».
Семинар Владимира Селиверстова
22 ноября состоялось заседание научно-исследовательского семинара «From the Logical Point of View». Владимир Селиверстов провел семинар, посвященный «Логическому квесту "Алиса"»
Анна Овчинникова приняла участие в четвертой летней школе по логике в Университете Цинхуа (Пекин, Китай)
С 8 по 12 июля Анна Овчинникова, стажер-исследователь МЛ ЛогЛинФФ, стала участницей четвертой летней школы по логике в Университете Цинхуа (Пекин, Китай).
Виктория Денисова приняла участие во встрече выпускников образовательных программ нидерландских университетов
3 июля 2024 по приглашению Посольства Нидерландов в Москве Виктория Денисова, выпускница магистратуры по логике (Master of Science in Logic) университета Амстердама, приняла участие во встрече выпускников образовательных программ нидерландских университетов.
Поздравляем Елену Попову с защитой магистерской диссертации!
21 июня Елена Попова защитила магистерскую диссертацию «Семантика первопорядковой логики свидетельств со связывающей модальностью» (руководитель – Т.Л. Яворская) с оценкой «отлично» (10).
Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»
Виталий Долгоруков и Денис Федянин провели первую лекцию по факультативу «Введение в эпистемическую логику и формальную эпистемологию», который читается на базе НИУ ВШЭ.
Доклад Ивана Пыльцына «Введение в арифметику Пеано»
22 сентября на учебном семинаре «Логическая семантика» стажер-исследователь Иван Пыльцын выступил с докладом «Введение в арифметику Пеано».
Прошла летняя школа «Логика и формальная философия 2023»
Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.