О лаборатории

Международная лаборатория логики, лингвистики и формальной философии (МЛ ЛогЛинФФ, IL LLFP) является центром междисциплинарного сотрудничества, в котором логиков и лингвистов объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии – истина, знание, обоснование, рациональность, нормативность.

Решающий прогресс в логике двадцатого века обеспечила формализация интуитивных представлений о вычислимости, разрешимости, доказуемости, дедуктивной и дескриптивной полноте, непротиворечивости. Возникновение современной лингвистики также явилось результатом разработки формальных методов структурного синхронического анализа языка. Распространение формальных методов логики и лингвистики на область традиционных философских проблем играет ключевую роль как в решении внутренних задач обоснования этих дисциплин, так и в прогрессе философии, не ограничивающейся рефлексией собственной истории, но вовлеченной в актуальные тренды развития научного знания.  Одним из таких трендов является когнитивный поворот в гуманитаристике, обусловивший переключение фокуса исследовательского интереса логики и лингвистики на формальный анализ агентности, когнитивную семантику и формальную прагматику. Реализуя  проект «Формальная эпистемология, логика и прагматика агентности в рациональных интеракциях», лаборатория ставит задачу разработки комплексных подходов, которые позволят адаптировать друг к другу различные интеракционистские и динамические модели рациональной агентности, порождения групповых и индивидуальных обязательств, пресуппозиций и импликатур, формального представления, верификации и коррекции знания. 

В исследованиях лаборатории используются и развиваются методы динамической эпистемической логики, теории игр (в том числе, эпистемической теории игр и теории бисимуляционных игр), семантики возможных миров, ситуационной семантики, конструктивной теории типов, теории категорий,  дескрипционной логики, логики свидетельств, формальной феноменологии, теории речевых актов и постграйсианской прагматики, а также корпусные и экспериментальные методы.