Международная лаборатория логики, лингвистики и формальной философии (МЛ ЛогЛинФФ, IL LLFP) создана 16 апреля 2018 г. по итогам конкурса проектов «Создание международных лабораторий Национального исследовательского университета "Высшая школа экономики"».
Международная лаборатория логики, лингвистики и формальной философии является центром междисциплинарного сотрудничества, в котором логиков и лингвистов объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии – истина, знание, обоснование, рациональность, нормативность.
В состав ЛогЛинФФа входят три исследовательские группы: 1) группа философской логики и формальной философии, 2) группа математической логики и 3) группа теоретической лингвистики и философии языка.
Каждый год ЛогЛинФФ проводит международную конференцию "Formal Philosophy", а также раз в два года "HSE Semantics & Pragmatics Workshop".
Поздравляем Даниила Хайтовича с успешной защитой ВКР!
Стажер-исследователь лаборатории Даниил Хайтович успешно защитил ВКР на тему "Эпистемические способности в мультиагентных системах" под руководством Долгорукова Виталия Владимировича.
Поздравляем!
Вероника Пригоркина выступила на "Научных боях"
5 июня состоялись очередные Научные бои. В них приняла участие студентка третьего курса Школы лингвистики Вероника Пригоркина. После окончания боёв она согласилась поделиться своими впечатлениями о мероприятии.
Доклад сотрудников лаборатории на конференции "Formal Description of Slavic Languages"
2 июня состоялся доклад "Deriving Conditional Perfection in Russian: the role of negation, clause order, face and incentive" Натальи Зевахиной и Вероники Пригоркиной на конференции "Formal Description of Slavic Languages".
Опубликована статья Ахти-Вейкко Пиетаринена
В журнале "HOPOS" опубликована статья Ахти-Вейкко Пиетаринена и Клаудии Кристалли "Abstraction and Generalization in the Logic of Science: Cases from Nineteenth-Century Scientific Practice"
Доклад Натальи Зевахиной на конференции "Scales, degrees and implicature: Novel synergies between semantics and pragmatics"
27 мая состоялся доклад Натальи Зевахиной "Conditional Perfection in promises and threats" на конференции "Scales, degrees and implicature: Novel synergies between semantics and pragmatics". Конференция, организованная Университетом Потсдама в рамках проекта "Scales in language processing and acquisition: Semantic and pragmatic contributions to implicature computation", проходила с 26 по 28 мая в онлайн-формате.
Опубликована статья Ахти-Вейкко Пиетаринена
В журнале "Biosemiotics" опубликована статья Ахти-Вейкко Пиетаринена и Мажида Бени "Active Inference and Abduction".
Доклады сотрудников лаборатории на конференции uAnalytiCon-2021
14-15 мая в Екатеринбурге в смешанном формате прошла Международная научная конференция uAnalytiCon-2021: Контекстуализм, знание и истина, организованная Уральским федеральным университетом имени первого Президента России Б.Н. Ельцина.
Доклад Евгения Золина на объединенном семинаре "Модальная и алгебраическая логика" и "Логические методы в информатике"
29 апреля старший научный сотрудник МЛ ЛогЛинФФ Евгений Золин выступил с докладом "Модальные формулы Янкова – Файна и их применения" в рамках объединенного семинара "Модальная и алгебраическая логика" и "Логические методы в информатике" кафедры математической логики и теории алгоритмов МГУ.
Лаборатории - 3 года!
16 апреля состоялся круглый стол, приуроченный к трехлетию Международной лаборатории логики, лингвистики и формальной философии.
Доклад Владимира Васюкова на заседании семинара секции НСМИИ РАН "ИИ, математика, теория систем"
8 апреля ведущий научный сотрудник МЛ ЛогЛинФФ Владимир Васюков выступил с докладом "Квантовая логика" на заседании семинара секции НСМИИ РАН "ИИ, математика, теория систем".