Формальная семантика

2020/2021

Лучший по критерию «Новизна полученных знаний»

Статус: Майнор

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

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

Когда читается: 1 модуль

Преподаватели: Ивлиева Наталья Викторовна, Подобряев Александр Владимирович

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

Кредиты: 3

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

Полная версия программы учебной дисциплины Задать вопрос

Аннотация

В рамках этого курса студенты познакомятся с основами формальной семантики — направления лингвистики, моделирующего композициональность в языке, то есть способность выводить значения сложных выражений из значений их частей. Именно эта способность позволяет нам как носителям языка интерпретировать новые, ранее никогда не слышанные высказывания. Мы начнем с описания небольшого фрагмента естественного языка и введем базовые понятия и принципы. Постепенно эмпирическая база будет расширяться, а теория — надстраиваться и усложняться. Будут подробно рассмотрены семантика простых нераспространенных предложений; семантика прилагательных и других модификаторов имени, таких как относительные предложения; семантика местоимений; связывание переменных в языке; обобщенные кванторы и вопросы сферы действия семантических операторов. Курс предполагает значительный общем домашней работы, которая в основном состоит из решения задач (problem sets) по формальной семантике. Эти задачи должны, с одной стороны, позволить закрепить пройденный материал и, с другой, подготовить студентов к самостоятельным исследованиям композиционального значения. Курс в первую очередь ориентирован на студентов-лингвистов, но может представлять интерес для всех интересующихся формальными подходами к языковому значению. Поскольку при выводе значения сложных выражений, формальная семантика опирается на структуру этих выражений, студентам понадобятся базовые знания в области синтаксиса непосредственных составляющих. Также приветствуется знание основ теории множеств и математической логики.

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

Целями освоения дисциплины «Формальная семантика» являются знакомство с основными понятиями формальной семантики и овладение техниками композиционального анализа языкового значения.

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

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

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

Философские и математические основания формальной семантики
Принцип композициональности. Истинностные значения и условия истинности. Множества и функции. Шейнфинкелизация функций от нескольких аргументов. Логико-семантические типы языковых выражений. Типизированное лямбда-исчисление.
Принципы семантической композиции
Применение функции к аргументу. Предикатно-аргументная структура. Семантика разноместных предикатов. Семантика прилагательных. Предикатная модификация. Семантика относительных предложений. Предикатная абстракция. Квантификация. Обобщенные кванторы. Свойства Монотонности кванторов. Консервативность кванторов в естественном языке. Обобщенные кванторы в объектной позиции. Подъем квантора. Сфера действия кванторов. Анализ неоднозначной сферы действия операторных выражений.
Формально-семантический анализ языковых фактов
Семантика местоимений. Кореферентность и связывание. Тип степеней. Семантика сравнительной конструкции. Начала интенсиональной семантики.

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

домашнее задание
контрольная работа
экзамен

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

Промежуточная аттестация (1 модуль)
0.25 * домашнее задание + 0.25 * контрольная работа + 0.5 * экзамен

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