Что такое диалектика? | страница 9

.

Ввиду важности проанализированной нами логической ситуации, я представлю теперь несколько других правил вывода, которые приводят к тому же результату. В отличие от (1), те правила, которые мы сейчас рассмотрим, составляют часть классической теории силлогизма, за исключением правила (3), которое мы обсудим первым.

Из любых двух посылок p и q можно вывести заключение, которое тождественно одной из них — скажем, p схематически:

Несмотря на всю непривычность этого правила и на то, что его не признают некоторые философу[7], это правило несомненно общезначимо: ведь оно безошибочно приводит к истинному заключению всегда, когда истинны его посылки. Это очевидно и действительно тривиально; и сама тривиальность делает это правило, в обычном рассуждении, избыточным, а потому и непривычным. Однако избыточность не есть несостоятельность.

В дополнение к правилу (3), нам понадобится еще одно правило, которое я назвал “правилом косвенной редукции” (поскольку в классической теории силлогизма оно имплицитно используется для косвенного сведения “несовершенных” фигур к первой, или “совершенной”, фигуре). Предположим, имеется общезначимый силлогизм:

(а) Все люди смертны.

(b) Все афиняне люди.

(с) Все афиняне смертны.

Тогда правило косвенной редукции гласит:

Например, в силу общезначимости вывода (с) из посылок (а) и (b) силлогизм

(а) Все люди смертны (не-с)

Некоторые афиняне не смертны (не-b)

Некоторые афиняне — не люди также должен быть общезначимым.

Правило, которое мы будем использовать как незначительное видоизменение только что сформулированного правила, следующее:

Правило (5) может быть получено, например, из правила (4) вместе с законом двойного отрицания, согласно которому из не-не-b можно вывести b. Однако если (5) значимо для любого высказывания а, b, с (и значимо только при этом условии), тогда оно должно быть значимо и в том случае, если с окажется тождественно а, иными словами, должно быть значимо следующее:

Но (7) устанавливает в точности то, что мы хотели показать, а именно: из двух противоречащих посылок можно вывести любое заключение.

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