?
On the Constructive Axiomatic Method
Logique et Analyse. 2018. Vol. 242. No. 2. P. 201–231.
Родин А. В.
Приоритетные направления:
гуманитарные науки
Язык:
английский
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Стрижкова Д. А., / Институт русской литературы (Пушкинский Дом) РАН. Серия B001 "Репозиторий открытых данных по русской литературе и фольклору". 2026.
В базе данных представлена роспись русскоязычных литературных произведений и отрывков, напечатанных в учебниках по словесности, хрестоматиях, книгах для чтения, сборниках стихотворений и рассказов, выходивших во Франции, Германии, Латвии, Эстонии, Болгарии, Сербии в период первой волны русской эмиграции с 1918 по 1939 гг. Датасет представляет интерес для исследователей школьного литературного канона, эмиграции и детского чтения ...
Добавлено: 22 апреля 2026 г.
Жигунов А. Ю., / Basic Research Programme. Серия HUM "Humanities". 2026. № 1.
В статье предпринимается попытка описания образовательного и воспитательного потенциала современной российской анимации в аспекте формирования представлений молодого поколения о традиционных российских ценностях. С опорой на медиа- и семиотический анализ, метод культурно-исторической интерпретации рассмотрены анимационные российские проекты, созданные с 2000 года по 2025 гг., находившиеся в прокате в эфире телевизионных каналов либо стриминговых сервисов с большой ...
Добавлено: 19 апреля 2026 г.
Малахов В. С., Симон М. Е., Летняков Д. Э. и др., / SSRN. Серия Social Science Research Network "Social Science Research Network". 2020.
Понятие «политическая аккомодация» применительно к теории и практике управления культурным разнообразием могло бы обогатить российский академический словарь. Либерально-демократические государства изобрели специфические механизмы политической аккомодации культурных различий. Благодаря этим механизмам та часть населения демократического государства, которая не готова раствориться в этнокультурном большинстве, более или менее надежна защищена. Закон не только запрещает насильственную ассимиляцию, но и содержит ...
Добавлено: 26 сентября 2025 г.
Данный аналитический доклад является одним из результатов исследований в рамках консорциума НИУ ВШЭ и МГИМО. В нем прежде всего раскрыты вопросы концептуализации национальной мощи и сопутствующих категорий и дается обзор прецедентов. Далее рассматриваются вопросы операционализации предлагаемых нами компонентов национальной мощи. В следующих разделах доклада предлагается анализ вопросов методологии, используемой в докладе. На этой основе предложен ...
Добавлено: 19 сентября 2025 г.
Добавлено: 21 февраля 2025 г.
Микаелян А. Л., / NRU Higher School of Economics. Series WP BRP "Literary Studies". 2024. No. 28.
Добавлено: 19 ноября 2024 г.
Добавлено: 30 октября 2024 г.
Добавлено: 10 июня 2024 г.
В работе исследуются типичные сценарии, при которых возникает потребность совместного использования ограниченных общесистемных ресурсов несколькими виртуальными машинами. Разработаны правила балансировки нагрузки в зависимости от информационных процессов, выполняемых виртуальными машинами. Вычисление производительности рассмотренных операций основано на типизированной модели, что дает возможность оценки общей производительности. ...
Добавлено: 3 ноября 2019 г.
Родин А. В., , in: Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.: Springer, 2019. Ch. 9 P. 191–219.
Добавлено: 30 октября 2019 г.
Родин А. В., , in: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. P. 42–43.
Добавлено: 30 июня 2019 г.
Рассматриваются типичные сценарии, при которых возникает потребность совместного использования ограниченных общесистемных ресурсов несколькими виртуальными машинами. Разработаны правила балансировки нагрузки в зависимости от информационных процессов, выполняемых виртуальными машинами. Вычисление производительности рассмотренных операций основано на типизированной модели, что дает возможность оценки общей производительности. ...
Добавлено: 30 января 2019 г.
Valery Isaev, Mathematical Structures in Computer Science 2018 Vol. 28 No. 10 P. 1695–1722
Добавлено: 6 ноября 2018 г.
Лабутин И. Н., Москвин Д. Н., Омельченко А. В. и др., Записки научных семинаров ПОМИ РАН 2018 Т. 475 С. 99–121
В статье рассматриваются комбинаторные задачи, связанные с перечислением лямбда-термов в бестиповом лямбда-исчислении, а также в просто типизированных системах с одним атомом в стиле Черча. Для случая бестипового лямбда-исчисления строится система уравнений на производящие функции, описывающие количество лямбда-термов. В случае типизированного лямбда-исчисления перечисляются как населенные типы, так и простейшие обитатели в них. ...
Добавлено: 30 октября 2018 г.
Долгоруков В. В., Копылова А. О., Логические исследования 2018 Т. 24 № 2 С. 36–58
Настоящая статья посвящена конкретному эпизоду в большой дискуссии о соотношении семантики и онтологии: а именно, поиску адекватной семантической интерпретации для набора сущностей, постулируемых так называемым «онтологическим квадратом» или «четырех-категорными онтологиями». Онтологическим квадратом называется теория, восходящая к работам Аристотеля (в частности, ко второй главе трактата «Категории») и утверждающая необходимость различения между четырьмя типами сущностей: субстанциальными универсалиями, ...
Добавлено: 26 сентября 2018 г.
Ковалёв С. П., Родин А. В., Эпистемология и философия науки 2016 Т. 47 № 1 С. 153–169
В 1900 году Давид Гильберт опубликовал свой знаменитый список из 23-х
открытых проблем, которые по его мнению должны были определить повестку
математических исследований в новом 20-м веке. Шестым номером в этом списке стоит
задача аксиоматизации физики. С тех пор в решение этой задачей были вложены
значительные усилия. Однако результаты этих усилий оказались более скромными, чем
надеялись ранние энтузиасты аксиоматического метода. ...
Добавлено: 15 июня 2018 г.
Родин А. В., , in: Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML 2012).: St. Petersburg: ВВМ, 2012. P. 170–174.
The non-standard identity concept developed in the Homotopy Type theory allows for an alternative analysis of
Frege’s famous Venus example, which explains how empirical evidences justify judgements about identities and accounts for
the constructive aspect of such judgements. ...
Добавлено: 6 июня 2018 г.
Родин А. В., , in: Frontiers of Fundamental Physics 14Vol. 224: EPISTEMOLOGY AND PHILOSOPHY.: [б.и.], 2014.
Homotopy Type theory instantiates a new form of axiomatic approach, which is more friendly to
physics than the standard axiomatic approach stemming from Hilbert. This new axiomatic approach
combines logical and geometrical methods in a new way and brings about a non-trivial
constructive concept of identity applicable in various physical contexts including Quantum Mechanics
and General Relativity. ...
Добавлено: 6 июня 2018 г.
Родин А. В., , in: Logic, Methodology and Philosophy of Science.: [б.и.], 2015. P. 418.
The version of axiomatic method stemming from Hilbert [Hilbert (1899)] and recently defended by Hintikka [Hintikka (2011)] is not fully adequate to the recent successful practice of axiomatizing mathematical theories. In particular, the axiomatic architecture of Homotopy Type theory (HoTT) [Voevodsky et. al. 2013] does not quite fit the standard Hilbertian pattern of formal axiomatic ...
Добавлено: 5 июня 2018 г.
Springer, 2019.
Homotopy Type theory and its Model theory provide a novel formal semantic
framework for representing scienti c theories. This framework supports a constructive
view of theories according to which a theory is essentially characterised by its methods.
The constructive view of theories was earlier defended by Ernest Nagel and a number of
other philosophers of the past but available logical ...
Добавлено: 5 июня 2018 г.