?
Отмеченное субординатное натуральное исчисление для базовой интуиционистской кондициональной логики
Логические исследования. 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исчисление естественного выводаконтрфактуалыусловная логикаметкиотмеченные формулыреляционные атомыбиреляционная семантика Крипкесемантическая полнотадедуктивная эквивалентность
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Морозов Д. А., Вестник Православного Свято-Тихоновского гуманитарного университета. Серия 1: Богословие. Философия. Религиоведение 2026 № 124 С. 45–58
Статья посвящена анализу понятия «эстетический гуманизм» (ЭГ) в работах В. В. Зеньковского. В его оригинальной концепции ЭГ воспринимается в качестве основного принципа русского секуляризма. Центральное место в статье занимает предложенная Зеньковским историко-философская диалектика, ключом к которой выступает преодоление ЭГ — «духовной болезни» западного происхождения, поразившей русскую интеллигенцию. В данном контексте реконструируется историческая линия развития ЭГ, ...
Добавлено: 14 мая 2026 г.
Балашов Д. В., Антиномии 2026 Т. 26 № 1 С. 27–48
Движение эффективного альтруизма, набравшее популярность в начале XXI в., является одной из новых форм философии утилитаризма, оказавшей сильное влияние на англо-американскую философию в XIX–XX вв. Одним из отличительных признаков эффективного альтруизма является его практическая ориентированность. Движение позиционирует себя как то, что способно оказать влияние на окружающий мир и изменить его к лучшему. Для этого требуется ...
Добавлено: 13 мая 2026 г.
Балашов Д. В., Человек 2026 Т. 37 № 2 С. 135–150
Одним из наиболее обсуждаемых в науке и философии подходов к пониманию морали в последние годы стала социально-интуитивистская концепция морали американского психолога Джонатана Хайдта. Автор создал сложную концепцию, состоящую из нескольких больших частей, логически связанных друг с другом, каждая из которых заслуживает отдельного внимания. Первая часть — это тезис о том, что определяющую роль в моральном ...
Добавлено: 13 мая 2026 г.
Руткевич А. М., Вопросы философии 2026 № 5 С. 128–140
В академическом сообществе Пьер Манан известен как историк политиче
ской мысли, но почти половину его сочинений составляют книги по поли
тической философии и философии права. Практически все они переведе
ны на английский язык, в США он даже более известен и влиятелен, чем
во Франции. Его политические воззрения обычно относят к консервативно
му либерализму, а выступления перед широкой аудиторией характеризуют
ся как ...
Добавлено: 6 мая 2026 г.
Вишняков Д. А., Эпистемология и философия науки 2026 Т. 63 № 1 С. 70–86
Статья посвящена феномену «коллективистского поворота» - комплексному сдвигу в методологии и концептуальном аппарате философии науки. «Коллективистский поворот» обозначает сложившуюся в гуманитарных науках тенденцию к изучению деятельности коллективных агентов, возникшую в результате двух поворотов: социального и практического. Первый из них является результатом интервенции социологов и социальных ученых в вопросы научного познания, благодаря которому возникли различные направления ...
Добавлено: 4 мая 2026 г.
Переплеткин А. В., Гуманитарные исследования в Восточной Сибири и на Дальнем Востоке 2024 № 3 С. 94–102
В статье рассматриваются особенности подхода раннего Ф.В.Й. Шеллинга к пониманию субъекта на основе его работы «Система трансцендентального идеализма». Автор акцентирует внимание на конститутивной роли кантовского трансцендентального идеала в формировании шеллинговской концепции, а также на его связи с идеальной и реальной деятельностями. Далее рассматривается, каким образом кантовское же трансцендентальное единство апперцепции соотносится Ф.В.Й. Шеллингом с этими ...
Добавлено: 29 апреля 2026 г.
Переплеткин А. В., Кантовский сборник 2025 Т. 44 № 2 С. 36–60
Предложена реконструкция связи концепции системы философии как «истории самосознания», выдвинутой Ф. В. Й. Шеллингом в трактате «Система трансцендентального идеализма» (1800), с одним из ключевых элементов кантовской критической философии — учением о трансцендентальном идеале. Разграничивая в «Системе…» три значения термина «история», автор сосредоточивает внимание на наиболее широком из них, характеризующем всю систему в целом и выраженном ...
Добавлено: 29 апреля 2026 г.
Павлов И. И., Метаморфозис 2026 Т. 10 № 3 С. 10–24
В статье ставится вопрос о том, каким образом наследие Татьяны Юрьевны Сидориной, посвященное не только разным темам (от музыки и техники до проблем сферы труда и государства всеобщего благосостояния), но и различным областям (от экономической социологии и социальной теории до философии и культурных проектов), может быть воспринято как целостная система мысли и мировосприятия. Для этого ...
Добавлено: 29 апреля 2026 г.
Шмитт К., М.: Ад Маргинем Пресс, 2026.
В этом тексте немецкий философ, правовед и политический теоретик Карл Шмитт (1888–1985) предстает в непривычном амплуа. Книга «Гамлет или Гекуба» возникла из семинара, организованного для небольшого круга учеников, и увидела свет в 1956 году. Шмитт погружается в эпоху Шекспира, анализируя политическую обстановку елизаветинской Англии и фигуру короля Якова I Стюарта, чтобы разгадать тайну самого странного и нетипичного мстителя в мировой литературе, павшего жертвой собственной нерешительности. В рассуждение о гамлетовской ...
Добавлено: 27 апреля 2026 г.
Ефанов А. А., Человек 2026 Т. 37 № 2 С. 67–82
В статье посредством обращения к наиболее резонансным кейсам представляются практики использования технологии дипфейк в современных аудиовизуальных медиа (телевидение, кино, интернет). На базе результатов проведенных автором полуструктурированных интервью экспертов (n = 15) – аналитиков медиакоммуникаций, а также с помощью методов кейс-стади и социокультурного моделирования выявляются этические рестрикции подобных аудиовизуальных решений. Теоретико-методологическая основа исследования опирается на концепцию ...
Добавлено: 23 апреля 2026 г.
Харитонов Т. И., Философические письма. Русско-европейский диалог 2026 Т. 9 № 1 С. 69–87
В статье реконструируется теория общественного договора А. Н. Радищева на основе широкого круга его текстов — от художественных произведений до заметок и правовых проектов. Показано, что радищевская модель сочетает локковскую защиту естественных прав с акцентом на собственность и руссоистские идеи критики неравенства и соборной воли народа, отстаивая при этом монархическую форму правления без разделения ветвей ...
Добавлено: 22 апреля 2026 г.
Жигунов А. Ю., Оводова С. Н., Вестник Томского государственного университета. Философия. Социология. Политология 2022 № 66 С. 100–110
Выявляются установки метамодернизма, определяется их влияние на современную теорию и философию культуры, а также на художественную культуру. Данная система установок метамодернизма апробирована в процессе анализа произведений культуры. Определено, что наиболее наглядно реализацию установок метамодернизма можно наблюдать в нарративных произведениях: фильмах, литературных текстах, перформансах, инсталляциях, театральных постановках ...
Добавлено: 20 апреля 2026 г.
Жигунов А. Ю., Patria 2025 Т. 2 № 2(6) С. 26–36
В год 80-летия Победы рефлексии подвергаются смыслы, обеспечивающие доминирующее положение празднования этой значимой для России и всего мира даты в общей системе памятных событий. В статье в междисциплинарном ключе на материале интернет-текстов рассматриваются особенности репрезентации образа героя Великой Отечественной войны в современном массовом (медиа- и политическом) дискурсе — ключевом способе трансляции и формирования массового представления ...
Добавлено: 19 апреля 2026 г.
Жигунов А. Ю., / Basic Research Programme. Серия HUM "Humanities". 2026. № 1.
В статье предпринимается попытка описания образовательного и воспитательного потенциала современной российской анимации в аспекте формирования представлений молодого поколения о традиционных российских ценностях. С опорой на медиа- и семиотический анализ, метод культурно-исторической интерпретации рассмотрены анимационные российские проекты, созданные с 2000 года по 2025 гг., находившиеся в прокате в эфире телевизионных каналов либо стриминговых сервисов с большой ...
Добавлено: 19 апреля 2026 г.
Lepskiy V., Малахова Е. В., Systems Research and Behavioral Science 2023 Vol. 40 No. 2 P. 381–392
Добавлено: 19 апреля 2026 г.
Карпенко И. А., Эпистемология и философия науки 2026 Т. 63 № 1 С. 141–158
В статье анализируются основные интерпретации квантовой механики с точки зрения оригинальной трактовки информационного реализма. Показывается, что они могут быть объединены в рамках информационной онтологии, в которой фундаментальными становятся информационные инварианты квантовых ограничений, общие для всех эмпирически эквивалентных интерпретаций квантовой механики. Предлагается различать два информационных слоя: эпистемическая информация (данные измерений и обновление знаний на их основе) ...
Добавлено: 18 апреля 2026 г.
М.: ИВИ РАН, 2026.
Выпуск содержит статьи участников XXXVIII Чтений па мяти чл.-корр. АН СССР В.Т. Пашуто, посвященных формам «проявления» будущего в настоящем; месту и роли «будущего в настоящем» в литературном тексте; жанровым особенностям «текстов о будущем»; влиянию предсказаний на реальное бу дущее; социокультурному значению «будущего в настоящем». Эта проблематика раскрывается на материале европейских и азиатских обществ Древности и ...
Добавлено: 17 апреля 2026 г.
Малявин В. В., Вопросы философии 2026 № 5 С. 152–163
В статье анализируются основы традиционной китайской методологии познания и ее последствия для истории и внешней политики Китая. Как указывает автор, исходным пунктом китайской теории знания был динамизм самой жизни, «текущий момент» с сопутствующей ему потенциально бесконечно сложной ситуацией, в которой вещи соскальзывают в нюансы и охватывают друг друга, создавая множество разъединяющих синтезов. Логика этого процесса ...
Добавлено: 15 апреля 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 г.