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

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

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

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

Программа

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

Финансовая поддержка
Семинар проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2022-265).

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