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

Description

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