• 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
  • еще
Тематика
Новости
21 сентября 2026 г.
Ученые НИУ ВШЭ показали, что врожденные нарушения моторики влияют на развитие мозга
Исследователи из Института когнитивных нейронаук НИУ ВШЭ обобщили результаты своих предыдущих исследований, посвященных особенностям развития мозга у детей с акушерским параличом плечевого сплетения и артрогрипозом. Анализ показал, что нарушение моторики в раннем возрасте не только ведет к недостатку двигательного опыта, но и влияет на память, категориальное мышление и обработку информации. Работа опубликована в журнале Frontiers in Psychology.
22 сентября 2026 г.
Как россияне взаимодействуют с ИИ при поиске информации в интернете
Школа коммуникаций НИУ ВШЭ и Online Market Intelligence провели исследование пользовательского поискового опыта в российском сегменте интернета. Как показали результаты, пользователи в России уже воспринимают ИИ-ответ в выдаче как естественную часть поиска и используют его наравне с привычным списком ссылок. При этом на рынке самостоятельных нейросетей (отдельных чат‑ботов) уверенно лидирует Алиса AI от Яндекса  —  ее регулярно используют 40 % опрошенных.
18 сентября 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
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору