Жар холодных числ и пафос бесстрастной логики

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

Итак, заминка была в выразительных средствах. Но не могла ли логика поискать их где-то вне математики?

Да, такой путь существовал, и опробован он был очень давно.

2. МЕХАНИЧЕСКОЕ РАССУЖДЕНИЕ

Вспомним еще раз, какие черты характеризуют логику как специфический элемент мышления и языка.

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

Далее, схемы (формы, правила) логики имеют отношение не ко всяким выражениям языка (и этим логика отличается от грамматики, орфографии или синтаксиса), а только к тем, которые представляют собой особые языково-мыслительные конструкции — такие, как описательные выражения (дескрипции), обозначающие индивидуальные предметы (примером может служить выражение «Воспитатель Александра Великого и ученик Платона», обозначающее Аристотеля); понятия, задающие классы предметов; суждения (высказывания), могущие содержать истинное знание либо неверно информировать о чем-то (ложь); умозаключения, представляющие собой правила логического перехода от одних (верных) суждений к другим; доказательства — более сложные конструкции, состоящие из суждений и умозаключений и нацеленные на обоснование истинности суждений, и ряд других. Для связи между этими конструкциями используются специальные «логические» слова типа «или», «и», «не» («неверно, что»), «если ..., то», «все», «некоторые», «следовательно» и многие другие. Центр тяжести при этом лежит в выведении одних (истинных) суждений, называемых заключениями (следствиями) из других, называемых посылками.

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

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

В истории человеческой мысли было немало попыток умалить значение логики. Да и в XX столетии бушуют споры вокруг вопроса о значении логических принципов. В начале нашего века выдающиеся математики Л. Брауэр и Г. Вейль открыто выступили против классической — восходящей к Аристотелю — логики как базы математики (об этом подробнее мы скажем дальше); в наши дни имеется немало представителей точных наук (в основном физиков), которые требуют коренной переделки классической логики и ждут от этого революционных достижений в естествознании. Нет единой оценки основного свойства логики — ее формальности; нет и единого мнения относительно происхождения этого свойства; но текут века, кипят споры и страсти, а слепой механизм логики «существует, и ни зуб ногой».