Logical hylomorphism revisited

E. Dragalina-Chernaya

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

30 октября 2026 г.

«Объект наших исследований - суперкомпьютер»

Феликс Смирнов занимается суперкомпьютерными технологиями, чтобы помогать другим ученым в их работе. В интервью проекту «Молодые ученые Вышки» он рассказал о настройке коммуникаций между узлами, своем увлечении кинематографом и о старых вывесках на Хитровке.

29 октября 2026 г.

Как прогнозировать будущее науки и технологий

Лаборатория исследований науки и технологий, действующая в структуре Института статистических исследований и экономики знаний НИУ ВШЭ, изучает текущее состояние научных исследований и разработок, анализирует тренды и их динамику, что позволяет понимать масштаб вызовов, связанных с применением новейших технологий, определять приоритеты будущих работ, формировать научную и промышленную политику. Новостная служба «Вышка.Главное» побеседовала с заведующей лабораторией Лилианой Проскуряковой и директором Форсайт-центра ИСИЭЗ Александром Соколовым.

29 октября 2026 г.

Плоская модель местности скрыла от симулятора потерю связи между машинами

Исследователи МИЭМ ВШЭ показали, что популярные симуляторы связи между автомобилями заметно переоценивают ее надежность, потому что считают рельеф местности плоским. Если учесть рельеф, мосты и туннели, доля потерянных соединений на горном серпантине вырастает с 21 до 30%, у эстакады — с 20 до 33%, а в туннеле — с нуля до 80%.Результаты опубликованы в журнале Future Transportation.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

Logical hylomorphism revisited

P. 6–11.

Драгалина-Черная Е. Г.

Язык: английский

Полный текст

Ключевые слова: permutation invariance formality hylomorphism logicality

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:

Многообразие логического гилеморфизма (2014)

В книге

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.

Logical Hylomorphism Revisited: Aristotle, Tarski, and Corcoran

Драгалина-Черная Е. Г., , in: Universal Logic, Ethics, and Truth: Essays in Honor of John Corcoran (1937-2021).: Cham: Birkhäuser, 2024. P. 109 –118.

Добавлено: 31 августа 2023 г.

Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality

Драгалина-Черная Е. Г., , in: Philosophy of Logic and Mathematics. Proceedings of the 41st International Ludwig Wittgenstein SymposiumVol. 27.: Berlin, Boston: De Gruyter, 2019. P. 197–212.

Добавлено: 11 февраля 2019 г.

Koszulity of cohomology = K(π,1)-ness + quasi-formality

Посицельский Л. Е., Journal of Algebra 2017 Vol. 483 P. 188–229

This paper is a greatly expanded version of [37, Section 9.11]. A series of definitions and results illustrating the thesis in the title (where quasi-formality means vanishing of a certain kind of Massey multiplications in the cohomology) is presented. In particular, we include a categorical interpretation of the “Koszulity implies K(π,1)” claim, discuss the differences between two ...

Добавлено: 7 июня 2017 г.

Лексико-грамматические особенности научного стиля в английском языке

Поспелова Т. Б., В кн.: Homo Loquens: Актуальные вопросы лингвистики и методики преподавания иностранных языков (2013)Вып. 5.: СПб.: Астерион, 2013. С. 277–285.

В последнее время у специалистов по всему миру, занимающихся научной деятельностью, все больше возрастает необходимость публиковать результаты своих исследований. Во многих случаях эти публикации осуществляются на английском языке, который считается доминирующим не только в области межнационального общения, но и в сфере науки. Соответственно возникают вопросы, касающиеся стандартов английского языка как средства научной публикации. Ученые, для ...

Добавлено: 17 ноября 2013 г.

The logic of colors in model-theoretical and game-theoretical perspectives

Драгалина-Черная Е. Г., Logical Investigations 2013 No. 19 P. 23–32

This paper sketches two approaches to the color exclusion problem provided by model-theoretical and game-theoretical semantics. The case study, modeling the experimentally confirmed perception of “forbidden” (e.g., reddish green and bluish yellow) colors, is presented as neuropsychological evidence for game-theoretical semantics. ...

Добавлено: 20 июня 2013 г.