• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Плюралистические взгляды на логику и формальную философию

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

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

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

О проекте

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

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

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

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

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

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

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

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

Международная лаборатория логики, лингвистики и формальной философии, НИУ ВШЭ

Драгалина-Черная Елена Григорьевна

Международная лаборатория логики, лингвистики и формальной философии: Заведующий лабораторией

Васюков Владимир Леонидович

Ведущий научный сотрудник Международной лаборатории логики, лингвистики и формальной философии

Долгоруков Виталий Владимирович

Международная лаборатория логики, лингвистики и формальной философии: Заместитель заведующего лабораторией

Оноприенко Анастасия Александровна

Департамент больших данных и информационного поиска: Доцент

Рыбаков Михаил Николаевич

Факультет математики: доцент

Шамканов Данияр Салкарбекович

Базовая кафедра Математического института им. В.А. Стеклова РАН: Доцент

Федянин Денис Николаевич

Международная лаборатория логики, лингвистики и формальной философии: Научный сотрудник

Денисова Виктория Геннадьевна

Международная лаборатория логики, лингвистики и формальной философии: Стажер-исследователь

Овчинникова Анна Александровна

Международная лаборатория логики, лингвистики и формальной философии: Стажер-исследователь

Пыльцын Иван Олегович

Международная лаборатория логики, лингвистики и формальной философии: Стажер-исследователь

Центр логики, эпистемологии и истории науки, Университет Кампинаса (UNICAMP), Бразилия

Fábio Maia Bertato

Профессор, директор Центра логики, эпистемологии и истории науки, UNICAMP

Itala Maria Loffredo D’Ottaviano

Профессор, UNICAMP

Walter Alexandre Carnielli

Профессор, UNICAMP

Marcelo Esteban Coniglio

Профессор, UNICAMP

Evandro Luís Gomes

Доцент, State University of Maringá, научный сотрудник, UNICAMP

Rodolfo Ertola-Biraben

Научный сотрудник, UNICAMP

Angie Paola Hugueth Vasquez

PhD student, UNICAMP

Gesiel Borges da Silva

PhD student, UNICAMP

Конференции 2024-2026:

Публикации по проекту:

Новости


 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.