?
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.
Швец А. В., Филологические науки. Научные доклады высшей школы 2024 Т. 1 № 2 С. 79–91
В статье исследуется феномен творческого поведения в деятельности авангардистских сообществ. Творческое поведение становится необходимым для понимания авангардистского текста, обрамляющим текст знаковым образованием. Утверждается, что при присущем авангардистскому творчеству фокусе на соучастии читателя реализация этой прагматической доминанты вариативна и зависит от комплекса институциональных обстоятельств и коммуникативного пакта между авторами и публикой. В качестве примера выбраны два ...
Добавлено: 26 февраля 2026 г.
Сперанский С. О., 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). ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., 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 ...
Добавлено: 27 декабря 2025 г.
Odintsov S., Сперанский С. О., 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 ...
Добавлено: 26 декабря 2025 г.
Павловец М. Г., Wiener Slawistischer Almanach 2025 Т. 95 С. 203–228
В данной статье рассматривается литературно-критическое и теоретическое наследие Яна Сатуновского. Хотя корпус этих текстов относительно невелик, он имеет большое значение. Анализ Сатуновским поэтики детского
фольклора, в частности считалок, а также творчества его предшественников и современников (В. Маяковского, К. Чуковского, Г. Сапгира и др.) помог поэту сформулировать свои собственные творческие принципы. Сатуновский обратил внимание исследователей и читателей на «Корнееву строфу», ...
Добавлено: 17 декабря 2025 г.
Пучков Я. М., В кн.: Цивилизации Востока: взгляд из XXI века. Сборник трудов конференции Школы востоковедения ФМЭиМП НИУ ВШЭ, 21-22 октября 2022 г.: М.: ООО «Адвансед солюшнз», 2024. С. 487–503.
Настоящее исследование представляет собой по- пытку проанализировать феномен японской внешнеполитической экспансии через призму конструктивистской теории международных отношений. Классические востоковедческие подходы к описанию и объяснению японского империализма зачастую не акцентируют внимания на том, почему среди всех азиатских государств именно Японии удалось преодолеть свою субалтерность и начать собственную колониальную экспансию. Схожее замечание относится и к проблемно-ориентированным теориям ...
Добавлено: 26 сентября 2025 г.
Корешникова Ю. Н., Сорокин П. С., Вопросы образования 2024 № 4 С. 126–150
В современном мире ранее стабильные системы общественных отношений становятся неустойчивыми, не только порождая риски, но и предоставляя людям возможности для проявления инициативы в создании новых сообществ и способов действия. Возрастает запрос на агентность как способность самостоятельно совершенствовать окружающую среду. Для того чтобы определить, насколько адекватно на этот запрос отвечает сегодня и может отвечать в перспективе ...
Добавлено: 15 января 2025 г.
С развитием проекта по созданию кампусов мирового уровня в России тема связи организации университетского кампуса с образовательным опытом студентов стала очень актуальной, но остается малоизученной. Цель данной работы заключается в определении образовательной парадигмы, в которой функционируют современные российские университеты, а также в изучении взаимоотношений между университетским пространством и образовательным опытом студентов на примере Дальневосточного федерального ...
Добавлено: 20 ноября 2024 г.
Энтина Е. Г., Актуальные проблемы Европы 2024 № 2 С. 185–201
Несмотря на то, что по большинству базовых характеристик современная Сербия представляет собой малое континентальное государство, находящееся в пространстве крупного геополитического проекта (европейской и евро-атлантической интеграции), привычное в академическом дискурсе осмысление сербской внешней политики в категориях либеральных и реалистских теорий не в полной мере объясняет текущую действительность сербской внешнеполитической повестки. Одним из основных недостатков этих теоретических ...
Добавлено: 9 октября 2024 г.
Князева Е. Н., В кн.: Наука, технологии и ценности в неустойчивом мире: сборник научных статей.: Русское общество истории и философии науки, 2024. Гл. 22 С. 78–82.
В работе обосновывается, что в идеях кибернетики (Н. Винер, У.Р. Эшби) и кибернетики второго порядка (Х. фон Фёрстер) можно найти исторические истоки весьма популярных в различных областях современной науки теорий конструктивизма, в том числе эпистемологического конструктивизма, лингвистического конструктивизма и социального конструктивизма. Конструирование и пролиферация миров в сознании, использование способности сознания «мыслить как если бы» (als ...
Добавлено: 3 октября 2024 г.
Красняк О. А., 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, ...
Добавлено: 2 сентября 2024 г.
Сахно И. М., Журнал ВШЭ по искусству и дизайну 2024 № 1 С. 56–77
В центре исследовательского внимания автора статьи — поэма Александра Безыменского / Соломона Телингатера «Комсомолия» (1928) — текст не только всеми забытый, но и находящийся вне поля научных интересов как в России, так и за рубежом почти столетие*. Автор переосмысливает книгу заново в контексте современной исследовательской оптики — как литературный памятник 1920‑х годов ХХ века и ...
Добавлено: 28 июня 2024 г.
Вершинин И. Н., Asian Journal of Peacebuilding 2021 Vol. 9 No. 2 P. 255–277
Добавлено: 6 апреля 2024 г.
Пономаренко И. П., В кн.: Логос: Голос конструктивизма. Каталог выставки.: М.: Центр Зотов конструктивное пространство, 2023. С. 104–115.
Статья рассматривает феномен советской конструктивистской книги в контексте технического развития типографий, институционального устройства издательств и самоидентификации художников в 1920-е гг. Социально-исторические аспекты сопряжены с идеологической основой стиля и принципами художественных приемов конструктивизма. ...
Добавлено: 12 января 2024 г.
М.: Центр Зотов конструктивное пространство, 2023.
Каталог выставки «Логос: голос конструктивизма» в Центре «Зотов» (2023) раскрывает тему слова и языка авангарда в исключительно широком диапазоне, охватывающем как ранние футуристические эксперименты со словом, так и продолжившиеся в начале 1930‑х новаторские разработки оформления журналов и книг, выставок полиграфической продукции. ...
Добавлено: 12 января 2024 г.
Санкционная тематика - одна из наиболее актуальных и острых в международной повестке. Несмотря на огромное внимание со стороны академического сообщества, она слабо вписана в более широкий теоретический пласт науки о международных отношениях. В работе предпринята попытка очертить теоретико-методологические рамки для исследования санкционной повестки под углом конструктивистской концепции "нормативного предпринимательства". Предлагаемая авторами модель осмысления механизма раскрутки ...
Добавлено: 12 января 2024 г.
Козылов И. С., В кн.: Россия – Китай: развитие регионального сотрудничества в XXI веке : материалы ХVIII Международной научно-практической конференции.: Чита: Забайкальский государственный университет, 2020. С. 120–128.
В статье рассматривается современный аспект проблемы исторического прошлого в отношениях Китая и Японии (2012-2020 гг.) в рамках методологии конструктивистского подхода к исследованию международных отношений. ...
Добавлено: 5 октября 2023 г.
Соловьев А. В., Ориенталистика 2023 Т. 6 № 1 С. 118–142
Недавнее (2018–2020) появление объемного (хотя и неполного) корпуса комментированных переводов биографического раздела «Исторических записей Трёх государств (Самгук саги)» — древнейшей из сохранившихся корейских летописей — на английский язык делает актуальным его сопоставление с переводом отечественных корееведов, выполненным в 2000–2002 гг. Сопоставительный анализ позволит выделить характерные особенности обоих стилей, выявить разночтения в передаче исторических реалий периода ...
Добавлено: 25 июня 2023 г.
Варшавер Е. А., Социологическое обозрение 2022 Т. 21 № 3 С. 31–58
В статье описывается положение дел в современных конструктивистских исследованиях этничности. Возникнув в 1960-х в антропологии под влиянием социологических конструктивистских теорий, эти исследования долгое время находились в диалоге с, по сути, сконструированными ими «примордиализмом» и «эссенциализмом». Этот диалог, однако, по многим причинам исчерпал себя, и направление встало перед необходимостью переосмыслить повестку дня. Попытки такого переосмысления были ...
Добавлено: 10 ноября 2022 г.