Univalent Foundations of Mathematics and Paraconsistency

АБВ
АБВ
АБВ

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

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

по году

Тематика

22 мая 2026 г.

Лаборатория живых смыслов: как проект НИУ ВШЭ и СахГУ переосмысляет труд

Проект «Зеркальные лаборатории» НИУ ВШЭ — Пермь и Сахалинского государственного университета (СахГУ) изучает, как культура, среда и технологии формируют и меняют трудовые смыслы. Исследование объединяет индивидуальный опыт, профессиональные нормы, городские проблемы, творческие практики и цифровые условия труда. Руководитель Лаборатории междисциплинарных исследований по антропологии труда НИУ ВШЭ в Перми Лилия Пантелеева рассказала о работе проекта.

21 мая 2026 г.

«Пик глупости» и «долина отчаяния»: экономисты НИУ ВШЭ предложили объяснение эффекта Даннинга - Крюгера

Эффект Даннинга — Крюгера, который описывает резкий всплеск уверенности в своих силах у новичков и такое же стремительное ее падение при наборе опыта, объясняется особенностями процесса обучения и набора новых знаний. К такому выводу пришли сотрудник факультета экономических наук НИУ ВШЭ Андрей Ворчик вместе с независимым исследователем Муратом Мамышевым. Они разработали математическую модель процесса обучения и показали, как формируется и изменяется субъективная уверенность по мере накопления знаний и как преподаватель может уменьшить «долину отчаяния» для ученика.

20 мая 2026 г.

«Еж» против «родственника»: ученые измерили, как мозг реагирует на неожиданные слова в живой речи

Российские нейрофизиологи с участием исследователей из НИУ ВШЭ показали, что изучать восприятие живой речи можно с помощью вызванных потенциалов. Они доказали, что метод применим не только к отдельным словам, но и к непрерывной речи. Оказалось, что слова, сильно отличающиеся по смыслу от предыдущего контекста, мозг обрабатывает дольше, а служебные слова анализирует в два этапа: сначала определяет их грамматическую роль, а затем на этой основе предсказывает следующее слово. Исследование опубликовано в журнале Frontiers in Human Neuroscience.

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

Публикации

?

Univalent Foundations of Mathematics and Paraconsistency

P. 285–294.

Васюков В. Л.

В печати

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

DOI

В книге

New Directions in Paraconsistent Logic

Springer, 2015.

Логика как формальная философия и искусство концептуального дизайна

Драгалина-Черная Е. Г., Философия. Журнал Высшей школы экономики 2024 Т. 8 № 1 С. 29–41

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

Добавлено: 7 марта 2024 г.

Determination of the Homotopy Type of a Morse-Smale Diffeomorphism on an Orientable Surface by a Heteroclinic Intersection

Гринес В. З., Морозов А. И., Починка О. В., Qualitative Theory of Dynamical Systems 2023 Vol. 22 No. 3 Article 120

Настоящая работа посвящена изучению гомотопических типов сохраняющих ориентацию диффеоморфизмов Морса-Смейла на замкнутых ориентируемых поверхностях. Поскольку любой диффеоморфизм Морса-Смейла имеет конечное множество периодических точек, то, согласно классификации Нильсена-Тёрстона, он гомотопен либо периодическому гомеоморфизму, либо гомеоморфизму алгебраически конечного порядка. Из результатов В. Гринеса и А. Безденежных следует, что любой градиентоподобный диффеоморфизм гомотопен периодическому гомеоморфизму. Однако если блуждающее ...

Добавлено: 28 июля 2023 г.

Horizons of Scientific Pluralism: Logics, Ontology, Mathematics

Васюков В. Л., IfCoLoG Journal of Logics and their Applications 2017 Vol. 4 No. 4 P. 1477–1494

Discussions on the scientific pluralism typically involve the unity of science thesis, which has been first advanced by Neo-Positivists in the 1930-ies and later widely criticized in the late 1970-ies. In the present paper the problem of scientific pluralism is examined in the context of modern logic, where it became particularly pertinent after the emergence ...

Добавлено: 26 мая 2018 г.

Современная логика: основания, предмет и перспективы развития

М.: ИД "Форум", 2018.

Сборник статей отечественных и зарубежных авторов посвящен анализу оснований, источников нормативности и перспектив развития современной логики. ...

Добавлено: 25 января 2018 г.

Categorical Ontology of Non-Classical Mathematics

Васюков В. Л., , in: Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML 2012).: St. Petersburg: ВВМ, 2012. P. 131–145.

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