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

Применения логики и алгебры в языкознании весьма разнообразны. Они могут быть связаны с изучением синтаксической структуры естественного языка, его семантики, дискурсивной структуры текстов и т.п. Разумеется, соответствующие методы также весьма разнообразны: здесь используются классическая теоретико-модельная семантика, семантика возможных миров, субструктурные логики, лямбда-исчисление, элементы теории типов (в том числе зависимых) и теории категорий и т.д.

Заседания семинара проходят по средам в 18:00 в комн. 313 МИАН. Возможно также подключение онлайн (для получения ссылки напишите письмо руководителям семинара).

Очередной доклад: 10.05.2023 будет доклад Т. Фуканчик о ветвящихся кванторах в английском языке. Это будет заключительное заседание в семестре.

Руководители семинара
Кузнецов Степан Львович
Сперанский Станислав Олегович

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)