Международная лаборатория логики, лингвистики и формальной философии НИУ ВШЭ исследует логику и рациональность в изменившемся мире, характеризующемся многообразием логических систем и рациональных агентов. Лаборатория поддерживает и развивает научные связи с российскими и зарубежными партнерами. Новостная служба «Вышка.Главное» побеседовала о ее деятельности с заведующей лабораторией, профессором Еленой Драгалиной-Черной.
— Когда и по чьей инициативе была создана лаборатория?
— Лаборатория была организована в 2018 году в результате нашей победы в конкурсе международных лабораторий. Ее созданию предшествовала деятельность научно-учебной группы формальной философии. Сейчас мы завершаем третий трехлетний цикл работы в рамках проекта «Центры превосходства».
— Каковы главные направления деятельности лаборатории?
— В нашей лаборатории философов, математиков, лингвистов и психологов объединяет интерес к логике. Успеху нашего междисциплинарного сотрудничества во многом способствует широкое понимание задач современной логики. И не только как теории корректных рассуждений, но и как теории информационного взаимодействия неидеальных агентов с ресурсными и когнитивными ограничениями.
— Какие из них вы считаете наиболее перспективными?
— Безусловно, наиболее перспективными направлениями нашей работы являются разработка неклассических логических систем, исследование их металогических свойств и оценка нового статуса плюралистической логики в универсуме современной науки и технологий, связанных с искусственным интеллектом.
— Вы изучаете темы на стыке нескольких наук: философии, математики, лингвистики и психологии. Как вам удается их сочетать, это параллельные исследования или больше междисциплинарные подходы?
— Зачастую это параллельные исследования, в ходе которых мы обмениваемся эвристиками и методами. Логика использует аппарат математики, а философские инсайты стимулируют, в свою очередь, развитие математических теорий. В междисциплинарных исследованиях, которые мы также проводим, проблемы, возникшие в логике, решаются как методами формальных наук, так и постановкой лингвистических и психологических экспериментов.
— Понятие «формальная философия» для многих звучит как «башня из слоновой кости». Можно ли популярно пояснить, чем занимаетесь вы и ваши коллеги?
— Формальной философией Иммануил Кант называл логику. Сейчас она превратилась в респектабельное направление, распространяющееся не только на логические методы, но и на методы других формальных дисциплин: теории игр, теории вероятности, теории сложности, теории принятия решений — на традиционные философские проблемы истины, достоверности, нормативности, рациональности.
Развивая традицию классической философии, которая некогда задала дисциплинарную матрицу для других наук, формальная философия отстаивает ее дисциплинарное достоинство в современной системе наук. Отрицание научного статуса философии является, на мой взгляд, следствием узких представлений о границах науки, которая характеризуется не только эмпирической проверяемостью и практической пользой, но и строгостью аргументации, способностью к экстраполяции и разрешению парадоксов, общенаучной значимостью рассматриваемых проблем. Этими качествами формальная философия обладает в полной мере.
— Ваша деятельность сконцентрирована преимущественно на прикладных или на фундаментальных исследованиях? Насколько сложно поддерживать их баланс?
— В основном мы ведем фундаментальные исследования, но также создаем на их основе компьютерные программы и учебные комплексы, в том числе игровые, для обучения логике. Для нас прикладные исследования — естественное продолжение фундаментальных.
— Насколько активно вы в своей работе используете искусственный интеллект?
— Если понимать искусственный интеллект широко, как формализацию и компьютерную имплементацию, то он является давним и надежным партнером логиков. Однако взрывное развитие искусственного интеллекта последних лет ставит новые задачи перед логиками и философами, для которых он становится не только инструментом, но и самостоятельным объектом исследования. Именно философские вопросы, связанные с прогрессом цифровых технологий, представляются мне наиболее значимыми сегодня. В частности, развитие систем генеративного искусственного интеллекта в сочетании с плюрализмом логических систем и зарождающейся на наших глазах вычислительной философией совершенно по-новому ставит классические вопросы философии о том, что такое рациональность и агентность, и логики — о том, что такое рассуждение и смежные когнитивные процедуры.
— Ваши коллеги написали статью о возможном использовании нейросетей в психологии и связанных с этим проблемами. Можно ли сейчас ответить, кто актер в цифровом театре абсурда?
— Это точно не театр одного актера. Исследование принципов и динамики взаимодействия человеческих и нечеловеческих агентов в постановке и решении научных проблем — захватывающая междисциплинарная задача, значение которой для будущего академический науки трудно переоценить.
— Какими достижениями коллег вы гордитесь?
— Прежде всего тем, что за годы работы нашей лаборатории мы стали ведущим российским и мировым центром формальной философии. Это институциональное достижение не было бы возможно без научных результатов, полученных сотрудниками лаборатории в области построения модальных, динамических, мультиагентных логических систем, в доказательстве их металогических, вычислительных и сложностных свойств, в уточнении их эпистемологического статуса, наконец.
— С какими подразделениями Вышки и другими исследовательскими центрами вы взаимодействуете?
— Уже второй год мы включены в объединенный проект с лингвистическими лабораториями «Языковое и когнитивное многообразие в формальных моделях, компьютерных инструментах и образовательных ресурсах» под руководством Георгия Мороза. Нашей основной задачей в нем является исследование когнитивного многообразия, обусловленного в том числе и лингвистическими факторами. С 2023 года мы также работали с психологами над построением логико-когнитивных моделей рассуждений. Сейчас этот проект, поддержанный РНФ, завершился, но мы надеемся на сохранение и развитие сложившихся междисциплинарных связей.
Безусловно, надо упомянуть проект, который мы реализуем в рамках программы «Международное академическое сотрудничество» с Центром логики, эпистемологии и истории науки Университета Кампинаса (Сан-Паулу, Бразилия). В январе текущего года мы провели российско-бразильский коллоквиум, приуроченный к Всемирному дню логики и посвященный логике рассуждений о вымышленных и абстрактных объектах. А в конце марта на базе нашей лаборатории прошла весенняя школа «Логика, лингвистика и формальная философия» c участием бразильских и индийских коллег, значительная часть исследований которых посвящена истории логики в России. Участники нашего совместного проекта, профессора Итала Д’Оттавиано и Эвандро Гомес, прочитали лекции, посвященные вкладу русских логиков и философов Ивана Орлова, Дмитрия Бочвара, о. Павла Флоренского в паранепротиворечивую логику, активно разрабатываемую сейчас в Бразилии. В планах лаборатории — публикация статей наших зарубежных партнеров в специальном англоязычном номере издания «Философия. Журнал Высшей школы экономики», посвященном логике и формальной философии.
— Как результаты научной работы используются в учебном процессе?
— Линейка логических курсов, которые ведут сотрудники нашей лаборатории в философском бакалавриате, весьма представительна — это логика, философия логики, основы аргументативных теорий, научно-исследовательский семинар по логике и аналитической философии. Наши коллеги работают также со студентами Школы лингвистики, факультетов математики и компьютерных наук. Трудно отделить наши научные исследования от преподавания, неслучайно студенты — стажеры лаборатории ежегодно занимают призовые места в конкурсах научно-исследовательских работ.
— Насколько активно в деятельности лаборатории участвуют студенты и аспиранты?
— Начиная с первого курса бакалавриата студенты участвуют в научных и учебных семинарах лаборатории, а иногда становятся нашими стажерами уже на втором курсе. Научный уровень и заинтересованность наших студентов и аспирантов неизменно производят сильное впечатление на российских и зарубежных гостей лаборатории.
— Каким вам представляется оптимальный баланс между опытными и известными учеными и молодыми исследователями?
— Здесь трудно предложить какую-то формулу, но у нас стажеров всегда больше, чем сотрудников с учеными степенями. Я этому очень рада потому, что в современной академии студенты нередко опережают профессоров по многим компетенциям и постоянное общение в лаборатории дает нам возможность учиться у своих учеников.
— У вас в лаборатории много штатных и ассоциированных иностранных исследователей. Как удается поддерживать и развивать международное научное сотрудничество?
— Это непросто. Сегодня мы в значительной мере ориентируемся на Латинскую Америку, работая в совместном проекте с коллегами из Университета Кампинаса и постепенно расширяя географию сотрудничества на другие бразильские университеты. Сотрудником лаборатории остается выпускник аспирантуры Вышки Хорхе Луис Мартинес Мендес, живущий сейчас в Мексике. В прошлом году к коллективу лаборатории присоединился в качестве постдока индийский математик Сайянтан Рой, при его содействии мы развиваем сотрудничество с сильными логико-философскими и логико-математическими школами Индии. Профессор Мадридского университета Комплутенсе Элиа Дзардини — главный научный сотрудник лаборатории — по-прежнему активно вовлечен в наши научные и академические проекты. Кроме того, ведущие логики из США и стран Европы регулярно выступают онлайн на наших семинарах и конференциях.
Я убеждена, что сохранение и развитие международного сотрудничества именно в области логики не случайно. С самого своего рождения логика рассматривает мир как полицентрический универсум равноправных граждан, наделенных разумом и способностью к рациональной коммуникации. Логика — основа рациональности, и мы делаем все, что в наших силах, для ее победы в нынешнем турбулентном мире.