Общезначимость этого правила можно считать установленной, если принять, что высказывание не-р истинно только в том случае, когда р ложно. Соответственно, если первая посылка не-р истинна, тогда первое составляющее второй посылки ложно; следовательно, если обе посылки истинны, то второе составляющее второй посылки должно быть истинно; это означает, что q должно быть истинно всякий раз, когда обе посылки истинны.
Условливаясь, что если не-р истинно, то р должно быть ложно, мы имплицитно употребляем 'закон противоречия', утверждая, что не-р и р не могут быть истинны одновременно. Поэтому если бы моей задачей в настоящий момент было привести доводы в защиту противоречия, мы должны были бы насторожиться. Однако в данный момент я пытаюсь только показать, что, применяя общезначимые правила вывода, мы можем вывести из пары двух противоречащих посылок любое заключение.
Применяя наши два правила, мы действительно можем показать это. Допустим, имеются две противоречащие друг другу посылки, скажем:
(а) Солнце сейчас сияет.
(b) Солнце сейчас не сияет.
Из этих двух посылок можно вывести любое высказывание, например, 'Цезарь был предателем'.
Из посылки (а) мы можем вывести, согласно правилу, следующее заключение:
(c) Солнце сейчас сияет V Цезарь был предателем. Взяв теперь в качестве посылок (b) и (с), мы можем в конечном счете вывести, согласно правилу:
(d) Цезарь был предателем.
Ясно, что с помощью того же метода мы могли бы вывести и любое другое высказывание, например, 'Цезарь не был предателем'. Так что из '2 + 2 = 5' и '2 + 2 не= 5' мы можем вывести не только то высказывание, какое бы нам хотелось, но также и его отрицание, которое могло и не входить в наши планы.
Отсюда мы видим, что если теория содержит противоречие, то из нее вытекает все на свете, а значит, не вытекает ничего. Теория, которая добавляет ко всякой утверждаемой в ней информации также и отрицание этой информации, не может дать нам вообще никакой информации. Поэтому теория, которая заключает в себе противоречие, совершенно бесполезна в качестве теории.
Ввиду важности проанализированной нами логической ситуации, я представлю теперь несколько других правил вывода, которые приводят к тому же результату. В отличие от, те правила, которые мы сейчас рассмотрим, составляют часть классической теории силлогизма, за исключением правила, которое мы обсудим первым.
Несмотря на всю непривычность этого правила и на то, что его не признают некоторые философу[7], это правило несомненно общезначимо: ведь оно безошибочно приводит к истинному заключению всегда, когда истинны его посылки. Это очевидно и действительно тривиально; и сама тривиальность делает это правило, в обычном рассуждении, избыточным, а потому и непривычным. Однако избыточность не есть несостоятельность.
В дополнение к правилу (3), нам понадобится еще одно правило, которое я назвал 'правилом косвенной редукции' (поскольку в классической теории силлогизма оно имплицитно используется для косвенного сведения 'несовершенных' фигур к первой, или 'совершенной', фигуре). Предположим, имеется общезначимый силлогизм:
(а) Все люди смертны.
(b) Все афиняне люди.
(с) Все афиняне смертны.
Например, в силу общезначимости вывода (с) из посылок (а) и (b) силлогизм
(а) Все люди смертны (не-с)
Некоторые афиняне не смертны (не-b)
Некоторые афиняне - не люди также должен быть общезначимым.
Правило (5) может быть получено, например, из правила (4) вместе с законом двойного отрицания, согласно которому из не-не-b можно вывести b. Однако если (5) значимо для любого высказывания а, b, с (и значимо только при этом условии), тогда оно должно быть значимо и в том случае, если с окажется тождественно а.
Но (7) устанавливает в точности то, что мы хотели показать, а именно: из двух противоречащих посылок можно вывести любое заключение.
Может возникнуть вопрос, распространяется ли это положение на любую систему логики или же можно построить такую систему, в которой из противоречащих друг другу высказываний не следовало бы какое угодно высказывание. Я специально занимался этим вопросом и пришел к выводу, что такая система возможна. Она оказывается, однако, чрезвычайно слабой. В ней сохраняются лишь очень немногие из обычных правил вывода, не действует даже modus ponens, устанавливающий, что из высказываний формы 'Если р, то q' и р мы можем вывести q. По моему мнению, подобная система совершенно непригодна для вывода заключений, хотя и представляет, возможно, некоторый интерес для тех, кто специализируется на построении формальных систем.
Иногда говорят, что факт следования из двух противоречащих высказываний любого высказывания не доказывает бесполезности противоречивой теории: во-первых, теория может представлять интерес сама по себе, несмотря на всю свою противоречивость; во-вторых, в нее можно внести поправки, которые сделают ее непротиворечивой; и наконец, можно придумать метод, пусть даже метод ad hoc (каковы, например, методы избежания расхождений в квантовой теории), который предотвратит ложные заключения, требуемые самой логикой теории. Все это абсолютно верно, но при всех поправках такая паллиативная (makeshift) теория является источником серьезных опасностей, ранее нами обсуждавшихся: если мы действительно хотим примириться с этой теорией, тогда ничто не заставит нас искать лучшей теории, и наоборот: если мы ищем более совершенной теории, то только потому, что считаем данную теорию плохой вследствие содержащихся в ней противоречий. Примирение с противоречием обязательно приводит нас в этом случае, как и всегда, к отказу от критики, а значит, - к краху науки.
Мы видим здесь, насколько опасна неопределенная и метафорическая речь. Расплывчатое утверждение диалектиков, что противоречия неизбежны и что избавляться от них даже нежелательно, поскольку они так плодотворны, ведет к опасному заблуждению. Оно приводит к заблуждению, поскольку так называемая плодотворность противоречий, как мы видели, есть просто результат нашего решения не мириться с ними (следуя закону противоречия). И оно опасно, поскольку мнение, что от противоречий избавляться не следует или вообще невозможно избавиться, с необходимостью приводит к концу и науки и критики, то есть к концу рациональности. Надо подчеркнуть, что для всякого, кто хочет утверждать истину и содействовать просвещению, является необходимостью и даже долгом упражнять себя в искусстве выражать вещи ясно и недвусмысленно, даже если это означает отказ от утонченной метафоричности и глубокоумной двусмысленности.
Следовательно, лучше избегать некоторых формулировок. Например, вместо использовавшихся нами терминов 'тезис', 'антитезис' и 'синтез' диалектики часто описывают диалектическую триаду с помощью терминов 'отрицание (тезиса)' - взамен 'антитезиса' и 'отрицание отрицания' - взамен 'синтеза'. Они также любят употреблять термин 'противоречие' там, где менее обманчивыми были бы термины 'конфликт', 'противоположная тенденция' или, может быть, 'противоположный интерес' и т. д. Их терминология не причиняла бы никакого вреда, если бы термины 'отрицание' и 'отрицание отрицания' (а также 'противоречие') не имели ясных и достаточно определенных логических значений, отличных от диалектических. По сути дела неправильное употребление этих терминов играет не последнюю роль в смешении логики и диалектики, столь нередком в диалектических дискуссиях. Зачастую диалектика рассматривается в них как часть - причем наиболее совершенная - логики или как что-то вроде реформированной, модернизированной логики. Более глубокие основания такой позиции мы обсудим ниже. Сейчас я скажу только, что наш анализ не приводит к тому заключению, что диалектика имеет какое-либо сходство с логикой.
Действительно, логику можно определить - пусть приблизительно, однако для наших целей этого вполне достаточно - как теорию дедукции. Вместе с тем у нас нет никакого основания считать, что у диалектики есть что-то общее с дедукцией. Подведем итог. Суть диалектики - диалектики в том смысле, в каком мы способны наделить ясным значением диалектическую триаду - может быть описана следующим образом. Диалектика, точнее теория диалектической триады, устанавливает, что некоторые события или исторические процессы происходят определенным типичным образом. Стало быть, диалектика есть эмпирическая, описательная теория. Ее можно сравнить, скажем, с теорией, согласно которой живые организмы на определенной стадии своего развития растут, затем остаются неизменными, после чего начинают уменьшаться и умирают, - либо с теорией, согласно которой люди сначала отстаивают свои мнения догматически, потом [начинают относиться к ним] скептически, и лишь после этого, на третьей стадии, - [воспринимают их] научно, то есть в критическом духе. Как и эти теории, диалектика допускает исключения - если только не навязывать диалектические интерпретации насильно, - и, подобно им же, не состоит ни в каком особом родстве с логикой.
Еще одна опасность, исходящая от диалектики, связана с ее туманностью. Она предельно облегчает применение диалектической интерпретации ко всякой разновидности развития и даже к тому, что не имеет никакого отношения к диалектике. Известна, например, диалектическая интерпретация, которая отождествляет пшеничное зерно с тезисом, развившееся из него растение - с антитезисом, а все зерна этого растения - с синтезом. Что такие примеры затуманивают и без того неясный смысл диалектической триады, делая ее расплывчатость просто угрожающей, - это очевидно; в какой-то момент, охарактеризовав развитие как диалектическое, мы сообщим только то, что развитие проходит определенные ступени, то есть очень немногое. Интерпретировать же этот процесс развития в том смысле, что рост растения есть отрицание зерна, которое перестает существовать, и что созревание многочисленных новых зерен есть отрицание отрицания - некое новое начало на более высоком уровне - значит просто играть словами. (Не по этой ли причине Энгельс сказал, что этот пример способен понять и ребенок?