• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Books
  • Современная логика: основания, предмет и перспективы развития
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 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
  • More
Subject
News
September 4, 2026
Time to Showcase Your Research: Applications Are Now Open for Student Research Paper Competition 2026
Taking part in the Student Research Paper Competition (SRPC) gives you an opportunity to present your research to experts, receive an independent assessment, and determine the future direction of your work. The competition is open to students graduating in 2026 not only from HSE University but from universities in Russia and abroad. Papers may be submitted in Russian and English, and in some fields also in French, German, and Spanish.
September 4, 2026
‘Hedgehog Versus ‘Relatives: Researchers Measure How the Brain Responds to Unexpected Words During Natural Speech
Russian neurophysiologists, including researchers from HSE University, have demonstrated the feasibility of using event-related fields (ERFs) to study brain activity during natural speech perception. The researchers showed that this approach can be applied not only to individual words but also to continuous speech. Their findings indicate that words whose meanings differ significantly from the preceding context require longer processing times. The study also reveals that the brain processes function words in two stages: first, it identifies their grammatical role and then uses this information to predict the next word. The study has been published in Frontiers in Human Neuroscience.
August 25, 2026
Scientists Develop Algorithm for More Reliable Processors in Data Centres
Researchers from HSE MIEM and Samara University have developed the LRF-3D algorithm to automatically bypass idle nodes in three-dimensional networks-on-chip. Thanks to its hierarchical architecture, the algorithm outperforms existing solutions in both speed and path accuracy, improving processor reliability for use in data centres, supercomputers, and AI computing. The source code and test results are publicly available.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Современная логика: основания, предмет и перспективы развития

M. : -, 2018.
Under the general editorship: Зайцев Д. В.
Chapters
Логический гилеморфизм: от формальной онтологии к формальной деонтологии
Dragalina-Chernaya E., В кн.: Современная логика: основания, предмет и перспективы развития.: М.: ИД "Форум", 2018. С. 35–52.
На основе авторской дихотомии субстанциальной и динамической формальности осуществляется обзор и систематизация различных версий логического гилеморфизма. ...
Added: January 25, 2018
Современная модальная логика: между математикой и информатикой
Shehtman V. B., Шапировский И. Б., В кн.: Современная логика: основания, предмет и перспективы развития.: М.: ИД "Форум", 2018. С. 265–305.
Модальная логика возникла в древности для формализации понятий возможного и необходимого. Современная модальная логика стала одним из инструментов решения задач информатики --как теоретических, так и вполне прикладных. Произошёл достаточно неожиданный переход из области  абстрактных философских категорий в актуальную и практически значимую современную дисциплину. Он был обусловлен тем, что модальная логика (как и логика в целом) приобрела развитый математический аппарат --- алгебраический, топологический, ...
Added: September 21, 2018
Research target: Philosophy, Ethics, and Religious Studies Mathematics
Priority areas: humanitarian
Language: Russian
Sample Chapter
Keywords: логикаlogicнормативностьnormativityлогический плюрализмLogical pluralism
Современная логика: основания, предмет и перспективы развития
Similar publications
Судьба средневекового папства в современной России
Потехина И. П., Вестник Санкт-Петербургского университета. Серия 2. История 2026 Т. 71 № 2 С. 525–533
The review is dedicated to the fourth volume of the “History of the Roman Popes” (2024), which represents a continuation of the long-term scholarly project lead by the philosopher and historian Vitaly L. Zadvorny. The volume itself is dedicated to the popes of the 11th - early 13th centuries and generally continues the traditions laid down in ...
Added: September 3, 2026
Относительные аналитические законы взаимности
Осипов Д.В., Математический сборник 2026 Т. 217 № 9 С. 130–146
Изучаются законы взаимности, связанные с комплексными линейными расслоениями на расслоениях на ориентируемые окружности. В частности, доказывается следующий закон взаимности. Пусть B – комплексное многообразие и πi:Mi→B – расслоение на ориентируемые окружности, где индекс i пробегает конечное множество. Пусть Li и Ni – комплексные линейные расслоения на каждом многообразии Mi. Закон взаимности утверждает, что сумма всех элементов (πi)∗(c1(Li)∪c1(Ni)), где (πi)∗ – ...
Added: September 3, 2026
Orbifold Saito theory of A and D type singularities
Basalaev A., Rarovskii A., Journal of Singularities 2026 Vol. 30 P. 61–80
Saito theory associates to an isolated singularity rich structure that plays an important role in mirror symmetry. In this note we construct Saito theory for A and D type Landau-Ginzburg orbifolds. Namely, for the pairs (f,G), where f defines an isolated singularity of A and D type and G is a group of symmetries of ...
Added: September 1, 2026
Non-axiomatizability of modal predicate logics of Dedekind-complete linear orders with constant domains
Rybakov M., Shkatov D., Journal of Logic and Computation 2026 Vol. 36 No. 6 Article exag026
We prove Pi-1-1-hardness, and thus lack of recursive axiomatizability, of constant-domain modal predicate logics defined by a class of Dedekind complete linear Kripke frames containing a frame with an infinitely increasing chain of worlds. The result holds even for the language with one unary predicate letter, one propositional letter, and two individual variables. ...
Added: September 1, 2026
Semi-Interlaced Polytopes
Селянин Ф. И., Moscow Mathematical Journal 2026 Vol. 26 No. 2 P. 167–187
Minkowski mixed volume of n subpolytopes D1,…,Dn of a polytope P⊂Rn clearly does not exceed the normalized volume n!Vol(P). Equality holds if and only if the subpolytopes are interlaced, i.e., each proper face F⊊P intersects at least dim(F)+1 of the polytopes Di. Efficiently computing mixed volumes for more general collections of subpolytopes is crucial for estimating the complexity of numerically solving polynomial systems. Motivated by relaxing the bound dim(F)+1 to dim(F), we ...
Added: August 31, 2026
A new spin on polynomial relations among kappa classes
Kazaryan M., Dunin-Barkowski P., Bychkov B. et al., International Mathematics Research Notices 2026 Vol. 14 Article rnag146
We prove a recent conjecture of the fourth named author with P. Norbury that states a system of universal polynomial relations among the kappa classes on the moduli spaces of algebraic curves. The proof involves localization and materialization analysis of the spin Gromov–Witten theory of the projective line and is dictated by Z 2 -equivariant ...
Added: August 31, 2026
Any Topological Recursion on a Rational Spectral Curveis KP Integrable
Kazaryan M., Dunin-Barkowski P., Bychkov B. et al., Communications in Mathematical Physics 2026 Vol. 407 No. 69
We prove that for any initial data on a genus zero spectral curve the cor responding correlation differentials of topological recursion are KP integrable. As an application we prove KP integrability of partition functions associated via ELSV-type formulas to the r-th roots of the twisted powers of the log canonical bundles ...
Added: August 31, 2026
Обществознание
Ермоленко Г. А., Кожевников С. Б., М.: Эксмо, 2026.
Socio‑humanitarian knowledge helps to master the social norms and values of Russian civilization. Each module of social studies is linked to a specific sphere of human social life, to activities aimed at fulfilling a person’s spiritual needs and social interests. Recognizing the social nature of one’s own needs is an important step towards understanding oneself, ...
Added: August 31, 2026
Сплетенный мир: кошка перевернулась. Доклад Римскому клубу
Gromov V., Переслегин С. Б., Переслегина Е. Б. et al., СПб.: Полакс, 2026.
Механизм происходящих в мире изменений носит эволюционный, а не экологический характер. Иначе говоря, Человечество столкнулось с кризисом развития, который имеет три независимые составляющие: кризис индустриального общества (фазовый кризис), кризис научного мышления (эпистемный кризис) и кризис формата существования разума (социосистемный кризис). Доклад посвящён аспектам этого триединого кризиса и возможным путям его преодоления, не сводящимся к первичному ...
Added: August 31, 2026
Multiplicity-free products of Schubert divisors
Devyatov R. A., Mathematical notes 2026 Vol. 119 No. 3 P. 782–786
Let G/B be a flag variety over ℂ, where G is a simple algebraic group with a simply laced Dynkin diagram, and B is a Borel subgroup. We say that the product of classes of Schubert divisors in the Chow ring is multiplicity free if it is possible to multiply it by a Schubert class ...
Added: August 30, 2026
Mukai models of Fano varieties
Bayer A., Kuznetsov A., Macrì E., Journal fuer die reine und angewandte Mathematik 2026 Vol. 2026 No. 836 P. 111–162
We give a self-contained and simplified proof of Mukai’s classification of prime Fano threefolds of index 1 and genus g ≥ 6 with at most factorial terminal singularities, and of its extension to higher dimension. ...
Added: August 30, 2026
Mukai bundles on Fano threefolds
Bayer A., Kuznetsov A., Macrì E., Compositio Mathematica 2026 Vol. 162 No. 1 P. 59–99
We give a proof of Mukai’s theorem on the existence of certain exceptional vector bundles on prime Fano threefolds. To our knowledge this is the first complete proof in the literature. The result is essential for Mukai’s biregular classification of prime Fano threefolds, and for the existence of semiorthogonal decompositions in their derived categories. Our ...
Added: August 30, 2026
Full exceptional collections on the symplectic isotropic Grassmannians
Guseva L., Novikov A., Advances in Mathematics 2026 Vol. 503 Article 111211
We prove that the Kuznetsov–Polishchuk exceptional collections on rational homogeneous spaces of the symplectic groups Sp(2n,C) are full and consist of vector bundles. To achieve this, we construct several classes of complexes, which we call generalized staircase complexes, symplectic staircase complexes and secondary staircase complexes — each of which may be of independent interest. ...
Added: August 30, 2026
Exceptional pairs on del Pezzo surfaces and spaces of compatible Feigin-Odesskii brackets
Polishchuk A., Rains E., Journal of the Institute of Mathematics of Jussieu 2026 Vol. 25 No. 1 P. 339–373
We prove that for every relatively prime pair of integers (d,r) with r>0, there exists an exceptional pair (O,V) on any del Pezzo surface of degree 4, such that V is a bundle of rank r and degree d. As an application, we prove that every Feigin-Odesskii Poisson bracket on a projective space can be ...
Added: August 30, 2026
Analog of theta-lifting for a curve over dual numbers over a finite field
Kazhdan D., Polishchuk A., Pure and Applied Mathematics Quarterly 2026 Vol. 22 No. 3 P. 1115–1166
We continue the study of automorphic functions associated with a curve C over the ring k[ε]/(ε²), where k is a finite field, begun in arXiv:2303.16259. Namely, we study an example of theta-lifting in this framework and show that it can be understood in terms of the orbit decomposition of the space of automorphic functions S(SL₂(F)\SL₂(A_C)) ...
Added: August 30, 2026
Система синтаксических инвариантов текстовой деятельности: статистические дескрипторы, семантическая структура и диагностические профили
Kudriavtseva E., / РЦИС. Серия № 0148-756-286. 2026.
The content of the work is the system is a system for identifying four types of written speech structures. A set of 11 calculated parameters, statistical standards, and semantic characteristics allows for the identification of a text's structure as the result of a specific cognitive schema (scene, event, story, evaluation). The method has been verified ...
Added: June 2, 2026
Почему растущие доходы не делают людей счастливее: эмоциональное объяснение парадокса Истерлина (Why Growing Incomes Do Not Make People Happier: an Emotional Explanation of the Easterlin Paradox)
Vorchik A., / SSRN. Серия Social Science Research Network "Social Science Research Network". 2026.
This work is devoted to a theoretical explanation of the Easterlin paradox, according to which long-term economic growth does not make average level of people's happiness increasing. By happiness, we mean the intensity of emotions people experience while comparing their new income with its expected value, or the target income with its original value. In the first case, ...
Added: May 31, 2026
Школьный литературный канон эмиграции 1918–1939 гг.
Strizhkova D., / Институт русской литературы (Пушкинский Дом) РАН. Серия B001 "Репозиторий открытых данных по русской литературе и фольклору". 2026.
В базе данных представлена роспись русскоязычных литературных произведений и отрывков, напечатанных в учебниках по словесности, хрестоматиях, книгах для чтения, сборниках стихотворений и рассказов, выходивших во Франции, Германии, Латвии, Эстонии, Болгарии, Сербии в период первой волны русской эмиграции с 1918 по 1939 гг. Датасет представляет интерес для исследователей школьного литературного канона, эмиграции и детского чтения ...
Added: April 22, 2026
Современная российская мультипликация как инструмент воспитания традиционных духовно-нравственных ценностей
Жигунов А. Ю., / Basic Research Programme. Серия HUM "Humanities". 2026. № 1.
The article attempts to describe the features of the educational potential of Russian animation programmes in aspect of the representation of traditional spiritual and moral values. Based on media and semiotic analysis, the method of cultural and historical interpretation, animated Russian projects created from 2000 to the 2025, which were translated on television channels or streaming ...
Added: April 19, 2026
Новое введение в математическую логику. Рецензия на книгу Дирка Хоффмана о пределах математики
Dolgorukov V., Popova E., Философия. Журнал Высшей школы экономики 2026 Т. 10 № 1 С. 404–409
A REVIEW OF A BOOK BY DIRK HOFFMANN ON LIMITS OF MATHEMATICS ...
Added: March 30, 2026
Verdict Exclusion, Higher-Order Vagueness, Cross-Order Vagueness and Borderlineness: Reflections on Footnote 41 of Crispin Wright’s ‘On Being in a Quandary’
Zardini E., , in: Paradoxes Between Truth and Proof.: Springer, 2024. P. 279–299.
The paper explores an argument offered by C. Wright against the “verdict-exclusion” view (according to which we can knowledgeably rule out that, in the presence of a borderline case of Fness, that case is either feasibly knowably F or feasibly knowably ~F). The view is shared by otherwise very different theories of vagueness, such as the “third-possibility” view ...
Added: February 5, 2026
Реальность как философская проблема
Tulchinskii G. L., СПб.: Политех-Пресс, 2025.
This monograph is devoted to the analysis of reality, one of the most complex and polysemantic concepts in contemporary philosophy.It presents various approaches and methods for analyzing reality, including methodological research, historical-philosophical analysis, and socio-critical analysis. The monograph combines research from various fields of philosophical knowledge, including the philosophy of science, ontology, logic, epistemology, social philosophy, and aesthetics. ...
Added: January 29, 2026
Темпоральная эпистемическая логика для агентов с задержкой в осведомленности
Dolgorukov V., Popova E., В кн.: Материалы докладов V Конференции математических центров России.: Красноярск: ИВМ СО РАН, 2025. С. 216–218.
Моделирование осведомленности (awareness) является одним из направлений теории многоагентных систем и восходит к работам классиков теоретической информатики Р. Фейгина, Дж. Халперна, Й. Мозеса, М. Варди. Согласно им, моделирование осведомленности позволяет решить проблему логического всеведения, которая представляет собой одно из ключевых затруднений стандартной эпистемической логики. В настоящей работе представим расширение подхода Р. Фейгина и соавторов, а ...
Added: January 16, 2026
Имперский Китай: формальная нормативность закона и социальная нормативность доктрины
Fogelson Y. B., Закон 2026 № 3 С. 146–169
This article examines the interaction and mutual influence of Confucian doctrine, positive law, and law enforcement in imperial China. A distinctive feature of the Chinese legal system was the doctrine's own source of normativeness, independent of that of positive law. Moreover, while positive law's normativeness was purely formal, doctrine's was social. As a result, despite the ...
Added: January 6, 2026
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit