?
On structural proof theory of the modal logic K+ extended with infinitary derivations
Приоритетные направления:
математика
Язык:
английский
Yu Z., Wang J., Wang Z. и др., Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2026 Vol. 384 P. 1–16
Добавлено: 13 августа 2026 г.
Армандо Б., Религиоведение 2026 № 2 С. 177–185
Автор исследует развитие православного сакрального искусства в XXI в. в контексте диалога между канонической традицией, художественным новаторством и поисками национального художественного стиля. Особое внимание уделяется новым школам иконописи и архитектуры, возникшим в России и других православных странах, а также влиянию богословских, культурных и эстетических факторов на формирование современной иконографической практики. Анализируются конкретные авторские мастерские, художественные проекты и ...
Добавлено: 13 августа 2026 г.
Сперанский С. О., Математические заметки 2026 Т. 120 № 3 С. 470–483
Показывается, что с точки зрения замыкающих ординалов многие инфинитарные исчисления для «первопорядковых» логик вероятности (т.е. для языков, аналогичных языкам из [Abadi & Halpern 1994]) являются настолько трудными, насколько это возможно: соответствующие замыкающие ординалы совпадают с наименьшим неконструктивным ординалом, обозначаемым через $\omega_1^{\mathrm{CK}}$. ...
Добавлено: 12 августа 2026 г.
Добавлено: 11 августа 2026 г.
Грегор Э. Д., СПб.: Владимир Даль, 2026.
Фашизм традиционно считался иррациональным и антиинтеллектуальным феноменом, ведомым мистицизмом и приверженным хаосу и грубой жестокости. Настоящее издание — итог почти четырех десятилетий исследований одного из ведущих экспертов по этому вопросу, американского историка Энтони Джеймса Грегора. Он утверждает, что итальянский фашизм был не более и не менее иррациональным, чем другие революционные идеологии XX века. Грегор прослеживает историю ...
Добавлено: 10 августа 2026 г.
Kulev Y., Максаев А. М., Промыслов В. В., Linear Algebra and its Applications 2026 Vol. 730 P. 51–72
Добавлено: 7 августа 2026 г.
Kanunnikov A., Промыслов В. В., Vassilieva E., Electronic Journal of Combinatorics 2024 Vol. 31 No. 3 Article P3.6
Добавлено: 7 августа 2026 г.
Spiridonov V. P., Belousov N. M., Sarkissian G. A., Analysis and Mathematical Physics 2026 Vol. 16 Article 96
Добавлено: 4 августа 2026 г.
Гайфуллин С. А., Киктева В. В., Results in Mathematics 2026 Vol. 81 No. 5 Article 146
Добавлено: 3 августа 2026 г.
Лунц В. А., Функциональный анализ и его приложения 2026 Т. 60 № 3 С. 127–129
Доказано, что канонические полуортогональные разложения производной категории диаграммной схемы индуцируют аналогичные разложения подкатегории совершенных комплексов. ...
Добавлено: 3 августа 2026 г.
Беломестный Д. В., Гасников А. В., Гладин Е. Л. и др., Russian Mathematical Surveys 2026 Vol. 81 No. 4(490) P. 3–90
Добавлено: 3 августа 2026 г.
Митлянская М. Б., Высшее образование в России 2023 Т. 32 № 7 С. 157–166
Статья основывается на историко-философском анализе фрагментов концепции бытийной истории Мартина Хайдеггера, в рамках которой философ рас сматривал феномен университета и актуальное положение наук. Их состояние, по мнению философа, является прямым следствием всеобъемлющего угасания традиции европейского мышления, берущего начало в эпоху платонизма. Основными признаками эпохи «заката метафизики» становятся примат формы над содержанием, «завод ское» производство университетских ...
Добавлено: 31 июля 2026 г.
Митлянская М. Б., Философские науки 2020 Т. 63 № 4 С. 132–151
Философское сообщество активно обсуждает «Черные тетради» – философские дневники Мартина Хайдеггера. Их публикация открыла для исследователей отдельный пласт концепции бытийной истории. Это произведение – наглядный пример того, насколько близко могут находиться философская мысль и политическая атмосфера времени. Хайдеггер стал свидетелем событий, вызвавших у него неоднозначное отношение. Он имел определенные представления о необходимости реорганизации немецкого университета, ...
Добавлено: 31 июля 2026 г.
Митлянская М. Б., Финиковый компот 2020 № 15 С. 263–266
Рецензия на антологию «Pro et contra», собравшую работы нескольких поколений русских историков философии о Мартине Хайдеггере. Более семидесяти статей, рецензий и отрывков книг наиболее значимых в данной области исследователей (по мнению составителей альманаха). Автор рецензии дает общую информацию о наполнении сборника и более подробно разбирает ряд ярких фрагментов. ...
Добавлено: 31 июля 2026 г.
Митлянская М. Б., Идеи и идеалы 2020 Т. 12 № 3 (45) С. 121–133
Идея реорганизации немецкого университета нашла отражение в переписке молодого Мартина Хайдеггера с его товарищем Карлом Ясперсом. Выдающиеся мыслители критически анализируют вклад современников и представителей предыдущего поколения ученых и философов. Амбициозные и уверенные в своих способностях, они вынашивают план важнейшей, как им представлялось, миссии: возрождение духа подлинной философии в стенах германских университетов. В их переписке в ...
Добавлено: 30 июля 2026 г.
Митлянская М. Б., Вестник Пермского университета. Философия. Психология. Социология 2020 № 3 С. 384–394
Предмет исследования — концепция бытийной истории Мартина Хайдеггера. Данная концепция — плод позднего периода творчества немецкого философа. Критически анализируя собственные пути экзистенциальной философии, раскрытые в «Бытии и Времени», Хайдеггер постепенно формирует спектр бытийно-исторических понятий, которые займут центральное положение в его размышлениях после «Поворота». Способы аналитики присутствия до «Поворота» создают видимость антропологического подхода к вопросу бытия, ...
Добавлено: 30 июля 2026 г.
Митлянская М. Б., Известия Саратовского университета. Новая серия. Серия: Философия. Психология. Педагогика 2020 Т. 20 № 2 С. 149–153
Статья посвящена задаче выявления конституирующего признака мифического. Исследование не касается феномена рождения мифа, рассматривются только те особенности, которые позволили мифу пережить значительные изменения, деконструкции и уклонение, не утратив при этом основу своей сущности, где уклонение (der Entzug) – один из важнейших терминов философии Хайдеггера, обозначающий способность сущего являть себя непрямым, неестественным путем, навязывать себя представлению. ...
Добавлено: 30 июля 2026 г.
Митлянская М. Б., Финиковый компот 2019 № 14 С. 116–124
Текст посвящен проблеме истины в поздней философии Мартина Хайдеггера. За основу исследования взят текст Хайдеггера «Учение Платона об истине». В этой работе немецкий философ размышляет над «образом пещеры» и через него раскрывает свое понимание развития понятия истины и его многогранного содержания. Наиболее значимой для собственной философии Хайдеггеру представляется истина как несокрытость (άλήθεια). С его точки ...
Добавлено: 30 июля 2026 г.
Митлянская М. Б., Финиковый компот 2018 Т. 13 № 13 С. 114–116
Рецензия на сборник статей «Хайдеггер, "Черные тетради" и Россия». В тексте дан критический обзор статей сборника, дана критика политически ангажированных истолкований философии Хайдеггера. ...
Добавлено: 30 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...
Добавлено: 16 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...
Добавлено: 16 июля 2026 г.
Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.
Добавлено: 9 июля 2026 г.