?
Hintikka's independence-friendly logic meets Nelson's realizability
Studia Logica. 2018. Vol. 106. No. 3. P. 637–670.
Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics (abbreviated GTS) for independence-friendly first-order logic (IF-FOL), but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation — which extends the famous Kleene’s realizability interpretation by adding ‘strong negation’ — restricted to the implication-free first-order formulas can be viewed as an effective version of GTS for FOL. Then we propose a realizability interpretation for IF-FOL, inspired by the so-called ‘trump semantics’ which was discovered by Hodges, and show that this trump realizability interpretation can be viewed as an effective version of GTS for IF-FOL. Finally we prove that the trump realizability interpretation for IF-FOL appropriately generalises Nelson’s restricted realizability interpretation for the implication-free first-order formulas.
Filatova Asya, Didenko A., Ravedovskaya U., Journal of Teaching English for Specific and Academic Purposes 2025 Vol. 13 No. 3 P. 529–538
Emergence of generative artificial intelligence (GenAI) is revolutionizing teaching and evaluation in higher education. Early adopters have already demonstrated how large language model (LLM) conversational agents can serve as on-demand tutors, yet empirical evidence regarding their effectiveness in facilitating conceptual learning in non-computational domains is scant. Based on constructivist learning theory, this paper presents a ...
Added: September 18, 2026
Anna S., Филологические науки. Научные доклады высшей школы 2024 Т. 1 № 2 С. 79–91
В статье исследуется феномен творческого поведения в деятельности авангардистских сообществ. Творческое поведение становится необходимым для понимания авангардистского текста, обрамляющим текст знаковым образованием. Утверждается, что при присущем авангардистскому творчеству фокусе на соучастии читателя реализация этой прагматической доминанты вариативна и зависит от комплекса институциональных обстоятельств и коммуникативного пакта между авторами и публикой. В качестве примера выбраны два ...
Added: February 26, 2026
Speranski S. O., Siberian Electronic Mathematical Reports 2013 Vol. 10 P. 517–534
We obtain a bunch of principal results on Belnapian modal algebras (henceforth called BK-lattices) — these results may serve as a semantical basis for further investigation of the lattice of extensions of Belnapian modal logic (denoted by BK here). ...
Added: December 27, 2025
Speranski S. O., Logic and Logical Philosophy 2016 Vol. 25 No. 1 P. 3–33
Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on:
introducing the classes (or rather sublattices) of so-called explosive, complete and classical Belnapian modal logics;
assigning to every normal modal logic three special ...
Added: December 27, 2025
Odintsov S., Speranski S. O., Review of Symbolic Logic 2020 Vol. 13 No. 2 P. 416–435
We shall be concerned with the modal logic BK — which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are ...
Added: December 26, 2025
Pavlovets M., Wiener Slawistischer Almanach 2025 Т. 95 С. 203–228
This article examines Yan Satunovsky’s literary-critical and theoretical legacy. Although relatively small, this corpus is significant. Satunovsky’s analysis of the poetics of children's folklore, specifically counting rhymes, as well as the works of his predecessors and contemporaries (V. Mayakovsky, K. Chukovsky, G. Sapgir, and others), helps the poet formulate his own creative principles. . The ...
Added: December 17, 2025
Puchkov I., В кн.: Цивилизации Востока: взгляд из XXI века. Сборник трудов конференции Школы востоковедения ФМЭиМП НИУ ВШЭ, 21-22 октября 2022 г.: М.: ООО «Адвансед солюшнз», 2024. С. 487–503.
This paper examines the problem of Japanese foreign expansion through the lens of constructivist international relations theory. The Oriental studies tradition to describe and explain such phenomenon frequently lacks the question why it was Japan that managed to overcome its subalternity and start its own colonial policies, but other Asian nations failed to perform it. A ...
Added: September 26, 2025
Koreshnikova Y., Sorokin P., Вопросы образования 2024 № 4 С. 126–150
An increasing number of cases have revealed that previously stable systems have shown attitudes towards unstable ones, not only generating risks, but also showing opportunities for manifestation in the manifestation of new communities and manifestations of action. There is a growing demand for agency, as an independent existence of the totality. In order to determine ...
Added: January 15, 2025
Aitzhanov S., / NRU HSE. Series WP BRP "Linguistics". 2024. No. 116.
This study focuses on examining the role of language as an attribute in the construction of ethnicity within the Korean community in Kazakhstan. The research examines how language functions as an attribute in the categorization and identification processes, and how it interacts with other ethnic attributes such as descent and appearance. Drawing on qualitative methods, ...
Added: December 10, 2024
Shcheglova I., Dremova O., Babayeva J. et al., Вопросы образования 2024 Т. 2 № 3 С. 368–398
The development of the project on creating world-class campuses in Russia heated debates on the topic of the university campus and the educational experience of students. Although it has become extremely relevant, but it remains understudied. This research is aimed at the formation of an understanding of the educational paradigm of modern Russian universities as ...
Added: November 20, 2024
Entina E., Актуальные проблемы Европы 2024 № 2 С. 185–201
Despite the fact that, according to most basic parameters, modern Serbia is a small continental state located within the influence sphere of a major geopolitical project (European and Euro-Atlantic integration), the established liberal and realist academic discourse on Serbian foreign policy does not fully explain the current reality of the Serbian policy agenda. One of ...
Added: October 9, 2024
Knyazeva H., В кн.: Наука, технологии и ценности в неустойчивом мире: сборник научных статей.: Русское общество истории и философии науки, 2024. Гл. 22 С. 78–82.
The work substantiates that in the ideas of cybernetics (N. Wiener, W.R. Ashby) and second-order cybernetics (H. von Foerster) one can find the historical origins of constructivism theories, which are very popular in various fields of modern science, including epistemological constructivism, linguistic constructivism and social constructivism. The construction and proliferation of worlds in consciousness, the ...
Added: October 3, 2024
Krasnyak O., Korea Observer 2024 Vol. 55 No. 3 P. 355–377
The purpose of this article is to add to theoretical understanding of how cooperation in science and technology can contribute to achieving a nation-state's foreign policy goals, and to suggest an explanatory framework for existing practices involving Russian-South Korean cooperation in science and technology, specifically space cooperation. The basic approaches of this article are theoretical, ...
Added: September 2, 2024
Sakhno I., Журнал ВШЭ по искусству и дизайну 2024 № 1 С. 56–77
The article provides a study of Komsomolia (1928) — a poem by Alexander Bezymensky set for print by Solomon Telingater. This text has been both long out of print and beyond the scope of critical attention both in Russia and beyond it, for almost a century. This book is reassessed here within the context of ...
Added: June 28, 2024
Vershinin I., Journal of Public Diplomacy 2021 Vol. 1 No. 2 P. 1–26
Applying discourse analysis of Russia’s narrative on humanitarian aid and its perception by the Western collective identity at the beginning of the COVID-19 pandemic, this study identifies several challenges that constructivism poses to the current understanding of public diplomacy (PD). In contrast to the mainstream positivist tendency to evaluate the effectiveness of PD through models, ...
Added: April 8, 2024
Vershinin I., Asian Journal of Peacebuilding 2021 Vol. 9 No. 2 P. 255–277
Territorial disputes are complicated by the long-term vicious cycle of “rival” identities constructed by continuous interactions. The purpose of this study is to analyze how Japan’s commitments to certain types of collective identities affect bilateral relations with Russia, using two case studies that analyze how Russian political elites perceive Japan’s position on sensitive issues of ...
Added: April 6, 2024
Ponomarenko I., В кн.: Логос: Голос конструктивизма. Каталог выставки.: М.: Центр Зотов конструктивное пространство, 2023. С. 104–115.
Статья рассматривает феномен советской конструктивистской книги в контексте технического развития типографий, институционального устройства издательств и самоидентификации художников в 1920-е гг. Социально-исторические аспекты сопряжены с идеологической основой стиля и принципами художественных приемов конструктивизма. ...
Added: January 12, 2024
М.: Центр Зотов конструктивное пространство, 2023.
Каталог выставки «Логос: голос конструктивизма» в Центре «Зотов» (2023) раскрывает тему слова и языка авангарда в исключительно широком диапазоне, охватывающем как ранние футуристические эксперименты со словом, так и продолжившиеся в начале 1930‑х новаторские разработки оформления журналов и книг, выставок полиграфической продукции. ...
Added: January 12, 2024
Entin M., Entina E., Давранова С. Б. et al., Полис. Политические исследования 2024 № 1 С. 7–20
The sanctions issue is one of the most urgent and acute topics on the international agenda. However, despite huge attention from the academic community, it is sluggishly inscribed in the broader theoretical layer of the science of international relations. In this study, an attempt is made to outline the theoretical and methodological framework for the ...
Added: January 12, 2024
Kozylov I., В кн.: Россия – Китай: развитие регионального сотрудничества в XXI веке : материалы ХVIII Международной научно-практической конференции.: Чита: Забайкальский государственный университет, 2020. С. 120–128.
В статье рассматривается современный аспект проблемы исторического прошлого в отношениях Китая и Японии (2012-2020 гг.) в рамках методологии конструктивистского подхода к исследованию международных отношений. ...
Added: October 5, 2023
Soloviev A., Ориенталистика 2023 Т. 6 № 1 С. 118–142
The recent (2018-2020) appearance of a voluminous (though incomplete)
corpus of annotated translations of the biographical section of the Historical Records
of the Three Kingdoms (Samguk sagi) — the oldest surviving Korean chronicle —
into English warrants us to compare it with the Russian translation undertaken in
2000-2002. A comparative analysis will allow us to highlight the characteristic fea
tures ...
Added: June 25, 2023