?
Complexity Studies: Interdisciplinarity in Action
Ch. 18. P. 379–402.
В книге
Wiesbaden: Springer, 2017.
Сперанский С. О., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 526 С. 36–39
Вдохновляясь некоторыми идеями из логического программирования, Мелвин Фиттинг в [Fitting 1997] предложил свою собственную модификацию теории истины по Крипке. Пусть T обозначает соответствующий монотонный оператор. Мы показываем, что: 1) замыкающий ординал для T равен $\omega_1^{СК}$, т.е. наименьшему неконструктивному ординалу; 2) совокупность всех предложений, истинных согласно T_⋆ является $\Pi^1_1$-полной. ...
Добавлено: 9 апреля 2026 г.
Кайдышева Н. Н., Исторический бюллетень (Российская Федерация) 2023 Т. 6 № 3 С. 73–81
Цель статьи – представить основные достижения современной уральской историографии в области становления и развития гражданского общества на Урале во второй половине XIX – начале XX в. и выявить перспективы дальнейших исследований. В работе названы ведущие ученые, занимающиеся вопросами истории развития гражданских отношений в Уральском регионе, авторству которых принадлежат первые обобщающие работы: Е.Ю. Казакова-Апкаримова, Н.А. Невоструев, ...
Добавлено: 22 февраля 2026 г.
Blanchette A., Bogdanova E., Fedotova A. и др., Forum for Anthropology and Culture 2025 No. 21 P. 11–128
Добавлено: 17 февраля 2026 г.
Добавлено: 16 февраля 2026 г.
Сперанский С. О., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 4 С. 78–93
В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Journal of Logic and Computation 2013 Vol. 23 No. 5 P. 1035–1055
In the present article, the quantifiers over propositions are first introduced into the language for reasoning about probability, then the complexity issues for validity problems dealing with the corresponding hierarchy of probabilistic sentences are investigated. We prove, among other things, the $\Pi^1_1$-completeness for the general validity and also indicate the least level in the hierarchy ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Studia Logica 2017 Vol. 105 No. 2 P. 407–429
The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general. ...
Добавлено: 26 декабря 2025 г.
Кузнецов С. Л., Сперанский С. О., Annals of Pure and Applied Logic 2022 Vol. 173 No. 2 Article 103057
We introduce infinitary action logic with exponentiation — that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allow some of the structural rules (contraction, weakening, permutation). The logic is presented in the form of an infinitary sequent calculus. We prove cut elimination and, in the case ...
Добавлено: 26 декабря 2025 г.
Сперанский С. О., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 510 С. 8–12
Пусть $\mathsf{QPL}$ – предложенный в [Speranski 2017] двусортный вероятностный язык, который расширяет хорошо известный «полиномиальный» язык, описанный в [Fagin et al. 1990, раздел 6], посредством добавления кванторов по событиям. Мы показываем, что все безатомные пространства имеют одну и ту же $\mathsf{QPL}$-теорию и эта теория разрешима. Также мы вводим понятие элементарного инварианта для QPL и используем его для ...
Добавлено: 26 декабря 2025 г.
Кузнецов С. Л., Сперанский С. О., Studia Logica 2023 Vol. 111 No. 2 P. 251–280
Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility ...
Добавлено: 26 декабря 2025 г.
Сперанский С. О., Logic Journal of the IGPL 2025 Vol. 33 No. 2 Article jzae042
This paper is concerned with a two-sorted probabilistic language, denoted by QPL, which contains quantifiers over events and over reals, and can be viewed as an elementary language for reasoning about probability spaces. The fragment of QPL containing only quantifiers over reals is a variant of the well-known ‘polynomial’ language from [Fagin et al. 1990, Section 6]. ...
Добавлено: 26 декабря 2025 г.
Сперанский С. О., 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 г.
Носкова А. К., В кн.: Совершенствование публичного управления: вопросы теории и практики.: М.: Издательский дом НИУ ВШЭ, 2025. С. 54–63.
В данной статье рассматривается развитие и текущее состояние благотворительности и самоорганизации в Канаде. Анализ литературы и государственных статистических баз данных показал, что основное финансирование деятельности благотворительных организаций в Канаде осуществляет государство, в особенности бюджеты провинций. Вместе с тем канадскому некоммерческому сектору присущи широкое вовлечение волонтеров, сложившаяся практика добровольных индивидуальных пожертвований и система налоговых вычетов на ...
Добавлено: 16 декабря 2025 г.
Шевелева Д. А., Человек 2025 Т. 36 № 6 С. 149–160
В статье рассматривается текущее состояние методологического аппарата наук о культуре. В условиях современных общественных изменений междисциплинарный подход, объединяющий антропологию, социологию, культурологию и исследования медиа, оказывается неэффективным. «Сильные» теоретические концепты, такие как «глобализация», «глокализация», «цифровизация, «постколониализм», концепция Глобального Юга, а также другие «метаидеи», часто обобщают и упрощают культурные различия, что ведет к игнорированию или недооценке специфики ...
Добавлено: 11 декабря 2025 г.
Оганян А. А., Вестник Института социологии 2026 Т. 17 № 1 С. 232–255
В работе представлен широкий обзор истории, теории, методов и результатов исследований социального сравнения (СС). Последовательно рассматривается эволюция понимания СС от философских работ Д. Юма и И. Канта до первой систематической теории Л. Фестингера, объясняющей связь сравнения с самооценкой и групповыми процессами, и далее вплоть до современных моделей, трактующих СС как процесс с определенными причинными механизмами и поведенческими последствиями. ...
Добавлено: 18 ноября 2025 г.
Мн.: Белорусский государственный университет, 2025.
Рассмотрены актуальные вопросы взаимодействия языка и культуры: теоретико-методологические проблемы изучения взаимосвязи языка, культуры, образа мира, человека говорящего; междисциплинарные подходы к изучению фразеологии и паремиологии; лингвистическая креативность в полидискурсивном пространстве современного социума; образ, метафора, символ в художественном творчестве; язык и культура в полимодальной коммуникации; современные информационные технологии и изучение лингвокультурных процессов и явлений; семиотика культуры и ...
Добавлено: 2 ноября 2025 г.
Добавлено: 1 ноября 2025 г.
В декабре 2024 г. в журнале «Вопросы философии» состоялся междисциплинарный круглый стол «Интеллектуальное наследие Даниила Михайловича Велланского в контексте современных проблем философии познания», посвященный 250-летию со дня рождения этого выдающегося русского философа, ученого, врача-практика и переводчика научной литературы. Российские философы и ученые-гуманитарии – эпистемологи, историки философии, историки медицины, филологи – обсудили источниковедческие и историографические проблемы ...
Добавлено: 26 октября 2025 г.