Международная лаборатория логики, лингвистики и формальной философии (ЛогЛинФФ, LLFP) является центром междисциплинарного сотрудничества, в котором философов, математиков и лингвистов объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии — истина, знание, обоснование, рациональность, нормативность. Международным партнером лаборатории является
Центр логики, эпистемологии и истории науки Университета Кампинаса, Бразилия.
В ЛогЛинФФе действуют несколько регулярных семинаров (в том числе студенческих). Мы проводим международные конференции, летние и осенние школы. Также в ЛогЛинФФе действуют несколько программ стажировок различного уровня.
Новости
Стажер-исследователь Иван Пыльцын выступил на семинаре «Современные проблемы математической логики», который прошел 14 ноября на матфаке НИУ ВШЭ.
14 ноября
12 ноября состоялось 105-е заседание научно-теоретического семинара «Формальная философия».
13 ноября
НИУ ВШЭ объявляет о старте девятого конкурса в рамках Программы привлечения российских постдоков, которая с момента запуска в 2018 году стала важным инструментом академической мобильности и укрепления научного потенциала подразделений. Сегодня в трех кампусах ВШЭ работают 60 постдоков более чем из 20 городов России и мира —от Барнаула и Махачкалы до Флоренции и Лондона.
12 ноября
5 ноября состоялось 104-е заседание научно-теоретического семинара «Формальная философия».
6 ноября
1 ноября прошло заседание научно-учебного семинара «Математическая логика и теория категорий», на котором выступил почетный профессор факультета философии Университета Западного Лондона Джон Белл.
2 ноября
28 октября стажер-исследователь Георгий Филатов выступил с докладом «Атомистическое и холистское прочтения "Логико-философского трактата" Л. Витгенштейна: pro et contra» на философском факультете РГГУ.
30 октября
29 октября состоялось 103-е заседание научно-теоретического семинара «Формальная философия».
30 октября
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 сентября