Невидимые машины: Рассказы о формальной семантике

М. : Издательская группа URSS, 2026.

Тискин Д. Б.

Предлагаемая книга представляет собой введение в формальную семантику — раздел языкознания, в котором посредством построения математически строгих моделей исследуется, как предложения приобретают значение и способность передавать информацию в зависимости от своей структуры и значений составляющих их слов. Классические теоретические идеи Г. Фреге, Д. Льюиса, Д. Каплана и др. излагаются современным языком, а при разработке нотации акцент сделан на том, чтобы сделать яснее структуру сложных выражений и снизить зависимость от традиционных логических обозначений, чья семантика и сама нуждается в комментариях. Наряду с традиционными для формальной семантики темами, такими как структура значения слов основных частей речи, семантика союзов и кванторных слов, структурная неоднозначность, обсуждается ряд актуальных в современной науке проблем: семантика дейктических выражений, модальных слов, вопросов, топика и фокуса.

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

Чтение не требует специальной лингвистической подготовки, но от читателя ожидается внимание к формальным деталям. В качестве учебного пособия книгу можно рекомендовать студентам и аспирантам лингвистических специальностей, а в качестве популярного введения в семантику — специалистам в области математики, логики, философии и компьютерных наук.

Ключевые слова: формальная семантика, квантификация, модальность, modality, quantification, focus semantics, formal semantics, семантика фокуса