Паранепротиворечивые логики как способ выражения в науке объективных противоречий

В центре внимания статьи находятся проблемы, связанные с необходимостью выражения в языке науки непротиворечивым образом движения и различного рода изменений, происходящих в объективном мире, с помощью разработки логик, которые были бы терпимыми к логическим противоречиям. В работе представлена краткая история создания паранепротиворечивых (параконсистентных) логик, в которых логические противоречия оказывались вполне допустимыми. Отмечается, что приоритет в их разработке принадлежит российским ученым Н. А. Васильеву и И. Е. Орлову, а также польским философам и логикам Я. Лукасевичу и С. Яськовскому; что с семидесятых годов прошлого столетия развитие параконсистентных логик приняло международный характер; что интерес к этим логикам не стихает и в настоящее время. Обсуждаются возможности использования параконсистентных логик, представленных в работах зарубежных и отечественных философов и логиков, для формализации диалектики. Показывается позитивная роль этих логик в решении многих парадоксов в основаниях классического пропозиционального исчисления и логики предикатов, а также в целях ограничения нежелательных последствий при использовании IT-технологий, связанных с обработкой несогласующейся или противоречивой информации. Делается вывод о том, что использование паранепротиворечивых логик при построении моделей отдельных фрагментов диалектики способствует её развитию как логики и как онтологии, и свидетельствует о том, что аппарат неклассических логик в целом является весьма мощным средством изучения и объяснения многих проблем теоретического познания в целом.

диалектика, диалектическая временная логика, логика изменения, наука, парадокс, параконсистентность, паранепротиворечивая логика, релевантная логика, логическое противоречие, объективное противоречие