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

О лаборатории

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

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

Одним из таких трендов является когнитивный поворот в гуманитаристике, обусловивший переключение фокуса исследовательского интереса логики и лингвистики на формальный анализ агентности, когнитивную семантику и формальную прагматику. Реализуя в 2018 – 2020 годах проект «Формальная эпистемология, логика и прагматика агентности в рациональных интеракциях», лаборатория ставит задачу разработки комплексных подходов, которые позволят адаптировать друг к другу различные интеракционистские и динамические модели рациональной агентности, порождения групповых и индивидуальных обязательств, пресуппозиций и импликатур, формального представления, верификации и коррекции знания.

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


 

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