?
Model-theoretic languages as formal ontologies
My purpose in this paper is to interpret model-theoretic languages (abstract logics) as formal ontologies both in phenomenological and ontological engineering senses. The main idea of my approach is the interpretation of the classes of isomorphism as model-theoretic analogues of categorical objects of Husserl’s formal region. Some principles of demarcation of the bounds of logic as formal ontology are discussed. This discussion is focused on the question: “Is the permutation invariance criterion necessary and sufficient for the demarcation of the bounds of logic as formal ontology?”
Стрижкова Д. А., / Институт русской литературы (Пушкинский Дом) РАН. Серия 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 г.
Драгалина-Черная Е. Г., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 80–82.
В докладе сопоставляются истолкования абстрактных логик как структур и как классификаций абстрактных структур. ...
Добавлено: 20 июня 2025 г.
Добавлено: 21 февраля 2025 г.
Микаелян А. Л., / NRU Higher School of Economics. Series WP BRP "Literary Studies". 2024. No. 28.
Добавлено: 19 ноября 2024 г.
Добавлено: 30 октября 2024 г.
Добавлено: 10 июня 2024 г.
Драгалина-Черная Е. Г., , in: 4th Lisbon International Conference on Philosophy of Science - LICPOS 2023.: Lisbon: CFCUL, 2023. P. 27–28.
Добавлено: 14 июля 2023 г.
Драгалина-Черная Е. Г., , in: Handbook of the 5th World Congress and School on Universal Logic.: Istanbul: Istanbul University, 2015. P. 89–90.
Добавлено: 29 июня 2015 г.
Драгалина-Черная Е. Г., , in: Handbook of the World Congress and School on Universal Logic III April 18 - 25 Lisbon - Portugal Edited by Jean-Yves B ́eziau, Carlos Caleiro, Jo ̃ao Rasga e Alexandre Costa-Leite.: Lisbon: [б.и.], 2010. P. 103–104.
Some principles of demarcation of the bounds of logic as formal ontology are discussed. Although Tarski’s philosophical generalization of his permutation invariance criterion - our logic is logic of cardinality - appeared to be justified by the theory of monadic quantification (logic of properties of classes of individuals), it is not correct for the theory ...
Добавлено: 13 сентября 2013 г.
Lisbon: [б.и.], 2010.
In the same way that universal algebra is a general theory of algebraic structures, universal logic is a general theory of logical structures. During the 20th century, numerous logics have been created: intuitionistic logic, deontic logic, many- valued logic, relevant logic, linear logic, non monotonic logic, etc. Universal logic is not a new logic, it ...
Добавлено: 13 сентября 2013 г.
Ефименко И. В., В кн.: Тринадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2012 (16-20 октября 2012 г., г. Белгород, Россия). Том 1Т. 1: Тринадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2012 (16-20 октября 2012 г., г. Белгород, Россия).: Белгород: Российская ассоциация искусственного интеллекта, 2012. С. 244–251.
В докладе обсуждаются вопросы использования лингвистических шкал в прогнозировании, в частности, вопросы анализа и интерпретации (квантификации) оценочной информации, представленной в текстовых документах через явную или имплицитную апелляцию к лингвистической шкале. Представлены модели, разработанные для анализа временных горизонтов, вероятностных оценок и характеристик объектов научно-технического развития. ...
Добавлено: 16 января 2013 г.
Драгалина-Черная Е. Г., М.: Издательский дом НИУ ВШЭ, 2012.
Монография посвящена онтологии стандартной и девиантной квантификации. В работе сопоставляются эвристические возможности и онтологические обязательства двух парадигм интерпретации кванторов: как второпорядковых предикатов и как функций выбора от их истоков (Г. Фреге и Ч.С. Пирс) до современного состояния (абстрактные логики и IF-логика). Новизна исследования связана с философской оценкой технических результатов последних лет о выразительных и дедуктивных ...
Добавлено: 12 мая 2012 г.