Доклад «Подходы в интерпретации отрицания в паранепротиворечивых логиках», 4 декабря 2025 г.

Подходы в интерпретации отрицания в паранепротиворечивых логиках

А.С. Пиманов, младший научный сотрудник Института философии РАН; И.Ю. Слюсарев, младший научный сотрудник Института философии РАН

В рамках доклада ставится вопрос о проблемах интерпретации понятия паранепротиворечивости в современной неклассической логике. Предлагается системный анализ современных подходов к интерпретации паранепротиворечивой логики с последующим выводом синтетической концепции. Рассматривается развитие и становление значимых систем паранепротиворечивой логики — от ранних разработок Колмогорова и Йохансона до современных логик Приста (LP) и да Косты (Cn). Особое внимание уделяется двум ключевым интерпретациям противоречия: динамической, трактующей отрицание как индикатор изменения и развития объекта, и метафизической, связанной с признанием истинности противоречий в рамках диалетеизма. Как итог предлагается использовать логику dCP, которая позволяет совместить оба подхода за счёт гибкой семантики отрицания. На основе этого разрабатывается оригинальная концепция «динамического диалетеизма», предполагающая построение модально-предикатного расширения dCP с динамической модальностью. Данный подход открывает новые перспективы для логического моделирования научных дискуссий, анализа интенсиональных контекстов и применения в областях искусственного интеллекта, требующих работы с противоречивой информацией без тривиализации вывода.