Международная лаборатория логики, лингвистики и формальной философии (МЛ ЛогЛинФФ, IL LLFP) создана 16 апреля 2018 г. по итогам конкурса проектов «Создание международных лабораторий Национального исследовательского университета "Высшая школа экономики"».
Международная лаборатория логики, лингвистики и формальной философии является центром междисциплинарного сотрудничества, в котором логиков и лингвистов объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии – истина, знание, обоснование, рациональность, нормативность.
В состав ЛогЛинФФа входят три исследовательские группы: 1) группа логики и формальной философии, 2) группа аналитической метафизики, философии логики и философии математики и 3) группа теоретической лингвистики и философии языка.
Формальная философия-59: доклад «Абстрактная теория определимости» Е. Е. Золина, приуроченный ко Дню Логики
15 января состоялось 59-е заседание научно-теоретического семинара «Формальная философия».
Ведущий научный сотрудник МЛ ЛогЛинФФ выступил с докладом на конференции в Рио-де-Жанейро
Ведущий научный сотрудник МЛ ЛогЛинФФ выступил с докладом на конференции CREATIVITY-2019, прошедшей в Рио-де-Жанейро с 8 по 13 декабря.
Сотрудники МЛ ЛогЛинФФ представили доклады на конференции в Париже
Сотрудники Международной лаборатории логики, лингвистики и формальной философии выступили с докладами на конференции, посвященной математической философии.
Воркшоп по математической креативности в Бразилии
В рамках первого Всемирного конгресса Бразильской Академии философии в честь 90-летия Ньютона да Коста был проведен воркшоп по математической креативности.
Статья Елены Драгалиной-Черной опубликована издательством De Gruyter
В книге «Philosophy of Logic and Mathematics», вышедшей в издательстве De Gruyter опубликована статья Елены Драгалиной-Черной "Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality".
Поздравляем с получением премии "Золотая Вышка"!
Поздравляем Елену Григорьевну с получением премии "Золотая Вышка" в номинации "Успех педагога"!
Сотрудники МЛ ЛогЛинФФ выступили с лекциями на Осенней школе по философии
В рамках IV Осенней школы по философии состоялись лекции сотрудников Международной лаборатории логики, лингвистики и формальной философии.
Опубликована статья Андрея Родина
В книге Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts опубликована статья Андрея Родина "Models of HoTT and the Constructive View of Theories".
Наталья Зевахина выступила с докладом в Берлине
Старший научный сотрудник МЛ ЛогЛинФФ выступила с докладом в Центре общего языкознания в Берлине.
