• 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
October 1, 2026
HSE Researchers Show How Congenital Motor Disorders Affect Brain Development
Researchers from HSE University’s Institute for Cognitive Neuroscience have synthesised the findings of their previous studies on brain development in children with obstetric brachial plexus palsy and arthrogryposis. Their analysis shows that impaired motor function in early childhood not only limits children’s motor experience but also affects memory, categorical thinking, and information processing. The study has been published in Frontiers in Psychology.
October 1, 2026
Window into the Body: Scientists Develop Neural Network to Detect Risk of 15 Diseases from Retinal Images
Russian universities, with the participation of HSE University, Sber, and Z-union, have developed a neural network that can simultaneously assess the risk of 15 types of pathology from retinal photographs, including not only eye diseases but also cardiovascular conditions. The AI system can help clinicians detect potentially concerning changes at an early stage, identify signs reflecting the condition of retinal blood vessels, and determine whether a patient may need further examination. The paper has been published in Frontiers in Medicine.
September 30, 2026
'We Did Not Limit the Time for Questions'
The International Laboratory for Supercomputer Atomistic Modelling and Multi-Scale Analysis at HSE University held a major conference on molecular dynamics. Participants had the opportunity to attend all the presentations, while speakers were given as much time as they needed to answer questions. The HSE News Service interviewed Grigory Smirnov, Head of the Laboratory, and Genri Norman, Chief Research Fellow, about the conference preparations and the discussions it generated.

 

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