Международная лаборатория логики, лингвистики и формальной философии (ЛогЛинФФ, LLFP) является центром междисциплинарного сотрудничества, в котором философов, математиков и лингвистов объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии — истина, знание, обоснование, рациональность, нормативность. Международным партнером лаборатории является
Центр логики, эпистемологии и истории науки Университета Кампинаса, Бразилия.
В ЛогЛинФФе действуют несколько регулярных семинаров (в том числе студенческих). Мы проводим международные конференции, летние и осенние школы. Также в ЛогЛинФФе действуют несколько программ стажировок различного уровня.
Новости
Репортаж о летней школе «Логика, лингвистика и формальная философия 2025».
7 июля
Фоторепортаж с последнего дня летней школы «Логика, лингвистика и формальная философия 2025».
4 июля
Как прошел четвертый день летней школы.
3 июля
Участники проекта «Плюралистические взгляды на логику и формальную философию», исследователи из университета Кампинаса «Unicamp», сделали доклады на конференции «Формальная философия 2025».
2 июля
Как прошел второй день летней школы «Логика, лингвистика и формальная философия 2025».
1 июля
Как прошел первый день летней школы.
30 июня
Репортаж о Международной конференции «Формальная философия 2025».
30 июня
27 июня стажер-исследователь Рамазан Аюпов выступил с докладом «Why is Frege not a Gricean?» на семинаре Университета Кампинаса.
28 июня
Сергей Одинцов, ведущий научный сотрудник Института математики им. С.Л. Соболева СО РАН, выступил с докладом «Модальная логика Мойсила и родственные системы» на семинаре «Формальная философия», который прошел 27 июня.
28 июня
Фоторепортаж с финального дня.
26 июня
Александр Поддьяков и Владимир Селиверстов стали победителями весеннего конкурса образовательных инноваций 2025.
25 июня
Фоторепортаж со второго дня конференции.
24 июня
Началась международная конференция «Формальная философия 2025».
23 июня
В сборнике «Social Computing and Social Media. HCII 2025. Lecture Notes in Computer Science» вышла статья Дениса Федянина.
23 июня
Сотрудники МЛ ЛогЛинФФ приняли участие в конференции «Четырнадцатые Смирновские чтения по логике», которая проходила с 19 по 21 июня.
22 июня
Иван Пыльцын, стажер-исследователь МЛ ЛогЛинФФ, успешно защитил ВКР на тему «Обобщение интерпретации Гёделя-Тарского на уровень некомпактных расширений Int, Grz и GL, эквивалентно задающихся нефундированными исчислениями» (руководитель – Д.С. Шамканов).
21 июня
Дарья Попова, научный сотрудник МЛ ЛогЛинФФ, выступила с докладом на научно-исследовательском семинаре «From the Logical Point of View», который прошел 13 июня.
14 июня
10 июня стажер-исследователь МЛ ЛогЛинФФ Ирина Никитина успешно защитила магистерскую диссертацию «Социальное влияние, иерархия внутри группы и логики действия» (руководитель – В.В. Долгоруков).
10 июня
10 июня стажер-исследователь МЛ ЛогЛинФФ Иван Соболев успешно защитил ВКР на тему «Проблема классификации видов лингвистического значения» (руководитель – В.В. Долгоруков).
10 июня
Стажер-исследователь МЛ ЛогЛинФФ Юлия Копчева выступила с докладом на научно-исследовательском семинаре «From the Logical Point of View», который прошел 6 июня.
7 июня
6 июня Иван Пыльцын выступил с докладом «Нефундированное расширение интуиционистской логики и игровая семантика Межирова» на семинаре математического факультета НИУ ВШЭ.
6 июня
Виктория Денисова выступила на международном форуме Ассоциации когнитивно-поведенческой психотерапии
23его мая стажер-исследователь МЛ ЛогЛинФФ Виктория Денисова выступила с докладом на международном форуме Ассоциации когнитивно-поведенческой психотерапии, который проходил в Санкт-Петербурге
Наукаидеи и опытдискуссииисследования и аналитикарепортаж о событииКогнитивно-бихевиоральная психотерапияКондиционалы
5 июня
Стажер-исследователь МЛ ЛогЛинФФ Юрий Казаков выступил с докладом на научно-исследовательском семинаре «From the Logical Point of View», который прошел 30 мая.
31 мая