• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Logical Hylomorphism Revisited: Aristotle, Tarski, and Corcoran
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 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
July 20, 2026
Scientists Create Open Dataset for Studying Concentration
A team of Russian researchers, including scientists from HSE University–St Petersburg, has developed the first open multimodal dataset containing recordings of brain activity, heart function, and video observations to help researchers understand what happens in the human brain during deep concentration. In the future, the dataset could accelerate the development of neural interfaces, rehabilitation technologies, and AI systems. The article has been published in Scientific Data.
July 20, 2026
‘Science Is Universal-It Knows No Borders
Fuad Aleskerov, Tenured Professor and Director of the International Centre of Decision Choice and Analysis at HSE University, together with his colleagues, has developed methods of network analysis in bibliometrics that have made it possible to identify patterns in the appearance and citation of publications in academic journals, as well as their influence on each other. When one or a number of studies are frequently cited by a wide range of journals, this is an indicator that the research is of high quality. By contrast, extensive cross-citation within a limited group of journals increases the likelihood of identifying a network of predatory publications.
July 20, 2026
Scientists Propose Method for More Efficient Resource Use in Machine Learning
An international group of researchers, including mathematicians from the AI and Digital Science Institute at the HSE Faculty of Computer Science, has provided a theoretical justification for a simple and computationally efficient method of estimating uncertainty in Stochastic Gradient Descent (SGD). The paper has been published on the scientific preprint server arXiv.org and presented at AISTATS 2026.

 

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

?

Logical Hylomorphism Revisited: Aristotle, Tarski, and Corcoran

P. 109 –118.
Dragalina-Chernaya E.

This paper proposes an approach to the demarcation of formal ontology and formal epistemology based on the dichotomy between substantial and dynamic models of logical hylomorphism. Substantial hylomorphism considers logic as a theory of higher order formal objects which turns their properties into rules of inference. Dynamic hylomorphism concerns goals-directed and rules-governed structured actions of reasoning agents rather than objects. The paper shows the significance of Corcoran's formal methodology for balancing ontologically and epistemologically oriented versions of logical hylomorphism.

Language: English
DOI
Text on another site
Keywords: формальная онтологияformal ontologyhylomorphismформальная эпистемологияформальная методологияformal epistemologyformal methodologyгиломорфизм
Publication based on the results of:
Models of non-ideal agency in logic and formal philosophy (2024)

In book

Universal Logic, Ethics, and Truth: Essays in Honor of John Corcoran (1937-2021)
Universal Logic, Ethics, and Truth: Essays in Honor of John Corcoran (1937-2021)
Cham: Birkhäuser, 2024.
Similar publications
Варианты инвариантности в формальных и региональных онтологиях
Dragalina-Chernaya E., 2024 Т. 13 № 1 С. 15–32
В статье сопоставляются принципы инвариантности, предлагаемые аналитической и феноменологической традициями для демаркации границ формальных и региональных онтологий. Принцип инвариантности относительно изоморфных преобразований, обобщающий критерий Альфреда Тарского для логических понятий, распространяется на формальную онтологию как теорию многообразий в ее феноменологической интерпретации. Особое внимание уделяется дискуссии аналитической и феноменологической традиций о синтетическом (материальном) априори и тому вкладу, ...
Added: February 3, 2024
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
Ложь как проблема формальной онтологии
Павленко А. Н., Анисов А. М., Павлов С. А. et al., СПб.: Алетейя, 2019.
В коллективной монографии, с точки зрения онтологии и логики, рассматривается философское понятие «ложь». Следуя традиции свободной философской дискуссии, авторский коллектив демонстрирует не совпадающие точки зрения по обсуждаемой теме . В ряде разделов показано, что, с точки зрения современной онтологии и вопреки мнению Г. Фреге, ложь не обладает статусом самостоятельно существующего объекта. В работе убедительно продемончстрировано, что ...
Added: July 20, 2019
Логический гилеморфизм: от формальной онтологии к формальной деонтологии
Dragalina-Chernaya E., В кн.: Современная логика: основания, предмет и перспективы развития.: М.: ИД "Форум", 2018. С. 35–52.
На основе авторской дихотомии субстанциальной и динамической формальности осуществляется обзор и систематизация различных версий логического гилеморфизма. ...
Added: January 25, 2018
Crisis Management for Software Development and Knowledge Transfer
Zykov S. V., Switzerland: Springer, 2016.
Crisis is a burning issue; this is not a phenomenon, which can be conquered forever. Current approach to crisis is an optimized collaboration, which allows for manageable, measurable and predictable software development. Crisis is a new reality to live and work with. The current software development crisis dates back to the 1960s. The root cause ...
Added: August 18, 2016
Бог и семантика возможных миров: многоуровневые онтологии как способ решения давней проблемы
Gorbatova Y. V., Гуманитарные исследования в Восточной Сибири и на Дальнем Востоке 2015 № 3 (33) С. 112–117
In the article the author seeks to demonstrate the place of specific beings (like God) in possible worlds semantics. The general idea is an idea of multilevel ontology for possible worlds. It is effective to presuppose a special level for such being, for instance, in case the construction of the proof of the necessary existence. ...
Added: March 17, 2015
Logical hylomorphism revisited
Dragalina-Chernaya E., , in: Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014 (PhML-2014). Proceedings of International scientific conference, April 21–25, 2014, St. Petersburg, Russia.: St. Petersburg: The Euler International Mathematical Institute, 2014. P. 6–11.
The aim of this paper is to systematize the variety of logical hylomorphism according to different types of formal relations. Various explications of substantial and dynamic formality will be sketched. My larger purpose is to discuss demarcation principles for the bounds of logic as formal ontology and formal deontology. ...
Added: June 23, 2014
The logic of forbidden colours
Dragalina-Chernaya E., Epistemology and Philosophy of Science 2013 Vol. 38 No. 4 P. 136–149
The purpose of this paper is twofold: (1) to clarify Ludwig Wittgenstein’s thesis that colours possess logical structures, focusing on his ‘puzzle proposition’ that “there can be a bluish green but not a reddish green”, (2) to compare model-theoretical and game-theoretical approaches to the colour exclusion problem. What is gained, then, is a new game-theoretical ...
Added: October 1, 2013
The Logic of Forbiden Colours
Dragalina-Chernaya E., / Series HUM "Humanities". 2012. No. 10.
The purpose of this paper is twofold: (1) to clarify Ludwig Wittgenstein’s thesis that colours possess logical structures, focusing on his ‘puzzle proposition’ that “there can be a bluish green but not a reddish green”, (2) to compare model-theoretical and game-theoretical approaches to the colour exclusion problem. What is gained, then, is a new game-theoretical ...
Added: December 19, 2012
Семантическое обоснование логики: истоки и перспективы
Dragalina-Chernaya E., В кн.: Логическая семантика: перспективы для философии языка и эпистемологии. Сборник научных статей, посвященных юбилею Е.Д. Смирновой.: М.: Креативная экономика, 2011. С. 37–55.
В статье выдвинута трактовка логики как формальной онтологии  - теории структур, инвариантных относительно изоморфных преобразований  Предложено авторское определение аналитичности, основанное на понятии изоморфизма моделей. Обоснована возможность обнаружения неконвенциональных семантических критериев  демаркации границ логики и, следовательно, использования семантических методов в ее обосновании. ...
Added: May 15, 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