• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Articles
  • Model-theoretic languages as formal ontologies
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
September 25, 2026
AI Users Earn Up to 41.8% More Than Non-Users
Research conducted by economists at HSE University has revealed a significant correlation between the regular use of GenAI in the workplace and higher pay among Russian employees. The study found that individuals who frequently use GenAI in their professional activities earn notably more than those who reject these new tools or resort to them occasionally. The salary premium for highly qualified specialists reaches 41.8%. The article was published in the Voprosy Ekonomiki journal.
September 24, 2026
‘Feedback and Constructive Criticism Are Essential in Our Profession
Vincent Fardeau, Associate Professor at HSE ICEF, has reached a major career milestone: he recently published his paper ‘Asymmetric Thin Markets’ in the Journal of Financial Economics, successfully passed his major academic review, and received tenure. In this interview, Vincent discusses the story behind the paper, explains the concept of asymmetric thin markets, and shares his advice for young scholars aiming to publish in top-tier journals.
September 22, 2026
Personal Interest in Doctoral Thesis Topic Most Important for Confidence in Successful Defence
A researcher at HSE University analysed data on 1,539 doctoral students from 161 Russian universities to identify which features of a thesis topic are associated with academic success and engagement. The most important factor was found to be personal interest in the research topic, which was associated with almost all key aspects of doctoral programme experience—from engaging with the academic supervisor to research activity and confidence about successfully defending the thesis. The findings have been published in Higher Education.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Model-theoretic languages as formal ontologies

From the ALWS archives: A selection of papers from the International Wittgenstein Symposia in Kirchberg am Wechsel. 2013.
Dragalina-Chernaya E.

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?”

Priority areas: humanitarian
Language: English
Full text
Text on another site
Keywords: абстрактные логикиabstract logicsformal ontologiespermutation invariance criterionформальные онтологииинвариантность относительно перестановок
Similar publications
Vague stimulating ideas, images and metaphors in scientific thinking: researchers' work with horizons of unclear knowledge
Poddiakov A., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Clarity of knowledge and reasoning is necessary in many cases. Yet vagueness in scientific thinking related to surprise, curiosity, "ability to engage with not-knowing" (de Freitas) and abductive reasoning is also a crucially important source of scientific creativity which supplements combinatorial logic when dealing with the already known. Starting from studies by C. S. Peirce ...
Added: September 15, 2026
Система синтаксических инвариантов текстовой деятельности: статистические дескрипторы, семантическая структура и диагностические профили
Kudriavtseva E., / РЦИС. Серия № 0148-756-286. 2026.
The content of the work is the system is a system for identifying four types of written speech structures. A set of 11 calculated parameters, statistical standards, and semantic characteristics allows for the identification of a text's structure as the result of a specific cognitive schema (scene, event, story, evaluation). The method has been verified ...
Added: June 2, 2026
Почему растущие доходы не делают людей счастливее: эмоциональное объяснение парадокса Истерлина (Why Growing Incomes Do Not Make People Happier: an Emotional Explanation of the Easterlin Paradox)
Vorchik A., / SSRN. Серия Social Science Research Network "Social Science Research Network". 2026.
This work is devoted to a theoretical explanation of the Easterlin paradox, according to which long-term economic growth does not make average level of people's happiness increasing. By happiness, we mean the intensity of emotions people experience while comparing their new income with its expected value, or the target income with its original value. In the first case, ...
Added: May 31, 2026
Школьный литературный канон эмиграции 1918–1939 гг.
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
Политическая аккомодация культурных различий в индустриально развитых обществах (Political Accommodation of Cultural Differences in Industrialized Societies)
Малахов В. С., Симон М. Е., Летняков Д. Э. 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
Explicit continuum scale format reduces the ceiling effect in self-report questionnaires comparing to Likert response format
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
Language In The Construction Of Ethnicity Among Koreans In Kazakhstan: A Case Study Of The Korean Community In Karaganda
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
CONNECTING ANCIENT AND MODERN: THE MEDIEVAL PLOT ABOUT THE FOX AND THE DISCUSSION BETWEEN GOETHE AND SCHILLER ABOUT GERMAN EPIC POETRY
Микаелян А. Л., / 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
A Language Model for Grammatical Error Correction in L2 Russian
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
You shall know a piece by the company it keeps. Chess plays as a data for word2vec models
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
Ontology-Based Evolution of Domain-Oriented Languages: Models, Methods and Tools for User Interface Design in General-Purpose Software Systems
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
Abstract logics as formal ontologies as classifications
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
The ontology of logical form: formal ontology vs. formal deontology
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
The binary quantifiers perspective on logicality
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
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.
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
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit