?
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?”
Strizhkova D., / Институт русской литературы (Пушкинский Дом) РАН. Серия B001 "Репозиторий открытых данных по русской литературе и фольклору". 2026.
В базе данных представлена роспись русскоязычных литературных произведений и отрывков, напечатанных в учебниках по словесности, хрестоматиях, книгах для чтения, сборниках стихотворений и рассказов, выходивших во Франции, Германии, Латвии, Эстонии, Болгарии, Сербии в период первой волны русской эмиграции с 1918 по 1939 гг. Датасет представляет интерес для исследователей школьного литературного канона, эмиграции и детского чтения ...
Added: April 22, 2026
Жигунов А. Ю., / Basic Research Programme. Серия HUM "Humanities". 2026. № 1.
The article attempts to describe the features of the educational potential of Russian animation programmes in aspect of the representation of traditional spiritual and moral values. Based on media and semiotic analysis, the method of cultural and historical interpretation, animated Russian projects created from 2000 to the 2025, which were translated on television channels or streaming ...
Added: April 19, 2026
Малахов В. С., Симон М. Е., Летняков Д. Э. et al., / SSRN. Серия Social Science Research Network "Social Science Research Network". 2020.
The notion of “political accommodation” applied to the theory and practice of managing cultural diversity could enrich the Russian academic dictionary. Liberal democratic states invented specific mechanisms for political accommodation of cultural differences. Thanks to these mechanisms, the part of the population of a democratic state that is not ready to dissolve into the ethnocultural ...
Added: September 26, 2025
Melville A. Y., Каберник В. В., Mironyuk M. et al., / МГИМО МИД России. 2024.
Данный аналитический доклад является одним из результатов исследований в рамках консорциума НИУ ВШЭ и МГИМО. В нем прежде всего раскрыты вопросы концептуализации национальной мощи и сопутствующих категорий и дается обзор прецедентов. Далее рассматриваются вопросы операционализации предлагаемых нами компонентов национальной мощи. В следующих разделах доклада предлагается анализ вопросов методологии, используемой в докладе. На этой основе предложен ...
Added: September 19, 2025
Dragalina-Chernaya E., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 80–82.
В докладе сопоставляются истолкования абстрактных логик как структур и как классификаций абстрактных структур. ...
Added: June 20, 2025
Antipkina I., Ivanov A., Guzhelya D., / Series WP BRP "Basic research program". 2024.
This study presents a methodology for developing a new questionnaire format called explicit continuum scenario scales, in the example of a client focus questionnaire. Elements of the Rasch Guttman scenario scale methodology were used in its development. In three consequent studies, different aspects of the scale functioning were investigated. In Study 1, on the sample ...
Added: February 21, 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
Микаелян А. Л., / NRU Higher School of Economics. Series WP BRP "Literary Studies". 2024. No. 28.
The article presents an attempt to examine Goethe's poem "Reineke Fox" in connection with the discussion between Goethe and Schiller about the nature of epic poetry and the principles of its renewal within the poetics of "Weimar Classicism". Goethe introduced into his interpretation of the medieval story of the Fox a number of innovations at various ...
Added: November 19, 2024
Remnev N., Obiedkov S., Rakhilina E. V. et al., / Series Computer Science "arxiv.org". 2023.
Grammatical error correction is one of the fundamental tasks in Natural Language Processing. For the Russian language, most of the spellcheckers available correct typos and other simple errors with high accuracy, but often fail when faced with non-native (L2) writing, since the latter contains errors that are not typical for native speakers. In this paper, ...
Added: October 30, 2024
Orekhov B., / Series Computer Science "arxiv.org". 2024.
In this paper, I apply linguistic methods of analysis to non-linguistic data, chess plays, metaphorically equating one with the other and seeking analogies. Chess game notations are also a kind of text, and one can consider the records of moves or positions of pieces as words and statements in a certain language. In this article ...
Added: August 8, 2024
Orekhov B., / Series Computer Science "arxiv.org". 2024.
Burrows' Delta was introduced in 2002 and has proven to be an effective tool for author attribution. Despite the fact that it was applied to different languages, they mostly belong to the same grammatical type and use the same graphic principle to convey speech in writing: a phonemic alphabet with word separation using spaces. The question ...
Added: August 8, 2024
Orekhov B., / Series Computer Science "arxiv.org". 2024.
Added: August 8, 2024
Tsigeman-Gorenko E., Likhanov M., Kalinnikova L. et al., / Series 00 "00". 2024.
Multiple studies show that reading in hard-to-read (dysfluent) fonts can enhance memory and comprehension of learnt material, but it is unclear if this effect extends to second language (L2) learning. This study investigated the impact of dysfluent fonts on L2 text memorisation and comprehension, accounting for learners’ individual differences (gender, L2 anxiety, L2 proficiency and L1 vocabulary size) ...
Added: June 10, 2024
Babkin E., Ulitin B., Switzerland: Springer, 2023.
This book focuses on the study of ontology-based models and methods used for the implementation of the evolution of external domain-specific languages (DSL), which are mainly intended for modelling the structure of human-machine interfaces. The primary goal of the approach is to increase the efficiency of support processes during the life cycle of general-purpose software ...
Added: November 25, 2023
Dragalina-Chernaya E., , in: 4th Lisbon International Conference on Philosophy of Science - LICPOS 2023.: Lisbon: CFCUL, 2023. P. 27–28.
This paper offers an interpretation of abstract logics as formal ontologies as well as higher-level classifications. ...
Added: July 14, 2023
Dragalina-Chernaya E., , in: Handbook of the 5th World Congress and School on Universal Logic.: Istanbul: Istanbul University, 2015. P. 89–90.
The main aim of this paper is to show the advantages of shifting focus from substantial towards dynamic model of formality, i.e. from formal ontology (the domain of higher order formal objects, e.g. hypostases of structurally invariant properties of models) to formal deontology (the domain of rules-governed and goals-directed activity). ...
Added: June 29, 2015
Dragalina-Chernaya E., , 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 ...
Added: September 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 ...
Added: September 13, 2013
Efimenko I., В кн.: Тринадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2012 (16-20 октября 2012 г., г. Белгород, Россия). Том 1Т. 1: Тринадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2012 (16-20 октября 2012 г., г. Белгород, Россия).: Белгород: Российская ассоциация искусственного интеллекта, 2012. С. 244–251.
В докладе обсуждаются вопросы использования лингвистических шкал в прогнозировании, в частности, вопросы анализа и интерпретации (квантификации) оценочной информации, представленной в текстовых документах через явную или имплицитную апелляцию к лингвистической шкале. Представлены модели, разработанные для анализа временных горизонтов, вероятностных оценок и характеристик объектов научно-технического развития. ...
Added: January 16, 2013
Dragalina-Chernaya E., М.: Издательский дом НИУ ВШЭ, 2012.
Монография посвящена онтологии стандартной и девиантной квантификации. В работе сопоставляются эвристические возможности и онтологические обязательства двух парадигм интерпретации кванторов: как второпорядковых предикатов и как функций выбора от их истоков (Г. Фреге и Ч.С. Пирс) до современного состояния (абстрактные логики и IF-логика). Новизна исследования связана с философской оценкой технических результатов последних лет о выразительных и дедуктивных ...
Added: May 12, 2012