Началась летняя школа «Логика и формальная философия 2023»
Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории.
Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»
Воркшоп «Semantical and Computational Aspects of Non-Classical Logics» проходит с 13 по 17 июня на базе Математического института им. В. А. Стеклова РАН. Сотрудники МЛ ЛогЛинФФ: Виталий Долгоруков, Иван Пыльцын и Елена Попова представили свои доклады на воркшопе.
Доклады стажеров-исследователей МЛ ЛогЛинФФ на конференции молодых исследователей «Terra hominis»
27-28 апреля проходила междисциплинарная конференция молодых исследователей «Terra hominis», на которой стажеры-исследователи МЛ ЛогЛинФФ представили свои доклады.
Состоялся круглый стол «Формальная философия: основания и перспективы», приуроченный к 5-летию МЛ ЛогЛинФФ
21 апреля состоялся круглый стол «Формальная философия: основания и перспективы», приуроченный к 5-летию Международной лаборатории логики, лингвистики и формальной философии.
Иван Пыльцын выступил с докладом на семинаре «Современные проблемы математической логики»
24 марта и 7 апреля Иван Пыльцын сделал 2 доклада «Игровая семантика Межирова для интуиционистской логики» и «Игровая семантика Межирова для интуиционистской логики предикатов (продолжение)» на семинаре «Современные проблемы математической логики».
Доклад Ирины Никитиной на семинаре From the Logical Point of View
7 апреля в 19:30 состоялось заседание научно-исследовательского семинара «From the Logical Point of View», Ирина Никитина выступила с докладом «Алгоритм Гейла-Шепли: стабильность брака и поступление в колледж».
Проект «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ
Проект фундаментальных научных исследований «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ!
Доклад Даниила Васильева на семинаре From the Logical Point of View
17 марта на научно-исследовательском семинаре «From the Logical Point of View» стажер-исследователь Даниил Васильев выступил с докладом «Формальная семантика падежных форм в русском языке».
Стажер-исследователь Иван Пыльцын провел научно-учебный семинар «Логическая семантика»
Иван Пыльцын сделал доклад про метод математической индукции и его применение в решении логических задач и доказательствах.
Доклад Георгия Филатова на студенческом форуме "Never-ending conference"
Стажер-исследователь Георгий Филатов выступил с докладом "Not empiricism and yet realism in philosophy, that is the hardest thing" на студенческом форуме "Never-ending conference".