![Виктория Денисова приняла участие во встрече выпускников образовательных программ нидерландских университетов Иллюстрация к новости: Виктория Денисова приняла участие во встрече выпускников образовательных программ нидерландских университетов](/data/2024/07/04/2120974108/1%D1%81%D0%B0%D0%B9%D1%821_4.jpg)
Виктория Денисова приняла участие во встрече выпускников образовательных программ нидерландских университетов
3 июля 2024 по приглашению Посольства Нидерландов в Москве Виктория Денисова, выпускница магистратуры по логике (Master of Science in Logic) университета Амстердама, приняла участие во встрече выпускников образовательных программ нидерландских университетов.
Поздравляем Елену Попову с защитой магистерской диссертации!
21 июня Елена Попова защитила магистерскую диссертацию «Семантика первопорядковой логики свидетельств со связывающей модальностью» (руководитель – Т.Л. Яворская) с оценкой «отлично» (10).
Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»
Виталий Долгоруков и Денис Федянин провели первую лекцию по факультативу «Введение в эпистемическую логику и формальную эпистемологию», который читается на базе НИУ ВШЭ.
![Доклад Ивана Пыльцына «Введение в арифметику Пеано» Иллюстрация к новости: Доклад Ивана Пыльцына «Введение в арифметику Пеано»](/data/2023/09/23/2060418084/%D0%A1%D0%BD%D0%B8%D0%BC%D0%BE%D0%BA%20%D1%8D%D0%BA%D1%80%D0%B0%D0%BD%D0%B0%202023-09-23%20%D0%B2%2011.25.47.png)
Доклад Ивана Пыльцына «Введение в арифметику Пеано»
22 сентября на учебном семинаре «Логическая семантика» стажер-исследователь Иван Пыльцын выступил с докладом «Введение в арифметику Пеано».
![Прошла летняя школа «Логика и формальная философия 2023» Иллюстрация к новости: Прошла летняя школа «Логика и формальная философия 2023»](/data/2023/07/10/2079356846/3%D0%A1%D0%BD%D0%B8%D0%BC%D0%BE%D0%BA%20%D1%8D%D0%BA%D1%80%D0%B0%D0%BD%D0%B0%202023-07-10%20%D0%B2%2017.27.30.png)
Прошла летняя школа «Логика и формальная философия 2023»
Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.
![Началась летняя школа «Логика и формальная философия 2023» Иллюстрация к новости: Началась летняя школа «Логика и формальная философия 2023»](/data/2023/07/06/2076973808/3%D0%A1%D0%BD%D0%B8%D0%BC%D0%BE%D0%BA%20%D1%8D%D0%BA%D1%80%D0%B0%D0%BD%D0%B0%202023-07-06%20%D0%B2%2010.43.18.png)
Началась летняя школа «Логика и формальная философия 2023»
Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории.
![Стажер-исследователь Иван Пыльцын провел научно-учебный семинар «Логическая семантика» Иллюстрация к новости: Стажер-исследователь Иван Пыльцын провел научно-учебный семинар «Логическая семантика»](/data/2023/03/07/2034692756/2026-03-07%2010.22.49.jpg)
Стажер-исследователь Иван Пыльцын провел научно-учебный семинар «Логическая семантика»
Иван Пыльцын сделал доклад про метод математической индукции и его применение в решении логических задач и доказательствах.
![Александр Запрягаев выступил на Московском фестивале языков Иллюстрация к новости: Александр Запрягаев выступил на Московском фестивале языков](/data/2022/12/14/1715763126/3photo_2022-12-11_11-53-33.jpg)
Александр Запрягаев выступил на Московском фестивале языков
Стажер-исследователь лаборатории Александр Запрягаев выступил на Московском Международном Фестивале Языков, который проходил 11 декабря на базе Факультета гуманитарных наук ВШЭ, с лекциями "Иероглифический мир: как разные народы перековывали китайскую письменность под себя" и "Языки Толкиена"
Поздравляем Георгия Филатова с поступлением на единый трек обучения «магистратура-аспирантура»!
Единый трек обучения «магистратура-аспирантура» дает возможность получать повышенную стипендию и включать в индивидуальный учебный план дисциплину из аспиранстского пула.
![Началась летняя школа «Логика и формальная философия» Иллюстрация к новости: Началась летняя школа «Логика и формальная философия»](/data/2022/09/07/1690264413/3%D0%BE%D0%B1%D0%BB.jpg)
Началась летняя школа «Логика и формальная философия»
Школа проходит с 5 по 10 сентября в Санкт-Петербурге на факультете свободных искусств и наук СПбГУ. Программа школы состоит из серии мини-курсов, посвященных различным аспектам философской логики и формальной философии, а также студенческой постерной секции.