Международная лаборатория логики, лингвистики и формальной философии (МЛ ЛогЛинФФ, IL LLFP) создана 16 апреля 2018 г. по итогам конкурса проектов «Создание международных лабораторий Национального исследовательского университета "Высшая школа экономики"».
Международная лаборатория логики, лингвистики и формальной философии является центром междисциплинарного сотрудничества, в котором логиков и лингвистов объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии – истина, знание, обоснование, рациональность, нормативность.
В состав ЛогЛинФФа входят три исследовательские группы: 1) группа философской логики и формальной философии, 2) группа математической логики и 3) группа теоретической лингвистики и философии языка.
Каждый год ЛогЛинФФ проводит международную конференцию "Formal Philosophy", а также раз в два года "HSE Semantics & Pragmatics Workshop".
Доклад Владимира Васюкова на заседании семинара секции НСМИИ РАН "ИИ, математика, теория систем"
8 апреля ведущий научный сотрудник МЛ ЛогЛинФФ Владимир Васюков выступил с докладом "Квантовая логика" на заседании семинара секции НСМИИ РАН "ИИ, математика, теория систем".
Доклад Якуба Гомулки и Адама Романа на научно-теоретическом семинаре "Формальная философия"
24 марта в рамках научно-теоретического семинара "Формальная философия" состоялся доклад Якуба Гомулки (профессор, Институт философии и социологии, Педагогический Университет, Краков) и Адама Романа (профессор, Институт компьютерных наук и вычислительной математики, Ягеллонский Университет, Краков), посвящённый функции истинности, заданной в шестом афоризме Логико-философского трактата.
Опубликована статья Виталия Долгорукова и Веры Шумилиной
В журнале "Эпистемология и философия науки" опубликована статья Виталия Долгорукова и Веры Шумилиной "Что такое формальная философия?"
Доклад Натальи Зевахиной на ежегодной конференции Немецкого лингвистического общества
25 февраля Наталья Зевахина, старший научный сотрудник МЛ логики, лингвистики и формальной философии, выступила с докладом "Veridicality and cause-effect relation inindicative and subjunctive conditionals" на воркшопе "The semantics and pragmatics of conditional connectives" в рамках 43-й ежегодной конференции Немецкого лингвистического общества (DGfS), организованной Фрайбургским университетом, с 24 по 26 февраля 2021 года онлайн.
Доклад Раджаба Агамова на научном семинаре "Современные проблемы математической логики"
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", приуроченный к третьему ежегодному празднованию Всемирного дня логики и столетию публикации на немецком "Логико-философского трактата" Л. Витгенштейна.