Опубликована статья Андрея Родина
В книге Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts опубликована статья Андрея Родина "Models of HoTT and the Constructive View of Theories".
Наталья Зевахина выступила с докладом в Берлине
Старший научный сотрудник МЛ ЛогЛинФФ выступила с докладом в Центре общего языкознания в Берлине.
Поздравляем с победой в конкурсе ИФ РАН «О пользе и вреде философии для жизни» Александра Мельникова!
Александр Мельников, стажер-исследователь МЛ ЛогЛинФФ, получил первую премию в конкурсе философских работ ИФ РАН «О пользе и вреде философии для жизни».
В журнале "Вопросы философии" вышла статья Александра Мишуры
Статья Александра Мишуры, научного сотрудника Международной лаборатории логики, лингвистики и формальной философии, "Свобода в мире: защита экстерналистского либертарианства" опубликована в журнале "Вопросы философии" ( 2019. № 8. С. 49-58.).
Евгений Золин выступил с докладом на семинаре в МГУ
31 октября на объединённом семинаре «Логические проблемы информатики» и «Модальная и алгебраическая логика» состоялся доклад Евгения Золина.
«Междисциплинарные исследования – новые перспективы для философии»
Что связывает философов, лингвистов и логиков? Как подружиться с десятком иностранных центров за полтора года? Может ли наука изолироваться от внешнего мира? На эти и другие темы размышляет заведующая Международной лабораторией логики, лингвистики и формальной философии Елена Драгалина-Черная.
Ирина Старикова выступила с докладом в Оксфорде
Старший научный сотрудник МЛ ЛогЛинФФ выступила с докладом на заседании Общества Оккама в Оксфорде.
Поздравляем с защитой кандидатской диссертации!
Старший преподаватель Школы философии ФГН, научный сотрудник МЛ ЛогЛинФФ Копылова Анастасия Олеговна защитила кандидатскую диссертацию.
Trends in Logic19
2-4 октября 2019 года в Национальном исследовательском университете Высшая школа экономики прошла международная конференция Trends in Logic 19. Current Issues in Philosophical Logic , организованная журналом Studia Logica и Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ.
