Александр Ивин - По законам логики

Но когда множество бесконечно, то объекты его невозможно перебрать. Если в процессе перебора будет найден объект с требуемым свойством, первое из указанных утверждений подтвердится. Но если найти этот объект не удастся, ни о первом, ни о втором из утверждений нельзя ничего сказать, поскольку перебор не проведен до конца. Закон исключенного третьего здесь не действует: ни утверждение о существовании объекта с заданным свойством, ни отрицание этого утверждения не является истинным.

Ограничение Л. Брауэром сферы действия этого закона существенно сужало круг тех способов рассуждения, которые применимы в математике. Это сразу же вызвало резкую оппозицию многих математиков, особенно старшего поколения. «Изъять из математики принцип исключенного третьего, — писал немецкий математик Д. Гильберт, — все равно что… запретить боксеру пользоваться кулаками».

Критика Л. Брауэром закона исключенного третьего привела к созданию нового направления в логике — интуиционистской логики. В последней не принимается этот закон и отбрасываются все те способы рассуждения, которые с ним связаны. Среди них — доказательства путем приведения к противоречию, или абсурду.

Интересно отметить, что еще до Л. Брауэра сомнения в универсальной приложимости закона исключенного третьего высказывал русский философ и логик Н. Васильев. Он ставил своей задачей построение такой системы логики, в которой была бы ограничена не только сфера действия этого закона, но и закона противоречия. По мысли И. Васильева, подобным образом ограниченная логика не способна действовать в мире обычных вещей, но она необходима для более глубокого понимания логического учения Аристотеля.

Современники не смогли в должной мере оценить казавшиеся им парадоксальными идеи Н. Васильева. К тому же сам он склонен был обосновывать свои взгляды с помощью аргументов, не имеющих прямого отношения к логике и правилам логической техники, а иногда и просто путано. Тем не менее, оглядываясь назад, можно сказать, что он оказался одним из предшественников интуиционистской логики.

Тезис об ограниченности закона исключенного третьего отстаивался в начале этого века и русским математиком С. Шатуновским, исходившим в своих рассуждениях из тщательного изучения особенностей доказательств в математике и своеобразия операций с бесконечными множествами. Он писал, в частности, что «применение логического закона исключенного третьего не только к элементам бесконечного многообразия, но и к элементам конечного класса требует чрезвычайной осторожности и иногда может быть оправдано только после длинного ряда исследований».

В дальнейшем идеи, касающиеся ограниченной приложимости закона исключенного третьего и связанных с ним способов математического доказательства, были детально развиты советскими математиками А. Колмогоровым, В. Гливенко, А. Марковым, Н. Шаниным, А. Драгалиным и др. В результате критического переосмысления основных принципов интуиционистской логики возникла так называемая конструктивная логика, также считающая неправильным перенос ряда логических принципов, применимых в рассуждениях о конечных множествах, на область бесконечных множеств.

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

Внешне он самый простой из всех законов. Он говорит: если высказывание истинно, то оно истинно. Или: если А, то А. Раньше его передавали в форме: А = А.

К примеру: «Если трава зеленая, то она зеленая», «Если трава черная, то она черная» и т. д.

Этот закон выражает идею, что каждое высказывание является и необходимым и достаточным условием своей собственной истинности.

В прошлом веке получила широкое распространение концепция «расширенной» формальной логики. Ее сторонники резко сдвинули центр тяжести логических исследований с изучения правильных способов рассуждения на разработку проблем теории познания, причинности, индукции и т. д. В логику были введены темы, интересные и важные сами по себе, но не имеющие к ней прямого отношения. Собственно логическая проблематика отошла на задний план. Вытеснившие ее методологические проблемы трактовались, как правило, упрощенно, без учета динамики научного познания,

Характерным примером такой «расширенной» трактовки была «Логика» английского логика Д. Милля. Еще при жизни автора эта книга выдержала восемь изданий, не без интереса она читается и сейчас. Общая ее направленность хорошо видна из полного ее названия:

«Система логики рациональной и индуктивной, в связи с принципами очевидности и методами научного познания». Широкой известностью пользовались также книги по логике немецких логиков В. Вундта, X. Зигварта, Л. Лотце. «Логика» В. Вундта состояла из трех толстых томов, «Логика» X. Зигварта — из двух. Последняя, как и книга Д. С. Милля, была переведена на русский язык и оказала большое влияние на распространение идей «расширенной» логики в России.

С развитием математической логики это направление в логике, путающее ее с поверхностно понятой методологией и пронизанное психологизмом, постепенно захирело.

Одним из отголосков идей «расширенной» логики является, в частности, разговор о так называемых «основных» законах мышления, или «основных» законах логики.

Согласно этой «широкой» трактовке логики основные законы — это наиболее очевидные из всех утверждений логики, являющиеся чем-то вроде аксиом этой науки. Они образуют как бы фундамент логики, на который опирается все ее здание. Сами же они ниоткуда не выводимы, да и не требуют никакой опоры в силу своей исключительной очевидности.

Под это до крайности расплывчатое понятие основных законов можно было подвести самые разнородные идеи. Обычно к таким законам относили закон противоречия, закон исключенного третьего и закон тождества. Нередко к ним добавляли еще закон достаточного основания и принцип «обо всех и ни об одному

Согласно последнему принципу сказанное обо всех предметах какого-то рода верно и о некоторых из них, и о каждом в отдельности; неприложимое ко всем предметам неверно также в отношении некоторых и отдельных из них.

Действительно, это так. Но совершенно непонятно, какое отношение имеет эта истина к основаниям логики. В современной логике это один из бесконечного множества ее законов.

Закон достаточного основания вообще не является принципом логики — ни основным, ни второстепенным. Он требует, чтобы ничто не принималось просто так, на веру. В случае каждого утверждения следует указывать основания, в силу которых оно считается истинным. Разумеется, это никакой не закон логики. Скорее всего это некоторый методологический принцип, не особенно ясный, но в общем небесполезный.