Проект в рамках конкурса "Международное академическое сотрудничество".
Руководители проекта: Елена Драгалина-Черная,  Фабио Бертато, Итала д’Оттовиано

Менеджер проекта: Татьяна Хромова

Период реализации: 2024–2026 г.

О проекте

Совместный проект Международной лаборатории логики, лингвистики и формальной философии  НИУ ВШЭ и Центра логики, эпистемологии и истории науки (Университет Кампинаса, Бразилия) объединяет российских и бразильских  логиков-философов и логиков-математиков в разрешении  метаматематических и методологических затруднений,  обусловленных плюрализмом логических систем.

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

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

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

Задачи научного исследования:

•  разработка новых методов анализа и сравнения теоретико-модельных и теоретико-доказательственных свойств логических систем на основе  комбинации различных подходов к их истолкованию (как структур, алгебр, категорий, наборов инференциальных правил и т.п.);
•  исследование алгоритмических свойств нефундированных дедуктивных систем, выявление влияния различных характеристик формальных систем на их алгоритмические свойства;
• разработка многомерных, мультиагентных и мультимодальных логик в перспективе плюрализма логических систем;
• выявление новых имплицитных связей интуиционистских и модальных систем, в частности, построение переводов интуиционисткой эпистемической логики в классическую логику с двумя модальностями, интерпретируемыми как знание и верификация;
• разработка новых подходов к дисциплинарной демаркации логики с использованием концептуального аппарата формальной онтологии и формальной эпистемологии.

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

Научный коллектив проекта