Этапы развития логики как науки и основные направления современной символической логики (стр. 16 из 16)

Закон непротиворечия утверждает, что два противоположных суждения не могут быть истинными в одно и то же время и в одном и том же отношении. Но в разное время они могут быть оба истинными. Аристотель писал: “Все изменяющееся необходимо должно быть делимым... необходимо, чтобы часть изменяющегося предмета находилась в одном (состоянии), часть - в другом, так как невозможно сразу быть в обоих или ни в одном”'.

Вследствие неопределенности интервалов и неопределенности состояний изменяющегося предмета предполагается временная интервальная Паранепротиворечивая семантика, допускающая истинность как высказывания А, так и не-А. Кроме временных интервалов с переходными состояниями, наше мышление имеет дело с так называемыми нечеткими понятиями (нежесткими, расплывчатыми, размытыми –fuzzy), отражающими нежесткие множества, концепция которых предложена в 1965 г. американским математиком Л. Заде2. Все это обусловило необходимость и возможность появления паранепротиворечивых логик (paraconsistent logics) -логических исчислений, которые могут лежать в основе противоречивых формальных теорий. Противоречивые данные возникают на судебных заседаниях, в дискуссиях, полемике, при постановке диагноза болезни, в научных теориях (прежних и новых), в ситуациях, связанных с решением нравственных проблем, в других сферах интеллектуальной деятельности. В связи с этим встала проблема создания информационной системы, работающей с противоречивыми данными.

Предшественниками паранепротиворечивой логики как нового вида неклассичесиой формальной логики явились логики Н. А. Васильева и Я. Лукасевича. Как новый вид математической логики паранепротиворечивая логика разрабатывалась в работах польского логика Ст. Яськовского (1948) и бразильского математика Ньютона да Коста (начиная с 1958 г.) История паранепротиворечивой логики изложена бразильским логиком А. И. Аррудой в работе “Обзор паранепротиворечивой логики. Математическая логика в Латинской Америке”'.

В паранепротиворечивых системах принцип (закон) непротиворечия лишен всеобщей значимости. Логике не присущи ни единство, ни абсолютность - эту мысль мы встречаем у многих современных логиков, в том числе у Н. да Косты. В статье, написанной специально для журнала “Философские науки”, “Философское значение паранепротиворечивой логики” Н. да Коста пишет: “Допустим, что имеющийся у нас язык дедуктивной теории Т содержит в себе символ отрицания. Т называют противоречивой (inconsistent) теорией, если и только если в Т имеются две теоремы, одна из которых есть отрицание другой; в противоположном случае Т считается непротиворечивой (consistent). Т считают тривиальной, если и только если все формулы (или все высказывания [sentences]) языка Т являются также теоремами Т; в противном случае мы называем Т нетривиальной... Система логики паранепротиворечива, если она может быть использована как логика, лежащая в основе противоречивых, но нетривиальных теорий”2. Н. да Коста полагает, что вместо стандартных теорий множеств могут быть использованы паранепротиворечивые теории множеств. Система паранепротиворечивой логики в общем случае должна удовлетворять следующим условиям:

1) из двух противоречащих формул А и u А в общем случае нельзя вывести произвольную формулу В;

2) дедуктивные средства классической логики должны быть максимально сохранены, поскольку они - основа всех обычных рассуждений. В первую очередь должен быть сохранен modus poaens, т. е. рассуждение по формуле ((а > b)^ а) > b.

Паранепротиворечивая логика связана со многими видами неклассических логик: с модальной логикой (системой S5 К. И. Льюиса), с многозначными логиками, с релевантной логикой, где тоже не принимается принцип: из противоречия следует все, что угодно'. Исследование многозначных логик показало, что закон непротиворечия, т. е. формула

, не является тавтологией в следующих системах: трехзначных логиках - Я. Лукасевича, Г. Рейхенбаха (для циклического и диаметрального отрицаний), Р. П. Гудстейна, Д. Бочвара (для внутреннего отрицания); т-значной логике Э. Л. Поста. Автор этого учебника исследовала 13 формализованных логических систем с 17 имеющимися в них видами отрицания и установила, что для 10 видов закон непротиворечия является тавтологией (доказуемой формулой), а для остальных 7 нет. Это обусловлено тем, что, кроме значений истинности - “истина” и “ложь”, в многозначных логиках имеется значение “неопределенно”. Но в классической, конструктивных и интуиционистской логиках от закона непротиворечия нельзя отказаться, ибо в этих логиках отражены жесткие ситуации “или - или” (“истина - ложь”), конструктивный процесс присутствует или его нет, одновременно того и другого не бывает. Поэтому классическая, интуиционистская, конструктивная и ряд других логик не годятся в качестве логик, которые могут быть основанием противоречивых, но нетривиальных теорий. Положительные логики также для этого не годятся, ибо в них нет операции отрицания. Некоторое современные логики (например, немецкий логик К. Вессель) не признают паранепротиворечивых логик. Построением паранепротиворечивых логических систем занимаются, однако, отечественные логики А. С. Карпенко, А. Т. Ишмурагов и др.

Интересны и оригинальны статьи американского математика Н. Белнапа “Как нужно рассуждать компьютеру” (1976) и “Об одной полезной четырехзначной логике” (1976), посвященные формализации общения с информационными системами, в которых содержится противоречивая информация. Белнап построил четырехзначную логику, значениями истинности которой являются следующие: Т - “говорит только Истину”; F - “говорит только Ложь”; None - “Не говорит ни Истины, ни Лжи”; Both -“говорит и Истину, и Ложь”'. Н. Белнап отмечает, что входные данные поступают в компьютер из нескольких независимых источников, и в таких условиях проявляется типичная особенность информационной ситуации - угроза противоречивости информации. Что в таком случае должен делать компьютер, особенно если в системе содержится необнаруженное противоречие? Свою четырехзначную логику Белнап и предлагает в качестве практического руководства в рассуждениях2.

Итак, паранепротиворечивые логики демонстрируют возможность наличия очень сильных противоречивых, но нетривиальных (т. е. паранепротиворечивых) теорий.