Николай Александрович Васильев (1880—1940) - [39]

Общенаучное значение современной логики поднялось на новую ступень потому, что процесс математизации в XX в. является отличительной чертой научного познания, а современная логика, по сути дела, есть логика математическая ^{2}. В той мере, в какой справедливо утверждение английского физика и историка науки Д. Уизема, что «математика — не что иное, как высшее развитие символической логики» (цит. по: [72, с. 202]), благодаря математизации современного научного знания сократилось и продолжает сокращаться «расстояние» между логикой и наукой (точнее, наукой за вычетом логики). Всеобщая компьютеризация — следствие и, пожалуй, наиболее общезначимый пример этого процесса.

Современная наука характеризуется еще одной особенностью, которая, впрочем, также тесно связана с математизацией научного знания, — интенсивным возникновением теоретических систем, которые обычно именуются неклассическими. Рождение неклассической науки восходит, по-видимому, к рождению неевклидовой геометрии. В настоящее время неклассическая наука в сфере математики и математического естествознания обогатилась неканторовой теорией множеств, неархимедовым (нестандартным) анализом, не говоря о неклассической — квантовой — физике, термодинамике и статистической физике неравновесных процессов, нелокальной теории поля и т. д. Теории и концепции неклассического содержания бурно возникали и в логике, причем логика вслед за геометрией оказалась одной из первых наук, которой коснулись неклассические тенденции. Это выразилось в создании неклассических логических систем, которые базируются либо на иных, нежели классические, принципах, либо обладают языками с более богатыми выразительными возможностями, либо покрываются другими семантиками, либо им присущи все или часть указанных свойств [55].

Неклассические логики могут строиться с целью расширить дедуктивные и выразительные возможности классической логики. Модальные логики, языки которых оснащены специальными операторами для выражения категорий возможности, необходимости, долженствования, запрещения, временного порядка и т. д., дополняют классическую логику. Неклассические логики также строятся как альтернативные системы к классическим — системы, например, свободные от тех или иных основополагающих принципов и (или) норм доказательности, которые присущи классическим системам и в справедливости которых ученые могли усомниться в процессе своей исследовательской практики. Альтернативные логики по замыслу их сторонников призваны превзойти в тех или иных отношениях классические или даже заменить их. Такого рода логиками являются интуиционистские, релевантные и паранепротиворечивые логики [55, с. 115].

Релевантные логики совершенствуют классическое понятие логического следования, главная особенность которого состоит в требовании истинности заключения при данных истинных посылках. Релевантное понятие логического следования прибавляет к этому требованию еще требование связи посылок и заключения по содержанию. Поэтому в релевантных логиках удается избежать парадокса материальной импликации (подробнее о релевантных логиках см.: [85]).

Интуиционистская (а также близкородственная ей конструктивистская) логика строится путем отказа от ряда важнейших положений классической логики — закона исключенного третьего и снятия двойного отрицания. Отвергая ряд коренных абстракций классической математики и логики, интуиционистская логика ориентирована на проведение алгоритмических процедур, свойственных точному конструктивному рассуждению" [52].

Паранепротиворечивые логики, пожалуй, самый необычный, даже можно с уверенностью сказать — революционный, класс логик. Революционный потому, что в них отвергается стержневой принцип классической логики, математики и классической науки в целом — принцип непротиворечивости теоретических систем, закрепленный в законе противоречия, прерогатива формулировки которого принадлежит аристотелевой логике (см.: [44]). Недопустимость двух утверждений в рамках одной системы, одно из которых является отрицанием другого, — даже не идеал, а норма любой, включая прежде всего, конечно, логику и математику, классической системы знания (и, строго говоря, некоторых относимых к неклассическим, например интуиционистских, теорий). Если система противоречива, to она тривиальна, т. е. в ней всякая формула является теоремой, в ней выводимо «все что угодно» — вот логико-методологическая установка классической науки, положение аристотелевой логики, которое образно можно назвать хребтом (основой) ее сложного организма. Действительно, для классических систем свойства противоречивости и тривиальности совпадают и, стало быть, противоречивые системы автоматически выталкиваются за пределы классической науки, чтобы быть при необходимости переформулированными в непротиворечивом виде. Так, противоречивой была (наивная) теория множеств Г. Кантора, но известные аксиоматики теории множеств (Цермело-Френкеля, Геделя и т. д.) уже, надо думать, непротиворечивы^{3}.

В 1950—1960 гг. выяснилось, что вполне возможно создание противоречивых, но в то же время нетривиальных систем, таких систем, в которых допустимы противоречивые теоремы, выраженные в форме закона противоречия. Они были названы паранепротиворечивыми (1976 г.).