«Плюралистические взгляды на логику и формальную философию» – Новости – Schola – Национальный исследовательский университет «Высшая школа экономики»

Schola продолжает знакомить вас с победителями первого конкурса совместных фундаментальных проектов «Международное академическое сотрудничество». В сегодняшнем номере Елена Драгалина-Чёрная, заведующая Международной лабораторией логики, лингвистики и формальной философии, профессор Школы философии и культурологии рассказывает о «нейтральном арбитре в ученых спорах и гаранте научной объективности» и проекте «Плюралистические взгляды на логику и формальную философию».

— Как возникла идея вашего проекта? В чем его актуальность?

— К новому конкурсу «Международное академическое сотрудничество» наша Международная лаборатория логики, лингвистики и формальной философии (МЛ ЛогЛинФФ) подошла со своим давним научным партнером — Центром логики, эпистемологии и истории науки (CLE) бразильского Государственного университета Кампинаса (UNICAMP). Конкурс стал для нас прекрасным шансом не только институализировать уже сложившееся академическое партнерство, но и наметить перспективы исследований в рамках совместного проекта, посвященного плюрализму в современной логике и формальной философии.

Лекция Италы д’Оттовиано «Systemic thinking» в рамках научного визита в НИУ ВШЭ по приглашению МЛ ЛогЛинФФ

На протяжении всей своей многовековой истории логика рассматривалась как нейтральный арбитр в ученых спорах и гарант научной объективности. Кант полагал даже, что она не только не развивалась после Аристотеля, но никогда и не будет развиваться, являясь «наукой вполне законченной и завершенной». Однако вопреки этому неудачному предсказанию логика не только пережила несколько революций, изменивших облик науки в целом, но и характеризуется сейчас плюрализмом логических систем. Этот плюрализм влечет за собой также плюрализм формальной философии, использующей логические методы для постановки и решения проблем, связанных с категориями истины, обоснования, нормативности, делиберации. Более того, он бросает вызов единству научного метода и даже самой рациональности как основанию науки и культуры. В силу особого статуса логики в любом рациональном диалоге трудно переоценить важность осмысления истоков и следствий торжества логического плюрализма. Наш проект призван внести свой, как мы надеемся — существенный, вклад в это осмысление.

— Как складывалась история взаимоотношений вышкинской лаборатории с бразильским Центром логики, эпистемологии и истории науки?

— Наш бразильский партнер старше и опытнее нашей лаборатории, основанной чуть более шести лет назад. Бразильскому Центру логики, эпистемологии и истории науки университета UNICAMP уже почти полвека. Он был основан в 1977 году, через 15 лет после создания самого университета, который, согласно недавним данным Министерства образования Бразилии, вышел за эти годы на лидирующее место среди университетов страны. В 2014 году между UNICAMP и НИУ ВШЭ было заключено соглашение о сотрудничестве.

Доклад Италы д’Оттовиано «Contradiction, Consistency and the Paraconsistent Perspective in the Western Thought: from Heraclitus of Ephesus to Newton da Costa» на конференции «Формальная философия – 2019» в НИУ ВШЭ

Наша академическая дружба с CLE началась с участия в совместных конференциях и монографиях, обмена научными визитами. С 2019 года профессор UNICAMP Итала Лоффредо д’Оттовиано, соруководитель нашего проекта, участвовала в качестве приглашенного докладчика в ежегодных конференциях МЛ ЛогЛинФФ по формальной философии, выступила в НИУ ВШЭ с серией лекций.

Значительная часть ее докладов была посвящена истории логики в России, в частности работам Николая Васильева, русского философа первой половины ХХ-го века, предтечи одного из главных направлений бразильской логики — паранепротиворечивой логики. Эти работы стали известны мировому логическому сообществу благодаря исследованиям не только русских, но и бразильских логиков. Этот удивительный факт идейной близости ученых из находящихся на разных континентах стран заложил фундамент российско-бразильских контактов в области логики, которые, конечно, не исчерпываются историческими реконструкциями. Так, исследования участника нашего проекта Владимира Васюкова, основанные в том числе на работах классика бразильской логики Ньютона да Косты, были отмечены Бразильской академией философии, сделавшей его своим членом-корреспондентом. Начиная с 2000 года он выступал на различных логических конференциях в Кампинасе и Рио-де-Жанейро. В 2019 году другой сотрудник нашей лаборатории Денис Федянин сделал в UNICAMP доклад на конференции “Big Dataon XII”, посвященной этическим и эпистемологическим аспектам работы с большими данными.

В прошлом году я участвовала в качестве приглашенного докладчика в организованной CLE Летней школе по логике, рациональности и информации (SPLogiC). Это было важное событие мирового уровня, для участия в котором UNICAMP выделил 100 стипендий, покрывающих проживание и перелет слушателей со всего мира, в том числе из России. Мое интервью председателю программного комитета школы и также участнику нашего проекта Вальтеру Карниелли было опубликовано в журнале UNICAMP.

— Расскажите об основных направлениях исследований в рамках текущего проекта.

— Наш проект посвящен плюралистической перспективе в логике и формальной философии. Выбор этой темы обусловлен математическими и методологическими затруднениями, вызванными многообразием логических систем, и предполагает совместную работу логиков-философов и логиков-математиков.

Наша команда состоит из философов, среди которых руководители проекта Фабио Бертато, Итала Лоффредо д’Оттовиано и я, а также Эвандро Гомес, Владимир Васюков, Виталий Долгоруков, и математиков Вальтера Карниелли, Марсело Конильо, Родольфо Бирабена, Михаила Рыбакова, Данияра Шамканова, Анастасии Оноприенко, Дениса Федянина. Студенты и аспиранты, участвующие в проекте, также представляют философские и математические школы наших университетов.

Ключевые направления наших исследований связаны, прежде всего, с анализом отношений между различными формальными системами в объединяющем их плюралистическом универсуме современной логики, построением переводов между ними и их комбинаций, уточнением взаимосвязи теоретико-доказательственных, теоретико-модельных, алгоритмических и вычислительных свойств неклассических логических систем.

Логический плюрализм по-новому ставит классический вопрос о демаркации дисциплинарных границ логики, проблематизируя уникальность ее роли в отношении других наук, которая традиционно объяснялась ее априорностью и универсальной нормативностью. Металогический плюрализм, возникающий на уровне сравнения различных логик, заставляет пересмотреть эту традицию и переосмыслить основания логики и других формальных наук.

Особое внимание в нашем проекте мы предполагаем уделить мультиагентному подходу к логическому плюрализму, обусловленному когнитивным поворотом в современной логике, вследствие которого фокус ее интереса переместился с формальной корректности рассуждений идеального субъекта классической философии на оптимизацию когнитивной деятельности сообществ ограниченно рациональных агентов. Включение в такие сообщества нечеловеческих интеллектуальных агентов открывает перспективы приложения наших результатов в области искусственного интеллекта.

— Как будут выглядеть результаты проекта? Какие перспективы у исследований в этой области?

— Как у любого исследовательского проекта, наши результаты выразятся прежде всего в серии публикаций в высокорейтинговых журналах и пройдут апробацию на международных научных конференциях. Мы планируем ежегодно проводить российско-бразильские воркшопы по проблеме логического плюрализма. Первый такой воркшоп пройдет уже в ноябре этого года в НИУ ВШЭ и будет посвящен памяти патриарха бразильской логики Ньютона Да Косты.

Мы организуем также российско-бразильские школы, которые объединят и разовьют уже сложившиеся традиции логических школ CLE и МЛ ЛогЛинФФ. В октябре мы проведем на базе НИУ ВШЭ российско-бразильскую школу по логике и формальной философии, к участию в которой приглашаем студентов, аспирантов, молодых исследователей в области философии, математики, компьютерных наук, а также лингвистов, психологов и всех интересующихся проблемами современной логики.

Фабио Бертато, директор Центра логики, эпистемологии и истории науки UNICAMP, соруководитель проекта, фото с сайта SPLogiC

Перспективы исследований логического плюрализма связаны не только с ожиданием вдохновляющих математических результатов, способных удовлетворить наше научное любопытство, и не только с планируемым приложением этих результатов в области компьютерных наук, но, что не менее важно, с надеждой на лучшее понимание предпосылок и границ нашей рациональности, на расширение диалога разных наук и культур.