Современная логика

В середине XIX века ирландский математик Д. Буль истолковал умозаключение как результат решения логических равенств. В результате теория умозаключения приняла вид своеобразной алгебры, отличающейся от обычной алгебры лишь отсутствием численных коэффициентов и степеней. С работ немецкого логика Г. Фреге начинается применение логики для исследования оснований математики. Значительный вклад в развитие логики в дальнейшем внесли английские философы и логики Б. Рассел, А. Н. Уайтхед, немецкий математик Д. Гильберт и др. В 30-е годы фундаментальные результаты получили К. Гёдель, А. Тарский, А. Чёрч.

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

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

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

Экстенсивный рост логики не завершился и сейчас. Из числа зарубежных логиков, творчество которых оказало особенно заметное влияние на развитие современной логики в последние десятилетия, следует упомянуть У. Куайна, Г. Х. фон Вригта, Д. Дэвидсона, С. Крипке, Я. Хинтикку, Н. Решера и др.

Развитие логики в России

В России почти всегда были люди, стоявшие на уровне достижений логики своего времени и внесшие в ее развитие определенный вклад. История отечественной логики не богата, однако, именами.

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

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

Не случайно М. М. Бахтин, всегда считавший себя философом и тяготевший, по его собственному признанию, к Марбургской школе неокантианства, называл отечественную философию конца XIX – начала XX вв. «мыслительством», которому еще предстояло подняться до уровня систематической и современной философии.

Судьба тех немногих русских ученых, находившихся на уровне достижений логики своего времени, чаще всего была незавидной. Сдержанное отношение к математической логике, разделявшееся даже многими русскими математиками, во многом осложнило творчество специалиста в области алгебры логики П. С. Порецкого. Он первым начал читать в России лекции по математической логике, но многие свои работы вынужден был публиковать за рубежом. Физик П. Эренфест еще в 1910 г. высказал гипотезу о возможности применения современной логики в науке и технике. В дальнейшем его гипотеза нашла воплощение в электронно-вычислительной технике.

Классическая логика подходит к противоречию несколько прямолинейно. Согласно одному из ее законов, из логически противоречивого высказывания следует все, что угодно. Это означает, что противоречие запрещается под угрозой разрушения теории. Однако никто реально не пользуется этим разрешением выводить из противоречий все, что попало. Практика научных рассуждений резко расходится в данном пункте с логической теорией. В качестве реакции на это рассогласование с конца 40-х гг. ХХ века начали разрабатываться различные варианты паранепротиворечивой логики. Она исключает возможность выводить из противоречия любые утверждения, так что противоречие перестает быть смертельной угрозой, нависшей над теорией. Этим не устраняется, конечно, принципиальная необходимость избавляться от противоречий в процессе дальнейшего развития теории. Одним из первых, в 1909 г., сомнения в неограниченной приложимости закона противоречия высказал Н. А. Васильев, только что вернувшийся после обучения в Геттингене. Он считал нужным ограничить также действие закона исключенного третьего, и в этом смысле явился одним из идейных предшественников интуиционистской логики.