Бакалавриат
2026/2027
Формальная семантика
Статус:
Курс обязательный (Фундаментальная и компьютерная лингвистика)
Кто читает:
Школа лингвистики
Где читается:
Факультет гуманитарных наук
Когда читается:
3-й курс, 1 модуль
Охват аудитории:
для своего кампуса
Язык:
английский
Кредиты:
3
Контактные часы:
42
Course Syllabus
Abstract
The class is an introduction to formal semantics. We will learn to model the meanings of complex linguistic expressions, using strictly defined rules of semantic composition and an inventory of extensional semantic types. Particular topics include semantics of various kinds of noun phrases, scope ambiguities, binding and so on.
The course requires significant general homework, primarily consisting of solving problem sets on formal semantics. These problem sets are intended for the students to practise the covered material and to prepare themselves for independent research into compositional meaning.
Learning Objectives
- The main goal of the discipline "Formal Semantics" is to familiarize the students with the basic concepts of formal semantics and help them master the techniques of the compositional analysis of linguistic meaning.
Expected Learning Outcomes
- Students distinguish truth conditions from other aspects of meaning; represent predicates as sets or functions; use extensional semantics with sets and extensional semantics with functions interchangeably; establish logical/semantic types of expressions in a syntactic context, etc.
- Students apply the principles of semantic composition to linguistic data, demonstrating the ability to perform semantic derivation of simple clauses; ability to identify cases of ambiguity in sentences with operator expressions; ability to determine the scope of quantifiers.
- Students model meanings using free and bound variables for pronouns etc. Students diagnose cases where semantic types that are not reducible to types of individuals and truth values should be used in the analysis.
Course Contents
- Philosophical and mathematical foundations of formal semantics
- Principles of semantic composition
- Formal semantic analysis
Interim Assessment
- 2026/2027 1st module0.2 * Домашнее задание 2 + 0.4 * экзамен + 0.2 * Домашнее задание 1 + 0.2 * Домашнее задание 3
