• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Семантическое обоснование логики: истоки и перспективы
  • 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
August 25, 2026
Scientists Develop Algorithm for More Reliable Processors in Data Centres
Researchers from HSE MIEM and Samara University have developed the LRF-3D algorithm to automatically bypass idle nodes in three-dimensional networks-on-chip. Thanks to its hierarchical architecture, the algorithm outperforms existing solutions in both speed and path accuracy, improving processor reliability for use in data centres, supercomputers, and AI computing. The source code and test results are publicly available.
August 24, 2026
Researchers Develop Method for Direct Generation of Regulatory DNA
Researchers at HSE University have developed a model for generating promoters and enhancers—DNA sequences that regulate gene activity. The model works directly with DNA nucleotides, without first transforming them into a continuous numerical representation. This solution could be useful for applications in synthetic biology and gene therapy. The study results were presented at the ICLR 2026 Workshop ‘Generative AI in Genomics (Gen^2): Barriers and Frontiers.’
August 21, 2026
Social Integration: At the Crossroads of Knowledge and Values
The International Laboratory for Social Integration Research (ILSIR) at HSE University studies the challenges faced by vulnerable groups and explores ways to help them participate fully in everyday life. To develop effective solutions, the laboratory’s researchers combine cutting-edge methods with practical fieldwork. In this interview with the HSE News Service, Laboratory Head Elena Iarskaia-Smirnova discusses the laboratory’s work.

 

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

?

Семантическое обоснование логики: истоки и перспективы

С. 37–55.
Dragalina-Chernaya E.
Language: Russian
Full text
Keywords: формальная онтологияизоморфизм моделейаналитичностьформальностьобобщенная теория моделей

In book

Логическая семантика: перспективы для философии языка и эпистемологии. Сборник научных статей, посвященных юбилею Е.Д. Смирновой
Логическая семантика: перспективы для философии языка и эпистемологии. Сборник научных статей, посвященных юбилею Е.Д. Смирновой
М.: Креативная экономика, 2011.
Similar publications
Варианты инвариантности в формальных и региональных онтологиях
Dragalina-Chernaya E., 2024 Т. 13 № 1 С. 15–32
В статье сопоставляются принципы инвариантности, предлагаемые аналитической и феноменологической традициями для демаркации границ формальных и региональных онтологий. Принцип инвариантности относительно изоморфных преобразований, обобщающий критерий Альфреда Тарского для логических понятий, распространяется на формальную онтологию как теорию многообразий в ее феноменологической интерпретации. Особое внимание уделяется дискуссии аналитической и феноменологической традиций о синтетическом (материальном) априори и тому вкладу, ...
Added: February 3, 2024
Logical Hylomorphism Revisited: Aristotle, Tarski, and Corcoran
Dragalina-Chernaya E., , in: Universal Logic, Ethics, and Truth: Essays in Honor of John Corcoran (1937-2021).: Cham: Birkhäuser, 2024. P. 109 –118.
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 ...
Added: August 31, 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
Логический плюрализм во Львовско-Варшавской школе
Vasyukov V. L., Вопросы философии 2020 № 8 С. 204–214
When Jan Łukasiewicz, eminent representative of the Lvov-Warsaw school, has re­proached the great philosophical systems of Plato or Aristotle, Descartes or Spinoza, Kant or Hegel with vagueness, incomprehensibility, inexactness of reasoning and proofs, erroneousness of logical theories underlaying those systems then his receipt of overcoming these shortcomings was that philosophy must be reconstructed from its ...
Added: August 19, 2020
Еще одно a priori в философии Канта
Tsygurov A., Финиковый компот 2016 № 11 С. 28–31
The paper analyzes the general basis for analytic and synthetic judgments, expressed in terms of a priori representation of thoroughgoing determination of every thing, which was proposed in Kant’s concept of transcendental prototype. It is showed how existential predication, performed on the basis of concept «thing-in-itself», is connected to the possibility of real predication in ...
Added: November 19, 2019
Ложь как проблема формальной онтологии
Павленко А. Н., Анисов А. М., Павлов С. А. et al., СПб.: Алетейя, 2019.
В коллективной монографии, с точки зрения онтологии и логики, рассматривается философское понятие «ложь». Следуя традиции свободной философской дискуссии, авторский коллектив демонстрирует не совпадающие точки зрения по обсуждаемой теме . В ряде разделов показано, что, с точки зрения современной онтологии и вопреки мнению Г. Фреге, ложь не обладает статусом самостоятельно существующего объекта. В работе убедительно продемончстрировано, что ...
Added: July 20, 2019
Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality
Dragalina-Chernaya E., , in: Philosophy of Logic and Mathematics. Proceedings of the 41st International Ludwig Wittgenstein SymposiumVol. 27.: Berlin, Boston: De Gruyter, 2019. P. 197–212.
Added: February 11, 2019
Логический гилеморфизм: от формальной онтологии к формальной деонтологии
Dragalina-Chernaya E., В кн.: Современная логика: основания, предмет и перспективы развития.: М.: ИД "Форум", 2018. С. 35–52.
На основе авторской дихотомии субстанциальной и динамической формальности осуществляется обзор и систематизация различных версий логического гилеморфизма. ...
Added: January 25, 2018
Бог и семантика возможных миров: многоуровневые онтологии как способ решения давней проблемы
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
За пределами «золотого треугольника»: логико-философские основания 2-дименсионализма
Gorbatov V., Полигнозис 2014 № 1-2 С. 24–37
The paper deals with the so-called “golden triangle” of constitutive connections between meaning, reason, and modality. This classical triangle has been critically reassessed in contemporary analytical philosophy, but some forms of it still seem to be indispensible in studies of consciousness and AI. A lot of to-date anti-reductionist arguments are based on subtle nuances of ...
Added: May 14, 2014
Лексико-грамматические особенности научного стиля в английском языке
Pospelova T. B., В кн.: Homo Loquens: Актуальные вопросы лингвистики и методики преподавания иностранных языков (2013)Вып. 5.: СПб.: Астерион, 2013. С. 277–285.
Recently there has appeared an increased necessity in publishing research results in the English language to share knowledge and experience. International scientific journals put certain requirements to the quality of the language; therefore, there arise problems concerning the standards of English as a means of scientific publication. It is known that academic style is characterized ...
Added: November 17, 2013
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
  • 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