Доклад Раджаба Агамова на научном семинаре "Современные проблемы математической логики"
19 февраля стажер-исследователь МЛ ЛогЛинФФ Раджаб Агамов выступил с докладом "Модели для интуиционистских нормальных модальных логик" в рамках научного семинара "Современные проблемы математической логики" в ВШЭ.
Стартовала запись на проект «Стажировка в международной лаборатории логики, лингвистики и формальной философии»
Для студентов ВШЭ открыта запись на проект «Стажировка в международной лаборатории логики, лингвистики и формальной философии». В рамках стажировки планируется организация регулярных семинаров лаборатории и проведение исследований по тематике Международной лаборатории логики, лингвистики и формальной философии.
Опубликована статья Александра Запрягаева
В журнале "Journal of Logic and Computation" опубликована статья Фёдора Пахомова и Александра Запрягаева "Multi-dimensional Interpretations of Presburger Arithmetic in Itself".
Эксперименты на стыке лингвистики и логики
Продолжаем представление победителей весеннего конкурса проектных групп. О проекте «Эксперименты на стыке лингвистики и логики» рассказывает доцент Школы лингвистики Наталья Зевахина.
Воркшоп «Logic in the "Tractatus Logico-Philosophicus": A Century of Interpretations»
14 января состоялся воркшоп "Logic in the Tractatus Logico-Philosophicus: A Century of Interpretations", приуроченный к третьему ежегодному празднованию Всемирного дня логики и столетию публикации на немецком "Логико-философского трактата" Л. Витгенштейна.
Интервью с Максимом Гладышевым и Леной Пасальской
В 2020 году стажеры-исследователи МЛ ЛогЛинФФ Максим Гладышев и Лена Пасальская поступили на PhD программы. О своем опыте, первых впечатлениях и особенностях PhD программ Максим и Лена рассказали в интервью.
Опубликована статья Галы Максудовой-Елисеевой
В журнале "Логические исследования" опубликована статья Галы Максудовой-Елисеевой "Логические чужаки и где они обитают"
Поздравляем Хорхе Луиса Мендеса-Мартинеса с успешной предзащитой кандидатской диссертации!
18 декабря на заседании академического совета Школы философии состоялась предварительная защита кандидатской диссертации Хорхе Мендеса-Мартинеса на тему: "Логика и феноменология невизуальной репрезентации". Единогласным решением диссертация была принята к защите.
Результаты конкурса НИРС-2020
Подведены итоги ежегодного конкуса НИУ ВШЭ среди научно-исследовательских работ студентов. В числе победителей и лауреатов — 7 работ под руководством сотрудников Международной лаборатории логики, лингвистики и формальной философии.