?
Notes on the computational aspects of Kripke’s theory of truth
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.
Язык:
английский
Салагай О. О., Сахарова Г. М., Антонов Н. С. и др., Вопросы наркологии 2025 Т. 37 № 1 С. 27–43
С целью изучения распространенности признаков никотиновой зависимости среди потребителей табака/никотина и уровня оказания медицинской помощи по поводу употребления табака/никотина в наркологических организациях в Российской Федерации в 2013-2023 гг. были проанализированы микроданные Выборочного наблюдения состояния здоровья населения, проведенного в 2023 г. Анализ динамики числа лиц, обратившихся в 2013-2023 гг. в наркологические организации по поводу никотиновой зависимости, ...
Добавлено: 10 апреля 2026 г.
Добавлено: 16 февраля 2026 г.
Тульчинский Г. Л., СПб.: Политех-Пресс, 2025.
Монография посвящена анализу реальности, одного из самых сложных и многозначных понятий в современной философии. Представлены различные подходы и разные способы аналитики реальности, - методологические исследования, историко-философский анализ, социально-критическая аналитика. В монографии соединились исследования из разных областей философского знания, – из философии науки, онтологии, логики, теории познания, эпистемологии, социальной философии, эстетики. Книга предназначена как для специалистов, ...
Добавлено: 29 января 2026 г.
D.B. Tiskin, Фролов К. Г., Herald of the Russian Academy of Sciences 2025 Vol. 95 No. 1 P. 26–33
Добавлено: 26 января 2026 г.
Сперанский С. О., 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 г.
Кузнецов С. Л., Сперанский С. О., 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 г.
Кузнецов С. Л., Сперанский С. О., 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 г.
Добавлено: 1 ноября 2025 г.
Yury Semenov, Oleg Sukhoroslov, , in: Mathematical Optimization Theory and Operations Research 24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7–11, 2025, ProceedingsVol. 15681.: Switzerland: Springer, 2025. P. 317–331.
Добавлено: 17 сентября 2025 г.
Аржанцев И. В., Functional Analysis and Its Applications 1997 Vol. 31 No. 4 P. 278–280
Добавлено: 13 июня 2025 г.
Гнидченко А. А., Монокль 2024 № 50
Введение запретительных пошлин на поставку в США товаров из стран БРИКС — не более чем хлесткая вербальная угроза: по значительному числу товаров зависимость США от импорта из стран блока слишком высока ...
Добавлено: 13 декабря 2024 г.
Микиртумов И. Б., Эпистемология и философия науки 2024 Т. 61 № 2 С. 95–113
Идею экзистенциального поворота в философии науки, представленную Ильей Касавиным и Владимиром Порусом в их недавней статье, я сопоставляю с проблематикой кризиса рациональности и культуры и с оппозицией профессии и призвания из речи Макса Вебера о политике. Я предлагаю анализ структуры призвания политика и ученого как аффектов особого рода. Для этого я привлекаю анализ Жаком Лаканом истерии. Мои ...
Добавлено: 17 июня 2024 г.
Cham: Springer, 2020.
Добавлено: 27 февраля 2024 г.
Marina Boykova, Князева Е. Н., Салазкин М. Г., Foresight and STI Governance 2023 Vol. 17 No. 4 P. 80–91
Вызовы, с которыми сталкиваются исследования будущего, характеризуются особенной сложностью, взаимосвязанностью, противоречивостью и не поддаются разрешению линейными подходами. Прогностическая наука нуждается в инструментах, соответствующих новой контекстуальной сложности, позволяющих охватывать гораздо больший спектр движущих сил и их потенциальных эффектов в нелинейной перспективе, чтобы повысить точность прогнозов и качество стратегий. В статье посредством ретроспективного анализа прогностической науки и ...
Добавлено: 25 января 2024 г.
Моисеева А. Ю., Философия. Журнал Высшей школы экономики 2019 Т. 3 № 3 С. 218–240
Статья является попыткой найти новый способ обоснования для концепции внутреннего реализма Х. Патнэма и, шире, для любых концепций, в которых используются нетрадиционные (ослабленные) формы реализма. Основная идея статьи состоит в том, что принятие подобной концепции обосновывается уже одной прагматической потребностью сохранения эпистемологии как дисциплины и общественной практики. Для
того, чтобы показать это, в первой половине статьи делается краткий ...
Добавлено: 19 сентября 2023 г.
Сидоренко Т. В., Espinoza M. K., IBEROAMÉRICA,Росия 2021 No. 1 P. 72–95
Статья базируется на анализе культуры рантье, которая сложилась в Венесуэле, специализирующейся в течение долгого времени преимущественно на экспорте сырья и, в частности, нефти. Данная ситуация предопределяет высокую степень уязвимости страны поскольку 83% ее экспорта составляет продажа нефти, а доходы от экспорта зависят от волатильности цен на международном финансовом рынке. К этому добавляется нестабильная экономическая, политическая ...
Добавлено: 13 июня 2023 г.
Хан Е. И., Философия. Журнал Высшей школы экономики 2021 Т. 5 № 1 С. 136–158
В статье предлагается сравнительное исследование концепции «исторического настроения» в работах В.В. Бибихина и П. Рикёра. Автор обосновывает целесообразность подобного сравнения общностью интеллектуального контекста, общим влиянием на П. Рикёра и В.В. Бибихина таких авторов, как Аристотель, Августин, М. Хайдеггер, а также тем, что оба философа совмещают перспективы феноменологического метода, исторической герменевтики и обращаются к онтологии понимания. ...
Добавлено: 28 февраля 2023 г.
Springer, 2021.
Добавлено: 15 января 2023 г.
Perez-Guerra J., Смирнова Е. А., VIAL - Vigo International Journal of Applied Linguistics 2023 No. 20 P. 149–183
Добавлено: 20 декабря 2022 г.