§ 6. Законы исключенного третьего и непротиворечия в неклассических логиках (многозначных, интуиционистской, конструктивных)

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

Ниже приведена таблица (см. с. 430), в которой знаком “ + ” обозначено то, что в указанной логической системе закон не­противоречия и закон исключенного третьего, т. е. формулы и , являются тавтологиями (или выводимыми фор­мулами), и соответственно знаком “ - ”, когда не являются. Рас­смотрено, кроме того, отрицание закона непротиворечия, выражающееся формулой , и отрицание закона исключенного третьего, выражающееся формулой . В этих формулах име­ется в виду та форма отрицания, которая принята в указанной логической системе.

В интуиционистской и конструктивных логиках закон исклю­ченного третьего для бесконечных множеств “ не работает ”. Осу­ществимость в конструктивной математике понимается как потенциальная осуществимость конструктивного процесса, даю­щего в результате один из членов дизъюнкции, который должен

429

истинным. Но так как для бесконечных множеств нет алгоритма распознавания, что является истинным: а или не-а, то конструк­тивная логика отвергает закон исключенного третьего в преде­лах конструктивной математики.

Итак, из таблицы видно, что формула a , соответствую­щая закону исключенного третьего, из рассмотренных 12 видов отрицания не является тавтологией, или доказуемой формулой, для 10 видов.

430

Специфика закона непротиворечия в неклассических логиках

В результате исследования 9 формализованных логических систем выявлено, что из 12 приведенных видов отрицания для 7 видов закон непротиворечия является тавтологией (или дока­зуемой формулой), для остальных же 5 закон непротиворечия тавтологией (доказуемой формулой) не является. По сравнению с законом исключенного третьего закон непротиворечия более устойчив.

Закон непротиворечия не является тавтологией во многих мно­гозначных логиках. В классической, интуиционистской и кон­структивных логиках закон непротиворечия, наоборот, признается неограниченно действующим. Причина в том, что в многознач­ных логиках число значений истинности может быть как конеч­ным (большим 2), так и бесконечным. В логических системах, в которых отражена жесткая ситуация, “или - или” (истина - ложь), закон непротиворечия и закон исключенного третьего -тавтологии. Но это предельные случаи в познании (истина или ложь). Если же в процессе познания мы еще не достигли исти­ны или еще не опровергли какое-либо утверждение (доказав его ложность), то нам приходится оперировать не истинными или ложными, а неопределенными суждениями.

Классическая двузначная логика должна быть дополнена мно­гозначными логиками, в частности бесконечнозначной логикой, которая применима в процессе рассуждения об объектах, отража­емых в понятиях с нефиксированным объемом, и бесконечное число значений истинности которой лежит в интервале от 1 до 0. Совсем другие ситуации в познании отражены в конструктив­ных и интуиционистской логиках: конструктивный процесс или имеется (осуществляется), или его нет, но то и другое не может иметь места одновременно по отношению к одному и тому же кон­структивному объекту или процессу, поэтому закон непротиворе­чия в этих логиках действует неограниченно. В конструктивных логиках приняты абстракции, отличные от тех, которые приняты в многозначных логиках. В конструктивных и интуиционистской логиках принимаются лишь два знамения истинности - истина и

431

ложь, доказуемо (выводимо) или недоказуемо (невыводимо), поэ­тому закон непротиворечия - выводимая формула.

Однако независимо от того, является ли закон непротиворе­чия в той или иной логической системе тавтологией или не яв­ляется, сами логические системы строятся непротиворечиво:

иными словами, метатеория (металогика) построения форма­лизованных систем подчиняется закону непротиворечия, иначе такие системы были бы бесполезными, так как в них было бы выводимо все что угодно - как истина, так и ложь.

Очень важным в гносеологическом и логическом плане резуль­татом является то, что закон непротиворечия и закон исключен­ного третьего нельзя опровергнуть, так как отрицание этих зако­нов ни в одной из известных форм, ни в одной из исследованных автором 18 логических системах не является тавтологией (или выводимой, доказуемой формулой), что свидетельствует об их фундаментальной роли в познании. Закон непротиворечия - один из основных законов правильного человеческого мышления - ус­тойчив, его нельзя опровергнуть и заменить другим, в противном случае стерлось бы различие в познании между истиной как его целью и ложью.

Многообразие логических систем свидетельствует о развитии науки логики в целом и ее составных частей, в том числе теории основных фундаментальных формально-логических законов - за­кона непротиворечия и закона исключенного третьего.