?
Отмеченное субординатное натуральное исчисление для базовой интуиционистской кондициональной логики
Логические исследования. 2025. Т. 31. № 2. С. 143–168.
В статье осуществляется презентация и построение отмеченного субординатного натурального исчисления 𝓕IntCK для интуиционистской кондициональной логики IntCK, предложенной Г.К. Ольховиковым как интуиционистский вариант минимальной нормальной кондициональной логики Б. Челласа CK и полной относительно интуиционистского прочтения метатеории CK. Система IntCK задает базовые дедуктивные принципы для формализации конструктивных контекстов, допускающих использование двух независимых контрфактических связок – □→ и ◇→. Описываемое в статье натуральное исчисление 𝓕IntCK основывается на технике, задействующей метки (labels), реляционные атомы (relational atoms) и отмеченные квазиформулы, фигурирующие в правилах, причем данные правила позволяют метасинтаксически реализовать семантические условия истинности и неистинности формул относительно возможных миров интуиционистской кондициональной биреляционной модели. В рамках статьи предлагается индуктивное определение вывода, для чего применяется подход В.А. Смирнова с дальнейшей модификацией понятия субординатной последовательности на случай с отмеченными квазиформулами и реляционными атомами. Дана идея доказательства метатеорем о слабой полноте исчисления 𝓕IntCK по отношению к классу всех интуиционистских кондициональных биреляционных шкал, а также дедуктивной эквивалентности натурального исчисления 𝓕IntCK и аксиоматического исчисления IntCK.
Научное направление:
Философия, этика, религиоведение
Язык:
русский
Ключевые слова: completenessтеория доказательствproof theoryCounterfactualsIntuitionistic Logicинтуиционистская логикаlabelsnatural deductionСonditional logiclabeled formulaerelational atoms birelational Kripke semanticsdeductive equivalenceисчисление естественного выводаконтрфактуалыусловная логикаметкиотмеченные формулыреляционные атомыбиреляционная семантика Крипкесемантическая полнотадедуктивная эквивалентность
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Cambridge Scholars Publishing, 2026.
Добавлено: 28 сентября 2026 г.
Сувалко А. С., Человек 2026 Т. 37 № 5 С. 118–143
В статье анализируется актуальное состояние российской экономики творцов (creator economy) в условиях ухода зарубежных платформ и быстрого изменения российского законодательства о рекламе и платформенной занятости. Ключевая гипотеза состоит в том, что российский рынок находится в лиминальном (переходном) состоянии между эпохой любительского пользовательского контента (UGC) и полноценной профессионализацией создателей. Эмпирическую базу составили 24 глубинных интервью и ...
Добавлено: 28 сентября 2026 г.
Малинов А. В., Соловьевские исследования 2026 № 3 С. 131–148
Рассматриваются возможные направления встраивания истории русской философии в современную образовательную среду, ее место в культурной ситуации нашего времени и философии в целом. Отмечается, что в полной мере история русской философии как учебная дисциплина начала складываться только со второй половины XX в., а формирование сообщества историков русской философии завершилось лишь в первое десятилетие XXI в. Рассматривается ...
Добавлено: 25 сентября 2026 г.
Рупова Р. М., Богословский вестник 2023 № № 2 (49) С. 38–52
Поставленный Тертуллианом во II веке вопрос, что может быть общего между Афинами и Иерусалимом, в приложении к нашему времени может звучать так: что может быть об щего между Силиконовой долиной и Иерусалимом? В данном случае Силиконовая до лина — символ современной технотронной цивилизации. Автор статьи строит анало гию, основанную на том, что очевидная в начале ...
Добавлено: 25 сентября 2026 г.
Мерзенина А. С., Логос 2026 Т. 35 № 2 С. 73–102
В статье исследуется функционирование цифровой коммуникации в эпоху семиокапитализма (Франко Берарди) и гиперреализма (Жан Бодрийяр), а также ее влияние на психосоциальное положение современного субъекта (с опорой на психоанализ Жака Лакана). Обсессивный невроз, агрессивность и депрессия рассматриваются автором не просто как превалирующие в XXI веке психические состояния, но как особые типы взаимодействия субъекта со сферами Символического, ...
Добавлено: 21 сентября 2026 г.
Мерзенина А. С., Социологическое обозрение 2026 Т. 25 № 2 С. 206–242
В статье рассматривается проблема трансформации политической теологии, или политической онтотеологии, в эпоху позднего капитализма. Сначала автор анализирует специфику нигилизма в интерпретации Ницше и Хайдеггера, а затем переходит к рассмотрению эпистемологического, этического и политического релятивизма, общая суть которого состоит в нигилистическом отказе от единой ценностной картины мира. Далее делается вывод о том, что нигилизм является оплотом ...
Добавлено: 20 сентября 2026 г.
Shipovalova L., Филатова А. А., Социология власти 2026 Vol. 38 No. 1 P. 224–243
Добавлено: 18 сентября 2026 г.
Жигунов А. Ю., Patria 2026 Т. 3 № 3 С. 12–28
Исследование посвящено идентификации специфики гуманизма и милосердия как традиционных духовно-нравственных ценностей современной России. Особая роль указанных аксиологических установок и откровенно добродетельный характер позволяет предположить их доминирующую позицию. Избегая дискуссии о трактовке указанных категорий, автор предпринимает попытку идентифицировать реализацию добродетельных действий, которые могут быть классифицированы как проявления гуманного и милосердного поведения. В общественно-политическом пространстве обнаружен социальный ...
Добавлено: 17 сентября 2026 г.
Жукова О. А., Вопросы философии (Российская Федерация) 2026 № 8 С. 51–64
Статья представляет собой критико-философский анализ книги А.А. Кара-Мурзы «Избранные работы по русской философии, политике и культуре» (2024), содержащей статьи, посвященные философии российской истории. Эссе, очерки, мемуарно-биографические тексты, травелоги и философско-краеведческие исследования демонстрируют творческие интересы ученого, который обращается к различным сюжетам философской, политической и духовно-художественной культуры России, рассматривая массив ее исторического наследия с точки зрения цивилизационной ...
Добавлено: 17 сентября 2026 г.
Моисеев Г. В., Гуманитарные исследования в Восточной Сибири и на Дальнем Востоке 2026 № 2 (76) С. 58–68
Статья посвящена философскому анализу трансформации труда в условиях распространения технологий ИИ. Критикуя представления об ИИ как автономной и нейтральной технологии, ведущей к замещению человеческого труда, автор предлагает анализировать социальные последствия развития ИИ в контексте процессов автоматизации и общественного разделения труда. На основе марксистского анализа ИИ трактуется как машина нового типа – социотехническая инфраструктура, в которой ...
Добавлено: 17 сентября 2026 г.
Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Добавлено: 15 сентября 2026 г.
Ермоленко Г. А., Кожевников С. Б., Вестник Московского городского педагогического университета. Серия: Философские науки 2026 № 1(57) С. 9–18
В статье исследуется феномен социального капитала в контексте современных медиакоммуникаций и его взаимосвязь с явлением этики отмены (канселинга). Авторы изучают механизмы функционирования социального капитала в цифровом пространстве и его трансформации под влиянием практик канселинга. Методология исследования опирается на теоретические подходы к пониманию приро ды социального
капитала П. Бурдье, Ж. Бодрийяра, Н. Лумана, М. Кастельса. Статья содержит ...
Добавлено: 11 сентября 2026 г.
Филатова А. А., Эпистемология и философия науки 2026 Т. 63 № 2 С. 154–171
Развитие и активное внедрение искусственного интеллекта (да лее – ИИ), особенно в виде больших языковых моделей, вызвало новую волну дискуссий о семантических компетенциях техни ческих устройств и критериях оценки результатов их функцио нирования, в частности, сгенерированных текстов. В статье пред лагается рассмотреть ряд наиболее трудных вопросов и их представленность в современной философии языка. В первую ...
Добавлено: 10 сентября 2026 г.
Фауль Б. В., Эпистемология и философия науки 2026 Т. 63 № 2 С. 41–50
В статье предлагается критический анализ аргументации Константина Очеретяного, изложенной в эссе «Эпистемический нигилизм и экзистенциальный романтизм: знание в цифровую эпоху». Рассматриваются два предложенных автором сценария – технопессимистический и технооптимистический – и показывается, что вывод о трансформации статуса знания под влиянием искусственного интеллекта остается недостаточно обоснованным. Особое внимание уделяется критике тезиса о том, что когнитивное делегирование ...
Добавлено: 9 сентября 2026 г.
Малышкин Е. В., Логос 2024 Т. 34 № 6 (163) С. 217–232
В своих программных трудах Рене Декарт, помимо выстраивания впечатляющей метафизической системы, раз за разом раздает обещания счастья, которое непременно должно сопровождать занятия философией по новому образцу. В чем именно состоит это счастье и способна ли картезианская конструкция выполнить данное обещание? Для кого оно может наступить? Если относиться к этому обещанию всерьез, как к инструкции по ...
Добавлено: 8 сентября 2026 г.
Артамонова Е. А., Фирсов О. В., М.: НОРМА, ИНФРА-М, 2026.
В учебном пособии рассмотрены основы доказывания, изложены вопросы собирания, проверки и оценки доказательств, их использования в доказывании обстоятельств совершения преступления и виновности лица, раскрыто понятие предмета доказывания и содержание его элементов, соотношение предмета доказывания с пределами доказывания. Дано понятие доказательств, исследованы их свойства, классификация и значение. Освещены содержание отдельных видов (источников) доказательств и их значимость ...
Добавлено: 11 апреля 2026 г.
Зайцев И. В., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 20–25.
В статье осуществляется аксиоматизация собственных расширений базовой интуиционистской кондициональной логики IntCK, впервые сформулированной Г.К. Ольховиковым [6]: определяются интуиционистские варианты логик контрфактуалов Д. Льюиса [5], кондициональных логик Дж. Берджесса [1], Дж. Поллока [7], а также ряд более слабых расширений посредством аксиомных схем кондициональной рефлексивности и контрфактического варианта правила modus ponens. Указанные расширения являются сильно полными относительно ...
Добавлено: 23 ноября 2025 г.
Chaplygina S., Alexy V. Galatenko, Quasigroups and Related Systems 2024 Vol. 32 No. 2 P. 207–223
Добавлено: 29 декабря 2024 г.
Добавлено: 6 января 2022 г.
Якушева Е. Е., Lex Russica (Русский закон) 2021 № 8 С. 110–117
Статья посвящена трансформации информационной прозрачности российских эмитентов ценных бумаг после введения иностранными государствами и международными организациями санкций в отношении значительного числа российских компаний. В ответ на внешнеполитическое давление российское государство вполне закономерно предприняло ряд шагов по защите пострадавших от санкций отечественных компаний, в том числе предоставив значительные послабления в области раскрытия и представления ими информации. ...
Добавлено: 29 октября 2021 г.
Пиетаринен А. Ю., Bellucci F., Chiffi D., IfCoLoG Journal of Logics and their Applications 2021 Vol. 8 No. 2 P. 353–376
Добавлено: 22 апреля 2021 г.
Маклун Б. Б., Synthese 2020 P. 1–22
Добавлено: 1 октября 2020 г.
Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239–256
Добавлено: 1 июля 2020 г.