• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Books
  • Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.
  • 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
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.
August 24, 2026
Researchers Develop Method for Direct Generation of Regulatory DNA
Researchers at HSE University have developed a model for generating promoters and enhancers—DNA sequences that regulate gene activity. The model works directly with DNA nucleotides, without first transforming them into a continuous numerical representation. This solution could be useful for applications in synthetic biology and gene therapy. The study results were presented at the ICLR 2026 Workshop ‘Generative AI in Genomics (Gen^2): Barriers and Frontiers.’
August 21, 2026
Social Integration: At the Crossroads of Knowledge and Values
The International Laboratory for Social Integration Research (ILSIR) at HSE University studies the challenges faced by vulnerable groups and explores ways to help them participate fully in everyday life. To develop effective solutions, the laboratory’s researchers combine cutting-edge methods with practical fieldwork. In this interview with the HSE News Service, Laboratory Head Elena Iarskaia-Smirnova discusses the laboratory’s work.

 

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

?

Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.

M. : -, 2025.
Chapters
Категория эвиденциальности с точки зрения динамической эпистемической логики
Dolgorukov V., Popova E., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 78–79.
Доклад посвящен анализу эвиденциалов в DEL. ...
Added: June 19, 2025
Абстрактные логики как структуры и классификации структур
Dragalina-Chernaya E., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 80–82.
В докладе сопоставляются истолкования абстрактных логик как структур и как классификаций абстрактных структур. ...
Added: June 20, 2025
Сложность константных фрагментов ненормальных модальных логик
Kudinov A., Rybakov M., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 36–39.
Показано, что каждая модальная логика, содержащая классическую логику высказываний и содержащаяся в слабой логике Гжегорчика, имеет NP-трудную проблему выполнимости для константного фрагмента. В частности, константные фрагменты ненормальных модальных логик E, EM, EN и EMN являются coNP-полными. ...
Added: June 21, 2025
Логики с аксиомой конвергентности: сложность при малом числе переменных в языке
Rybakov M., Щербаков М. И., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 46–49.
Логики с аксиомой конвергентности: сложность при малом числе переменных в языке ...
Added: June 21, 2025
Аксиоматические исчисления для интуиционистских аналогов логик контрфактических кондиционалов
Zaitsev I., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 20–25.
The article provides an axiomatization of proper extensions of the basic intuitionistic conditional logic IntCK, first formulated by G.K. Olkhovikov [6]: we define intuitionistic counterparts of D. Lewis’s counterfactual logics [5], J. Burgess’s [1] and J. Pollock’s [7] conditional logics; moreover, several weaker extensions are defined through axiom schemas of conditional reflexivity and a counterfactual ...
Added: November 23, 2025
Language: Russian
Keywords: логика logic
Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.
Similar publications
Новое введение в математическую логику. Рецензия на книгу Дирка Хоффмана о пределах математики
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
Нормативные стандарты в логике и теории игр: структурные параллели
Dolgorukov V., Popova E., Логические исследования 2025 Т. 31 № 2 С. 31–51
The paper examines some structural parallels between normative standards in logic and game theory. On the one hand, the standard view holds that both logic and game theory are normative disciplines. On the other hand, their normative status remains a subject of debate. It is shown that parallel research programs have emerged within logic and ...
Added: September 15, 2025
Категория эвиденциальности с точки зрения динамической эпистемической логики
Dolgorukov V., Popova E., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 78–79.
Доклад посвящен анализу эвиденциалов в DEL. ...
Added: June 19, 2025
Логические языки описания сознания
Vasyukov V. L., Вестник Ивановского государственного университета. Серия: Гуманитарные науки 2023 № 4 С. 132–139
Discussions about the nature of consciousness are mainly conducted within the framework of three hypotheses: (1) consciousness is an independent reality that is not connected with matter by cause-and-effect relationships — dualism, (2) consciousness is something derived from material substance — physicalism, and (3) matter and consciousness are modes of something third — neutral monism. ...
Added: December 27, 2024
Логики самосознания
Vasyukov V. L., Вестник Ивановского государственного университета. Серия: Гуманитарные науки 2024 № 4 С. 134–142
Using the method of combining logical systems, it is possible to describe the work of consciousness by means of logical systems — combinations of various kinds of connections of mental states and causal connections of neuronal states (psychophysical problem). For a pair of such “logics” it is always possible to find a “combined” logical system whose properties ...
Added: December 26, 2024
Онтологическая логика абсурда Александра Зиновьева
Polyakov L., Вестник Московского университета. Серия 7: Философия 2024 Т. 48 № 4 С. 29–43
Th is paper is an attempt to explicate the logic of transformation Alexander Zinoviev’s logical conception, designated by him as “complex logic”, into original genre of literature — “sociological novel”. To understand this process more deeper, I have compared Zinoviev’s search with Hegel’s defi nition of logic as a science and with paradoxical presumptions of “Th e Logical-Philosophical Tractatus” ...
Added: December 24, 2024
Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 13–17 ноября 2023 г. Тезисы докладов
[б.и.], 2023.
Proceedings of the international conference "Mal'tsev Meeting 2023" ...
Added: November 30, 2024
Некоторые замечания о требованиях к научной теории в контексте многомировых моделей
Karpenko I., Вопросы философии 2024 № 5 С. 140–146
The article discusses the problem of a correct description of reality in science and philosophy, taking into account the acceptance of the many-world hypothesis. Many-worlds are understood as modern physical hypotheses that allow the existence of other universes (many-world interpretation, chaotic inflation, string landscape, and others). It is shown that these models are likely to ...
Added: September 24, 2024
La cognición auditiva. Especificidad modal y perplejidad semántico-definicional
Jorge Luis Méndez-Martínez, Andamios: Revista de Investigacion Social 2024 Vol. 21 No. 54 P. 27–56
Philosophical  discussions  on  cognition  (ranging  from  computational   and   representational   approaches   to   the   4E   fra-mework),  on  the  one  hand,  and  those  on  sound  and  auditory  per-ception,  on  the  other,  have  hitherto  remained  apart.  In  this  paper,  the  author  addresses  the  concept  of  “auditory  cognition”.  While  committing  to  the  conceptual ...
Added: September 12, 2024
The logical and pedagogical paths of phenomenology. Adalberto García De Mendoza’s and Francisco Larroyo’s forays
Jorge Luis Méndez-Martínez, Horizon, Fenomenologiceskie Issledovania 2024 Vol. 13 No. 1 P. 241–262
This paper addresses the relationship between logic and phenomenology at a historical moment that precedes the big divide between analytic philosophy and phenomenology. In analysing alternative derivations of phenomenological logic, the discussion focuses on the case of two notorious neo-Kantian Mexican philosophers from the first half of the XXth century: Adalberto García de Mendoza and ...
Added: September 12, 2024
Neoclassical Logic, Cloisonnist Vagueness, Nonobjectual Truth
Zardini E., , in: Themes from Weir: A Celebration of the Philosophy of Alan WeirVol. 484.: Cham: Springer, 2024. P. 87–122.
In a series of works, Alan Weir has suggested that the paradoxes are due not so much to the operational principles of classical logic, but to some of its structural principles. Weir’s insightful suggestion has opened up the programme of developing a system that, while validating the principles of naive truth (or of naive vagueness), ...
Added: September 12, 2024
Моделирование аргументативного диалога для выявления когнитивного искажения «Черно-белое мышление»
Denisova V., В кн.: Сборник статей Международной научной конференции «Университет. Образование. Общество (к 300-летию Санкт-Петербургского государственного университета)».: СПб.: Издательство ООО "Сборка", 2023.
We have proposed a model of argumentative dialogue between two cognitive agents, namely a client and a therapist. A change in the epistemological state of the client within this kind of argumentative dialogue is underlined. The purpose of such a dialogue is to identify the cognitive distortion “black and white thinking” as classified by A. ...
Added: May 1, 2024
Сборник статей Международной научной конференции «Университет. Образование. Общество (к 300-летию Санкт-Петербургского государственного университета)»
СПб.: Издательство ООО "Сборка", 2023.
Нами предложена модель аргументативного диалога между двумя когнитивными агентами, а именно клиентом и терапевтом, в ходе которого происходит изменение эпистемологического состояния клиента. Целью такого диалога является выявление когнитивного искажения «черно-белое мышление» согласно классификации когнитивных искажений А. Бека. Мы обосновываем применимость теории аргументации для применения в психотерапевтической практике. ...
Added: May 1, 2024
Логические основания когнитивно-поведенческой психотерапии
Denisova V., Ковпак Д. В., Вестник психофизиологии 2023 № 1 С. 68–79
The article discusses the research question of the usefulness and applicability of logic for working with clients within the framework of cognitive behavioral therapy (CBT) sessions. During CBT sessions, therapists seek to help their clients to identify maladaptive core beliefs, and then challenge these beliefs through several types of disputes. The concept of logical consequence ...
Added: May 1, 2024
Альтернативы семантике Крипке для эпистемической логики
Dolgorukov V., Логические исследования 2024 Т. 30 № 1 С. 62–85
The article discusses the difficulties that are caused by the use of standard Kripke semantics for the analysis of epistemic scenarios: the presence in the model of possible worlds that are indistinguishable by any formula; combinatorial explosion (exponential growth of the set of possible worlds); overspecification of the initial epistemic scenario by the proposed model. ...
Added: April 12, 2024
Вопросы определимости
Semenov A., В кн.: Всемирный конгресс (26–30 июня 2023 г., Москва). Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения: Избранные труды.: М.: [б.и.], 2023. С. 390–405.
Added: March 13, 2024
  • 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