Международная лаборатория логики, лингвистики и формальной философии (ЛогЛинФФ, LLFP) является центром междисциплинарного сотрудничества, в котором философов, математиков и лингвистов объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии — истина, знание, обоснование, рациональность, нормативность. Международным партнером лаборатории является
Центр логики, эпистемологии и истории науки Университета Кампинаса, Бразилия.
В ЛогЛинФФе действуют несколько регулярных семинаров (в том числе студенческих). Мы проводим международные конференции, летние и осенние школы. Также в ЛогЛинФФе действуют несколько программ стажировок различного уровня.
Новости
22 октября состоялось 102-е заседание научно-теоретического семинара «Формальная философия».
23 октября
Иван Пыльцын и Иван Соболев прошли на единый трек обучения «магистратура-аспирантура» 2025.
21 октября
Елена Драгалина-Черная выступила с докладом «Artefactual Agency Between Eliminativism and Essentialism» на XVI Международном Онтологическом конгрессе, который прошел под патронажем Юнеско в Стране Басков (Сан-Себастьян, Испания; Сен-Жан-де-Люз, Франция) с 7 по 11 октября.
20 октября
18 октября прошло заседание научно-учебного семинара «Математическая логика и теория категорий», на котором выступил Паоло Манкосу.
19 октября
Стажер-исследователь МЛ ЛогЛинФФ Георгий Филатов выступил с докладом «Логические факты и их интерпретация: логико-философские метафоры “Трактата” Витгенштейна» на XXIII Международной конференция молодых ученыхв области гуманитарных и социальных наук: «Факты и интерпретации» (КМУЧ-2025) в Новосибирске, которая проходила 14 и 15 октября.
18 октября
15 октября на семинаре «From the Logical Point of View» стажер-исследователь МЛ ЛогЛинФФ Иван Пыльцын выступил с докладом «Нефундированная система исчисления на примере интуиционистской и модальных логик».
16 октября
В журнале «Новые психологические исследования» вышла статья Александра Поддьякова с соавторами «Цифровой театр абсурда: могут ли нейросети поставить новую научную проблему перед психологией? Кейс-сравнение ChatGPT и DeepSeek».
14 октября
8 октября прошло 101-е заседание научно-теоретического семинара «Формальная философия».
9 октября
4 октября состоялось заседание семинара «Математическая логика и теория категорий», на котором профессор факультета компьютерных наук Корнеллского университета Джозеф Халперн выступил с докладом «Actual Causality: A Survey».
5 октября
В журнале «Philosophy Journal of the Higher School of Economics» вышла статья Георгия Филатова и Максима Евстигнеева «Грамматика, карта, терапия. Метафоры философского анализа в творчестве Л. Витгенштейна, Г. Райла и П.Ф. Стросона».
2 октября
В журнале «Успехи математических наук» опубликовала статья Анастасии Оноприенко «Невозможность погружения логики HC в логику IEL^+ с сохранением классической импликации».
2 октября
Стажер-исследователь Игорь Зайцев выступил с докладом «Классические и интуиционистские кондициональные логики: метатеория, семантика, теория доказательств» на научно-исследовательском семинаре «From the Logical Point of View».
2 октября
25 сентября сотрудники лаборатории Михаил Смирнов и Анна Моисеева выступили на конференции «Актуальные проблемы аналитической философии» в Томске.
26 сентября
18 сентября в 15:00 состоялся доклад Максима Евстигнеева на заседании научного семинара сектора истории западной философии «История философии: наследие и проект».
19 сентября
17 сентября состоялось 100-е заседание теоретического семинара «Формальная философия», на котором Анна Моисеева выступила с докладом «Набросок логики интенционального двойничества в контексте рассуждений о фикциях (ICFR Logic). Язык и семантика».
18 сентября
17 сентября состоялся первый в новом семестре научно-учебный семинар «Логическая семантика».
17 сентября
Виктория Денисова, стажер-исследователь МЛ ЛогЛингФФ, представила свое исследование на 55-ом конгрессе Европейской ассоциации поведенческой и когнитивной терапии, который проходил с 3его по 6ое сентября в Глазго, Великобритания.
Наукаисследования и аналитикарепортаж о событиикогнитивно-поведенческая терапиякогнитивные искажения
17 сентября
Сергей Артёмов, заслуженный профессор Городского университета Нью-Йорка, выступил с докладом на заседании семинара «Математическая логика и теория категорий», который состоялся 13 сентября.
14 сентября
10 сентября состоялось 99-е заседание теоретического семинара «Формальная философия».
11 сентября
Статья Елены Драгалиной-Черной «Каково быть логическим чужаком?» и Дениса Маслова «Метафизика: от экспликации к конкретной инженерии. Ответ Пирмину Штеклеру-Вайтхоферу».
3 сентября
Сотрудники МЛ ЛогЛинФФ получат надбавки за публикацию в журнале из Списка А.
30 августа
Сотрудники МЛ ЛогЛинФФ стали лучшими преподавателями НИУ ВШЭ в конкурсе 2025 года.
29 августа
Стажер-исследователь МЛ ЛогЛинФФ Арнольд Григорян выступил с докладом «Justifying Homotopical Logic Two Ways» на Международной конференции «Logic, Algebra and Truth Degrees» (LATD 2025), которая прошла с 21 по 25 июля 2025 года в Сиене (Италия), объединив исследователей в области математической логики, алгебры и их приложений.
30 июля
С 9 по 10 июля прошла международная конференция «Метафизика между онтологией, логикой и субъективностью».
11 июля
В журнале “Manuscrito” (Бразилия) и в журнале «Гуманитарные исследования в Восточной Сибири и на Дальнем Востоке» опубликованы статьи стажера-исследователя МЛ ЛогЛингФФ Виктории Денисовой.
10 июля