Плюралистические взгляды на логику и формальную философию
Проект в рамках конкурса "Международное академическое сотрудничество".
Руководители проекта: Елена Драгалина-Черная, Фабио Майя Бертато, Итала Лоффредо д’Оттовиано
Менеджер проекта: Татьяна Хромова
Период реализации: 2024–2026 г.
О проекте
Совместный проект Международной лаборатории логики, лингвистики и формальной философии НИУ ВШЭ и Центра логики, эпистемологии и истории науки (Университет Кампинаса, Бразилия) объединяет российских и бразильских логиков-философов и логиков-математиков в разрешении метаматематических и методологических затруднений, обусловленных плюрализмом логических систем.
Логический плюрализм по-новому ставит классический вопрос о демаркации дисциплинарных границ логики, проблематизируя уникальность её роли в отношении других наук, которая традиционно объяснялась её априорностью и универсальной нормативностью. Признание принципиальной множественности корректных логических систем заставляет пересмотреть эту традицию, переосмыслив основания логики и других формальных наук.
Ключевые направления наших исследований связаны с анализом отношений между различными формальными системами в объединяющем их плюралистическом универсуме современной логики, построением переводов между ними и их комбинаций, уточнением взаимосвязи теоретико-доказательственных, теоретико-модельных, алгоритмических свойств неклассических логических систем.
Разработка комбинированных логик с операторами, подчиняющимися правилам различных логических систем, представляет интерес для философии и компьютерных наук, объединяя в единую когерентную систему рассуждения, касающиеся знания, необходимости, обязательств, действий, времени. Плюралистический подход к рациональной агентности включает также сравнение дедуктивных и выразительных возможностей различных логических систем в моделировании рассуждений и принятия решений сообществами ограниченно рациональных агентов на основе неполной, противоречивой и контекстуально-зависимой информации.
Задачи научного исследования:
- разработка новых методов анализа и сравнения теоретико-модельных и теоретико-доказательственных свойств логических систем на основе комбинации различных подходов к их истолкованию (как структур, алгебр, категорий, наборов инференциальных правил и т.п.);
- исследование алгоритмических свойств нефундированных дедуктивных систем, выявление влияния различных характеристик формальных систем на их алгоритмические свойства;
- разработка многомерных, мультиагентных и мультимодальных логик в перспективе плюрализма логических систем;
- выявление новых имплицитных связей интуиционистских и модальных систем, в частности, построение переводов интуиционисткой эпистемической логики в классическую логику с двумя модальностями, интерпретируемыми как знание и верификация;
- разработка новых подходов к дисциплинарной демаркации логики с использованием концептуального аппарата формальной онтологии и формальной эпистемологии.
В проекте принимают участие молодые исследователи, в том числе студенты бакалавриата, магистратуры и аспиранты философских и математических программ. Результаты проекта пройдут апробацию на теоретических семинарах и международных научных конференциях, получат отражение в серии публикаций в высокорейтинговых журналах. В рамках проекта планируется ежегодное проведение российско-бразильских воркшопов по проблеме логического плюрализма, а также российско-бразильских школ по логике и формальной философии, которые объединят и разовьют уже сложившиеся традиции проведения логических школ Международной лабораторией логики, лингвистики и формальной философии в НИУ ВШЭ и Центром логики, эпистемологии и истории науки в университете Кампинаса.
Научный коллектив проекта
Международная лаборатория логики, лингвистики и формальной философии, НИУ ВШЭ
Международная лаборатория логики, лингвистики и формальной философии: Заведующий лабораторией
Ведущий научный сотрудник Международной лаборатории логики, лингвистики и формальной философии
Международная лаборатория логики, лингвистики и формальной философии: Заместитель заведующего лабораторией
Департамент больших данных и информационного поиска: Доцент
Факультет математики: доцент
Базовая кафедра Математического института им. В.А. Стеклова РАН: Доцент
Международная лаборатория логики, лингвистики и формальной философии: Научный сотрудник
Международная лаборатория логики, лингвистики и формальной философии: Стажер-исследователь
Международная лаборатория логики, лингвистики и формальной философии: Стажер-исследователь
Международная лаборатория логики, лингвистики и формальной философии: Стажер-исследователь
Центр логики, эпистемологии и истории науки, Университет Кампинаса (UNICAMP), Бразилия
Профессор, директор Центра логики, эпистемологии и истории науки, UNICAMP
Профессор, UNICAMP
Профессор, UNICAMP
Профессор, UNICAMP
Доцент, State University of Maringá, научный сотрудник, UNICAMP
Научный сотрудник, UNICAMP
PhD student, UNICAMP
PhD student, UNICAMP
Конференции 2024-2026:
Школы в рамках проекта
Публикации по проекту:
Новости
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.