В дополнение к правилу (3), нам понадобится еще одно правило, которое я назвал “правилом косвенной редукции” (поскольку в классической теории силлогизма оно имплицитно используется для косвенного сведения “несовершенных” фигур к первой, или “совершенной”, фигуре). Предположим, имеется общезначимый силлогизм:
(а) Все люди смертны.
(b) Все афиняне люди.
(с) Все афиняне смертны.
Тогда правило косвенной редукции гласит:
Например, в силу общезначимости вывода (с) из посылок (а) и (b) силлогизм
(а) Все люди смертны (не-с)
Некоторые афиняне не смертны (не-b)
Некоторые афиняне — не люди также должен быть общезначимым.
Правило, которое мы будем использовать как незначительное видоизменение только что сформулированного правила, следующее:
Правило (5) может быть получено, например, из правила (4) вместе с законом двойного отрицания, согласно которому из не-не-b можно вывести b. Однако если (5) значимо для любого высказывания а, b, с (и значимо только при этом условии), тогда оно должно быть значимо и в том случае, если с окажется тождественно а, иными словами, должно быть значимо следующее:
Но (7) устанавливает в точности то, что мы хотели показать, а именно: из двух противоречащих посылок можно вывести любое заключение.
Может возникнуть вопрос, распространяется ли это положение на любую систему логики или же можно построить такую систему, в которой из противоречащих друг другу высказываний не следовало бы какое угодно высказывание. Я специально занимался этим вопросом и пришел к выводу, что такая система возможна. Она оказывается, однако, чрезвычайно слабой. В ней сохраняются лишь очень немногие из обычных правил вывода, не действует даже modus ponens, устанавливающий, что из высказываний формы “Если p, то q” и p мы можем вывести q. По моему мнению, подобная система[8] совершенно непригодна для вывода заключений, хотя и представляет, возможно, некоторый интерес для тех, кто специализируется на построении формальных систем.
Иногда говорят, что факт следования из двух противоречащих высказываний любого высказывания не доказывает бесполезности противоречивой теории: во-первых, теория может представлять интерес сама по себе, несмотря на всю свою противоречивость; во-вторых, в нее можно внести поправки, которые сделают ее непротиворечивой; и наконец, можно придумать метод, пусть даже метод ad hoc (каковы, например, методы избежания расхождений в квантовой теории), который предотвратит ложные заключения, требуемые самой логикой теории. Все это абсолютно верно, но при всех поправках такая паллиативная (makeshift) теория является источником серьезных опасностей, ранее нами обсуждавшихся: если мы действительно хотим примириться с этой теорией, тогда ничто не заставит нас искать лучшей теории, и наоборот: если мы ищем более совершенной теории, то только потому, что считаем данную теорию плохой вследствие содержащихся в ней противоречий. Примирение с противоречием обязательно приводит нас в этом случае, как и всегда, к отказу от критики, а значит, — к краху науки.
Мы видим здесь, насколько опасна неопределенная и метафорическая речь. Расплывчатое утверждение диалектиков, что противоречия неизбежны и что избавляться от них даже нежелательно, поскольку они так плодотворны, ведет к опасному заблуждению. Оно приводит к заблуждению, поскольку так называемая плодотворность противоречий, как мы видели, есть просто результат нашего решения не мириться с ними (следуя закону противоречия). И оно опасно, поскольку мнение, что от противоречий избавляться не следует или вообще невозможно избавиться, с необходимостью приводит к концу и науки и критики, то есть к концу рациональности. Надо подчеркнуть, что для всякого, кто хочет утверждать истину и содействовать просвещению, является необходимостью и даже долгом упражнять себя в искусстве выражать вещи ясно и недвусмысленно, даже если это означает отказ от утонченной метафоричности и глубокоумной двусмысленности.
Следовательно, лучше избегать некоторых формулировок. Например, вместо использовавшихся нами терминов “тезис”, “антитезис” и “синтез” диалектики часто описывают диалектическую триаду с помощью терминов “отрицание (тезиса)” — взамен “антитезиса” и “отрицание отрицания” — взамен “синтеза”. Они также любят употреблять термин “противоречие” там, где менее обманчивыми были бы термины “конфликт”, “противоположная тенденция” или, может быть, “противоположный интерес” и т. д. Их терминология не причиняла бы никакого вреда, если бы термины “отрицание” и “отрицание отрицания” (а также “противоречие”) не имели ясных и достаточно определенных логических значений, отличных от диалектических. По сути дела неправильное употребление этих терминов играет не последнюю роль в смешении логики и диалектики, столь нередком в диалектических дискуссиях. Зачастую диалектика рассматривается в них как часть — причем наиболее совершенная — логики или как что-то вроде реформированной, модернизированной логики. Более глубокие основания такой позиции мы обсудим ниже. Сейчас я скажу только, что наш анализ не приводит к тому заключению, что диалектика имеет какое-либо сходство с логикой. Действительно, логику можно определить — пусть приблизительно, однако для наших целей этого вполне достаточно — как теорию дедукции. Вместе с тем у нас нет никакого основания считать, что у диалектики есть что-то общее с дедукцией. Подведем итог. Суть диалектики — диалектики в том смысле, в каком мы способны наделить ясным значением диалектическую триаду — может быть описана следующим образом. Диалектика, точнее теория диалектической триады, устанавливает, что некоторые события или исторические процессы происходят определенным типичным образом. Стало быть, диалектика есть эмпирическая, описательная теория. Ее можно сравнить, скажем, с теорией, согласно которой живые организмы на определенной стадии своего развития растут, затем остаются неизменными, после чего начинают уменьшаться и умирают, — либо с теорией, согласно которой люди сначала отстаивают свои мнения догматически, потом [начинают относиться к ним] скептически, и лишь после этого, на третьей стадии, — [воспринимают их] научно, то есть в критическом духе. Как и эти теории, диалектика допускает исключения — если только не навязывать диалектические интерпретации насильно, — и, подобно им же, не состоит ни в каком особом родстве с логикой.