• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Книги
  • Невидимые машины: Рассказы о формальной семантике
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 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
  • еще
Тематика
Новости
12 октября 2026 г.
Устойчивое управление и стоимость бизнеса: экономисты ВШЭ выяснили, как они связаны на российском рынке
На российском рынке устойчивое развитие повышает стоимость бизнеса прежде всего тогда, когда становится частью корпоративной стратегии. К такому выводу пришли исследователи НИУ ВШЭ и их зарубежные коллеги, проанализировав практики управления 152 публичных российских компаний. Статья опубликована в журнале Business Strategy and the Environment.
8 октября 2026 г.
Ученые НИУ ВШЭ выяснили, что рейтинг врача более убедителен для пациентов, чем стаж
Исследователи НИУ ВШЭ изучили, как стаж и рейтинг врачей влияют на доверие пациентов к медицинской информации. Оказалось, что люди считают более убедительным мнение врачей, у которых высокий рейтинг, а на опыт работы обращают меньше внимания. Результаты опубликованы в журнале Frontiers in Human Neuroscience.
7 октября 2026 г.
Доклад исследователя МИЭМ ВШЭ признан лучшим на Школе молодых ученых форума «Микроэлектроника»
Магистрант МИЭМ ВШЭ Михаил Маликов разработал новые легковесные арбитры для сетей на кристалле — механизмы, которые решают, какой пакет данных получит доступ к каналу связи первым при возникновении конкуренции. Его доклад по этой теме был признан лучшим в секции «Процессорные архитектуры, высокопроизводительные вычисления и системное программное обеспечение» на VIII Школе молодых ученых, прошедшей в рамках форума.

 

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

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

?

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

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

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

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

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

Научное направление: Филология и лингвистика Философия, этика, религиоведение
Язык: русский
Ключевые слова: формальная семантикаквантификациямодальностьmodalityquantificationfocus semanticsformal semanticsсемантика фокуса
Невидимые машины: Рассказы о формальной семантике
Похожие публикации
Неканонические имена белого духовенства в истории русского языка
Буденная Е. В., Русская речь 2026 Т. 4 С. 57–78
В работе исследуются некалендарные и гипокористические христианские имена белого духовенства в истории русского языка. Анализ выявил два ключевых периода активного образования христианских имен с использованием славянских гипокористических суффиксов: XI–XIV вв. (с пиком в XII в.) и XVI–XVII вв. Первый период связан с общей адаптацией христианских имен, где уменьшительные гипокористические формы служили промежуточным звеном при вытеснении имен славянского происхождения. В это ...
Добавлено: 11 октября 2026 г.
Гипокористические имена на -ец- в древнерусском языке
Буденная Е. В., Slovĕne 2026 Т. 1 С. 31–67
В статье анализируются древнерусские антропонимы с суффиксом -ец-, изначально выражавшие значение ‘меньше, чем X’. Диахронический корпусный анализ памятников XI–XVII вв. показывает, что в древнерусских источниках этот суффикс не обладал ингерентной пейоративностью, однако адгерентная пейоративность прослеживается четко. Для летописных памятников до XV в. выделены два основных типа употребления антропонимов на -ец-: 1) персонажи с очевидной негативной авторской оценкой; 2) лица ...
Добавлено: 11 октября 2026 г.
От персонализма к эсхатологии. Образы зла в произведениях Ф.М. Достоевского в контексте постсекулярной теории
Харитонов Т. И., Человек 2026 Т. 37 № 5 С. 7–24
В статье проводится философская реконструкция форм объяснения зла в творчестве Достоевского в контексте постсекулярной теории и теории компенсации модерна О. Маркварда и Г. Люббе. Проблематизация зла в творчестве писателя рассматривается в диахронической перспективе как переход от эстетизма произведений 1840-х годов к персонализму в 1860-х и эсхатологии в 70-х – 80-х. Последовательный отказ позднего Достоевского от ...
Добавлено: 11 октября 2026 г.
Человек и технический космос
Тульчинский Г. Л., Философские науки 2026 Т. 68 № 6 С. 32–58
В работе техника рассматривается как особая форма бытия, выходящая за пределы утилитарного и инструментального понимания и формирующая новое онтологическое пространство. Это пространство описывается как технокосмос или метакосмос: автономная и самопорождающаяся реальность, в которой технологии не просто обслуживают человеческие потребности, но начинают конституировать собственную логику существования, включая человека в новые формы со-бытия с техникой. Ключевым методологическим ...
Добавлено: 11 октября 2026 г.
Passages: Studies in Traditionalism and Traditions – Volume III
PRAV Publishing, 2026.
An eventful century has passed since the writings, activities, and networks of René Guénon (1886-1951), Ananda Coomaraswamy (1877-1947), Julius Evola (1898-1974), and Frithjof Schuon (1907-1998) initiated what has come to be known as Traditionalism. Within recent decades, unprecedented attention has been drawn to Traditionalism and Traditionalists, both historical and contemporary, in nearly all possibly categorizable ...
Добавлено: 11 октября 2026 г.
AI and the Transformation of Scientific Knowledge: Hybrid Expertise and the Limits of Collins's Theory
Filatova Asya, Epistemology and Philosophy of Science 2026 Vol. 63 No. 3 P. 56–66
Добавлено: 10 октября 2026 г.
Рассказ о Вавилонской башне (Быт 11:1–9). Новый перевод и комментарий
Селезнёв М. Г., Луппова А. А., Вестник Свято-Филаретовского института 2026 Т. 18 № 1(57) С. 10–35
Рассказ о Вавилонской башне (Быт. 11:1-9) – один из ключевых эпизодов в повествованиях книги Бытия. В современной науке предлагаются различные, подчас сильно расходящиеся, датировки данной перикопы, а также различные трактовки ее места в той картине становления библейского текста, которая была предложена школой Велльгаузена и до последней трети ХХ века была стандартом для академической библеистики.  Неоднократно высказывались ...
Добавлено: 9 октября 2026 г.
История Каина и Авеля (Быт 4:1–16). Новый перевод и комментарий
Селезнёв М. Г., Луппова А. А., Вестник Свято-Филаретовского института 2026 Т. 18 № 2 (58) С. 322–349
Как и другие повествования книги Бытия, история Каина и Авеля (Быт. 4:1-16) изучается и комментируется уже две с лишним тысячи лет. Однако новые исследования вносят коррективы в традиционное понимание. За последние пять лет вышли в свет несколько монументальных комментариев к Быт. 1-11, которые содержат новые, подчас конфликтующие друг с другом интерпретации хорошо знакомых нам текстов: ...
Добавлено: 9 октября 2026 г.
FROM THE HISTORY OF LXX AND QUMRAN STUDIES: THE BIRTH, DEATH, AND POSTHUMOUS EXISTENCE OF AN ALLEGED DEUT 32:8 FRAGMENT OF 4QDEUTQ
Селезнёв М. Г., Vestnik Drevnei Istorii 2026 Vol. 3 No. 86 P. 589–592
Добавлено: 9 октября 2026 г.
Субстантивное число в шугнанском языке: корпусное и экспериментальное исследование
Ронько Р. В., Тимофеева В. Д., Индоиранские языки 2026 Т. 2 № 2 С. 117–146
Работа посвящена вариативности маркирования по числу имен в шугнанском языке и представляет результаты корпусного и экспериментального исследований. В рамках корпусного исследования рассмотрены типологические факторы, такие как референтность, одушевленность, наличие квантификаторов, и выявлена значимость референциального статуса и наличия квантификаторов при выборе числового маркирования. Результаты эксперимента на порождение показали, что, помимо статистических тенденций, обнаруженных в корпусном исследовании, на числовое маркирование влияют некоторые ...
Добавлено: 8 октября 2026 г.
Вариативность форм настоящего времени глагола быть в корпусе говора села Спиридонова Буда (Злынковский район, Брянская область): проблема на стыке грамматики и социолингвистики
Ронько Р. В., Земичева С. С., Труды института русского языка им. В.В. Виноградова 2026 Т. 3 № 49 С. 133–149
В белорусских говорах и говорах русско-белорусского пограничья глагол быть в настоящем времени представлен рядом коротких (е, ё) и длинных форм (есть, ёсць и др.). В статье исследуется вариативность форм в говоре села Спиридонова Буда (Брянская область, Злынковский район) и Национальном корпусе белорусского языка. Работа фокусируется на трёх вопросах: социолингвистическом, грамматическом и ареальном. В статье будет ...
Добавлено: 8 октября 2026 г.
Экспедиции диалектологического кружка НИУ ВШЭ в деревни Западнодвинского района Тверской области
Ронько Р. В., RHEMA. РЕМА 2026 № 1 С. 9–20
Во вступительной статье к тематическому выпуску, посвященному грамматическим исследованиям в говоре нескольких деревень Западнодвинского района Тверской области, представлены основные лингво- географические сведения о говоре и описаны основные методологические принципы работы с материалом. Исследуемые говоры относятся к группе среднерусских акающих псковских говоров и соседствуют со смоленскими говорами, относящимся к южнорусскому наречию русского языка. ...
Добавлено: 8 октября 2026 г.
Свобода, закон и воображение в лекциях Ф.В.Й.Шеллинга 1820-21 гг.
Резвых П. В., Вестник Российского университета дружбы народов. Серия: Философия 2019 Т. 23 № 1 С. 7–18
Статья посвящена анализу соотношения свободы и воображения в неопубликованной рукописи Ф.В.Й. Шеллинга, содержащей материалы к лекционному курсу 1820/21 гг., прочитанному в Эрлангенском университете. В центре внимания автора — вопрос о воображении как условии воз можности развертывания модальных различий, обеспечивающих иерархию предикативных опреде лений. В статье показано, что проект философии мифологии и философии откровения является прямым ...
Добавлено: 7 октября 2026 г.
Рецепция философии Ф.В.Й. Шеллинга в поздних работах А.Ф. Лосева
Резвых П. В., Вестник Российского университета дружбы народов. Серия: Философия 2026 Т. 30 № 1 С. 127–143
Проанализированы шеллингианские мотивы в поздних работах А.Ф. Лосева. Приводятся данные о ретроспективной оценке поздним Лосевым характера и степени влияния философии Шеллинга на формирование его философских взглядов. Автор утверждает, что в основе всех главных исследовательских проектов позднего Ло сева, охватывающих десятилетия планомерной работы, лежит одна и та же концептуаль ная модель, восходящая к учению Ф.В.Й. Шеллинга ...
Добавлено: 7 октября 2026 г.
Выставка крокодилов в Пассаже в 1864 году: к истории замысла повести «Крокодил» и заметки «Нечто личное» Ф. М. Достоевского
Першкина А. Н., Slovĕne 2026 Т. 15 № 1 С. 174–192
В статье впервые рассматриваются материалы из архива Дирекции императорских театров по организации выставки крокодилов в торговом Пассаже в Санкт-Петербурге осенью 1864 г., а также газетные публикации об этом событии. На примере конкретных статей показано, что именно эта выставка послужила вдохновением и источником для создания повести «Крокодил» Ф. М. Достоевского, напечатанной в начале 1865 г. в журнале ...
Добавлено: 5 октября 2026 г.
КРИТИКА ТЕОРИИ ПРЕКАРИАТА КАК "НОВОГО ОПАСНОГО КЛАССА" С ПОЗИЦИЙ ЮРИДИЧЕСКОЙ НАУКИ
Новиков Д. А., ЖУРНАЛ МИНИСТЕРСТВА НАРОДНОГО ПРОСВЕЩЕНИЯ (Словакия) 2023 № 10 С. 32–40
В статье проводится критический анализ теории прекариата как "нового опасного класса" с позиций юридической науки, а именно отраслевых направлений трудового и уголовного права. Автор утверждает, что прекариат не составляет нового социально-экономического класса. Автор убежден, что теория прекариата, широко представленная в западной социологической литературе, осуществляет выстраивание "нового класса" не из фактических предпосылок, а исходя из задач ...
Добавлено: 5 октября 2026 г.
Вторая антикритика на «Дух капитализма» Часть II. Позитивные выводы
Вебер М., Социологическое обозрение 2026 Т. 25 № 3 С. 318–353
В завершающей части Второй антикритики на пространные полемические высказывания историка Ф. Рахфаля Макс Вебер подводит содержательные итоги прозвучавшего в ходе дебатов с его стороны. Тем самым он использует ответ неуемному критику в качестве возможности еще раз в эксплицитном виде проговорить для себя и для заинтересованного читателя сущность собственной аргументации. Он настаивает на невалидности приведенных оппонентом тезисов, ...
Добавлено: 4 октября 2026 г.
Эпистемология Другого в платформенной культуре: семиотика узнавания
Алиев Р. Т., Якушенкова О. С., Человек 2026 Т. 37 № 5 С. 176–191
Статья посвящена эпистемологическим трансформациям знания о Другом в условиях платформенной культуры. Рассматривается переход от коммуникативного опыта присутствия к режиму данных, в котором инаковость конституируется предиктивной классификацией и интерфейсной маршрутизацией. Платформа трактуется как система, предъявляющая субъекту заранее категоризованного Другого и тем самым снимающая неопределенность, сопряженную с познавательным риском. Анализируется сдвиг от межсубъектных отношений к управляемым корреляциям: ...
Добавлено: 4 октября 2026 г.
On the complexity of first-order logics of probability
Сперанский С. О., Grefenshtein A., Izvestiya. Mathematics 2026 Vol. 90 No. 4 P. 754–775
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 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору