Категориальные грамматики
Механико-математический факультет

Современное языкознание немыслимо без использования точных, прежде всего математических, методов. Эти методы можно условно разделить на две большие группы: в одну войдут разнообразные применения математической статистики для исследования больших массивов лингвистических данных, в другую — алгебро-логические подходы к формализации структуры языка. В этом курсе будет рассказано о второй группе методов на примере категориальных грамматик — семейства основанных на логических исчислениях формализмов, используемых для описания синтаксиса и семантики («смысла») предложений на естественных языках. Будет рассказано как о применениях категориальных грамматик в исследовании языка, так и о чисто математических задачах, связанных с этим формализмом.

От слушателей МФК не ожидается специальных лингвистических или математических знаний: языковедческие понятия будут подробно разъяснены, а для понимания математических результатов (возможно, кроме тонких деталей доказательств) будет достаточно владения школьным курсом алгебры.