Прошел первый день международной конференции «Формальная философия 2023»
11 октября началась 6-я ежегодная Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023».
![Доклад Ивана Соболева «Таксономия типов подразумеваемого значения» Иллюстрация к новости: Доклад Ивана Соболева «Таксономия типов подразумеваемого значения»](/data/2023/10/07/2047959039/2026-10-07%2000.17.34.jpg)
Доклад Ивана Соболева «Таксономия типов подразумеваемого значения»
6 октября состоялось заседание научно-исследовательского семинара «From the Logical Point of View», на котором стажер-исследователь Иван Соболев выступил с докладом «Таксономия типов подразумеваемого значения».
![Доклад Анны Овчинниковой «Эпистемическая логика предпочтений» Иллюстрация к новости: Доклад Анны Овчинниковой «Эпистемическая логика предпочтений»](/data/2023/09/30/2061762686/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-09-30%20%D0%B2%2011.22.14.png)
Доклад Анны Овчинниковой «Эпистемическая логика предпочтений»
29 сентября Анна Овчинникова, стажер-исследователь МЛ ЛогЛинФФ, выстпила с докладом «Эпистемическая логика предпочтений» на научно-исследовательском семинаре «From the Logical Point of View».
Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»
Виталий Долгоруков и Денис Федянин провели первую лекцию по факультативу «Введение в эпистемическую логику и формальную эпистемологию», который читается на базе НИУ ВШЭ.
![Доклад Ивана Пыльцына «Введение в арифметику Пеано» Иллюстрация к новости: Доклад Ивана Пыльцына «Введение в арифметику Пеано»](/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 сентября на учебном семинаре «Логическая семантика» стажер-исследователь Иван Пыльцын выступил с докладом «Введение в арифметику Пеано».
![Доклад Ивана Пыльцына на ESSLLI 2023 Иллюстрация к новости: Доклад Ивана Пыльцына на ESSLLI 2023](/data/2023/08/30/2056259660/3esslli.jpeg)
Доклад Ивана Пыльцына на ESSLLI 2023
Иван Пыльцын выступил с докладом на воркшопе «First-order Modal and Temporal Logics: State of the art and perspectives» в рамках Европейской летней школы по логике, языку и информации (ESSLLI 2023).
![Прошла летняя школа «Логика и формальная философия 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», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории.
![Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023» Иллюстрация к новости: Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»](/data/2023/06/20/2075384713/2026-06-20%2017.14.26.jpg)
Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»
Воркшоп «Semantical and Computational Aspects of Non-Classical Logics» проходит с 13 по 17 июня на базе Математического института им. В. А. Стеклова РАН. Сотрудники МЛ ЛогЛинФФ: Виталий Долгоруков, Иван Пыльцын и Елена Попова представили свои доклады на воркшопе.
Доклады стажеров-исследователей МЛ ЛогЛинФФ на конференции молодых исследователей «Terra hominis»
27-28 апреля проходила междисциплинарная конференция молодых исследователей «Terra hominis», на которой стажеры-исследователи МЛ ЛогЛинФФ представили свои доклады.