• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Книги
  • Невидимые машины: Рассказы о формальной семантике
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
18 сентября 2026 г.
«Время на содержательные вопросы у нас не лимитировалось»
Международная лаборатория атомистического суперкомпьютерного моделирования и многомасштабного анализа НИУ ВШЭ провела масштабную конференцию «Молекулярная динамика». Участники могли услышать всех докладчиков, а сами докладчики — ответить на любое количество содержательных вопросов. О подготовке конференции и дискуссиях «Вышка.Главное» поговорила с заведующим лабораторией Григорием Смирновым и ее главным научным сотрудником Генри Норманом.
18 сентября 2026 г.
Ученые ВШЭ займутся изучением очарованных адронов в рамках BESIII
Высшая школа экономики стала университетом — участником международной коллаборации BESIII (Beijing Spectrometer III) в области физики высоких энергий. Присоединение к коллаборации стало первым практическим результатом реализации меморандума о сотрудничестве, подписанного в 2025 году между НИУ ВШЭ и Институтом физики высоких энергий (IHEP) в Пекине (КНР).
17 сентября 2026 г.
<a>НИУ ВШЭ представил в Китае исследование о безопасности нейросетей для анализа видео
Ученые Высшей школы экономики презентавали на международной конференции ChinaMM 2026 в Китае исследование о том, как искажения при передаче видео влияют на работу нейросетей. Авторы предложили новый способ проверять устойчивость таких моделей в условиях, близких к реальному использованию видеосервисов.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

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

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

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

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

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

Научное направление: Филология и лингвистика Философия, этика, религиоведение
Язык: русский
Ключевые слова: формальная семантикаквантификациямодальностьmodalityquantificationfocus semanticsformal semanticsсемантика фокуса
Невидимые машины: Рассказы о формальной семантике
Похожие публикации
Онтотеологический «остаток» современного политического нигилизма
Мерзенина А. С., Социологическое обозрение 2026 Т. 25 № 2 С. 206–242
В статье рассматривается проблема трансформации политической теологии, или политической онтотеологии, в эпоху позднего капитализма. Сначала автор анализирует специфику нигилизма в интерпретации Ницше и Хайдеггера, а затем переходит к рассмотрению эпистемологического, этического и политического релятивизма, общая суть которого состоит в нигилистическом отказе от единой ценностной картины мира. Далее делается вывод о том, что нигилизм является оплотом ...
Добавлено: 20 сентября 2026 г.
«Игрок» Ф.М. Достоевского в радиоадаптации «Бабуленька» Н.С. Сухоцкой
Воробьёва О. А., Достоевский и мировая культура. Филологический журнал 2026 № 3 С. 230–246
В статье рассматривается история создания радиоспектакля «Бабуленька», поставленного в 1968 году режиссером Н.С. Сухоцкой по ро- ману «Игрок» Ф.М. Достоевского. Анализ архивных материалов, хранящихся в РГАЛИ (машинопись сценария, режиссерские пометы Сухоцкой, рабочие записи Ф.Г. Раневской, сыгравшей в радиоспектакле Антониду Васильевну Тарасевичеву (бабуленьку), авторские комментарии к фотографиям актрисы), а также мемуарные записи, позволяют пролить свет на ...
Добавлено: 20 сентября 2026 г.
Lecture Notes in Artificial Intelligence
Springer, 2026.
Добавлено: 20 сентября 2026 г.
Роль анализа языковых средств в развитии профессиональной коммуникативной компетенции студентов в рамках курса по нарративной медицине
Пинчукова А. Е., Вестник филологических наук 2026 Т. 6 № 9 С. 176–186
В статье рассматриваются изучение языковых явлений в рамках междисциплинарной парадигмы научного знания и понятие нарратива как одно из наиболее популярных для изучения в разных областях. Цель статьи заключается в том, чтобы выявить принципы развития коммуникативной компетенции в медицинской сфере, в которой все более широкое распространение получает нарративная медицина – дисциплина, сформировавшаяся на стыке медицины, литературоведения ...
Добавлено: 18 сентября 2026 г.
CONVIVIAL OR MANIPULATIVE TOOLS? LLMS IN RUSSIAN HIGHER EDUCATION (THE CASE OF THE SCHOOL OF ADVANCED STUDIES)
Шиповалова Л. В., Социология власти 2026 Vol. 38 No. 1 P. 224–243
Добавлено: 18 сентября 2026 г.
Роман И.С. Тургенева «Отцы и дети» в драматургической адаптации Брайана Фрила
Цветкова М. В., Алентьева А. А., Вестник Российского университета дружбы народов. Серия: Литературоведение, журналистика 2026 № 2 С. 385–397
Цель – описать особенности адаптации для театра романа И.С. Тургенева «Отцы и дети» ирландским драматургом Брайаном Фрилом и причины произведенных автором трансформаций.Новизна исследования обусловлена тем, что рецепция русской классической литературы в Ирландии ХХ в. до сих пор практически не попадала в поле зрения как российских, так и зарубежных ученых. В результате сопоставления романа и пьесы ...
Добавлено: 17 сентября 2026 г.
Гуманизм и милосердие: доминирование добродетелей
Жигунов А. Ю., Patria 2026 Т. 3 № 3 С. 12–28
Исследование посвящено идентификации специфики гуманизма и милосердия как традиционных духовно-нравственных ценностей современной России. Особая роль указанных аксиологических установок и откровенно добродетельный характер позволяет предположить их доминирующую позицию. Избегая дискуссии о трактовке указанных категорий, автор предпринимает попытку идентифицировать реализацию добродетельных действий, которые могут быть классифицированы как проявления гуманного и милосердного поведения. В общественно-политическом пространстве обнаружен социальный ...
Добавлено: 17 сентября 2026 г.
Российская история в философской перспективе (размышления над книгой). К 70-летию А.А. Кара-Мурзы
Жукова О. А., Вопросы философии (Российская Федерация) 2026 № 8 С. 51–64
Статья представляет собой критико-философский анализ книги А.А. Кара-Мурзы «Избранные работы по русской философии, политике и культуре» (2024), содержащей статьи, посвященные философии российской истории. Эссе, очерки, мемуарно-биографические тексты, травелоги и философско-краеведческие  исследования демонстрируют творческие интересы ученого, который обращается к различным сюжетам философской, политической и духовно-художественной культуры России, рассматривая массив ее исторического наследия с точки зрения цивилизационной ...
Добавлено: 17 сентября 2026 г.
Пролетаризация труда в условиях развития искусственного интеллекта
Моисеев Г. В., Гуманитарные исследования в Восточной Сибири и на Дальнем Востоке 2026 № 2 (76) С. 58–68
Статья посвящена философскому анализу трансформации труда в условиях распространения технологий ИИ. Критикуя представления об ИИ как автономной и нейтральной технологии, ведущей к замещению человеческого труда, автор предлагает анализировать социальные последствия развития ИИ в контексте процессов автоматизации и общественного разделения труда. На основе марксистского анализа ИИ трактуется как машина нового типа – социотехническая инфраструктура, в которой ...
Добавлено: 17 сентября 2026 г.
Гармония гласных и звукосимволизм в нганасанском языке
Гусев В. Ю., Языки и фольклор коренных народов Сибири 2025 Т. 56 № 4 С. 90–99
В нганасанском языке существует сложная система чередования гласных в суффиксах, которая восходит к противопоставлению переднего и заднего рядов, но в результате многих передвижений гласных лишилась фонетической мотивации. Из всех суффиксов есть один глагольный, который, присоединяясь к корням, выражающим визуально наблюдаемые свойства, способен принимать гласные обоих сингармонических классов, соответственно меняя гласные и всех аффиксов, следующих за ...
Добавлено: 16 сентября 2026 г.
Сравнительная степень в тунгусо-маньчжурских языках
Гусев В. Ю., Аралова Н. Б., Языки и фольклор коренных народов Сибири 2025 Т. 54 № 2 С. 81–95
Рассматриваются формы сравнительной степени прилагательных, которые возникли в диалектахсеверных тунгусо-маньчжурских языков. Морфологическая сравнительная степень ‒ типологически довольно редкое явление, которое отсутствует, в том числе, в большинстве языков Сибири. Однако во многих диалектах эвенкийского, эвенского и негидальского языков эти формы появились, грамматикализовавшись в континентальных диалектах из селективного показателя, а в быстринском эвенском (Камчатка) ‒ из аттенуатива. ...
Добавлено: 16 сентября 2026 г.
Числительные второго десятка в языках Сибири
Гусев В. Ю., Вестник Российского фонда фундаментальных исследований. Гуманитарные и общественные науки 2025 № 3 С. 54–69
В статье рассматриваются модели образования числительных второго десятка (с 11 до 19) в языках Сибири. «Простая» модель, в которой эти числительные образуются соположением слова ‘десять’ и количества единиц («десять один», «десять два» и т.д.), характерна для языков юга Сибири, но проникает также на север восточнее Енисея и на восток Якутии. Вторая модель, включающая слово типа ...
Добавлено: 16 сентября 2026 г.
Vague stimulating ideas, images and metaphors in scientific thinking: researchers' work with horizons of unclear knowledge
Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Добавлено: 15 сентября 2026 г.
СЕМАНТИКО-ПРАГМАТИЧЕСКИЕ ОСОБЕННОСТИ КОГНИТИВНЫХ ТЕРМИНОВ В МЕДИА: КОРПУСНЫЙ АНАЛИЗ ОЦЕНОЧНОСТИ
Куликова В. А., Гусев А. Д., Токунова П. В., Коммуникативные исследования 2026 Т. 13 № 2 С. 355–369
В статье рассматриваются семантико-прагматические особенности когнитивных терминов, функционирующих в современных русскоязычных медиатекстах. Цель исследования – описать семантико-прагматические особенности когнитивных терминов, употребляемых в оценочных контекстах в медиа. Актуальность работы обусловлена активными процессами медиатизации и детерминологизации, в результате которых научные единицы проникают в массовый дискурс и трансформируют свою изначальную семантику. Материалом для исследования послужили данные Национального корпуса ...
Добавлено: 14 сентября 2026 г.
On the complexity of first-order logics of probability
Сперанский С. О., Grefenshtein A., Izvestiya. Mathematics 2026 Vol. 90 No. 4 P. 105–126
The article is concerned with Halpern's first-order logics of probability, which we denote by L_1 and L_2 – the first of these deals with probability distributions on the domain, while the second employs distributions on external sets of possible worlds. The proofs of [Abadi & Halpern 1994] of the complexity lower bound results for L_1 and L_2 ...
Добавлено: 12 августа 2026 г.
Модальность возможности и необходимости в русском жестовом языке
Буркова С. И., Вопросы языкознания 2023 № 5 С. 29–61
В настоящей статье рассматриваются мануальные и немануальные средства выражения модальных значений возможности и необходимости в русском жестовом языке (РЖЯ). Показано, что за счет комбинации мануальных жестов, немануальных маркеров и средств несегментной морфологии (в частности, изменения характера движения) РЖЯ способен передавать тонкие оттенки модальных значений. При этом в нем отчетливо разграничиваются семантические зоны модальности субъекта P и эпистемической ...
Добавлено: 2 июня 2026 г.
Желательное и пригласительное наклонения в работах японских лингвистов: соответствующие им грамматические маркеры и их семантическая специфика
Чижова К. А., В кн.: Японский язык в вузе: актуальные проблемы преподавания. Сборник научных работ. Материалы Второго международного форума «Языки и культуры Восточной Азии в образовательном пространстве» (МГПУ, 23–26 апреля 2025). Выпуск 30Вып. 30: Сборник научных работ. Материалы Второго международного форума.: Языки народов мира, 2025. С. 325–333.
При преподавании японского языка как иностранного принято отдельно друг от друга объяснять грамматические маркеры, передающие значения пожелания и приглашения к совместному действию. Между тем сопоставление данных маркеров для более точного понимания интенций говорящего, а также вариативности контекста их употребления может помочь успешнее применять на практике данные грамматические показатели. В данной статье представлена обобщенная информация о ...
Добавлено: 26 апреля 2026 г.
No ‘iota’ type-shifter in Kazym Khanty
Tiutiunnikova V., Mikhailov Stiopa, Golosov F., Proceedings of Sinn und Bedeutung 2025 No. 29 P. 1593–1608
Добавлено: 30 января 2026 г.
Negation as a modality in a quantified setting
Сперанский С. О., Journal of Logic and Computation 2021 Vol. 31 No. 5 P. 1330–1355
The idea of treating negation as a modality manifests itself in various logical systems, especially in Došen's propositional logic N, whose negation is weaker than that of Johansson's minimal logic. Among the interesting extensions of N are the propositional logics N* and Hype; the former was proposed in [Cabalar et al. 2006], while the latter has ...
Добавлено: 26 декабря 2025 г.
О кванторной версии модальной логики Белнапа–Данна
Грефенштейн А. В., Сперанский С. О., Математический сборник 2024 Т. 215 № 3 С. 37–69
Разрабатывается кванторная версия пропозициональной модальной логики BK из статьи С. П. Одинцова и Х. Вансинга, в основе которой лежит (немодальная) система Белнапа–Данна; мы будем обозначать эту версию через QBK. Сначала с помощью метода канонических моделей будет доказано, что QBK — как и некоторые важные её расширения — сильно полна относительно подходящей семантики возможных миров. Затем мы ...
Добавлено: 26 декабря 2025 г.
Sharpening complexity results in quantified probability logic
Сперанский С. О., Logic Journal of the IGPL 2025 Vol. 33 No. 3 Article jzae114
We shall be concerned with two natural expansions of the quantifier-free ‘polynomial’ probability logic of [Fagin et al. 1990]. One of these, denoted by QPL-e, is obtained by adding quantifiers over arbitrary events, and the other, denoted by p-QPL-e, uses quantifiers over propositional formulas — or equivalently, over events expressible by such formulas. The earlier proofs ...
Добавлено: 26 декабря 2025 г.
Информационные технологии в контексте полимодального обучения иностранным языкам.
Попова А. В., Иностранные языки в школе 2024 № 7 С. 12–18
В статье рассмотрены варианты применения информационных технологий в обучении иностранным языкам с применением полимодального подхода. Подчеркивается актуальность интеграции информационных технологий, поскольку они позволяют не только отрабатывать языковые навыки, но и трансформируют способ представления материала, обеспечивая возможности для его дифференциации и индивидуализации. В рамках полимодального обучения, предполагающего одновременное задействование нескольких каналов восприятия информации, информационные технологии дают ...
Добавлено: 20 декабря 2025 г.
Интерпретация сложных предложений с разными типами матричных предикатов в контексте отрицания и модальных операторов
Летучий А. Б., Russian Linguistics 2025 Т. 49 № 2 Статья 2
В статье обсуждаются типы интерпретации русских сложных предложений с фактивными, импликативными и интерпретационными предикатами в контексте отрицанияи модальных операторов. По умолчанию мы ожидаем, что отрицательный или модальный контекст затрагивает только главную пропозицию. Однако есть и немало исключений, которые мы называем «прозрачными прочтениями»: речь идёт о прочтениях, вкоторых внешний контекст семантически затрагивает и главную, и зависимую ...
Добавлено: 5 ноября 2025 г.
Влияние сопровождающей жестикуляции на интерпретацию многозначных предложений с отрицанием и квантором
Добрынина А. И., RHEMA. РЕМА 2024 № 4 С. 9–41
В русском языке кванторы могут сопровождаться различными жестами, при этом семантика жеста, согласно предыдущим исследованиям, может коррелировать с семантикой квантора [Гришина 2015]. В данной работе мы предполагаем, что жесты с семантикой всеобщности, произведенные одновременно с многозначным предложением с квантором, будут способствовать интерпретации предложения как универсального утверждения. Для проверки этой гипотезы был проведен эксперимент: записаны видео с ...
Добавлено: 2 октября 2025 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору