Научно-исследовательский семинар «Грамматические категории в формальной семантике»

Бакалавриат 2025/2026

Статус: Курс по выбору (Фундаментальная и компьютерная лингвистика)

Кто читает: Школа лингвистики

Где читается: Факультет гуманитарных наук

Когда читается: 3-й курс, 4 модуль

Охват аудитории: для всех кампусов НИУ ВШЭ

Преподаватели: Михайлов Степан Кириллович

Язык: русский

Кредиты: 3

Контактные часы: 36

Дополнительные материалы в LMS Задать вопрос

Аннотация

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

Цель освоения дисциплины

Студент:ки владеют инструментарием интенсиональной семантики.
Студент:ки разбираются в формальных теориях перфекта.

Планируемые результаты обучения

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

Содержание учебной дисциплины

Принципы семантической композиции
Формально-семантический анализ языковых фактов
Интенсиональная семантика, события и ситуации
Теории перфекта

Элементы контроля

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

Промежуточная аттестация

2025/2026 4th module
0.25 * Домашнее задание + 0.25 * Презентация по статье + 0.2 * Работа на семинарах + 0.3 * Экзамен

Список литературы

Авторы

Михайлов Степан Кириллович

Программа дисциплины