Международная лаборатория логики, лингвистики и формальной философии (ЛогЛинФФ, LLFP) является центром междисциплинарного сотрудничества, в котором логиков и лингвистов объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии — истина, знание, обоснование, рациональность, нормативность.
В ЛогЛинФФе действуют четыре регулярных семинара: теоретический семинар «Формальная философия», научно-исследовательский семинар «From the Logical Point of View», научно-учебный семинар «Логическая семантика», а также ридинг-семинар «Analytics». Мы проводим международные конференции, семинары, круглые столы, а также летние и осенние школы.
Международным партнером лаборатории является Центр логики, эпистемологии и истории науки (Университет Кампинаса, Бразилия).